About the Execution of 2019-Gold for CircularTrains-PT-048
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.130 | 3570230.00 | 3560941.00 | 11537.90 | TF???T?FFFF?FT?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/mcc2020-input.r045-smll-158902068200018.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-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 win2019
Input is CircularTrains-PT-048, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200018
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 07:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 37K Mar 24 05:37 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 CircularTrains-PT-048-00
FORMULA_NAME CircularTrains-PT-048-01
FORMULA_NAME CircularTrains-PT-048-02
FORMULA_NAME CircularTrains-PT-048-03
FORMULA_NAME CircularTrains-PT-048-04
FORMULA_NAME CircularTrains-PT-048-05
FORMULA_NAME CircularTrains-PT-048-06
FORMULA_NAME CircularTrains-PT-048-07
FORMULA_NAME CircularTrains-PT-048-08
FORMULA_NAME CircularTrains-PT-048-09
FORMULA_NAME CircularTrains-PT-048-10
FORMULA_NAME CircularTrains-PT-048-11
FORMULA_NAME CircularTrains-PT-048-12
FORMULA_NAME CircularTrains-PT-048-13
FORMULA_NAME CircularTrains-PT-048-14
FORMULA_NAME CircularTrains-PT-048-15
=== Now, execution of the tool begins
BK_START 1589227942309
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CircularTrains-PT-048 @ 3570 seconds
FORMULA CircularTrains-PT-048-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-048-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-048-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-048-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-048-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-048-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-048-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-048-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-048-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-048-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CircularTrains-PT-048
{
"exit":
{
"memory": 2638752,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 5,
"G": 3,
"U": 2,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 7,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 3,
"tdisj": 3,
"tneg": 0,
"transition_references": 9,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A ((X ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7))))))) OR (G (FIREABLE(t18_to_19)) AND X (F ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7)))))))))))",
"processed_size": 256,
"rewrites": 89
},
"result":
{
"preliminary_value": "yes no unknown unknown unknown yes unknown no no no no unknown no yes unknown yes "
},
"task":
{
"buchi":
{
"states": 36
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 144/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3072
lola: finding significant places
lola: 96 places, 48 transitions, 47 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (((FIREABLE(t48_to_1) OR (NOT FIREABLE(t3_to_4) AND NOT FIREABLE(t19_to_20))) OR X (NOT(X (F (FIREABLE(t19_to_20))))))) : A ((F ((NOT FIREABLE(t37_to_38) OR X (X (FIREABLE(t16_to_17))))) AND X (G (X (G (FIREABLE(t13_to_14))))))) : A ((G (FIREABLE(t18_to_19)) U X ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7))))))))) : A (X (G ((NOT FIREABLE(t44_to_45) AND G (X (((FIREABLE(t1_to_2) U FIREABLE(t1_to_2)) U NOT FIREABLE(t1_to_2)))))))) : A (F (X (G (F ((G (F (FIREABLE(t11_to_12))) OR G ((FIREABLE(t30_to_31) OR G (FIREABLE(t11_to_12)))))))))) : A (X (NOT(((FIREABLE(t11_to_12) OR FIREABLE(t17_to_18)) AND G (F (FIREABLE(t11_to_12))))))) : A (F (NOT((X (NOT FIREABLE(t39_to_40)) U FIREABLE(t40_to_41))))) : A ((G (FIREABLE(t17_to_18)) AND ((NOT FIREABLE(t13_to_14) U F (FIREABLE(t13_to_14))) U NOT(X (FIREABLE(t34_to_35)))))) : A (X (G (((NOT FIREABLE(t10_to_11) OR FIREABLE(t18_to_19)) OR G (FIREABLE(t10_to_11)))))) : A ((FIREABLE(t7_to_8) OR G (NOT(F (X (FIREABLE(t39_to_40))))))) : A ((((FIREABLE(t27_to_28) AND FIREABLE(t31_to_32)) AND (X (FIREABLE(t6_to_7)) U (F (FIREABLE(t6_to_7)) U FIREABLE(t48_to_1)))) AND (FIREABLE(t6_to_7) U FIREABLE(t27_to_28)))) : A (NOT(X (((FIREABLE(t13_to_14) AND FIREABLE(t42_to_43)) AND X ((FIREABLE(t33_to_34) AND G (FIREABLE(t31_to_32)))))))) : A (X (F (NOT(F ((FIREABLE(t40_to_41) AND X ((FIREABLE(t40_to_41) OR F (FIREABLE(t41_to_42)))))))))) : A ((NOT(X (FIREABLE(t11_to_12))) OR NOT((G (FIREABLE(t34_to_35)) U G (X (FIREABLE(t11_to_12))))))) : A (((FIREABLE(t48_to_1) AND (G (FIREABLE(t2_to_3)) U F (FIREABLE(t34_to_35)))) OR G ((FIREABLE(t47_to_48) OR (NOT FIREABLE(t48_to_1) AND NOT FIREABLE(t47_to_48)))))) : A (NOT(X ((G ((FIREABLE(t44_to_45) OR FIREABLE(t8_to_9))) AND NOT((NOT(X (FIREABLE(t8_to_9))) OR X (F (FIREABLE(t41_to_42)))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:416
lola: rewrite Frontend/Parser/formula_rewrite.k:419
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t48_to_1) OR (NOT FIREABLE(t3_to_4) AND NOT FIREABLE(t19_to_20))) OR X (X (G (NOT FIREABLE(t19_to_20))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t48_to_1) OR (NOT FIREABLE(t3_to_4) AND NOT FIREABLE(t19_to_20))) OR X (X (G (NOT FIREABLE(t19_to_20))))))
lola: processed formula length: 121
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((NOT FIREABLE(t37_to_38) OR X (X (FIREABLE(t16_to_17)))))) AND A (X (X (G (FIREABLE(t13_to_14))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (FIREABLE(t13_to_14)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (FIREABLE(t13_to_14)))))
lola: processed formula length: 35
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 224 markings, 224 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7))))))) OR (G (FIREABLE(t18_to_19)) AND X (F ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7))))))) OR (G (FIREABLE(t18_to_19)) AND X (F ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7)))))))))))
lola: processed formula length: 256
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 36 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 246412 markings, 4790058 edges, 49282 markings/sec, 0 secs
lola: 491513 markings, 10257532 edges, 49020 markings/sec, 5 secs
lola: 732422 markings, 15722697 edges, 48182 markings/sec, 10 secs
lola: 993767 markings, 21174742 edges, 52269 markings/sec, 15 secs
lola: 1214506 markings, 26574525 edges, 44148 markings/sec, 20 secs
lola: 1461383 markings, 32359893 edges, 49375 markings/sec, 25 secs
lola: 1703068 markings, 38072915 edges, 48337 markings/sec, 30 secs
lola: 1944523 markings, 43705321 edges, 48291 markings/sec, 35 secs
lola: 2177025 markings, 49270580 edges, 46500 markings/sec, 40 secs
lola: 2409078 markings, 54817422 edges, 46411 markings/sec, 45 secs
lola: 2642868 markings, 60321922 edges, 46758 markings/sec, 50 secs
lola: 2872525 markings, 65814929 edges, 45931 markings/sec, 55 secs
lola: 3115523 markings, 71669245 edges, 48600 markings/sec, 60 secs
lola: 3359729 markings, 77317537 edges, 48841 markings/sec, 65 secs
lola: 3590102 markings, 82814807 edges, 46075 markings/sec, 70 secs
lola: 3823562 markings, 88312621 edges, 46692 markings/sec, 75 secs
lola: 4056308 markings, 93784188 edges, 46549 markings/sec, 80 secs
lola: 4260027 markings, 99249213 edges, 40744 markings/sec, 85 secs
lola: 4479484 markings, 104687030 edges, 43891 markings/sec, 90 secs
lola: 4673399 markings, 110102713 edges, 38783 markings/sec, 95 secs
lola: 4877991 markings, 115806391 edges, 40918 markings/sec, 100 secs
lola: 5078915 markings, 121408867 edges, 40185 markings/sec, 105 secs
lola: 5280569 markings, 126957118 edges, 40331 markings/sec, 110 secs
lola: 5482315 markings, 132490161 edges, 40349 markings/sec, 115 secs
lola: 5678886 markings, 137946100 edges, 39314 markings/sec, 120 secs
lola: 5874866 markings, 143472838 edges, 39196 markings/sec, 125 secs
lola: 6083650 markings, 149341392 edges, 41757 markings/sec, 130 secs
lola: 6284910 markings, 154806106 edges, 40252 markings/sec, 135 secs
lola: 6479742 markings, 160330319 edges, 38966 markings/sec, 140 secs
lola: 6699817 markings, 165762518 edges, 44015 markings/sec, 145 secs
lola: 6913485 markings, 171194650 edges, 42734 markings/sec, 150 secs
lola: 7121033 markings, 176677451 edges, 41510 markings/sec, 155 secs
lola: 7329613 markings, 182070416 edges, 41716 markings/sec, 160 secs
lola: 7516603 markings, 187195942 edges, 37398 markings/sec, 165 secs
lola: 7705556 markings, 192375976 edges, 37791 markings/sec, 170 secs
lola: 7906666 markings, 197939032 edges, 40222 markings/sec, 175 secs
lola: 8103500 markings, 203441713 edges, 39367 markings/sec, 180 secs
lola: 8298816 markings, 208924538 edges, 39063 markings/sec, 185 secs
lola: 8494473 markings, 214341994 edges, 39131 markings/sec, 190 secs
lola: 8691460 markings, 219902683 edges, 39397 markings/sec, 195 secs
lola: 8900597 markings, 225722831 edges, 41827 markings/sec, 200 secs
lola: 9096613 markings, 231140799 edges, 39203 markings/sec, 205 secs
lola: 9292410 markings, 236557607 edges, 39159 markings/sec, 210 secs
lola: 9516557 markings, 241984686 edges, 44829 markings/sec, 215 secs
lola: 9732249 markings, 247382109 edges, 43138 markings/sec, 220 secs
lola: 9938443 markings, 252919631 edges, 41239 markings/sec, 225 secs
lola: 10142564 markings, 258429867 edges, 40824 markings/sec, 230 secs
lola: 10347427 markings, 263885549 edges, 40973 markings/sec, 235 secs
lola: 10546974 markings, 269388349 edges, 39909 markings/sec, 240 secs
lola: 10752755 markings, 274957261 edges, 41156 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1532384 KB
lola: time consumption: 258 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((NOT FIREABLE(t44_to_45) AND G (F (NOT FIREABLE(t1_to_2)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((NOT FIREABLE(t44_to_45) AND G (F (NOT FIREABLE(t1_to_2)))))))
lola: processed formula length: 71
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1168971 markings, 3469028 edges, 233794 markings/sec, 0 secs
lola: 2186331 markings, 6767731 edges, 203472 markings/sec, 5 secs
lola: 3100183 markings, 9973865 edges, 182770 markings/sec, 10 secs
lola: 4010826 markings, 13156941 edges, 182129 markings/sec, 15 secs
lola: 4939322 markings, 16388198 edges, 185699 markings/sec, 20 secs
lola: 5875534 markings, 19612600 edges, 187242 markings/sec, 25 secs
lola: 6783146 markings, 22903572 edges, 181522 markings/sec, 30 secs
lola: 7600288 markings, 26104873 edges, 163428 markings/sec, 35 secs
lola: 8492955 markings, 29349550 edges, 178533 markings/sec, 40 secs
lola: 9359066 markings, 32598898 edges, 173222 markings/sec, 45 secs
lola: 10214871 markings, 35837587 edges, 171161 markings/sec, 50 secs
lola: 11137031 markings, 39071295 edges, 184432 markings/sec, 55 secs
lola: 11987433 markings, 42330619 edges, 170080 markings/sec, 60 secs
lola: 12956696 markings, 45699721 edges, 193853 markings/sec, 65 secs
lola: 13808826 markings, 48901933 edges, 170426 markings/sec, 70 secs
lola: 14626281 markings, 52094615 edges, 163491 markings/sec, 75 secs
lola: 15368731 markings, 55289352 edges, 148490 markings/sec, 80 secs
lola: 16124130 markings, 58471922 edges, 151080 markings/sec, 85 secs
lola: 16911958 markings, 61669773 edges, 157566 markings/sec, 90 secs
lola: 17684998 markings, 64879377 edges, 154608 markings/sec, 95 secs
lola: 18601248 markings, 68191686 edges, 183250 markings/sec, 100 secs
lola: 19423675 markings, 71392171 edges, 164485 markings/sec, 105 secs
lola: 20181706 markings, 74573481 edges, 151606 markings/sec, 110 secs
lola: 20948719 markings, 77760267 edges, 153403 markings/sec, 115 secs
lola: 21704326 markings, 80920760 edges, 151121 markings/sec, 120 secs
lola: 22465025 markings, 84138752 edges, 152140 markings/sec, 125 secs
lola: 23367093 markings, 87439930 edges, 180414 markings/sec, 130 secs
lola: 24188358 markings, 90653395 edges, 164253 markings/sec, 135 secs
lola: 25020756 markings, 93924715 edges, 166480 markings/sec, 140 secs
lola: 25905353 markings, 97202029 edges, 176919 markings/sec, 145 secs
lola: 26777099 markings, 100427569 edges, 174349 markings/sec, 150 secs
lola: 27593518 markings, 103640894 edges, 163284 markings/sec, 155 secs
lola: 28350053 markings, 106835059 edges, 151307 markings/sec, 160 secs
lola: 29091447 markings, 110030577 edges, 148279 markings/sec, 165 secs
lola: 29866159 markings, 113253629 edges, 154942 markings/sec, 170 secs
lola: 30706649 markings, 116464490 edges, 168098 markings/sec, 175 secs
lola: 31543998 markings, 119678514 edges, 167470 markings/sec, 180 secs
lola: 32293602 markings, 122873000 edges, 149921 markings/sec, 185 secs
lola: 33047354 markings, 126063568 edges, 150750 markings/sec, 190 secs
lola: 33807299 markings, 129279973 edges, 151989 markings/sec, 195 secs
lola: 34649674 markings, 132533268 edges, 168475 markings/sec, 200 secs
lola: 35469113 markings, 135753972 edges, 163888 markings/sec, 205 secs
lola: 36270348 markings, 138950274 edges, 160247 markings/sec, 210 secs
lola: 37155034 markings, 142245231 edges, 176937 markings/sec, 215 secs
lola: 38054331 markings, 145474731 edges, 179859 markings/sec, 220 secs
lola: 38929606 markings, 148734429 edges, 175055 markings/sec, 225 secs
lola: 39717136 markings, 151950565 edges, 157506 markings/sec, 230 secs
lola: 40507930 markings, 155197096 edges, 158159 markings/sec, 235 secs
lola: 41322278 markings, 158452702 edges, 162870 markings/sec, 240 secs
lola: 42052664 markings, 161649054 edges, 146077 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6135064 KB
lola: time consumption: 513 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((NOT FIREABLE(t11_to_12) AND NOT FIREABLE(t17_to_18)) OR F (G (NOT FIREABLE(t11_to_12))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((NOT FIREABLE(t11_to_12) AND NOT FIREABLE(t17_to_18)) OR F (G (NOT FIREABLE(t11_to_12))))))
lola: processed formula length: 98
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 17 markings, 16 edges
lola: ========================================
lola: subprocess 5 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((X (FIREABLE(t39_to_40)) R NOT FIREABLE(t40_to_41))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X (FIREABLE(t39_to_40)) R NOT FIREABLE(t40_to_41))))
lola: processed formula length: 59
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1334649 markings, 4122466 edges, 266930 markings/sec, 0 secs
lola: 2516633 markings, 8216247 edges, 236397 markings/sec, 5 secs
lola: 3642354 markings, 12284246 edges, 225144 markings/sec, 10 secs
lola: 4750782 markings, 16220136 edges, 221686 markings/sec, 15 secs
lola: 5895417 markings, 20161352 edges, 228927 markings/sec, 20 secs
lola: 6901743 markings, 23980783 edges, 201265 markings/sec, 25 secs
lola: 7998427 markings, 27816400 edges, 219337 markings/sec, 30 secs
lola: 8994348 markings, 31570705 edges, 199184 markings/sec, 35 secs
lola: 9922817 markings, 35232145 edges, 185694 markings/sec, 40 secs
lola: 10889174 markings, 38929979 edges, 193271 markings/sec, 45 secs
lola: 11886357 markings, 42662792 edges, 199437 markings/sec, 50 secs
lola: 12826521 markings, 46329711 edges, 188033 markings/sec, 55 secs
lola: 13773438 markings, 50039187 edges, 189383 markings/sec, 60 secs
lola: 14730541 markings, 53756917 edges, 191421 markings/sec, 65 secs
lola: 15705078 markings, 57447050 edges, 194907 markings/sec, 70 secs
lola: 16722201 markings, 61062078 edges, 203425 markings/sec, 75 secs
lola: 17778447 markings, 64849384 edges, 211249 markings/sec, 80 secs
lola: 18689172 markings, 68517710 edges, 182145 markings/sec, 85 secs
lola: 19527706 markings, 72092289 edges, 167707 markings/sec, 90 secs
lola: 20385581 markings, 75739815 edges, 171575 markings/sec, 95 secs
lola: 21200294 markings, 79324908 edges, 162943 markings/sec, 100 secs
lola: 22125284 markings, 82900259 edges, 184998 markings/sec, 105 secs
lola: 23121042 markings, 86695120 edges, 199152 markings/sec, 110 secs
lola: 23983714 markings, 90307512 edges, 172534 markings/sec, 115 secs
lola: 24824698 markings, 93909227 edges, 168197 markings/sec, 120 secs
lola: 25672498 markings, 97556814 edges, 169560 markings/sec, 125 secs
lola: 26531854 markings, 101152947 edges, 171871 markings/sec, 130 secs
lola: 27499445 markings, 104795406 edges, 193518 markings/sec, 135 secs
lola: 28404808 markings, 108437936 edges, 181073 markings/sec, 140 secs
lola: 29363305 markings, 112014282 edges, 191699 markings/sec, 145 secs
lola: 30389022 markings, 115672912 edges, 205143 markings/sec, 150 secs
lola: 31342602 markings, 119294878 edges, 190716 markings/sec, 155 secs
lola: 32217050 markings, 122796592 edges, 174890 markings/sec, 160 secs
lola: 33092255 markings, 126365819 edges, 175041 markings/sec, 165 secs
lola: 33974195 markings, 129905217 edges, 176388 markings/sec, 170 secs
lola: 34865411 markings, 133423867 edges, 178243 markings/sec, 175 secs
lola: 35638613 markings, 136886975 edges, 154640 markings/sec, 180 secs
lola: 36423472 markings, 140324445 edges, 156972 markings/sec, 185 secs
lola: 37232616 markings, 143789740 edges, 161829 markings/sec, 190 secs
lola: 38003970 markings, 147268833 edges, 154271 markings/sec, 195 secs
lola: 38839432 markings, 150750284 edges, 167092 markings/sec, 200 secs
lola: 39692333 markings, 154253053 edges, 170580 markings/sec, 205 secs
lola: 40657464 markings, 157744547 edges, 193026 markings/sec, 210 secs
lola: 41516856 markings, 161176253 edges, 171878 markings/sec, 215 secs
lola: 42361206 markings, 164606070 edges, 168870 markings/sec, 220 secs
lola: 43245007 markings, 168049924 edges, 176760 markings/sec, 225 secs
lola: 44197823 markings, 171555955 edges, 190563 markings/sec, 230 secs
lola: 45043509 markings, 174963651 edges, 169137 markings/sec, 235 secs
lola: 45883048 markings, 178406358 edges, 167908 markings/sec, 240 secs
lola: 46801218 markings, 181948065 edges, 183634 markings/sec, 245 secs
lola: 47697245 markings, 185445371 edges, 179205 markings/sec, 250 secs
lola: 48608049 markings, 188951883 edges, 182161 markings/sec, 255 secs
lola: 49570771 markings, 192386966 edges, 192544 markings/sec, 260 secs
lola: 50572946 markings, 195898718 edges, 200435 markings/sec, 265 secs
lola: 51482319 markings, 199351097 edges, 181875 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7482812 KB
lola: time consumption: 790 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t17_to_18))) AND A ((F (FIREABLE(t13_to_14)) U X (NOT FIREABLE(t34_to_35)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t17_to_18)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t17_to_18)))
lola: processed formula length: 27
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t17_to_18)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((NOT FIREABLE(t10_to_11) OR FIREABLE(t18_to_19)) OR G (FIREABLE(t10_to_11))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((NOT FIREABLE(t10_to_11) OR FIREABLE(t18_to_19)) OR G (FIREABLE(t10_to_11))))))
lola: processed formula length: 90
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 235 markings, 235 edges
lola: ========================================
lola: subprocess 8 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t7_to_8) OR X (G (NOT FIREABLE(t39_to_40)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t7_to_8) OR X (G (NOT FIREABLE(t39_to_40)))))
lola: processed formula length: 58
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 224 markings, 224 edges
lola: ========================================
lola: subprocess 9 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t27_to_28) AND FIREABLE(t31_to_32)) AND (A ((X (FIREABLE(t6_to_7)) U (F (FIREABLE(t6_to_7)) U FIREABLE(t48_to_1)))) AND A ((FIREABLE(t6_to_7) U FIREABLE(t27_to_28)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t27_to_28) AND FIREABLE(t31_to_32))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t27_to_28) AND FIREABLE(t31_to_32))
lola: processed formula length: 45
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((NOT FIREABLE(t13_to_14) OR NOT FIREABLE(t42_to_43)) OR X ((NOT FIREABLE(t33_to_34) OR F (NOT FIREABLE(t31_to_32)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((NOT FIREABLE(t13_to_14) OR NOT FIREABLE(t42_to_43)) OR X ((NOT FIREABLE(t33_to_34) OR F (NOT FIREABLE(t31_to_32)))))))
lola: processed formula length: 127
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1362970 markings, 4417135 edges, 272594 markings/sec, 0 secs
lola: 2556584 markings, 8519297 edges, 238723 markings/sec, 5 secs
lola: 3747790 markings, 12663344 edges, 238241 markings/sec, 10 secs
lola: 4893781 markings, 16730502 edges, 229198 markings/sec, 15 secs
lola: 5896418 markings, 20506617 edges, 200527 markings/sec, 20 secs
lola: 7019855 markings, 24581349 edges, 224687 markings/sec, 25 secs
lola: 8105506 markings, 28517490 edges, 217130 markings/sec, 30 secs
lola: 9171710 markings, 32418099 edges, 213241 markings/sec, 35 secs
lola: 10221549 markings, 36289286 edges, 209968 markings/sec, 40 secs
lola: 11304771 markings, 40189728 edges, 216644 markings/sec, 45 secs
lola: 12330734 markings, 44112525 edges, 205193 markings/sec, 50 secs
lola: 13283470 markings, 48021843 edges, 190547 markings/sec, 55 secs
lola: 14267749 markings, 51904689 edges, 196856 markings/sec, 60 secs
lola: 15177782 markings, 55652098 edges, 182007 markings/sec, 65 secs
lola: 16211315 markings, 59442730 edges, 206707 markings/sec, 70 secs
lola: 17212097 markings, 63267137 edges, 200156 markings/sec, 75 secs
lola: 18135237 markings, 67064183 edges, 184628 markings/sec, 80 secs
lola: 19104043 markings, 70868412 edges, 193761 markings/sec, 85 secs
lola: 19988535 markings, 74531861 edges, 176898 markings/sec, 90 secs
lola: 21008361 markings, 78279001 edges, 203965 markings/sec, 95 secs
lola: 21983555 markings, 82029358 edges, 195039 markings/sec, 100 secs
lola: 22922063 markings, 85850696 edges, 187702 markings/sec, 105 secs
lola: 23896576 markings, 89696659 edges, 194903 markings/sec, 110 secs
lola: 24792252 markings, 93379596 edges, 179135 markings/sec, 115 secs
lola: 25813823 markings, 97129806 edges, 204314 markings/sec, 120 secs
lola: 26788951 markings, 100876888 edges, 195026 markings/sec, 125 secs
lola: 27729857 markings, 104688285 edges, 188181 markings/sec, 130 secs
lola: 28693503 markings, 108510619 edges, 192729 markings/sec, 135 secs
lola: 29594490 markings, 112210420 edges, 180197 markings/sec, 140 secs
lola: 30591365 markings, 115911861 edges, 199375 markings/sec, 145 secs
lola: 31558725 markings, 119585798 edges, 193472 markings/sec, 150 secs
lola: 32474163 markings, 123268455 edges, 183088 markings/sec, 155 secs
lola: 33403195 markings, 127000355 edges, 185806 markings/sec, 160 secs
lola: 34311766 markings, 130664818 edges, 181714 markings/sec, 165 secs
lola: 35257939 markings, 134277996 edges, 189235 markings/sec, 170 secs
lola: 36225108 markings, 137911095 edges, 193434 markings/sec, 175 secs
lola: 37143786 markings, 141572746 edges, 183736 markings/sec, 180 secs
lola: 38085406 markings, 145332429 edges, 188324 markings/sec, 185 secs
lola: 38985994 markings, 148987812 edges, 180118 markings/sec, 190 secs
lola: 39923547 markings, 152644049 edges, 187511 markings/sec, 195 secs
lola: 40895412 markings, 156249347 edges, 194373 markings/sec, 200 secs
lola: 41823267 markings, 159869180 edges, 185571 markings/sec, 205 secs
lola: 42746579 markings, 163620900 edges, 184662 markings/sec, 210 secs
lola: 43669846 markings, 167291248 edges, 184653 markings/sec, 215 secs
lola: 44540145 markings, 170868650 edges, 174060 markings/sec, 220 secs
lola: 45516674 markings, 174436262 edges, 195306 markings/sec, 225 secs
lola: 46442222 markings, 177999490 edges, 185110 markings/sec, 230 secs
lola: 47322170 markings, 181578604 edges, 175990 markings/sec, 235 secs
lola: 48240660 markings, 185212432 edges, 183698 markings/sec, 240 secs
lola: 49101634 markings, 188739359 edges, 172195 markings/sec, 245 secs
lola: 50040994 markings, 192259291 edges, 187872 markings/sec, 250 secs
lola: 50962063 markings, 195745612 edges, 184214 markings/sec, 255 secs
lola: 51845320 markings, 199259299 edges, 176651 markings/sec, 260 secs
lola: 52748273 markings, 202870177 edges, 180591 markings/sec, 265 secs
lola: 53625919 markings, 206422469 edges, 175529 markings/sec, 270 secs
lola: 54516490 markings, 209946719 edges, 178114 markings/sec, 275 secs
lola: 55522260 markings, 213644562 edges, 201154 markings/sec, 280 secs
lola: 56504276 markings, 217428797 edges, 196403 markings/sec, 285 secs
lola: 57457343 markings, 221171727 edges, 190613 markings/sec, 290 secs
lola: 58357539 markings, 224953309 edges, 180039 markings/sec, 295 secs
lola: 59254720 markings, 228669032 edges, 179436 markings/sec, 300 secs
lola: 60121522 markings, 232357070 edges, 173360 markings/sec, 305 secs
lola: 61029263 markings, 236097983 edges, 181548 markings/sec, 310 secs
lola: 61904864 markings, 239730586 edges, 175120 markings/sec, 315 secs
lola: 62761228 markings, 243415585 edges, 171273 markings/sec, 320 secs
lola: 63649258 markings, 247052301 edges, 177606 markings/sec, 325 secs
lola: 64499388 markings, 250618889 edges, 170026 markings/sec, 330 secs
lola: 65364266 markings, 254268794 edges, 172976 markings/sec, 335 secs
lola: 66223973 markings, 257814227 edges, 171941 markings/sec, 340 secs
lola: 67054314 markings, 261380198 edges, 166068 markings/sec, 345 secs
lola: 67912783 markings, 264895999 edges, 171694 markings/sec, 350 secs
lola: 68738171 markings, 268341151 edges, 165078 markings/sec, 355 secs
lola: 69573407 markings, 271870268 edges, 167047 markings/sec, 360 secs
lola: 70529859 markings, 275504784 edges, 191290 markings/sec, 365 secs
lola: 71507235 markings, 279223267 edges, 195475 markings/sec, 370 secs
lola: 72449041 markings, 282944245 edges, 188361 markings/sec, 375 secs
lola: 73392935 markings, 286711005 edges, 188779 markings/sec, 380 secs
lola: 74272601 markings, 290404596 edges, 175933 markings/sec, 385 secs
lola: 75162022 markings, 294118487 edges, 177884 markings/sec, 390 secs
lola: 76035933 markings, 297750183 edges, 174782 markings/sec, 395 secs
lola: 76894223 markings, 301429131 edges, 171658 markings/sec, 400 secs
lola: 77781799 markings, 305069642 edges, 177515 markings/sec, 405 secs
lola: 78638853 markings, 308640272 edges, 171411 markings/sec, 410 secs
lola: 79494812 markings, 312275266 edges, 171192 markings/sec, 415 secs
lola: 80355999 markings, 315838253 edges, 172237 markings/sec, 420 secs
lola: 81203919 markings, 319413869 edges, 169584 markings/sec, 425 secs
lola: 82063012 markings, 322969728 edges, 171819 markings/sec, 430 secs
lola: 82897258 markings, 326440624 edges, 166849 markings/sec, 435 secs
lola: 83720890 markings, 329962356 edges, 164726 markings/sec, 440 secs
lola: 84561537 markings, 333424508 edges, 168129 markings/sec, 445 secs
lola: 85413224 markings, 336962685 edges, 170337 markings/sec, 450 secs
lola: 86450286 markings, 340860795 edges, 207412 markings/sec, 455 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown yes unknown no no no no unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((NOT FIREABLE(t40_to_41) OR X ((NOT FIREABLE(t40_to_41) AND G (NOT FIREABLE(t41_to_42))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((NOT FIREABLE(t40_to_41) OR X ((NOT FIREABLE(t40_to_41) AND G (NOT FIREABLE(t41_to_42))))))))
lola: processed formula length: 102
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 265 markings, 268 edges
lola: ========================================
lola: subprocess 12 will run for 579 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (NOT FIREABLE(t11_to_12)) OR (X (F (NOT FIREABLE(t11_to_12))) AND (F (NOT FIREABLE(t34_to_35)) OR G (F (NOT FIREABLE(t11_to_12)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (NOT FIREABLE(t11_to_12)) OR (X (F (NOT FIREABLE(t11_to_12))) AND (F (NOT FIREABLE(t34_to_35)) OR G (F (NOT FIREABLE(t11_to_12)))))))
lola: processed formula length: 139
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 17 markings, 16 edges
lola: ========================================
lola: subprocess 13 will run for 772 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F ((NOT FIREABLE(t44_to_45) AND NOT FIREABLE(t8_to_9))) OR X ((NOT FIREABLE(t8_to_9) OR F (FIREABLE(t41_to_42)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((NOT FIREABLE(t44_to_45) AND NOT FIREABLE(t8_to_9))) OR X ((NOT FIREABLE(t8_to_9) OR F (FIREABLE(t41_to_42)))))))
lola: processed formula length: 123
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 17 markings, 16 edges
lola: ========================================
lola: subprocess 14 will run for 1158 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((G (F (FIREABLE(t11_to_12))) OR G ((FIREABLE(t30_to_31) OR G (FIREABLE(t11_to_12))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((G (F (FIREABLE(t11_to_12))) OR G ((FIREABLE(t30_to_31) OR G (FIREABLE(t11_to_12))))))))
lola: processed formula length: 97
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 481817 markings, 4180988 edges, 96363 markings/sec, 0 secs
lola: 977969 markings, 8769948 edges, 99230 markings/sec, 5 secs
lola: 1510885 markings, 13533355 edges, 106583 markings/sec, 10 secs
lola: 2050039 markings, 18774124 edges, 107831 markings/sec, 15 secs
lola: 2564950 markings, 23964076 edges, 102982 markings/sec, 20 secs
lola: 3073716 markings, 28849473 edges, 101753 markings/sec, 25 secs
lola: 3574682 markings, 34003843 edges, 100193 markings/sec, 30 secs
lola: 4090580 markings, 38977869 edges, 103180 markings/sec, 35 secs
lola: 4482852 markings, 44356503 edges, 78454 markings/sec, 40 secs
lola: 4783730 markings, 49632444 edges, 60176 markings/sec, 45 secs
lola: 5099237 markings, 54828341 edges, 63101 markings/sec, 50 secs
lola: 5529316 markings, 58979377 edges, 86016 markings/sec, 55 secs
lola: 5970123 markings, 63294823 edges, 88161 markings/sec, 60 secs
lola: 6403080 markings, 67759625 edges, 86591 markings/sec, 65 secs
lola: 6861170 markings, 72410528 edges, 91618 markings/sec, 70 secs
lola: 7330662 markings, 77211996 edges, 93898 markings/sec, 75 secs
lola: 7795106 markings, 82201367 edges, 92889 markings/sec, 80 secs
lola: 8224010 markings, 87282645 edges, 85781 markings/sec, 85 secs
lola: 8687122 markings, 92306570 edges, 92622 markings/sec, 90 secs
lola: 9159656 markings, 97328114 edges, 94507 markings/sec, 95 secs
lola: 9623226 markings, 102421485 edges, 92714 markings/sec, 100 secs
lola: 10125289 markings, 107565136 edges, 100413 markings/sec, 105 secs
lola: 10428384 markings, 112792665 edges, 60619 markings/sec, 110 secs
lola: 10764183 markings, 117776337 edges, 67160 markings/sec, 115 secs
lola: 11177261 markings, 122154264 edges, 82616 markings/sec, 120 secs
lola: 11593809 markings, 126641316 edges, 83310 markings/sec, 125 secs
lola: 12039765 markings, 131444798 edges, 89191 markings/sec, 130 secs
lola: 12484056 markings, 136520791 edges, 88858 markings/sec, 135 secs
lola: 12905364 markings, 141612167 edges, 84262 markings/sec, 140 secs
lola: 13330917 markings, 146656381 edges, 85111 markings/sec, 145 secs
lola: 13751842 markings, 151719946 edges, 84185 markings/sec, 150 secs
lola: 14186314 markings, 156562864 edges, 86894 markings/sec, 155 secs
lola: 14593749 markings, 160872957 edges, 81487 markings/sec, 160 secs
lola: 14997893 markings, 165146471 edges, 80829 markings/sec, 165 secs
lola: 15453078 markings, 169922709 edges, 91037 markings/sec, 170 secs
lola: 15928942 markings, 175012048 edges, 95173 markings/sec, 175 secs
lola: 16375307 markings, 180056698 edges, 89273 markings/sec, 180 secs
lola: 16783918 markings, 185028325 edges, 81722 markings/sec, 185 secs
lola: 17204889 markings, 190024674 edges, 84194 markings/sec, 190 secs
lola: 17657668 markings, 194821336 edges, 90556 markings/sec, 195 secs
lola: 18143707 markings, 199727336 edges, 97208 markings/sec, 200 secs
lola: 18605691 markings, 204607624 edges, 92397 markings/sec, 205 secs
lola: 19103343 markings, 209506255 edges, 99530 markings/sec, 210 secs
lola: 19572984 markings, 214044958 edges, 93928 markings/sec, 215 secs
lola: 19995339 markings, 218620710 edges, 84471 markings/sec, 220 secs
lola: 20467745 markings, 223627957 edges, 94481 markings/sec, 225 secs
lola: 20931749 markings, 228749244 edges, 92801 markings/sec, 230 secs
lola: 21350372 markings, 233747781 edges, 83725 markings/sec, 235 secs
lola: 21761615 markings, 238721526 edges, 82249 markings/sec, 240 secs
lola: 22183837 markings, 243783117 edges, 84444 markings/sec, 245 secs
lola: 22614811 markings, 248530149 edges, 86195 markings/sec, 250 secs
lola: 23024019 markings, 253557957 edges, 81842 markings/sec, 255 secs
lola: 23442714 markings, 258471683 edges, 83739 markings/sec, 260 secs
lola: 23879656 markings, 263367472 edges, 87388 markings/sec, 265 secs
lola: 24332578 markings, 267936736 edges, 90584 markings/sec, 270 secs
lola: 24784376 markings, 273017339 edges, 90360 markings/sec, 275 secs
lola: 25218102 markings, 277894640 edges, 86745 markings/sec, 280 secs
lola: 25665750 markings, 282691719 edges, 89530 markings/sec, 285 secs
lola: 26147099 markings, 287626383 edges, 96270 markings/sec, 290 secs
lola: 26595727 markings, 292517261 edges, 89726 markings/sec, 295 secs
lola: 27029144 markings, 297349022 edges, 86683 markings/sec, 300 secs
lola: 27530569 markings, 302204939 edges, 100285 markings/sec, 305 secs
lola: 27964166 markings, 306429482 edges, 86719 markings/sec, 310 secs
lola: 28328610 markings, 310493424 edges, 72889 markings/sec, 315 secs
lola: 28690712 markings, 314628307 edges, 72420 markings/sec, 320 secs
lola: 29100914 markings, 318760629 edges, 82040 markings/sec, 325 secs
lola: 29493432 markings, 322851550 edges, 78504 markings/sec, 330 secs
lola: 29879381 markings, 327035766 edges, 77190 markings/sec, 335 secs
lola: 30287782 markings, 331122556 edges, 81680 markings/sec, 340 secs
lola: 30706233 markings, 335361559 edges, 83690 markings/sec, 345 secs
lola: 31157829 markings, 339629743 edges, 90319 markings/sec, 350 secs
lola: 31522287 markings, 343806056 edges, 72892 markings/sec, 355 secs
lola: 31889452 markings, 348076563 edges, 73433 markings/sec, 360 secs
lola: 32256026 markings, 352327265 edges, 73315 markings/sec, 365 secs
lola: 32643562 markings, 356606829 edges, 77507 markings/sec, 370 secs
lola: 33060218 markings, 360922801 edges, 83331 markings/sec, 375 secs
lola: 33422290 markings, 365218635 edges, 72414 markings/sec, 380 secs
lola: 33774249 markings, 369540181 edges, 70392 markings/sec, 385 secs
lola: 34147287 markings, 373953157 edges, 74608 markings/sec, 390 secs
lola: 34542481 markings, 378281319 edges, 79039 markings/sec, 395 secs
lola: 34922206 markings, 382595864 edges, 75945 markings/sec, 400 secs
lola: 35299444 markings, 387001595 edges, 75448 markings/sec, 405 secs
lola: 35676119 markings, 391374636 edges, 75335 markings/sec, 410 secs
lola: 36076360 markings, 395793612 edges, 80048 markings/sec, 415 secs
lola: 36496124 markings, 400299521 edges, 83953 markings/sec, 420 secs
lola: 36906745 markings, 404835469 edges, 82124 markings/sec, 425 secs
lola: 37295427 markings, 409319023 edges, 77736 markings/sec, 430 secs
lola: 37663704 markings, 413729154 edges, 73655 markings/sec, 435 secs
lola: 38087888 markings, 418251487 edges, 84837 markings/sec, 440 secs
lola: 38499776 markings, 422887031 edges, 82378 markings/sec, 445 secs
lola: 38902258 markings, 427489387 edges, 80496 markings/sec, 450 secs
lola: 39286229 markings, 432084087 edges, 76794 markings/sec, 455 secs
lola: 39688605 markings, 436723499 edges, 80475 markings/sec, 460 secs
lola: 40079113 markings, 441207570 edges, 78102 markings/sec, 465 secs
lola: 40477632 markings, 445839656 edges, 79704 markings/sec, 470 secs
lola: 40877122 markings, 450428464 edges, 79898 markings/sec, 475 secs
lola: 41306118 markings, 455114068 edges, 85799 markings/sec, 480 secs
lola: 41764325 markings, 459873517 edges, 91641 markings/sec, 485 secs
lola: 42198109 markings, 464653271 edges, 86757 markings/sec, 490 secs
lola: 42587158 markings, 469423461 edges, 77810 markings/sec, 495 secs
lola: 42991253 markings, 474283306 edges, 80819 markings/sec, 500 secs
lola: 43405566 markings, 479168979 edges, 82863 markings/sec, 505 secs
lola: 43813618 markings, 484044986 edges, 81610 markings/sec, 510 secs
lola: 44202052 markings, 488818532 edges, 77687 markings/sec, 515 secs
lola: 44600186 markings, 493547680 edges, 79627 markings/sec, 520 secs
lola: 45005623 markings, 498317558 edges, 81087 markings/sec, 525 secs
lola: 45404067 markings, 503146797 edges, 79689 markings/sec, 530 secs
lola: 45800560 markings, 508005352 edges, 79299 markings/sec, 535 secs
lola: 46206318 markings, 512786312 edges, 81152 markings/sec, 540 secs
lola: 46528377 markings, 517594369 edges, 64412 markings/sec, 545 secs
lola: 46732352 markings, 522387591 edges, 40795 markings/sec, 550 secs
lola: 46931143 markings, 527036516 edges, 39758 markings/sec, 555 secs
lola: 47299990 markings, 531880185 edges, 73769 markings/sec, 560 secs
lola: 47711855 markings, 536633560 edges, 82373 markings/sec, 565 secs
lola: 48128587 markings, 541410195 edges, 83346 markings/sec, 570 secs
lola: 48517211 markings, 546208996 edges, 77725 markings/sec, 575 secs
lola: 48906487 markings, 551094422 edges, 77855 markings/sec, 580 secs
lola: 49319342 markings, 556012355 edges, 82571 markings/sec, 585 secs
lola: 49724271 markings, 560921381 edges, 80986 markings/sec, 590 secs
lola: 50084820 markings, 565785569 edges, 72110 markings/sec, 595 secs
lola: 50440836 markings, 570619563 edges, 71203 markings/sec, 600 secs
lola: 50821243 markings, 575402611 edges, 76081 markings/sec, 605 secs
lola: 51190482 markings, 580121994 edges, 73848 markings/sec, 610 secs
lola: 51550731 markings, 584945852 edges, 72050 markings/sec, 615 secs
lola: 51943423 markings, 589785354 edges, 78538 markings/sec, 620 secs
lola: 52351125 markings, 594650206 edges, 81540 markings/sec, 625 secs
lola: 52788085 markings, 599422705 edges, 87392 markings/sec, 630 secs
lola: 53174443 markings, 604284608 edges, 77272 markings/sec, 635 secs
lola: 53584756 markings, 609098567 edges, 82063 markings/sec, 640 secs
lola: 53957622 markings, 613975400 edges, 74573 markings/sec, 645 secs
lola: 54355053 markings, 618857403 edges, 79486 markings/sec, 650 secs
lola: 54749757 markings, 623830092 edges, 78941 markings/sec, 655 secs
lola: 55205642 markings, 628713693 edges, 91177 markings/sec, 660 secs
lola: 55621219 markings, 633638378 edges, 83115 markings/sec, 665 secs
lola: 56016867 markings, 638504039 edges, 79130 markings/sec, 670 secs
lola: 56472236 markings, 643401811 edges, 91074 markings/sec, 675 secs
lola: 56905484 markings, 648368475 edges, 86650 markings/sec, 680 secs
lola: 57303826 markings, 653280526 edges, 79668 markings/sec, 685 secs
lola: 57736839 markings, 658238772 edges, 86603 markings/sec, 690 secs
lola: 58175666 markings, 663230438 edges, 87765 markings/sec, 695 secs
lola: 58635890 markings, 668226932 edges, 92045 markings/sec, 700 secs
lola: 59055645 markings, 672643784 edges, 83951 markings/sec, 705 secs
lola: 59454678 markings, 676958013 edges, 79807 markings/sec, 710 secs
lola: 59810027 markings, 681335056 edges, 71070 markings/sec, 715 secs
lola: 60179140 markings, 685782304 edges, 73823 markings/sec, 720 secs
lola: 60552739 markings, 690242546 edges, 74720 markings/sec, 725 secs
lola: 60933670 markings, 694822860 edges, 76186 markings/sec, 730 secs
lola: 61305021 markings, 699402126 edges, 74270 markings/sec, 735 secs
lola: 61682240 markings, 704004187 edges, 75444 markings/sec, 740 secs
lola: 62089022 markings, 708775821 edges, 81356 markings/sec, 745 secs
lola: 62469856 markings, 713595428 edges, 76167 markings/sec, 750 secs
lola: 62850855 markings, 718400999 edges, 76200 markings/sec, 755 secs
lola: 63110259 markings, 723106756 edges, 51881 markings/sec, 760 secs
lola: 63440888 markings, 727904631 edges, 66126 markings/sec, 765 secs
lola: 63805134 markings, 732709568 edges, 72849 markings/sec, 770 secs
lola: 64173214 markings, 737444936 edges, 73616 markings/sec, 775 secs
lola: 64526836 markings, 742249925 edges, 70724 markings/sec, 780 secs
lola: 64899372 markings, 747068848 edges, 74507 markings/sec, 785 secs
lola: 65248692 markings, 751879725 edges, 69864 markings/sec, 790 secs
lola: 65630301 markings, 756682381 edges, 76322 markings/sec, 795 secs
lola: 65995661 markings, 761501117 edges, 73072 markings/sec, 800 secs
lola: 66371701 markings, 766391485 edges, 75208 markings/sec, 805 secs
lola: 66758614 markings, 771236166 edges, 77383 markings/sec, 810 secs
lola: 67153849 markings, 776121443 edges, 79047 markings/sec, 815 secs
lola: 67547786 markings, 781055413 edges, 78787 markings/sec, 820 secs
lola: 67974181 markings, 786032041 edges, 85279 markings/sec, 825 secs
lola: 68378692 markings, 790358201 edges, 80902 markings/sec, 830 secs
lola: 68762734 markings, 794785418 edges, 76808 markings/sec, 835 secs
lola: 69157262 markings, 799393445 edges, 78906 markings/sec, 840 secs
lola: 69566033 markings, 804191910 edges, 81754 markings/sec, 845 secs
lola: 69941526 markings, 809060487 edges, 75099 markings/sec, 850 secs
lola: 70320507 markings, 813924967 edges, 75796 markings/sec, 855 secs
lola: 70705863 markings, 818815648 edges, 77071 markings/sec, 860 secs
lola: 71083439 markings, 823694845 edges, 75515 markings/sec, 865 secs
lola: 71448063 markings, 828562558 edges, 72925 markings/sec, 870 secs
lola: 71853725 markings, 833264169 edges, 81132 markings/sec, 875 secs
lola: 72250256 markings, 837588243 edges, 79306 markings/sec, 880 secs
lola: 72638673 markings, 842052316 edges, 77683 markings/sec, 885 secs
lola: 73042040 markings, 846648111 edges, 80673 markings/sec, 890 secs
lola: 73429999 markings, 851423964 edges, 77592 markings/sec, 895 secs
lola: 73759902 markings, 856146119 edges, 65981 markings/sec, 900 secs
lola: 74138700 markings, 860910986 edges, 75760 markings/sec, 905 secs
lola: 74524239 markings, 865696248 edges, 77108 markings/sec, 910 secs
lola: 74920063 markings, 870525787 edges, 79165 markings/sec, 915 secs
lola: 75335270 markings, 875424221 edges, 83041 markings/sec, 920 secs
lola: 75762418 markings, 879958335 edges, 85430 markings/sec, 925 secs
lola: 76168518 markings, 884734130 edges, 81220 markings/sec, 930 secs
lola: 76609756 markings, 889550528 edges, 88248 markings/sec, 935 secs
lola: 77059556 markings, 894281428 edges, 89960 markings/sec, 940 secs
lola: 77510518 markings, 898692864 edges, 90192 markings/sec, 945 secs
lola: 77885960 markings, 902687216 edges, 75088 markings/sec, 950 secs
lola: 78267382 markings, 906787151 edges, 76284 markings/sec, 955 secs
lola: 78641359 markings, 910781322 edges, 74795 markings/sec, 960 secs
lola: 78987477 markings, 914873149 edges, 69224 markings/sec, 965 secs
lola: 79363832 markings, 918997493 edges, 75271 markings/sec, 970 secs
lola: 79758005 markings, 923214136 edges, 78835 markings/sec, 975 secs
lola: 80110862 markings, 927360458 edges, 70571 markings/sec, 980 secs
lola: 80448933 markings, 931509000 edges, 67614 markings/sec, 985 secs
lola: 80805374 markings, 935798593 edges, 71288 markings/sec, 990 secs
lola: 81165797 markings, 939977227 edges, 72085 markings/sec, 995 secs
lola: 81507507 markings, 944223412 edges, 68342 markings/sec, 1000 secs
lola: 81853912 markings, 948444524 edges, 69281 markings/sec, 1005 secs
lola: 82228882 markings, 952670167 edges, 74994 markings/sec, 1010 secs
lola: 82606081 markings, 956916882 edges, 75440 markings/sec, 1015 secs
lola: 83007445 markings, 961013271 edges, 80273 markings/sec, 1020 secs
lola: 83381963 markings, 965093677 edges, 74904 markings/sec, 1025 secs
lola: 83744682 markings, 969159632 edges, 72544 markings/sec, 1030 secs
lola: 84117686 markings, 973284703 edges, 74601 markings/sec, 1035 secs
lola: 84457898 markings, 977393964 edges, 68042 markings/sec, 1040 secs
lola: 84801739 markings, 981524973 edges, 68768 markings/sec, 1045 secs
lola: 85143594 markings, 985690274 edges, 68371 markings/sec, 1050 secs
lola: 85497529 markings, 989920230 edges, 70787 markings/sec, 1055 secs
lola: 85881421 markings, 994253801 edges, 76778 markings/sec, 1060 secs
lola: 86290249 markings, 998324110 edges, 81766 markings/sec, 1065 secs
lola: 86676392 markings, 1002399470 edges, 77229 markings/sec, 1070 secs
lola: 87063582 markings, 1006591876 edges, 77438 markings/sec, 1075 secs
lola: 87437799 markings, 1010777838 edges, 74843 markings/sec, 1080 secs
lola: 87807066 markings, 1015020076 edges, 73853 markings/sec, 1085 secs
lola: 88156530 markings, 1019208324 edges, 69893 markings/sec, 1090 secs
lola: 88530573 markings, 1023492509 edges, 74809 markings/sec, 1095 secs
lola: 88939881 markings, 1027684175 edges, 81862 markings/sec, 1100 secs
lola: 89328807 markings, 1031833525 edges, 77785 markings/sec, 1105 secs
lola: 89711806 markings, 1036064743 edges, 76600 markings/sec, 1110 secs
lola: 90126642 markings, 1040375028 edges, 82967 markings/sec, 1115 secs
lola: 90542669 markings, 1044671025 edges, 83205 markings/sec, 1120 secs
lola: 90968295 markings, 1048945574 edges, 85125 markings/sec, 1125 secs
lola: 91418334 markings, 1053312649 edges, 90008 markings/sec, 1130 secs
lola: 91810561 markings, 1057626925 edges, 78445 markings/sec, 1135 secs
lola: 92161357 markings, 1061857990 edges, 70159 markings/sec, 1140 secs
lola: 92514734 markings, 1066202185 edges, 70675 markings/sec, 1145 secs
lola: 92871811 markings, 1070525533 edges, 71415 markings/sec, 1150 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown yes unknown no no no no unknown no yes unknown yes
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1157 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t48_to_1) AND (F (FIREABLE(t34_to_35)) OR (G (FIREABLE(t2_to_3)) AND F (FIREABLE(t34_to_35))))) OR G ((FIREABLE(t47_to_48) OR (NOT FIREABLE(t48_to_1) AND NOT FIREABLE(t47_to_48))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t48_to_1) AND (F (FIREABLE(t34_to_35)) OR (G (FIREABLE(t2_to_3)) AND F (FIREABLE(t34_to_35))))) OR G ((FIREABLE(t47_to_48) OR (NOT FIREABLE(t48_to_1) AND NOT FIREABLE(t47_to_48))))))
lola: processed formula length: 197
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1254006 markings, 4259725 edges, 250801 markings/sec, 0 secs
lola: 2398570 markings, 8520727 edges, 228913 markings/sec, 5 secs
lola: 3482276 markings, 12594596 edges, 216741 markings/sec, 10 secs
lola: 4372110 markings, 16364414 edges, 177967 markings/sec, 15 secs
lola: 5446150 markings, 20478431 edges, 214808 markings/sec, 20 secs
lola: 6550486 markings, 24602115 edges, 220867 markings/sec, 25 secs
lola: 7617675 markings, 28655048 edges, 213438 markings/sec, 30 secs
lola: 8648167 markings, 32606271 edges, 206098 markings/sec, 35 secs
lola: 9624688 markings, 36527701 edges, 195304 markings/sec, 40 secs
lola: 10551850 markings, 40420564 edges, 185432 markings/sec, 45 secs
lola: 11501378 markings, 44224545 edges, 189906 markings/sec, 50 secs
lola: 12488490 markings, 48018057 edges, 197422 markings/sec, 55 secs
lola: 13396743 markings, 51930723 edges, 181651 markings/sec, 60 secs
lola: 14403774 markings, 55934595 edges, 201406 markings/sec, 65 secs
lola: 15373767 markings, 59952997 edges, 193999 markings/sec, 70 secs
lola: 16227926 markings, 63777437 edges, 170832 markings/sec, 75 secs
lola: 17013591 markings, 67616264 edges, 157133 markings/sec, 80 secs
lola: 17822964 markings, 71184077 edges, 161875 markings/sec, 85 secs
lola: 18753492 markings, 74996989 edges, 186106 markings/sec, 90 secs
lola: 19635668 markings, 78875610 edges, 176435 markings/sec, 95 secs
lola: 20568896 markings, 82774834 edges, 186646 markings/sec, 100 secs
lola: 21537277 markings, 86810864 edges, 193676 markings/sec, 105 secs
lola: 22461079 markings, 90801945 edges, 184760 markings/sec, 110 secs
lola: 23463496 markings, 94864818 edges, 200483 markings/sec, 115 secs
lola: 24401892 markings, 98754262 edges, 187679 markings/sec, 120 secs
lola: 25232769 markings, 102417473 edges, 166175 markings/sec, 125 secs
lola: 26096808 markings, 106128036 edges, 172808 markings/sec, 130 secs
lola: 27086932 markings, 109989534 edges, 198025 markings/sec, 135 secs
lola: 28027340 markings, 113906573 edges, 188082 markings/sec, 140 secs
lola: 28923524 markings, 117683025 edges, 179237 markings/sec, 145 secs
lola: 29881484 markings, 121550747 edges, 191592 markings/sec, 150 secs
lola: 30788871 markings, 125428399 edges, 181477 markings/sec, 155 secs
lola: 31683611 markings, 129317452 edges, 178948 markings/sec, 160 secs
lola: 32552083 markings, 133110340 edges, 173694 markings/sec, 165 secs
lola: 33386279 markings, 136853356 edges, 166839 markings/sec, 170 secs
lola: 34180891 markings, 140408761 edges, 158922 markings/sec, 175 secs
lola: 35011772 markings, 144090461 edges, 166176 markings/sec, 180 secs
lola: 35708971 markings, 147468071 edges, 139440 markings/sec, 185 secs
lola: 36384592 markings, 150762675 edges, 135124 markings/sec, 190 secs
lola: 37131850 markings, 154303007 edges, 149452 markings/sec, 195 secs
lola: 37833622 markings, 157716123 edges, 140354 markings/sec, 200 secs
lola: 38481240 markings, 160929403 edges, 129524 markings/sec, 205 secs
lola: 39188938 markings, 164374097 edges, 141540 markings/sec, 210 secs
lola: 39961663 markings, 167876145 edges, 154545 markings/sec, 215 secs
lola: 40797445 markings, 171295669 edges, 167156 markings/sec, 220 secs
lola: 41637035 markings, 174939632 edges, 167918 markings/sec, 225 secs
lola: 42489693 markings, 178599269 edges, 170532 markings/sec, 230 secs
lola: 43359232 markings, 182327999 edges, 173908 markings/sec, 235 secs
lola: 44232821 markings, 186013729 edges, 174718 markings/sec, 240 secs
lola: 44925821 markings, 189366294 edges, 138600 markings/sec, 245 secs
lola: 45815697 markings, 193166237 edges, 177975 markings/sec, 250 secs
lola: 46693807 markings, 196845078 edges, 175622 markings/sec, 255 secs
lola: 47405880 markings, 200074564 edges, 142415 markings/sec, 260 secs
lola: 48133243 markings, 203415229 edges, 145473 markings/sec, 265 secs
lola: 48923448 markings, 206826558 edges, 158041 markings/sec, 270 secs
lola: 49899715 markings, 210574082 edges, 195253 markings/sec, 275 secs
lola: 50804193 markings, 214280787 edges, 180896 markings/sec, 280 secs
lola: 51714247 markings, 218017644 edges, 182011 markings/sec, 285 secs
lola: 52600689 markings, 221865039 edges, 177288 markings/sec, 290 secs
lola: 53531138 markings, 225674802 edges, 186090 markings/sec, 295 secs
lola: 54403931 markings, 229487184 edges, 174559 markings/sec, 300 secs
lola: 55233419 markings, 232948021 edges, 165898 markings/sec, 305 secs
lola: 55906104 markings, 235889449 edges, 134537 markings/sec, 310 secs
lola: 56760391 markings, 239659246 edges, 170857 markings/sec, 315 secs
lola: 57604270 markings, 243364722 edges, 168776 markings/sec, 320 secs
lola: 58428275 markings, 247021555 edges, 164801 markings/sec, 325 secs
lola: 59235469 markings, 250673353 edges, 161439 markings/sec, 330 secs
lola: 59995717 markings, 254356134 edges, 152050 markings/sec, 335 secs
lola: 60836647 markings, 258199130 edges, 168186 markings/sec, 340 secs
lola: 61763053 markings, 262084856 edges, 185281 markings/sec, 345 secs
lola: 62729034 markings, 266114762 edges, 193196 markings/sec, 350 secs
lola: 63662771 markings, 270152458 edges, 186747 markings/sec, 355 secs
lola: 64597934 markings, 274028228 edges, 187033 markings/sec, 360 secs
lola: 65561210 markings, 277992471 edges, 192655 markings/sec, 365 secs
lola: 66416805 markings, 281812197 edges, 171119 markings/sec, 370 secs
lola: 67300226 markings, 285774709 edges, 176684 markings/sec, 375 secs
lola: 68225944 markings, 289676782 edges, 185144 markings/sec, 380 secs
lola: 69216735 markings, 293685722 edges, 198158 markings/sec, 385 secs
lola: 70202146 markings, 297674721 edges, 197082 markings/sec, 390 secs
lola: 71133660 markings, 301595726 edges, 186303 markings/sec, 395 secs
lola: 72050031 markings, 305499807 edges, 183274 markings/sec, 400 secs
lola: 72975953 markings, 309472642 edges, 185184 markings/sec, 405 secs
lola: 73929900 markings, 313625905 edges, 190789 markings/sec, 410 secs
lola: 74831632 markings, 317515770 edges, 180346 markings/sec, 415 secs
lola: 75679162 markings, 321297782 edges, 169506 markings/sec, 420 secs
lola: 76546520 markings, 324852268 edges, 173472 markings/sec, 425 secs
lola: 77451297 markings, 328645088 edges, 180955 markings/sec, 430 secs
lola: 78360305 markings, 332510512 edges, 181802 markings/sec, 435 secs
lola: 79237342 markings, 336247733 edges, 175407 markings/sec, 440 secs
lola: 80132070 markings, 340121798 edges, 178946 markings/sec, 445 secs
lola: 80972610 markings, 344010581 edges, 168108 markings/sec, 450 secs
lola: 81746930 markings, 347811440 edges, 154864 markings/sec, 455 secs
lola: 82663818 markings, 351761940 edges, 183378 markings/sec, 460 secs
lola: 83555210 markings, 355721210 edges, 178278 markings/sec, 465 secs
lola: 84397577 markings, 359508091 edges, 168473 markings/sec, 470 secs
lola: 85303473 markings, 363460135 edges, 181179 markings/sec, 475 secs
lola: 86158647 markings, 367298788 edges, 171035 markings/sec, 480 secs
lola: 87037731 markings, 371039306 edges, 175817 markings/sec, 485 secs
lola: 87844996 markings, 374733824 edges, 161453 markings/sec, 490 secs
lola: 88600211 markings, 378407711 edges, 151043 markings/sec, 495 secs
lola: 89372053 markings, 382177682 edges, 154368 markings/sec, 500 secs
lola: 90195819 markings, 386108628 edges, 164753 markings/sec, 505 secs
lola: 91059730 markings, 390057207 edges, 172782 markings/sec, 510 secs
lola: 91869424 markings, 393971617 edges, 161939 markings/sec, 515 secs
lola: 92737836 markings, 397954273 edges, 173682 markings/sec, 520 secs
lola: 93664990 markings, 401949547 edges, 185431 markings/sec, 525 secs
lola: 94482033 markings, 405666542 edges, 163409 markings/sec, 530 secs
lola: 95383553 markings, 409653860 edges, 180304 markings/sec, 535 secs
lola: 96240555 markings, 413299184 edges, 171400 markings/sec, 540 secs
lola: 97014816 markings, 416939911 edges, 154852 markings/sec, 545 secs
lola: 97778991 markings, 420673817 edges, 152835 markings/sec, 550 secs
lola: 98662182 markings, 424617270 edges, 176638 markings/sec, 555 secs
lola: 99593934 markings, 428673585 edges, 186350 markings/sec, 560 secs
lola: 100497443 markings, 432586460 edges, 180702 markings/sec, 565 secs
lola: 101308258 markings, 436374852 edges, 162163 markings/sec, 570 secs
lola: 102106162 markings, 440143556 edges, 159581 markings/sec, 575 secs
lola: 102972140 markings, 444017468 edges, 173196 markings/sec, 580 secs
lola: 103801025 markings, 447896864 edges, 165777 markings/sec, 585 secs
lola: 104626820 markings, 451772232 edges, 165159 markings/sec, 590 secs
lola: 105527884 markings, 455710674 edges, 180213 markings/sec, 595 secs
lola: 106348720 markings, 459448282 edges, 164167 markings/sec, 600 secs
lola: 107197658 markings, 463378216 edges, 169788 markings/sec, 605 secs
lola: 107981963 markings, 467241376 edges, 156861 markings/sec, 610 secs
lola: 108880740 markings, 471258996 edges, 179755 markings/sec, 615 secs
lola: 109779384 markings, 475206688 edges, 179729 markings/sec, 620 secs
lola: 110569082 markings, 478884588 edges, 157940 markings/sec, 625 secs
lola: 111338582 markings, 482502270 edges, 153900 markings/sec, 630 secs
lola: 112117738 markings, 486106076 edges, 155831 markings/sec, 635 secs
lola: 112922655 markings, 489761970 edges, 160983 markings/sec, 640 secs
lola: 113216711 markings, 491081601 edges, 58811 markings/sec, 645 secs
lola: 113223052 markings, 491112339 edges, 1268 markings/sec, 650 secs
lola: 113223830 markings, 491116160 edges, 156 markings/sec, 655 secs
lola: 113229964 markings, 491141606 edges, 1227 markings/sec, 660 secs
lola: 113248713 markings, 491224566 edges, 3750 markings/sec, 665 secs
lola: 113248738 markings, 491224652 edges, 5 markings/sec, 670 secs
lola: 113263733 markings, 491292836 edges, 2999 markings/sec, 675 secs
lola: 113263770 markings, 491293006 edges, 7 markings/sec, 680 secs
lola: 113263798 markings, 491293159 edges, 6 markings/sec, 685 secs
lola: 113263848 markings, 491293383 edges, 10 markings/sec, 690 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A ((X ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7))))))) OR (G (FIREABLE(t18_to_19)) AND X (F ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7))))))) OR (G (FIREABLE(t18_to_19)) AND X (F ((NOT FIREABLE(t7_to_8) AND F (G ((F (FIREABLE(t8_to_9)) OR (FIREABLE(t8_to_9) U FIREABLE(t6_to_7)))))))))))
lola: processed formula length: 256
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 36 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 248803 markings, 4840113 edges, 49761 markings/sec, 0 secs
lola: 471692 markings, 9804771 edges, 44578 markings/sec, 5 secs
lola: 713462 markings, 15299592 edges, 48354 markings/sec, 10 secs
lola: 975528 markings, 20740658 edges, 52413 markings/sec, 15 secs
lola: 1194485 markings, 26133649 edges, 43791 markings/sec, 20 secs
lola: 1441168 markings, 31900412 edges, 49337 markings/sec, 25 secs
lola: 1683893 markings, 37593515 edges, 48545 markings/sec, 30 secs
lola: 1907501 markings, 42802846 edges, 44722 markings/sec, 35 secs
lola: 2133550 markings, 48358320 edges, 45210 markings/sec, 40 secs
lola: 2372261 markings, 53937551 edges, 47742 markings/sec, 45 secs
lola: 2606788 markings, 59441677 edges, 46905 markings/sec, 50 secs
lola: 2832131 markings, 64879475 edges, 45069 markings/sec, 55 secs
lola: 3075413 markings, 70654410 edges, 48656 markings/sec, 60 secs
lola: 3319700 markings, 76415132 edges, 48857 markings/sec, 65 secs
lola: 3550563 markings, 81909851 edges, 46173 markings/sec, 70 secs
lola: 3784877 markings, 87427983 edges, 46863 markings/sec, 75 secs
lola: 4022040 markings, 92844366 edges, 47433 markings/sec, 80 secs
lola: 4223264 markings, 98309946 edges, 40245 markings/sec, 85 secs
lola: 4443815 markings, 103772006 edges, 44110 markings/sec, 90 secs
lola: 4634812 markings, 109138174 edges, 38199 markings/sec, 95 secs
lola: 4841512 markings, 114825680 edges, 41340 markings/sec, 100 secs
lola: 5046810 markings, 120452902 edges, 41060 markings/sec, 105 secs
lola: 5247231 markings, 126011229 edges, 40084 markings/sec, 110 secs
lola: 5447506 markings, 131534855 edges, 40055 markings/sec, 115 secs
lola: 5646535 markings, 137015402 edges, 39806 markings/sec, 120 secs
lola: 5841532 markings, 142463444 edges, 38999 markings/sec, 125 secs
lola: 6047250 markings, 148290405 edges, 41144 markings/sec, 130 secs
lola: 6252511 markings, 153825760 edges, 41052 markings/sec, 135 secs
lola: 6445408 markings, 159319937 edges, 38579 markings/sec, 140 secs
lola: 6658193 markings, 164782427 edges, 42557 markings/sec, 145 secs
lola: 6875162 markings, 170204099 edges, 43394 markings/sec, 150 secs
lola: 7082394 markings, 175687478 edges, 41446 markings/sec, 155 secs
lola: 7295678 markings, 181089327 edges, 42657 markings/sec, 160 secs
lola: 7493857 markings, 186542272 edges, 39636 markings/sec, 165 secs
lola: 7699733 markings, 192204679 edges, 41175 markings/sec, 170 secs
lola: 7899537 markings, 197771509 edges, 39961 markings/sec, 175 secs
lola: 8096250 markings, 203265089 edges, 39343 markings/sec, 180 secs
lola: 8292363 markings, 208749596 edges, 39223 markings/sec, 185 secs
lola: 8488191 markings, 214170474 edges, 39166 markings/sec, 190 secs
lola: 8684392 markings, 219690565 edges, 39240 markings/sec, 195 secs
lola: 8891869 markings, 225519880 edges, 41495 markings/sec, 200 secs
lola: 9089424 markings, 230913225 edges, 39511 markings/sec, 205 secs
lola: 9283024 markings, 236332557 edges, 38720 markings/sec, 210 secs
lola: 9507574 markings, 241752729 edges, 44910 markings/sec, 215 secs
lola: 9724300 markings, 247156214 edges, 43345 markings/sec, 220 secs
lola: 9928553 markings, 252673486 edges, 40851 markings/sec, 225 secs
lola: 10134575 markings, 258195712 edges, 41204 markings/sec, 230 secs
lola: 10339410 markings, 263649051 edges, 40967 markings/sec, 235 secs
lola: 10536888 markings, 269131630 edges, 39496 markings/sec, 240 secs
lola: 10743688 markings, 274702977 edges, 41360 markings/sec, 245 secs
lola: 10943908 markings, 280157912 edges, 40044 markings/sec, 250 secs
lola: 11168314 markings, 285510447 edges, 44881 markings/sec, 255 secs
lola: 11373716 markings, 290995609 edges, 41080 markings/sec, 260 secs
lola: 11579538 markings, 296426503 edges, 41164 markings/sec, 265 secs
lola: 11781981 markings, 301961994 edges, 40489 markings/sec, 270 secs
lola: 11979478 markings, 307337285 edges, 39499 markings/sec, 275 secs
lola: 12202954 markings, 312711365 edges, 44695 markings/sec, 280 secs
lola: 12411773 markings, 318169899 edges, 41764 markings/sec, 285 secs
lola: 12618010 markings, 323614711 edges, 41247 markings/sec, 290 secs
lola: 12819620 markings, 329104737 edges, 40322 markings/sec, 295 secs
lola: 13020223 markings, 334547154 edges, 40121 markings/sec, 300 secs
lola: 13244408 markings, 339961903 edges, 44837 markings/sec, 305 secs
lola: 13449454 markings, 345376296 edges, 41009 markings/sec, 310 secs
lola: 13660726 markings, 350801880 edges, 42254 markings/sec, 315 secs
lola: 13862555 markings, 356168140 edges, 40366 markings/sec, 320 secs
lola: 14063888 markings, 361734893 edges, 40267 markings/sec, 325 secs
lola: 14267014 markings, 367337836 edges, 40625 markings/sec, 330 secs
lola: 14467443 markings, 372856719 edges, 40086 markings/sec, 335 secs
lola: 14666383 markings, 378329943 edges, 39788 markings/sec, 340 secs
lola: 14867426 markings, 383820089 edges, 40209 markings/sec, 345 secs
lola: 15052600 markings, 389175406 edges, 37035 markings/sec, 350 secs
lola: 15257571 markings, 394843106 edges, 40994 markings/sec, 355 secs
lola: 15464372 markings, 400500794 edges, 41360 markings/sec, 360 secs
lola: 15658878 markings, 405929880 edges, 38901 markings/sec, 365 secs
lola: 15856052 markings, 411379177 edges, 39435 markings/sec, 370 secs
lola: 16050741 markings, 416749329 edges, 38938 markings/sec, 375 secs
lola: 16235099 markings, 422095269 edges, 36872 markings/sec, 380 secs
lola: 16410172 markings, 427578066 edges, 35015 markings/sec, 385 secs
lola: 16590121 markings, 433080092 edges, 35990 markings/sec, 390 secs
lola: 16763068 markings, 438498521 edges, 34589 markings/sec, 395 secs
lola: 16933998 markings, 443857562 edges, 34186 markings/sec, 400 secs
lola: 17115893 markings, 449603773 edges, 36379 markings/sec, 405 secs
lola: 17289336 markings, 454978112 edges, 34689 markings/sec, 410 secs
lola: 17462623 markings, 460382466 edges, 34657 markings/sec, 415 secs
lola: 17655739 markings, 465722156 edges, 38623 markings/sec, 420 secs
lola: 17832696 markings, 471163445 edges, 35391 markings/sec, 425 secs
lola: 18008697 markings, 476568023 edges, 35200 markings/sec, 430 secs
lola: 18181341 markings, 481955053 edges, 34529 markings/sec, 435 secs
lola: 18358584 markings, 487458757 edges, 35449 markings/sec, 440 secs
lola: 18530648 markings, 492832886 edges, 34413 markings/sec, 445 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown yes unknown no no no no unknown no yes unknown yes
lola: caught signal User defined signal 1 - aborting LoLAlola:
preliminary result: yes no unknown unknown unknown yes unknown no no no no unknown no yes unknown yes lola:
preliminary result: yes no unknown unknown unknown yes unknown no no no no unknown no yes unknown yes
lola: memory consumption: 2638752 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no unknown unknown unknown yes unknown no no no no unknown no yes unknown yes
lola: memory consumption: 2638752 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589231512539
--------------------
content from stderr:
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="CircularTrains-PT-048"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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 win2019"
echo " Input is CircularTrains-PT-048, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r045-smll-158902068200018"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-048.tgz
mv CircularTrains-PT-048 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;