About the Execution of 2020-gold for DatabaseWithMutex-COL-04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16255.380 | 3600000.00 | 3594127.00 | 22120.80 | FFFFF?T?F?FFFFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r075-tall-162039097600342.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is DatabaseWithMutex-COL-04, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-tall-162039097600342
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 380K
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 114K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Mar 23 10:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 23 10:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 22 17:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 22 17:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 21K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DatabaseWithMutex-COL-04-00
FORMULA_NAME DatabaseWithMutex-COL-04-01
FORMULA_NAME DatabaseWithMutex-COL-04-02
FORMULA_NAME DatabaseWithMutex-COL-04-03
FORMULA_NAME DatabaseWithMutex-COL-04-04
FORMULA_NAME DatabaseWithMutex-COL-04-05
FORMULA_NAME DatabaseWithMutex-COL-04-06
FORMULA_NAME DatabaseWithMutex-COL-04-07
FORMULA_NAME DatabaseWithMutex-COL-04-08
FORMULA_NAME DatabaseWithMutex-COL-04-09
FORMULA_NAME DatabaseWithMutex-COL-04-10
FORMULA_NAME DatabaseWithMutex-COL-04-11
FORMULA_NAME DatabaseWithMutex-COL-04-12
FORMULA_NAME DatabaseWithMutex-COL-04-13
FORMULA_NAME DatabaseWithMutex-COL-04-14
FORMULA_NAME DatabaseWithMutex-COL-04-15
=== Now, execution of the tool begins
BK_START 1620568547084
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-09 13:55:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-09 13:55:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 13:55:48] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2021-05-09 13:55:49] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 529 ms
[2021-05-09 13:55:49] [INFO ] sort/places :
site->all_active,all_passive,
file->Mutex,
SF->RecBuff,Active,Message,Modify,MesBuffReply,Acknowledge,updating,WaitMutex,
[2021-05-09 13:55:49] [WARNING] Unknown color function,Subtract skipping symmetry detection on parameters for transition Release
[2021-05-09 13:55:49] [INFO ] Imported 11 HL places and 8 HL transitions for a total of 140 PT places and 128.0 transition bindings in 19 ms.
[2021-05-09 13:55:49] [INFO ] Computed order based on color domains.
[2021-05-09 13:55:49] [INFO ] Unfolded HLPN to a Petri net with 140 places and 128 transitions in 20 ms.
[2021-05-09 13:55:49] [INFO ] Unfolded HLPN properties in 1 ms.
[2021-05-09 13:55:49] [INFO ] Reduced 12 identical enabling conditions.
[2021-05-09 13:55:49] [INFO ] Reduced 12 identical enabling conditions.
[2021-05-09 13:55:49] [INFO ] Reduced 12 identical enabling conditions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 44 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 747 steps, including 0 resets, run visited all 108 properties in 13 ms. (steps per millisecond=57 )
[2021-05-09 13:55:49] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-09 13:55:49] [INFO ] Flatten gal took : 45 ms
FORMULA DatabaseWithMutex-COL-04-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DatabaseWithMutex-COL-04-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DatabaseWithMutex-COL-04-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-09 13:55:49] [INFO ] Applying decomposition
[2021-05-09 13:55:49] [INFO ] Flatten gal took : 16 ms
[2021-05-09 13:55:49] [INFO ] Decomposing Gal with order
[2021-05-09 13:55:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 13:55:49] [INFO ] Removed a total of 136 redundant transitions.
[2021-05-09 13:55:49] [INFO ] Flatten gal took : 49 ms
[2021-05-09 13:55:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2021-05-09 13:55:49] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 9 ms.
[2021-05-09 13:55:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ DatabaseWithMutex-COL-04 @ 3570 seconds
FORMULA DatabaseWithMutex-COL-04-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-04-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-04-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-04-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-04-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-04-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-04-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-04-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-04-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-04-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ DatabaseWithMutex-COL-04
{
"exit":
{
"memory": 769340,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 17,
"adisj": 19,
"aneg": 3,
"comp": 136,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 136,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 36,
"visible_transitions": 0
},
"processed": "X ((F (((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (1 <= p95) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p24) AND (1 <= p88) AND (1 <= p96) AND (1 <= p100)) OR ((1 <= p22) AND (1 <= p94) AND (1 <= p98) AND (1 <= p102)) OR ((1 <= p35) AND (1 <= p91) AND (1 <= p95) AND (1 <= p99)) OR ((1 <= p32) AND (1 <= p88) AND (1 <= p92) AND (1 <= p96)) OR ((1 <= p29) AND (1 <= p89) AND (1 <= p93) AND (1 <= p101)) OR ((1 <= p20) AND (1 <= p92) AND (1 <= p96) AND (1 <= p100)) OR ((1 <= p26) AND (1 <= p90) AND (1 <= p98) AND (1 <= p102)) OR ((1 <= p31) AND (1 <= p91) AND (1 <= p95) AND (1 <= p103)) OR ((1 <= p30) AND (1 <= p90) AND (1 <= p94) AND (1 <= p102))) R (X ((((p21 <= 0) OR (p93 <= 0) OR (p97 <= 0) OR (p101 <= 0)) AND ((p27 <= 0) OR (p91 <= 0) OR (p99 <= 0) OR (p103 <= 0)) AND ((p33 <= 0) OR (p89 <= 0) OR (p93 <= 0) OR (p97 <= 0)) AND ((p28 <= 0) OR (p88 <= 0) OR (p92 <= 0) OR (p100 <= 0)) AND ((p25 <= 0) OR (p89 <= 0) OR (p97 <= 0) OR (p101 <= 0)) AND ((p34 <= 0) OR (p90 <= 0) OR (p94 <= 0) OR (p98 <= 0)) AND ((p23 <= 0) OR (p95 <= 0) OR (p99 <= 0) OR (p103 <= 0)) AND ((p24 <= 0) OR (p88 <= 0) OR (p96 <= 0) OR (p100 <= 0)) AND ((p22 <= 0) OR (p94 <= 0) OR (p98 <= 0) OR (p102 <= 0)) AND ((p35 <= 0) OR (p91 <= 0) OR (p95 <= 0) OR (p99 <= 0)) AND ((p32 <= 0) OR (p88 <= 0) OR (p92 <= 0) OR (p96 <= 0)) AND ((p29 <= 0) OR (p89 <= 0) OR (p93 <= 0) OR (p101 <= 0)) AND ((p20 <= 0) OR (p92 <= 0) OR (p96 <= 0) OR (p100 <= 0)) AND ((p26 <= 0) OR (p90 <= 0) OR (p98 <= 0) OR (p102 <= 0)) AND ((p31 <= 0) OR (p91 <= 0) OR (p95 <= 0) OR (p103 <= 0)) AND ((p30 <= 0) OR (p90 <= 0) OR (p94 <= 0) OR (p102 <= 0)))) OR F (((p16 <= 0) AND (p17 <= 0) AND (p18 <= 0) AND (p19 <= 0)))))) OR G (((1 <= p16) OR (1 <= p17) OR (1 <= p18) OR (1 <= p19)))))",
"processed_size": 2153,
"rewrites": 991
},
"result":
{
"preliminary_value": "no no no unknown yes unknown no unknown no no no no unknown "
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 14,
"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: 268/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4480
lola: finding significant places
lola: 140 places, 128 transitions, 112 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: G (NOT(F ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <= p13) AND (1 <= p107)) OR ((1 <= p10) AND (1 <= p106)) OR ((1 <= p2) AND (1 <= p104)) OR ((1 <= p0) AND (1 <= p104)))))) : (X ((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (1 <= p95) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p24) AND (1 <= p88) AND (1 <= p96) AND (1 <= p100)) OR ((1 <= p22) AND (1 <= p94) AND (1 <= p98) AND (1 <= p102)) OR ((1 <= p35) AND (1 <= p91) AND (1 <= p95) AND (1 <= p99)) OR ((1 <= p32) AND (1 <= p88) AND (1 <= p92) AND (1 <= p96)) OR ((1 <= p29) AND (1 <= p89) AND (1 <= p93) AND (1 <= p101)) OR ((1 <= p20) AND (1 <= p92) AND (1 <= p96) AND (1 <= p100)) OR ((1 <= p26) AND (1 <= p90) AND (1 <= p98) AND (1 <= p102)) OR ((1 <= p31) AND (1 <= p91) AND (1 <= p95) AND (1 <= p103)) OR ((1 <= p30) AND (1 <= p90) AND (1 <= p94) AND (1 <= p102)))) AND ((G ((((1 <= p37) AND (1 <= p125)) OR ((1 <= p38) AND (1 <= p134)) OR ((1 <= p37) AND (1 <= p129)) OR ((1 <= p38) AND (1 <= p130)) OR ((1 <= p37) AND (1 <= p133)) OR ((1 <= p38) AND (1 <= p126)) OR ((1 <= p37) AND (1 <= p137)) OR ((1 <= p39) AND (1 <= p139)) OR ((1 <= p36) AND (1 <= p124)) OR ((1 <= p39) AND (1 <= p135)) OR ((1 <= p36) AND (1 <= p128)) OR ((1 <= p39) AND (1 <= p131)) OR ((1 <= p36) AND (1 <= p132)) OR ((1 <= p39) AND (1 <= p127)) OR ((1 <= p36) AND (1 <= p136)) OR ((1 <= p38) AND (1 <= p138)))) OR F (((1 <= p73) OR (1 <= p72) OR (1 <= p75) OR (1 <= p74) OR (1 <= p77) OR (1 <= p76) OR (1 <= p79) OR (1 <= p78) OR (1 <= p81) OR (1 <= p80) OR (1 <= p83) OR (1 <= p82) OR (1 <= p85) OR (1 <= p84) OR (1 <= p87) OR (1 <= p86)))) OR (((p37 <= 0) OR (p125 <= 0)) AND ((p38 <= 0) OR (p134 <= 0)) AND ((p37 <= 0) OR (p129 <= 0)) AND ((p38 <= 0) OR (p130 <= 0)) AND ((p37 <= 0) OR (p133 <= 0)) AND ((p38 <= 0) OR (p126 <= 0)) AND ((p37 <= 0) OR (p137 <= 0)) AND ((p39 <= 0) OR (p139 <= 0)) AND ((p36 <= 0) OR (p124 <= 0)) AND ((p39 <= 0) OR (p135 <= 0)) AND ((p36 <= 0) OR (p128 <= 0)) AND ((p39 <= 0) OR (p131 <= 0)) AND ((p36 <= 0) OR (p132 <= 0)) AND ((p39 <= 0) OR (p127 <= 0)) AND ((p36 <= 0) OR (p136 <= 0)) AND ((p38 <= 0) OR (p138 <= 0))))) : NOT(X (((((((((((((((((((X ((((1 <= p37) AND (1 <= p125)) OR ((1 <= p38) AND (1 <= p134)) OR ((1 <= p37) AND (1 <= p129)) OR ((1 <= p38) AND (1 <= p130)) OR ((1 <= p37) AND (1 <= p133)) OR ((1 <= p38) AND (1 <= p126)) OR ((1 <= p37) AND (1 <= p137)) OR ((1 <= p39) AND (1 <= p139)) OR ((1 <= p36) AND (1 <= p124)) OR ((1 <= p39) AND (1 <= p135)) OR ((1 <= p36) AND (1 <= p128)) OR ((1 <= p39) AND (1 <= p131)) OR ((1 <= p36) AND (1 <= p132)) OR ((1 <= p39) AND (1 <= p127)) OR ((1 <= p36) AND (1 <= p136)) OR ((1 <= p38) AND (1 <= p138)))) AND (((1 <= p37) AND (1 <= p125)) OR ((1 <= p38) AND (1 <= p134)) OR ((1 <= p37) AND (1 <= p129)) OR ((1 <= p38) AND (1 <= p130)) OR ((1 <= p37) AND (1 <= p133)) OR ((1 <= p38) AND (1 <= p126)) OR ((1 <= p37) AND (1 <= p137)) OR ((1 <= p39) AND (1 <= p139)) OR ((1 <= p36) AND (1 <= p124)) OR ((1 <= p39) AND (1 <= p135)) OR ((1 <= p36) AND (1 <= p128)) OR ((1 <= p39) AND (1 <= p131)) OR ((1 <= p36) AND (1 <= p132)) OR ((1 <= p39) AND (1 <= p127)) OR ((1 <= p36) AND (1 <= p136)) OR ((1 <= p38) AND (1 <= p138)))) OR X (F (((1 <= p65) OR (1 <= p64) OR (1 <= p67) OR (1 <= p66) OR (1 <= p69) OR (1 <= p68) OR (1 <= p71) OR (1 <= p70) OR (1 <= p57) OR (1 <= p56) OR (1 <= p59) OR (1 <= p58) OR (1 <= p61) OR (1 <= p60) OR (1 <= p63) OR (1 <= p62))))) OR (1 <= p65)) OR (1 <= p64)) OR (1 <= p67)) OR (1 <= p66)) OR (1 <= p69)) OR (1 <= p68)) OR (1 <= p71)) OR (1 <= p70)) OR (1 <= p57)) OR (1 <= p56)) OR (1 <= p59)) OR (1 <= p58)) OR (1 <= p61)) OR (1 <= p60)) OR (1 <= p63)) OR (1 <= p62)))) : X (NOT(G ((((p21 <= 0) OR (p93 <= 0) OR (p97 <= 0) OR (p101 <= 0)) AND ((p27 <= 0) OR (p91 <= 0) OR (p99 <= 0) OR (p103 <= 0)) AND ((p33 <= 0) OR (p89 <= 0) OR (p93 <= 0) OR (p97 <= 0)) AND ((p28 <= 0) OR (p88 <= 0) OR (p92 <= 0) OR (p100 <= 0)) AND ((p25 <= 0) OR (p89 <= 0) OR (p97 <= 0) OR (p101 <= 0)) AND ((p34 <= 0) OR (p90 <= 0) OR (p94 <= 0) OR (p98 <= 0)) AND ((p23 <= 0) OR (p95 <= 0) OR (p99 <= 0) OR (p103 <= 0)) AND ((p24 <= 0) OR (p88 <= 0) OR (p96 <= 0) OR (p100 <= 0)) AND ((p22 <= 0) OR (p94 <= 0) OR (p98 <= 0) OR (p102 <= 0)) AND ((p35 <= 0) OR (p91 <= 0) OR (p95 <= 0) OR (p99 <= 0)) AND ((p32 <= 0) OR (p88 <= 0) OR (p92 <= 0) OR (p96 <= 0)) AND ((p29 <= 0) OR (p89 <= 0) OR (p93 <= 0) OR (p101 <= 0)) AND ((p20 <= 0) OR (p92 <= 0) OR (p96 <= 0) OR (p100 <= 0)) AND ((p26 <= 0) OR (p90 <= 0) OR (p98 <= 0) OR (p102 <= 0)) AND ((p31 <= 0) OR (p91 <= 0) OR (p95 <= 0) OR (p103 <= 0)) AND ((p30 <= 0) OR (p90 <= 0) OR (p94 <= 0) OR (p102 <= 0)))))) : X (F ((F ((X (G (((1 <= p110) OR (1 <= p111) OR (1 <= p108) OR (1 <= p109) OR (1 <= p114) OR (1 <= p115) OR (1 <= p112) OR (1 <= p113) OR (1 <= p118) OR (1 <= p119) OR (1 <= p116) OR (1 <= p117) OR (1 <= p122) OR (1 <= p123) OR (1 <= p120) OR (1 <= p121)))) AND X ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <= p13) AND (1 <= p107)) OR ((1 <= p10) AND (1 <= p106)) OR ((1 <= p2) AND (1 <= p104)) OR ((1 <= p0) AND (1 <= p104)))))) U (((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <= p13) AND (1 <= p107)) OR ((1 <= p10) AND (1 <= p106)) OR ((1 <= p2) AND (1 <= p104)) OR ((1 <= p0) AND (1 <= p104)))))) : X ((F (NOT(((((p21 <= 0) OR (p93 <= 0) OR (p97 <= 0) OR (p101 <= 0)) AND ((p27 <= 0) OR (p91 <= 0) OR (p99 <= 0) OR (p103 <= 0)) AND ((p33 <= 0) OR (p89 <= 0) OR (p93 <= 0) OR (p97 <= 0)) AND ((p28 <= 0) OR (p88 <= 0) OR (p92 <= 0) OR (p100 <= 0)) AND ((p25 <= 0) OR (p89 <= 0) OR (p97 <= 0) OR (p101 <= 0)) AND ((p34 <= 0) OR (p90 <= 0) OR (p94 <= 0) OR (p98 <= 0)) AND ((p23 <= 0) OR (p95 <= 0) OR (p99 <= 0) OR (p103 <= 0)) AND ((p24 <= 0) OR (p88 <= 0) OR (p96 <= 0) OR (p100 <= 0)) AND ((p22 <= 0) OR (p94 <= 0) OR (p98 <= 0) OR (p102 <= 0)) AND ((p35 <= 0) OR (p91 <= 0) OR (p95 <= 0) OR (p99 <= 0)) AND ((p32 <= 0) OR (p88 <= 0) OR (p92 <= 0) OR (p96 <= 0)) AND ((p29 <= 0) OR (p89 <= 0) OR (p93 <= 0) OR (p101 <= 0)) AND ((p20 <= 0) OR (p92 <= 0) OR (p96 <= 0) OR (p100 <= 0)) AND ((p26 <= 0) OR (p90 <= 0) OR (p98 <= 0) OR (p102 <= 0)) AND ((p31 <= 0) OR (p91 <= 0) OR (p95 <= 0) OR (p103 <= 0)) AND ((p30 <= 0) OR (p90 <= 0) OR (p94 <= 0) OR (p102 <= 0))) U (X ((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (1 <= p95) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p24) AND (1 <= p88) AND (1 <= p96) AND (1 <= p100)) OR ((1 <= p22) AND (1 <= p94) AND (1 <= p98) AND (1 <= p102)) OR ((1 <= p35) AND (1 <= p91) AND (1 <= p95) AND (1 <= p99)) OR ((1 <= p32) AND (1 <= p88) AND (1 <= p92) AND (1 <= p96)) OR ((1 <= p29) AND (1 <= p89) AND (1 <= p93) AND (1 <= p101)) OR ((1 <= p20) AND (1 <= p92) AND (1 <= p96) AND (1 <= p100)) OR ((1 <= p26) AND (1 <= p90) AND (1 <= p98) AND (1 <= p102)) OR ((1 <= p31) AND (1 <= p91) AND (1 <= p95) AND (1 <= p103)) OR ((1 <= p30) AND (1 <= p90) AND (1 <= p94) AND (1 <= p102)))) AND G (((1 <= p16) OR (1 <= p17) OR (1 <= p18) OR (1 <= p19))))))) OR G (((1 <= p16) OR (1 <= p17) OR (1 <= p18) OR (1 <= p19))))) : F ((G (((1 <= p41) OR (1 <= p40) OR (1 <= p43) OR (1 <= p42) OR (1 <= p45) OR (1 <= p44) OR (1 <= p47) OR (1 <= p46) OR (1 <= p49) OR (1 <= p48) OR (1 <= p51) OR (1 <= p50) OR (1 <= p53) OR (1 <= p52) OR (1 <= p55) OR (1 <= p54))) AND G (X (F (((p16 <= 0) AND (p17 <= 0) AND (p18 <= 0) AND (p19 <= 0))))))) : (((((((((((((((((((((((((((((((((NOT(F (((1 <= p110) OR (1 <= p111) OR (1 <= p108) OR (1 <= p109) OR (1 <= p114) OR (1 <= p115) OR (1 <= p112) OR (1 <= p113) OR (1 <= p118) OR (1 <= p119) OR (1 <= p116) OR (1 <= p117) OR (1 <= p122) OR (1 <= p123) OR (1 <= p120) OR (1 <= p121)))) AND (p41 <= 0)) AND (p40 <= 0)) AND (p43 <= 0)) AND (p42 <= 0)) AND (p45 <= 0)) AND (p44 <= 0)) AND (p47 <= 0)) AND (p46 <= 0)) AND (p49 <= 0)) AND (p48 <= 0)) AND (p51 <= 0)) AND (p50 <= 0)) AND (p53 <= 0)) AND (p52 <= 0)) AND (p55 <= 0)) AND (p54 <= 0)) AND ((p37 <= 0) OR (p125 <= 0))) AND ((p38 <= 0) OR (p134 <= 0))) AND ((p37 <= 0) OR (p129 <= 0))) AND ((p38 <= 0) OR (p130 <= 0))) AND ((p37 <= 0) OR (p133 <= 0))) AND ((p38 <= 0) OR (p126 <= 0))) AND ((p37 <= 0) OR (p137 <= 0))) AND ((p39 <= 0) OR (p139 <= 0))) AND ((p36 <= 0) OR (p124 <= 0))) AND ((p39 <= 0) OR (p135 <= 0))) AND ((p36 <= 0) OR (p128 <= 0))) AND ((p39 <= 0) OR (p131 <= 0))) AND ((p36 <= 0) OR (p132 <= 0))) AND ((p39 <= 0) OR (p127 <= 0))) AND ((p36 <= 0) OR (p136 <= 0))) AND ((p38 <= 0) OR (p138 <= 0))) U G (F (((1 <= p110) OR (1 <= p111) OR (1 <= p108) OR (1 <= p109) OR (1 <= p114) OR (1 <= p115) OR (1 <= p112) OR (1 <= p113) OR (1 <= p118) OR (1 <= p119) OR (1 <= p116) OR (1 <= p117) OR (1 <= p122) OR (1 <= p123) OR (1 <= p120) OR (1 <= p121))))) : F (G ((((((((((((((((((F (G (NOT(X (((1 <= p73) OR (1 <= p72) OR (1 <= p75) OR (1 <= p74) OR (1 <= p77) OR (1 <= p76) OR (1 <= p79) OR (1 <= p78) OR (1 <= p81) OR (1 <= p80) OR (1 <= p83) OR (1 <= p82) OR (1 <= p85) OR (1 <= p84) OR (1 <= p87) OR (1 <= p86)))))) OR X (X (X (((1 <= p73) OR (1 <= p72) OR (1 <= p75) OR (1 <= p74) OR (1 <= p77) OR (1 <= p76) OR (1 <= p79) OR (1 <= p78) OR (1 <= p81) OR (1 <= p80) OR (1 <= p83) OR (1 <= p82) OR (1 <= p85) OR (1 <= p84) OR (1 <= p87) OR (1 <= p86)))))) OR (1 <= p110)) OR (1 <= p111)) OR (1 <= p108)) OR (1 <= p109)) OR (1 <= p114)) OR (1 <= p115)) OR (1 <= p112)) OR (1 <= p113)) OR (1 <= p118)) OR (1 <= p119)) OR (1 <= p116)) OR (1 <= p117)) OR (1 <= p122)) OR (1 <= p123)) OR (1 <= p120)) OR (1 <= p121)))) : F (NOT((((1 <= p73) OR (1 <= p72) OR (1 <= p75) OR (1 <= p74) OR (1 <= p77) OR (1 <= p76) OR (1 <= p79) OR (1 <= p78) OR (1 <= p81) OR (1 <= p80) OR (1 <= p83) OR (1 <= p82) OR (1 <= p85) OR (1 <= p84) OR (1 <= p87) OR (1 <= p86)) U F (X (F (((1 <= p41) OR (1 <= p40) OR (1 <= p43) OR (1 <= p42) OR (1 <= p45) OR (1 <= p44) OR (1 <= p47) OR (1 <= p46) OR (1 <= p49) OR (1 <= p48) OR (1 <= p51) OR (1 <= p50) OR (1 <= p53) OR (1 <= p52) OR (1 <= p55) OR (1 <= p54)))))))) : ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <= p13) AND (1 <= p107)) OR ((1 <= p10) AND (1 <= p106)) OR ((1 <= p2) AND (1 <= p104)) OR ((1 <= p0) AND (1 <= p104))) U ((((((((((((((((NOT(X (G (F ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <= p13) AND (1 <= p107)) OR ((1 <= p10) AND (1 <= p106)) OR ((1 <= p2) AND (1 <= p104)) OR ((1 <= p0) AND (1 <= p104))))))) AND ((p4 <= 0) OR (p105 <= 0))) AND ((p6 <= 0) OR (p105 <= 0))) AND ((p11 <= 0) OR (p106 <= 0))) AND ((p14 <= 0) OR (p107 <= 0))) AND ((p9 <= 0) OR (p106 <= 0))) AND ((p12 <= 0) OR (p107 <= 0))) AND ((p7 <= 0) OR (p105 <= 0))) AND ((p3 <= 0) OR (p104 <= 0))) AND ((p1 <= 0) OR (p104 <= 0))) AND ((p15 <= 0) OR (p107 <= 0))) AND ((p5 <= 0) OR (p105 <= 0))) AND ((p8 <= 0) OR (p106 <= 0))) AND ((p13 <= 0) OR (p107 <= 0))) AND ((p10 <= 0) OR (p106 <= 0))) AND ((p2 <= 0) OR (p104 <= 0))) AND ((p0 <= 0) OR (p104 <= 0)))) : (G (NOT(X ((((p4 <= 0) OR (p105 <= 0)) AND ((p6 <= 0) OR (p105 <= 0)) AND ((p11 <= 0) OR (p106 <= 0)) AND ((p14 <= 0) OR (p107 <= 0)) AND ((p9 <= 0) OR (p106 <= 0)) AND ((p12 <= 0) OR (p107 <= 0)) AND ((p7 <= 0) OR (p105 <= 0)) AND ((p3 <= 0) OR (p104 <= 0)) AND ((p1 <= 0) OR (p104 <= 0)) AND ((p15 <= 0) OR (p107 <= 0)) AND ((p5 <= 0) OR (p105 <= 0)) AND ((p8 <= 0) OR (p106 <= 0)) AND ((p13 <= 0) OR (p107 <= 0)) AND ((p10 <= 0) OR (p106 <= 0)) AND ((p2 <= 0) OR (p104 <= 0)) AND ((p0 <= 0) OR (p104 <= 0)))))) AND F (((1 <= p65) OR (1 <= p64) OR (1 <= p67) OR (1 <= p66) OR (1 <= p69) OR (1 <= p68) OR (1 <= p71) OR (1 <= p70) OR (1 <= p57) OR (1 <= p56) OR (1 <= p59) OR (1 <= p58) OR (1 <= p61) OR (1 <= p60) OR (1 <= p63) OR (1 <= p62)))) : F (G (F (NOT(X (G (X (NOT((X (((1 <= p110) OR (1 <= p111) OR (1 <= p108) OR (1 <= p109) OR (1 <= p114) OR (1 <= p115) OR (1 <= p112) OR (1 <= p113) OR (1 <= p118) OR (1 <= p119) OR (1 <= p116) OR (1 <= p117) OR (1 <= p122) OR (1 <= p123) OR (1 <= p120) OR (1 <= p121))) U ((1 <= p41) OR (1 <= p40) OR (1 <= p43) OR (1 <= p42) OR (1 <= p45) OR (1 <= p44) OR (1 <= p47) OR (1 <= p46) OR (1 <= p49) OR (1 <= p48) OR (1 <= p51) OR (1 <= p50) OR (1 <= p53) OR (1 <= p52) OR (1 <= p55) OR (1 <= p54)))))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:318
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:525
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:425
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:377
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:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
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: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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (1 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (1 <... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (1 <... (shortened)
lola: processed formula length: 1005
lola: 991 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: 20 markings, 20 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((X ((((p37 <= 0) OR (p125 <= 0)) AND ((p38 <= 0) OR (p134 <= 0)) AND ((p37 <= 0) OR (p129 <= 0)) AND ((p38 <= 0) OR (p130 <= 0)) AND ((p37 <= 0) OR (p133 <= 0)) AND ((p38 <= 0) OR (p126 <= 0)) AND ((p37 <= 0) OR (p137 <= 0)) AND ((p39 <= 0) OR (p139 <= 0)) AND ((p36 <= 0) OR (p124 <= 0)) AND ((p39 <= 0) OR (p135 <= 0)) AND ((p36 <= 0) OR (p128 <= 0)) AND ((p39 <= 0) OR (p131 <= 0))... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((X ((((p37 <= 0) OR (p125 <= 0)) AND ((p38 <= 0) OR (p134 <= 0)) AND ((p37 <= 0) OR (p129 <= 0)) AND ((p38 <= 0) OR (p130 <= 0)) AND ((p37 <= 0) OR (p133 <= 0)) AND ((p38 <= 0) OR (p126 <= 0)) AND ((p37 <= 0) OR (p137 <= 0)) AND ((p39 <= 0) OR (p139 <= 0)) AND ((p36 <= 0) OR (p124 <= 0)) AND ((p39 <= 0) OR (p135 <= 0)) AND ((p36 <= 0) OR (p128 <= 0)) AND ((p39 <= 0) OR (p131 <= 0))... (shortened)
lola: processed formula length: 1588
lola: 991 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 22 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: 28 markings, 28 edges
lola: ========================================
lola: subprocess 2 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (... (shortened)
lola: processed formula length: 1009
lola: 991 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: 660628 markings, 3393489 edges, 132126 markings/sec, 0 secs
lola: 1176685 markings, 6810260 edges, 103211 markings/sec, 5 secs
lola: 1673331 markings, 10142469 edges, 99329 markings/sec, 10 secs
lola: 2220195 markings, 13497202 edges, 109373 markings/sec, 15 secs
lola: 2728573 markings, 16876413 edges, 101676 markings/sec, 20 secs
lola: 3230346 markings, 20177447 edges, 100355 markings/sec, 25 secs
lola: 3760959 markings, 23510914 edges, 106123 markings/sec, 30 secs
lola: 4275953 markings, 26937026 edges, 102999 markings/sec, 35 secs
lola: 4789040 markings, 30274433 edges, 102617 markings/sec, 40 secs
lola: 5319446 markings, 33625695 edges, 106081 markings/sec, 45 secs
lola: 5837825 markings, 37019057 edges, 103676 markings/sec, 50 secs
lola: 6348170 markings, 40335767 edges, 102069 markings/sec, 55 secs
lola: 6838028 markings, 43621301 edges, 97972 markings/sec, 60 secs
lola: 7382202 markings, 47001518 edges, 108835 markings/sec, 65 secs
lola: 7886119 markings, 50324885 edges, 100783 markings/sec, 70 secs
lola: 8367382 markings, 53599149 edges, 96253 markings/sec, 75 secs
lola: 8923294 markings, 56933122 edges, 111182 markings/sec, 80 secs
lola: 9415880 markings, 60234952 edges, 98517 markings/sec, 85 secs
lola: 9900655 markings, 63471493 edges, 96955 markings/sec, 90 secs
lola: 10441416 markings, 66756870 edges, 108152 markings/sec, 95 secs
lola: 10946724 markings, 70109407 edges, 101062 markings/sec, 100 secs
lola: 11439718 markings, 73382923 edges, 98599 markings/sec, 105 secs
lola: 11971091 markings, 76682945 edges, 106275 markings/sec, 110 secs
lola: 12464089 markings, 79995225 edges, 98600 markings/sec, 115 secs
lola: 12962839 markings, 83242383 edges, 99750 markings/sec, 120 secs
lola: 13459338 markings, 86502879 edges, 99300 markings/sec, 125 secs
lola: 14014069 markings, 89886446 edges, 110946 markings/sec, 130 secs
lola: 14517711 markings, 93193606 edges, 100728 markings/sec, 135 secs
lola: 14991292 markings, 96432524 edges, 94716 markings/sec, 140 secs
lola: 15545181 markings, 99749436 edges, 110778 markings/sec, 145 secs
lola: 16035329 markings, 103019632 edges, 98030 markings/sec, 150 secs
lola: 16511536 markings, 106210829 edges, 95241 markings/sec, 155 secs
lola: 17037556 markings, 109454405 edges, 105204 markings/sec, 160 secs
lola: 17530891 markings, 112748154 edges, 98667 markings/sec, 165 secs
lola: 18017009 markings, 115940856 edges, 97224 markings/sec, 170 secs
lola: 18526358 markings, 119158471 edges, 101870 markings/sec, 175 secs
lola: 19020245 markings, 122406581 edges, 98777 markings/sec, 180 secs
lola: 19510802 markings, 125583257 edges, 98111 markings/sec, 185 secs
lola: 19962459 markings, 128661795 edges, 90331 markings/sec, 190 secs
lola: 20560331 markings, 131966696 edges, 119574 markings/sec, 195 secs
lola: 21050186 markings, 135217160 edges, 97971 markings/sec, 200 secs
lola: 21532041 markings, 138388290 edges, 96371 markings/sec, 205 secs
lola: 22030178 markings, 141565526 edges, 99627 markings/sec, 210 secs
lola: 22542217 markings, 144840316 edges, 102408 markings/sec, 215 secs
lola: 23029080 markings, 148030405 edges, 97373 markings/sec, 220 secs
lola: 23485777 markings, 151153907 edges, 91339 markings/sec, 225 secs
lola: 24033157 markings, 154403555 edges, 109476 markings/sec, 230 secs
lola: 24518518 markings, 157645404 edges, 97072 markings/sec, 235 secs
lola: 24980127 markings, 160770568 edges, 92322 markings/sec, 240 secs
lola: 25513306 markings, 164000320 edges, 106636 markings/sec, 245 secs
lola: 25986297 markings, 167173378 edges, 94598 markings/sec, 250 secs
lola: 26466489 markings, 170319729 edges, 96038 markings/sec, 255 secs
lola: 26942159 markings, 173425985 edges, 95134 markings/sec, 260 secs
lola: 27455948 markings, 176674775 edges, 102758 markings/sec, 265 secs
lola: 27932321 markings, 179828253 edges, 95275 markings/sec, 270 secs
lola: 28388883 markings, 182929838 edges, 91312 markings/sec, 275 secs
lola: 28921532 markings, 186099194 edges, 106530 markings/sec, 280 secs
lola: 29400977 markings, 189308208 edges, 95889 markings/sec, 285 secs
lola: 29868710 markings, 192438473 edges, 93547 markings/sec, 290 secs
lola: 30384748 markings, 195597498 edges, 103208 markings/sec, 295 secs
lola: 30869269 markings, 198826470 edges, 96904 markings/sec, 300 secs
lola: 31346680 markings, 201973724 edges, 95482 markings/sec, 305 secs
lola: 31842200 markings, 205116495 edges, 99104 markings/sec, 310 secs
lola: 32343136 markings, 208332195 edges, 100187 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4732944 KB
lola: time consumption: 330 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 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <... (shortened)
lola: processed formula length: 523
lola: 991 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: 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: 63233 markings, 104832 edges
lola: ========================================
lola: subprocess 4 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND... (shortened)
lola: processed formula length: 2153
lola: 991 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: 514947 markings, 3466017 edges, 102989 markings/sec, 0 secs
lola: 1066208 markings, 6829835 edges, 110252 markings/sec, 5 secs
lola: 1566027 markings, 10183908 edges, 99964 markings/sec, 10 secs
lola: 2056380 markings, 13466117 edges, 98071 markings/sec, 15 secs
lola: 2451725 markings, 16800925 edges, 79069 markings/sec, 20 secs
lola: 2722430 markings, 20216570 edges, 54141 markings/sec, 25 secs
lola: 2966878 markings, 23647588 edges, 48890 markings/sec, 30 secs
lola: 3234684 markings, 27060539 edges, 53561 markings/sec, 35 secs
lola: 3488545 markings, 30439286 edges, 50772 markings/sec, 40 secs
lola: 3740815 markings, 33873846 edges, 50454 markings/sec, 45 secs
lola: 4140707 markings, 37257492 edges, 79978 markings/sec, 50 secs
lola: 4640925 markings, 40591956 edges, 100044 markings/sec, 55 secs
lola: 5140550 markings, 43860892 edges, 99925 markings/sec, 60 secs
lola: 5600822 markings, 47132498 edges, 92054 markings/sec, 65 secs
lola: 5882424 markings, 50585549 edges, 56320 markings/sec, 70 secs
lola: 6123169 markings, 53917045 edges, 48149 markings/sec, 75 secs
lola: 6383111 markings, 57262438 edges, 51988 markings/sec, 80 secs
lola: 6633372 markings, 60594966 edges, 50052 markings/sec, 85 secs
lola: 6880541 markings, 63931448 edges, 49434 markings/sec, 90 secs
lola: 7128451 markings, 67248071 edges, 49582 markings/sec, 95 secs
lola: 7658661 markings, 70632703 edges, 106042 markings/sec, 100 secs
lola: 8163631 markings, 73962888 edges, 100994 markings/sec, 105 secs
lola: 8645777 markings, 77238935 edges, 96429 markings/sec, 110 secs
lola: 9013447 markings, 80603181 edges, 73534 markings/sec, 115 secs
lola: 9277182 markings, 84044657 edges, 52747 markings/sec, 120 secs
lola: 9529548 markings, 87475980 edges, 50473 markings/sec, 125 secs
lola: 9796868 markings, 90892979 edges, 53464 markings/sec, 130 secs
lola: 10050889 markings, 94280988 edges, 50804 markings/sec, 135 secs
lola: 10296744 markings, 97713604 edges, 49171 markings/sec, 140 secs
lola: 10749746 markings, 101081931 edges, 90600 markings/sec, 145 secs
lola: 11250974 markings, 104405621 edges, 100246 markings/sec, 150 secs
lola: 11738408 markings, 107659225 edges, 97487 markings/sec, 155 secs
lola: 12161708 markings, 110965800 edges, 84660 markings/sec, 160 secs
lola: 12442294 markings, 114410225 edges, 56117 markings/sec, 165 secs
lola: 12680960 markings, 117795295 edges, 47733 markings/sec, 170 secs
lola: 12947235 markings, 121195427 edges, 53255 markings/sec, 175 secs
lola: 13200588 markings, 124546669 edges, 50671 markings/sec, 180 secs
lola: 13449950 markings, 127930055 edges, 49872 markings/sec, 185 secs
lola: 13760925 markings, 131013349 edges, 62195 markings/sec, 190 secs
lola: 14384989 markings, 131891629 edges, 124813 markings/sec, 195 secs
lola: 14980135 markings, 132828284 edges, 119029 markings/sec, 200 secs
lola: 15566386 markings, 133785419 edges, 117250 markings/sec, 205 secs
lola: 16145793 markings, 134742520 edges, 115881 markings/sec, 210 secs
lola: 16717062 markings, 135705711 edges, 114254 markings/sec, 215 secs
lola: 17286197 markings, 136691045 edges, 113827 markings/sec, 220 secs
lola: 17851072 markings, 137667483 edges, 112975 markings/sec, 225 secs
lola: 18407743 markings, 138647002 edges, 111334 markings/sec, 230 secs
lola: 18963983 markings, 139628479 edges, 111248 markings/sec, 235 secs
lola: 19524758 markings, 140627413 edges, 112155 markings/sec, 240 secs
lola: 20083297 markings, 141634025 edges, 111708 markings/sec, 245 secs
lola: 20643641 markings, 142636108 edges, 112069 markings/sec, 250 secs
lola: 21210672 markings, 143677495 edges, 113406 markings/sec, 255 secs
lola: 21783017 markings, 144734045 edges, 114469 markings/sec, 260 secs
lola: 22353435 markings, 145799631 edges, 114084 markings/sec, 265 secs
lola: 22924859 markings, 146852546 edges, 114285 markings/sec, 270 secs
lola: 23492064 markings, 147897109 edges, 113441 markings/sec, 275 secs
lola: 24059469 markings, 148909222 edges, 113481 markings/sec, 280 secs
lola: 24622894 markings, 149941136 edges, 112685 markings/sec, 285 secs
lola: 25178620 markings, 150951905 edges, 111145 markings/sec, 290 secs
lola: 25739670 markings, 152006811 edges, 112210 markings/sec, 295 secs
lola: 26301239 markings, 153071923 edges, 112314 markings/sec, 300 secs
lola: 26841532 markings, 154090163 edges, 108059 markings/sec, 305 secs
lola: 27389491 markings, 155161177 edges, 109592 markings/sec, 310 secs
lola: 27941886 markings, 156241662 edges, 110479 markings/sec, 315 secs
lola: 28502205 markings, 157267967 edges, 112064 markings/sec, 320 secs
lola: 29061331 markings, 158308983 edges, 111825 markings/sec, 325 secs
lola: 29624983 markings, 159346045 edges, 112730 markings/sec, 330 secs
lola: 30193288 markings, 160417758 edges, 113661 markings/sec, 335 secs
lola: 30757332 markings, 161473332 edges, 112809 markings/sec, 340 secs
lola: 31316963 markings, 162555119 edges, 111926 markings/sec, 345 secs
lola: 31871794 markings, 163576629 edges, 110966 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no no unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4725300 KB
lola: time consumption: 690 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 5 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (G (((p73 <= 0) AND (p72 <= 0) AND (p75 <= 0) AND (p74 <= 0) AND (p77 <= 0) AND (p76 <= 0) AND (p79 <= 0) AND (p78 <= 0) AND (p81 <= 0) AND (p80 <= 0) AND (p83 <= 0) AND (p82 <= 0) AND (p85 <= 0) AND (p84 <= 0) AND (p87 <= 0) AND (p86 <= 0)))) OR (X (X (X (((1 <= p73) OR (1 <= p72) OR (1 <= p75) OR (1 <= p74) OR (1 <= p77) OR (1 <= p76) OR (1 <= p79) OR (1 <= p78) OR (1 <= p81) OR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (G (((p73 <= 0) AND (p72 <= 0) AND (p75 <= 0) AND (p74 <= 0) AND (p77 <= 0) AND (p76 <= 0) AND (p79 <= 0) AND (p78 <= 0) AND (p81 <= 0) AND (p80 <= 0) AND (p83 <= 0) AND (p82 <= 0) AND (p85 <= 0) AND (p84 <= 0) AND (p87 <= 0) AND (p86 <= 0)))) OR (X (X (X (((1 <= p73) OR (1 <= p72) OR (1 <= p75) OR (1 <= p74) OR (1 <= p77) OR (1 <= p76) OR (1 <= p79) OR (1 <= p78) OR (1 <= p81) OR... (shortened)
lola: processed formula length: 780
lola: 991 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 18 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: 37 markings, 38 edges
lola: ========================================
lola: subprocess 6 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((((p73 <= 0) AND (p72 <= 0) AND (p75 <= 0) AND (p74 <= 0) AND (p77 <= 0) AND (p76 <= 0) AND (p79 <= 0) AND (p78 <= 0) AND (p81 <= 0) AND (p80 <= 0) AND (p83 <= 0) AND (p82 <= 0) AND (p85 <= 0) AND (p84 <= 0) AND (p87 <= 0) AND (p86 <= 0)) R X (G (((p41 <= 0) AND (p40 <= 0) AND (p43 <= 0) AND (p42 <= 0) AND (p45 <= 0) AND (p44 <= 0) AND (p47 <= 0) AND (p46 <= 0) AND (p49 <= 0) AND (p48 <= 0) AND... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((((p73 <= 0) AND (p72 <= 0) AND (p75 <= 0) AND (p74 <= 0) AND (p77 <= 0) AND (p76 <= 0) AND (p79 <= 0) AND (p78 <= 0) AND (p81 <= 0) AND (p80 <= 0) AND (p83 <= 0) AND (p82 <= 0) AND (p85 <= 0) AND (p84 <= 0) AND (p87 <= 0) AND (p86 <= 0)) R X (G (((p41 <= 0) AND (p40 <= 0) AND (p43 <= 0) AND (p42 <= 0) AND (p45 <= 0) AND (p44 <= 0) AND (p47 <= 0) AND (p46 <= 0) AND (p49 <= 0) AND (p48 <= 0) AND... (shortened)
lola: processed formula length: 491
lola: 991 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: 20 markings, 20 edges
lola: ========================================
lola: subprocess 7 will run for 480 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 480 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p65) OR (1 <= p64) OR (1 <= p67) OR (1 <= p66) OR (1 <= p69) OR (1 <= p68) OR (1 <= p71) OR (1 <= p70) OR (1 <= p57) OR (1 <= p56) OR (1 <= p59) OR (1 <= p58) OR (1 <= p61) OR (1 <= p60) OR (1 <= p63) OR (1 <= p62)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p65 <= 0) AND (p64 <= 0) AND (p67 <= 0) AND (p66 <= 0) AND (p69 <= 0) AND (p68 <= 0) AND (p71 <= 0) AND (p70 <= 0) AND (p57 <= 0) AND (p56 <= 0) AND (p59 <= 0) AND (p58 <= 0) AND (p61 <= 0) AND (p60 <= 0) AND (p63 <= 0) AND (p62 <= 0))
lola: processed formula length: 237
lola: 993 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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 341 markings, 340 edges
lola: ========================================
lola: subprocess 8 will run for 576 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <... (shortened)
lola: processed formula length: 523
lola: 991 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: 20 markings, 20 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 576 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p110) OR (1 <= p111) OR (1 <= p108) OR (1 <= p109) OR (1 <= p114) OR (1 <= p115) OR (1 <= p112) OR (1 <= p113) OR (1 <= p118) OR (1 <= p119) OR (1 <= p116) OR (1 <= p117) OR (1 <= p122) OR (1 <= p123) OR (1 <= p120) OR (1 <= p121))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p110) OR (1 <= p111) OR (1 <= p108) OR (1 <= p109) OR (1 <= p114) OR (1 <= p115) OR (1 <= p112) OR (1 <= p113) OR (1 <= p118) OR (1 <= p119) OR (1 <= p116) OR (1 <= p117) OR (1 <= p122) OR (1 <= p123) OR (1 <= p120) OR (1 <= p121))))
lola: processed formula length: 261
lola: 991 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: 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: 1677293 markings, 2424063 edges, 335459 markings/sec, 0 secs
lola: 3084818 markings, 4602057 edges, 281505 markings/sec, 5 secs
lola: 4407056 markings, 6738332 edges, 264448 markings/sec, 10 secs
lola: 5673306 markings, 8839121 edges, 253250 markings/sec, 15 secs
lola: 6889649 markings, 10916058 edges, 243269 markings/sec, 20 secs
lola: 8072658 markings, 12984489 edges, 236602 markings/sec, 25 secs
lola: 9223053 markings, 15044872 edges, 230079 markings/sec, 30 secs
lola: 10353921 markings, 17099823 edges, 226174 markings/sec, 35 secs
lola: 11467760 markings, 19154352 edges, 222768 markings/sec, 40 secs
lola: 12560011 markings, 21196773 edges, 218450 markings/sec, 45 secs
lola: 13578166 markings, 23119310 edges, 203631 markings/sec, 50 secs
lola: 14563237 markings, 24996568 edges, 197014 markings/sec, 55 secs
lola: 15602173 markings, 26967650 edges, 207787 markings/sec, 60 secs
lola: 16628481 markings, 28918249 edges, 205262 markings/sec, 65 secs
lola: 17645899 markings, 30837997 edges, 203484 markings/sec, 70 secs
lola: 18651233 markings, 32744104 edges, 201067 markings/sec, 75 secs
lola: 19650827 markings, 34644407 edges, 199919 markings/sec, 80 secs
lola: 20638286 markings, 36527798 edges, 197492 markings/sec, 85 secs
lola: 21610867 markings, 38428822 edges, 194516 markings/sec, 90 secs
lola: 22581624 markings, 40328319 edges, 194151 markings/sec, 95 secs
lola: 23548973 markings, 42214389 edges, 193470 markings/sec, 100 secs
lola: 24514369 markings, 44139023 edges, 193079 markings/sec, 105 secs
lola: 25475749 markings, 46087679 edges, 192276 markings/sec, 110 secs
lola: 26429427 markings, 48033536 edges, 190736 markings/sec, 115 secs
lola: 27388417 markings, 50017967 edges, 191798 markings/sec, 120 secs
lola: 28345485 markings, 52013345 edges, 191414 markings/sec, 125 secs
lola: 29314671 markings, 54060220 edges, 193837 markings/sec, 130 secs
lola: 30251993 markings, 56172836 edges, 187464 markings/sec, 135 secs
lola: 31142877 markings, 58294716 edges, 178177 markings/sec, 140 secs
lola: 31731213 markings, 60118759 edges, 117667 markings/sec, 145 secs
lola: 32269974 markings, 61805692 edges, 107752 markings/sec, 150 secs
lola: 32832063 markings, 63459065 edges, 112418 markings/sec, 155 secs
lola: 33432300 markings, 65103706 edges, 120047 markings/sec, 160 secs
lola: 34060261 markings, 66776568 edges, 125592 markings/sec, 165 secs
lola: 34712848 markings, 68465606 edges, 130517 markings/sec, 170 secs
lola: 35433862 markings, 70187962 edges, 144203 markings/sec, 175 secs
lola: 36298109 markings, 72008579 edges, 172849 markings/sec, 180 secs
lola: 37451569 markings, 74099566 edges, 230692 markings/sec, 185 secs
lola: 38652986 markings, 76314097 edges, 240283 markings/sec, 190 secs
lola: 39787484 markings, 78505631 edges, 226900 markings/sec, 195 secs
lola: 40935334 markings, 80592067 edges, 229570 markings/sec, 200 secs
lola: 42053564 markings, 82678504 edges, 223646 markings/sec, 205 secs
lola: 43129819 markings, 84658774 edges, 215251 markings/sec, 210 secs
lola: 44203007 markings, 86635890 edges, 214638 markings/sec, 215 secs
lola: 45267940 markings, 88651782 edges, 212987 markings/sec, 220 secs
lola: 46312457 markings, 90659423 edges, 208903 markings/sec, 225 secs
lola: 47336906 markings, 92665021 edges, 204890 markings/sec, 230 secs
lola: 48348559 markings, 94672631 edges, 202331 markings/sec, 235 secs
lola: 49341069 markings, 96671920 edges, 198502 markings/sec, 240 secs
lola: 50321826 markings, 98688998 edges, 196151 markings/sec, 245 secs
lola: 51294956 markings, 100690614 edges, 194626 markings/sec, 250 secs
lola: 52264611 markings, 102713609 edges, 193931 markings/sec, 255 secs
lola: 53201200 markings, 104713059 edges, 187318 markings/sec, 260 secs
lola: 54125433 markings, 106707391 edges, 184847 markings/sec, 265 secs
lola: 55029125 markings, 108737221 edges, 180738 markings/sec, 270 secs
lola: 55939869 markings, 110731011 edges, 182149 markings/sec, 275 secs
lola: 56837778 markings, 112720172 edges, 179582 markings/sec, 280 secs
lola: 57727650 markings, 114718195 edges, 177974 markings/sec, 285 secs
lola: 58613054 markings, 116719640 edges, 177081 markings/sec, 290 secs
lola: 59492678 markings, 118707706 edges, 175925 markings/sec, 295 secs
lola: 60360379 markings, 120694084 edges, 173540 markings/sec, 300 secs
lola: 61235621 markings, 122667444 edges, 175048 markings/sec, 305 secs
lola: 62096798 markings, 124655770 edges, 172235 markings/sec, 310 secs
lola: 62953341 markings, 126625240 edges, 171309 markings/sec, 315 secs
lola: 63800097 markings, 128607119 edges, 169351 markings/sec, 320 secs
lola: 64658743 markings, 130588709 edges, 171729 markings/sec, 325 secs
lola: 65501941 markings, 132562418 edges, 168640 markings/sec, 330 secs
lola: 66332872 markings, 134526590 edges, 166186 markings/sec, 335 secs
lola: 67164511 markings, 136508095 edges, 166328 markings/sec, 340 secs
lola: 67999020 markings, 138482741 edges, 166902 markings/sec, 345 secs
lola: 68817406 markings, 140452546 edges, 163677 markings/sec, 350 secs
lola: 69635281 markings, 142423753 edges, 163575 markings/sec, 355 secs
lola: 70446246 markings, 144385560 edges, 162193 markings/sec, 360 secs
lola: 71256011 markings, 146355267 edges, 161953 markings/sec, 365 secs
lola: 72062417 markings, 148310910 edges, 161281 markings/sec, 370 secs
lola: 72863256 markings, 150270655 edges, 160168 markings/sec, 375 secs
lola: 73665043 markings, 152227265 edges, 160357 markings/sec, 380 secs
lola: 74459060 markings, 154202355 edges, 158803 markings/sec, 385 secs
lola: 75247852 markings, 156171803 edges, 157758 markings/sec, 390 secs
lola: 76036160 markings, 158133687 edges, 157662 markings/sec, 395 secs
lola: 76834685 markings, 160085217 edges, 159705 markings/sec, 400 secs
lola: 77624879 markings, 162042476 edges, 158039 markings/sec, 405 secs
lola: 78410141 markings, 164003263 edges, 157052 markings/sec, 410 secs
lola: 79178495 markings, 165953978 edges, 153671 markings/sec, 415 secs
lola: 79933117 markings, 167911926 edges, 150924 markings/sec, 420 secs
lola: 80706037 markings, 169864561 edges, 154584 markings/sec, 425 secs
lola: 81474735 markings, 171798573 edges, 153740 markings/sec, 430 secs
lola: 82236766 markings, 173737825 edges, 152406 markings/sec, 435 secs
lola: 83013105 markings, 175670809 edges, 155268 markings/sec, 440 secs
lola: 83769514 markings, 177623078 edges, 151282 markings/sec, 445 secs
lola: 84525211 markings, 179567857 edges, 151139 markings/sec, 450 secs
lola: 85286807 markings, 181501924 edges, 152319 markings/sec, 455 secs
lola: 86038353 markings, 183431151 edges, 150309 markings/sec, 460 secs
lola: 86803305 markings, 185370433 edges, 152990 markings/sec, 465 secs
lola: 87559975 markings, 187303176 edges, 151334 markings/sec, 470 secs
lola: 88311900 markings, 189231724 edges, 150385 markings/sec, 475 secs
lola: 89048373 markings, 191133255 edges, 147295 markings/sec, 480 secs
lola: 89794733 markings, 193060099 edges, 149272 markings/sec, 485 secs
lola: 90544613 markings, 194999531 edges, 149976 markings/sec, 490 secs
lola: 91295378 markings, 196948345 edges, 150153 markings/sec, 495 secs
lola: 92032901 markings, 198897691 edges, 147505 markings/sec, 500 secs
lola: 92778525 markings, 200835165 edges, 149125 markings/sec, 505 secs
lola: 93518797 markings, 202774009 edges, 148054 markings/sec, 510 secs
lola: 94263075 markings, 204718864 edges, 148856 markings/sec, 515 secs
lola: 94989991 markings, 206648425 edges, 145383 markings/sec, 520 secs
lola: 95732266 markings, 208572108 edges, 148455 markings/sec, 525 secs
lola: 96471306 markings, 210509651 edges, 147808 markings/sec, 530 secs
lola: 97199720 markings, 212445930 edges, 145683 markings/sec, 535 secs
lola: 97944679 markings, 214380367 edges, 148992 markings/sec, 540 secs
lola: 98668550 markings, 216323739 edges, 144774 markings/sec, 545 secs
lola: 99403333 markings, 218262207 edges, 146957 markings/sec, 550 secs
lola: 100124217 markings, 220189484 edges, 144177 markings/sec, 555 secs
lola: 100847098 markings, 222141004 edges, 144576 markings/sec, 560 secs
lola: 101574439 markings, 224076917 edges, 145468 markings/sec, 565 secs
lola: 102296694 markings, 226004107 edges, 144451 markings/sec, 570 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown yes unknown unknown unknown no no unknown no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 576 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p41) OR (1 <= p40) OR (1 <= p43) OR (1 <= p42) OR (1 <= p45) OR (1 <= p44) OR (1 <= p47) OR (1 <= p46) OR (1 <= p49) OR (1 <= p48) OR (1 <= p51) OR (1 <= p50) OR (1 <= p53) OR (1 <= p52) OR (1 <= p55) OR (1 <= p54))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p41) OR (1 <= p40) OR (1 <= p43) OR (1 <= p42) OR (1 <= p45) OR (1 <= p44) OR (1 <= p47) OR (1 <= p46) OR (1 <= p49) OR (1 <= p48) OR (1 <= p51) OR (1 <= p50) OR (1 <= p53) OR (1 <= p52) OR (1 <= p55) OR (1 <= p54))))
lola: processed formula length: 245
lola: 991 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: 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: 1290917 markings, 2501614 edges, 258183 markings/sec, 0 secs
lola: 2428906 markings, 4894709 edges, 227598 markings/sec, 5 secs
lola: 3491449 markings, 7317177 edges, 212509 markings/sec, 10 secs
lola: 4502001 markings, 9748074 edges, 202110 markings/sec, 15 secs
lola: 5470864 markings, 12206561 edges, 193773 markings/sec, 20 secs
lola: 6392463 markings, 14720175 edges, 184320 markings/sec, 25 secs
lola: 7287140 markings, 17247918 edges, 178935 markings/sec, 30 secs
lola: 8146436 markings, 19832193 edges, 171859 markings/sec, 35 secs
lola: 9001059 markings, 22374350 edges, 170925 markings/sec, 40 secs
lola: 9834697 markings, 24962196 edges, 166728 markings/sec, 45 secs
lola: 10646715 markings, 27549537 edges, 162404 markings/sec, 50 secs
lola: 11442641 markings, 30166659 edges, 159185 markings/sec, 55 secs
lola: 12230729 markings, 32752584 edges, 157618 markings/sec, 60 secs
lola: 13006238 markings, 35380350 edges, 155102 markings/sec, 65 secs
lola: 13752888 markings, 38031506 edges, 149330 markings/sec, 70 secs
lola: 14496567 markings, 40657343 edges, 148736 markings/sec, 75 secs
lola: 15220404 markings, 43277395 edges, 144767 markings/sec, 80 secs
lola: 15960440 markings, 45862226 edges, 148007 markings/sec, 85 secs
lola: 16676537 markings, 48467306 edges, 143219 markings/sec, 90 secs
lola: 17380773 markings, 51083623 edges, 140847 markings/sec, 95 secs
lola: 18083334 markings, 53679284 edges, 140512 markings/sec, 100 secs
lola: 18777311 markings, 56304133 edges, 138795 markings/sec, 105 secs
lola: 19461762 markings, 58923761 edges, 136890 markings/sec, 110 secs
lola: 20146964 markings, 61529183 edges, 137040 markings/sec, 115 secs
lola: 20826453 markings, 64100970 edges, 135898 markings/sec, 120 secs
lola: 21490751 markings, 66744672 edges, 132860 markings/sec, 125 secs
lola: 22155679 markings, 69379537 edges, 132986 markings/sec, 130 secs
lola: 22805218 markings, 72053131 edges, 129908 markings/sec, 135 secs
lola: 23448276 markings, 74701955 edges, 128612 markings/sec, 140 secs
lola: 24107231 markings, 77307311 edges, 131791 markings/sec, 145 secs
lola: 24744313 markings, 79943261 edges, 127416 markings/sec, 150 secs
lola: 25375218 markings, 82602577 edges, 126181 markings/sec, 155 secs
lola: 25993026 markings, 85249252 edges, 123562 markings/sec, 160 secs
lola: 26617593 markings, 87856981 edges, 124913 markings/sec, 165 secs
lola: 27243718 markings, 90458022 edges, 125225 markings/sec, 170 secs
lola: 27867775 markings, 93027161 edges, 124811 markings/sec, 175 secs
lola: 28486184 markings, 95623393 edges, 123682 markings/sec, 180 secs
lola: 29101310 markings, 98236620 edges, 123025 markings/sec, 185 secs
lola: 29702680 markings, 100866081 edges, 120274 markings/sec, 190 secs
lola: 30320387 markings, 103537490 edges, 123541 markings/sec, 195 secs
lola: 30931990 markings, 106183645 edges, 122321 markings/sec, 200 secs
lola: 31539306 markings, 108840264 edges, 121463 markings/sec, 205 secs
lola: 32133353 markings, 111500337 edges, 118809 markings/sec, 210 secs
lola: 32731328 markings, 114178630 edges, 119595 markings/sec, 215 secs
lola: 33330483 markings, 116858859 edges, 119831 markings/sec, 220 secs
lola: 33927315 markings, 119497873 edges, 119366 markings/sec, 225 secs
lola: 34519287 markings, 122165701 edges, 118394 markings/sec, 230 secs
lola: 35101668 markings, 124849548 edges, 116476 markings/sec, 235 secs
lola: 35708036 markings, 127456324 edges, 121274 markings/sec, 240 secs
lola: 36322363 markings, 130070636 edges, 122865 markings/sec, 245 secs
lola: 36901943 markings, 132741253 edges, 115916 markings/sec, 250 secs
lola: 37482625 markings, 135394787 edges, 116136 markings/sec, 255 secs
lola: 38072230 markings, 138032485 edges, 117921 markings/sec, 260 secs
lola: 38642879 markings, 140713320 edges, 114130 markings/sec, 265 secs
lola: 39215286 markings, 143401037 edges, 114481 markings/sec, 270 secs
lola: 39792672 markings, 146056861 edges, 115477 markings/sec, 275 secs
lola: 40357674 markings, 148715983 edges, 113000 markings/sec, 280 secs
lola: 40957847 markings, 151313505 edges, 120035 markings/sec, 285 secs
lola: 41539055 markings, 153963567 edges, 116242 markings/sec, 290 secs
lola: 42109215 markings, 156614809 edges, 114032 markings/sec, 295 secs
lola: 42673343 markings, 159248466 edges, 112826 markings/sec, 300 secs
lola: 43240483 markings, 161892366 edges, 113428 markings/sec, 305 secs
lola: 43811031 markings, 164558546 edges, 114110 markings/sec, 310 secs
lola: 44365868 markings, 167219100 edges, 110967 markings/sec, 315 secs
lola: 44921921 markings, 169862861 edges, 111211 markings/sec, 320 secs
lola: 45493541 markings, 172479912 edges, 114324 markings/sec, 325 secs
lola: 46059064 markings, 175150191 edges, 113105 markings/sec, 330 secs
lola: 46620532 markings, 177777253 edges, 112294 markings/sec, 335 secs
lola: 47163062 markings, 180454096 edges, 108506 markings/sec, 340 secs
lola: 47702550 markings, 183108712 edges, 107898 markings/sec, 345 secs
lola: 48271012 markings, 185735154 edges, 113692 markings/sec, 350 secs
lola: 48807553 markings, 188417663 edges, 107308 markings/sec, 355 secs
lola: 49365174 markings, 190989146 edges, 111524 markings/sec, 360 secs
lola: 49921103 markings, 193639488 edges, 111186 markings/sec, 365 secs
lola: 50477059 markings, 196294773 edges, 111191 markings/sec, 370 secs
lola: 51043441 markings, 198881275 edges, 113276 markings/sec, 375 secs
lola: 51585381 markings, 201544286 edges, 108388 markings/sec, 380 secs
lola: 52125674 markings, 204203869 edges, 108059 markings/sec, 385 secs
lola: 52686189 markings, 206826978 edges, 112103 markings/sec, 390 secs
lola: 53218374 markings, 209458333 edges, 106437 markings/sec, 395 secs
lola: 53756087 markings, 212142595 edges, 107543 markings/sec, 400 secs
lola: 54302368 markings, 214791524 edges, 109256 markings/sec, 405 secs
lola: 54824899 markings, 217422563 edges, 104506 markings/sec, 410 secs
lola: 55371646 markings, 220041134 edges, 109349 markings/sec, 415 secs
lola: 55890192 markings, 222706005 edges, 103709 markings/sec, 420 secs
lola: 56417217 markings, 225376783 edges, 105405 markings/sec, 425 secs
lola: 56955549 markings, 227984318 edges, 107666 markings/sec, 430 secs
lola: 57482796 markings, 230623050 edges, 105449 markings/sec, 435 secs
lola: 58018660 markings, 233256487 edges, 107173 markings/sec, 440 secs
lola: 58551746 markings, 235911223 edges, 106617 markings/sec, 445 secs
lola: 59095763 markings, 238495140 edges, 108803 markings/sec, 450 secs
lola: 59625020 markings, 241139129 edges, 105851 markings/sec, 455 secs
lola: 60156488 markings, 243724073 edges, 106294 markings/sec, 460 secs
lola: 60685597 markings, 246373431 edges, 105822 markings/sec, 465 secs
lola: 61210529 markings, 249006480 edges, 104986 markings/sec, 470 secs
lola: 61729818 markings, 251637498 edges, 103858 markings/sec, 475 secs
lola: 62268963 markings, 254215482 edges, 107829 markings/sec, 480 secs
lola: 62809506 markings, 256810566 edges, 108109 markings/sec, 485 secs
lola: 63354760 markings, 259381370 edges, 109051 markings/sec, 490 secs
lola: 63850229 markings, 262028636 edges, 99094 markings/sec, 495 secs
lola: 64368233 markings, 264616712 edges, 103601 markings/sec, 500 secs
lola: 64887666 markings, 267250135 edges, 103887 markings/sec, 505 secs
lola: 65429792 markings, 269833257 edges, 108425 markings/sec, 510 secs
lola: 65964866 markings, 272416907 edges, 107015 markings/sec, 515 secs
lola: 66504373 markings, 274967976 edges, 107901 markings/sec, 520 secs
lola: 67029910 markings, 277578261 edges, 105107 markings/sec, 525 secs
lola: 67569886 markings, 280124405 edges, 107995 markings/sec, 530 secs
lola: 68067128 markings, 282746711 edges, 99448 markings/sec, 535 secs
lola: 68582310 markings, 285343168 edges, 103036 markings/sec, 540 secs
lola: 69086198 markings, 288002000 edges, 100778 markings/sec, 545 secs
lola: 69621663 markings, 290575383 edges, 107093 markings/sec, 550 secs
lola: 70163024 markings, 293139934 edges, 108272 markings/sec, 555 secs
lola: 70709636 markings, 295669133 edges, 109322 markings/sec, 560 secs
lola: 71265244 markings, 298170642 edges, 111122 markings/sec, 565 secs
lola: 71790686 markings, 300753387 edges, 105088 markings/sec, 570 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown yes unknown unknown unknown no no unknown no unknown
lola: memory consumption: 10308268 KB
lola: time consumption: 1842 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 10 will run for 575 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <= p13... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p4) AND (1 <= p105)) OR ((1 <= p6) AND (1 <= p105)) OR ((1 <= p11) AND (1 <= p106)) OR ((1 <= p14) AND (1 <= p107)) OR ((1 <= p9) AND (1 <= p106)) OR ((1 <= p12) AND (1 <= p107)) OR ((1 <= p7) AND (1 <= p105)) OR ((1 <= p3) AND (1 <= p104)) OR ((1 <= p1) AND (1 <= p104)) OR ((1 <= p15) AND (1 <= p107)) OR ((1 <= p5) AND (1 <= p105)) OR ((1 <= p8) AND (1 <= p106)) OR ((1 <= p13... (shortened)
lola: processed formula length: 1593
lola: 991 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 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: 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: 113 markings, 121 edges
lola: ========================================
lola: subprocess 11 will run for 863 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((((1 <= p41) OR (1 <= p40) OR (1 <= p43) OR (1 <= p42) OR (1 <= p45) OR (1 <= p44) OR (1 <= p47) OR (1 <= p46) OR (1 <= p49) OR (1 <= p48) OR (1 <= p51) OR (1 <= p50) OR (1 <= p53) OR (1 <= p52) OR (1 <= p55) OR (1 <= p54)) AND F (((p16 <= 0) AND (p17 <= 0) AND (p18 <= 0) AND (p19 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((((1 <= p41) OR (1 <= p40) OR (1 <= p43) OR (1 <= p42) OR (1 <= p45) OR (1 <= p44) OR (1 <= p47) OR (1 <= p46) OR (1 <= p49) OR (1 <= p48) OR (1 <= p51) OR (1 <= p50) OR (1 <= p53) OR (1 <= p52) OR (1 <= p55) OR (1 <= p54)) AND F (((p16 <= 0) AND (p17 <= 0) AND (p18 <= 0) AND (p19 <= 0))))))
lola: processed formula length: 313
lola: 991 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: 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: 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: 20 markings, 21 edges
lola: ========================================
lola: subprocess 12 will run for 1727 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((((p4 <= 0) OR (p105 <= 0)) AND ((p6 <= 0) OR (p105 <= 0)) AND ((p11 <= 0) OR (p106 <= 0)) AND ((p14 <= 0) OR (p107 <= 0)) AND ((p9 <= 0) OR (p106 <= 0)) AND ((p12 <= 0) OR (p107 <= 0)) AND ((p7 <= 0) OR (p105 <= 0)) AND ((p3 <= 0) OR (p104 <= 0)) AND ((p1 <= 0) OR (p104 <= 0)) AND ((p15 <= 0) OR (p107 <= 0)) AND ((p5 <= 0) OR (p105 <= 0)) AND ((p8 <= 0) OR (p106 <= 0)) AND ((p13 <=... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((p4 <= 0) OR (p105 <= 0)) AND ((p6 <= 0) OR (p105 <= 0)) AND ((p11 <= 0) OR (p106 <= 0)) AND ((p14 <= 0) OR (p107 <= 0)) AND ((p9 <= 0) OR (p106 <= 0)) AND ((p12 <= 0) OR (p107 <= 0)) AND ((p7 <= 0) OR (p105 <= 0)) AND ((p3 <= 0) OR (p104 <= 0)) AND ((p1 <= 0) OR (p104 <= 0)) AND ((p15 <= 0) OR (p107 <= 0)) AND ((p5 <= 0) OR (p105 <= 0)) AND ((p8 <= 0) OR (p106 <= 0)) AND ((p13 <=... (shortened)
lola: processed formula length: 519
lola: 991 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: 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: 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: 97 markings, 97 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND (... (shortened)
lola: processed formula length: 1009
lola: 991 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: 660085 markings, 3390879 edges, 132017 markings/sec, 0 secs
lola: 1172799 markings, 6784035 edges, 102543 markings/sec, 5 secs
lola: 1667067 markings, 10097127 edges, 98854 markings/sec, 10 secs
lola: 2208730 markings, 13432966 edges, 108333 markings/sec, 15 secs
lola: 2712867 markings, 16788063 edges, 100827 markings/sec, 20 secs
lola: 3212608 markings, 20062057 edges, 99948 markings/sec, 25 secs
lola: 3736335 markings, 23371170 edges, 104745 markings/sec, 30 secs
lola: 4251274 markings, 26778135 edges, 102988 markings/sec, 35 secs
lola: 4763941 markings, 30098475 edges, 102533 markings/sec, 40 secs
lola: 5285967 markings, 33415262 edges, 104405 markings/sec, 45 secs
lola: 5807976 markings, 36805239 edges, 104402 markings/sec, 50 secs
lola: 6313662 markings, 40112596 edges, 101137 markings/sec, 55 secs
lola: 6795485 markings, 43375103 edges, 96365 markings/sec, 60 secs
lola: 7343096 markings, 46738582 edges, 109522 markings/sec, 65 secs
lola: 7843505 markings, 50054539 edges, 100082 markings/sec, 70 secs
lola: 8326002 markings, 53310218 edges, 96499 markings/sec, 75 secs
lola: 8877749 markings, 56619420 edges, 110349 markings/sec, 80 secs
lola: 9370259 markings, 59914861 edges, 98502 markings/sec, 85 secs
lola: 9850613 markings, 63134177 edges, 96071 markings/sec, 90 secs
lola: 10383218 markings, 66397750 edges, 106521 markings/sec, 95 secs
lola: 10884749 markings, 69739088 edges, 100306 markings/sec, 100 secs
lola: 11379410 markings, 72979730 edges, 98932 markings/sec, 105 secs
lola: 11898778 markings, 76259532 edges, 103874 markings/sec, 110 secs
lola: 12399155 markings, 79560121 edges, 100075 markings/sec, 115 secs
lola: 12899780 markings, 82802650 edges, 100125 markings/sec, 120 secs
lola: 13376140 markings, 85994714 edges, 95272 markings/sec, 125 secs
lola: 13937498 markings, 89357407 edges, 112272 markings/sec, 130 secs
lola: 14437184 markings, 92681298 edges, 99937 markings/sec, 135 secs
lola: 14920706 markings, 95930471 edges, 96704 markings/sec, 140 secs
lola: 15468655 markings, 99221739 edges, 109590 markings/sec, 145 secs
lola: 15961986 markings, 102519766 edges, 98666 markings/sec, 150 secs
lola: 16441754 markings, 105730304 edges, 95954 markings/sec, 155 secs
lola: 16955103 markings, 108955280 edges, 102670 markings/sec, 160 secs
lola: 17445709 markings, 112236033 edges, 98121 markings/sec, 165 secs
lola: 17939543 markings, 115435296 edges, 98767 markings/sec, 170 secs
lola: 18436986 markings, 118613459 edges, 99489 markings/sec, 175 secs
lola: 18948932 markings, 121897238 edges, 102389 markings/sec, 180 secs
lola: 19437080 markings, 125094476 edges, 97630 markings/sec, 185 secs
lola: 19891901 markings, 128206944 edges, 90964 markings/sec, 190 secs
lola: 20473260 markings, 131455717 edges, 116272 markings/sec, 195 secs
lola: 20975551 markings, 134713883 edges, 100458 markings/sec, 200 secs
lola: 21461472 markings, 137902086 edges, 97184 markings/sec, 205 secs
lola: 21923352 markings, 141057731 edges, 92376 markings/sec, 210 secs
lola: 22464998 markings, 144309438 edges, 108329 markings/sec, 215 secs
lola: 22943693 markings, 147485906 edges, 95739 markings/sec, 220 secs
lola: 23406791 markings, 150594531 edges, 92620 markings/sec, 225 secs
lola: 23937037 markings, 153781306 edges, 106049 markings/sec, 230 secs
lola: 24422229 markings, 157035804 edges, 97038 markings/sec, 235 secs
lola: 24899657 markings, 160197723 edges, 95486 markings/sec, 240 secs
lola: 25415927 markings, 163412638 edges, 103254 markings/sec, 245 secs
lola: 25899052 markings, 166638986 edges, 96625 markings/sec, 250 secs
lola: 26391066 markings, 169818217 edges, 98403 markings/sec, 255 secs
lola: 26860962 markings, 172963119 edges, 93979 markings/sec, 260 secs
lola: 27388408 markings, 176210643 edges, 105489 markings/sec, 265 secs
lola: 27863710 markings, 179392615 edges, 95060 markings/sec, 270 secs
lola: 28334656 markings, 182551461 edges, 94189 markings/sec, 275 secs
lola: 28868938 markings, 185760293 edges, 106856 markings/sec, 280 secs
lola: 29345987 markings, 188941502 edges, 95410 markings/sec, 285 secs
lola: 29819657 markings, 192078930 edges, 94734 markings/sec, 290 secs
lola: 30325373 markings, 195245559 edges, 101143 markings/sec, 295 secs
lola: 30814161 markings, 198466887 edges, 97758 markings/sec, 300 secs
lola: 31298173 markings, 201634803 edges, 96802 markings/sec, 305 secs
lola: 31769264 markings, 204796787 edges, 94218 markings/sec, 310 secs
lola: 32300166 markings, 208026280 edges, 106180 markings/sec, 315 secs
lola: 32779287 markings, 211184711 edges, 95824 markings/sec, 320 secs
lola: 33240487 markings, 214314118 edges, 92240 markings/sec, 325 secs
lola: 33781421 markings, 217504058 edges, 108187 markings/sec, 330 secs
lola: 34262011 markings, 220742529 edges, 96118 markings/sec, 335 secs
lola: 34741958 markings, 223907037 edges, 95989 markings/sec, 340 secs
lola: 35253235 markings, 227116093 edges, 102255 markings/sec, 345 secs
lola: 35749189 markings, 230362340 edges, 99191 markings/sec, 350 secs
lola: 36235383 markings, 233528286 edges, 97239 markings/sec, 355 secs
lola: 36693889 markings, 236653889 edges, 91701 markings/sec, 360 secs
lola: 37227524 markings, 239874525 edges, 106727 markings/sec, 365 secs
lola: 37705509 markings, 243064455 edges, 95597 markings/sec, 370 secs
lola: 38170279 markings, 246199623 edges, 92954 markings/sec, 375 secs
lola: 38695798 markings, 249381957 edges, 105104 markings/sec, 380 secs
lola: 39169536 markings, 252556388 edges, 94748 markings/sec, 385 secs
lola: 39644077 markings, 255667937 edges, 94908 markings/sec, 390 secs
lola: 40115203 markings, 258790486 edges, 94225 markings/sec, 395 secs
lola: 40667496 markings, 262066769 edges, 110459 markings/sec, 400 secs
lola: 41153663 markings, 265315646 edges, 97233 markings/sec, 405 secs
lola: 41623492 markings, 268494240 edges, 93966 markings/sec, 410 secs
lola: 42150258 markings, 271690030 edges, 105353 markings/sec, 415 secs
lola: 42617560 markings, 274826176 edges, 93460 markings/sec, 420 secs
lola: 43085180 markings, 277898896 edges, 93524 markings/sec, 425 secs
lola: 43566044 markings, 280950285 edges, 96173 markings/sec, 430 secs
lola: 44080333 markings, 284234872 edges, 102858 markings/sec, 435 secs
lola: 44564199 markings, 287434081 edges, 96773 markings/sec, 440 secs
lola: 45030111 markings, 290612177 edges, 93182 markings/sec, 445 secs
lola: 45566064 markings, 293796103 edges, 107191 markings/sec, 450 secs
lola: 46029543 markings, 296890197 edges, 92696 markings/sec, 455 secs
lola: 46485681 markings, 299945597 edges, 91228 markings/sec, 460 secs
lola: 46988244 markings, 303087137 edges, 100513 markings/sec, 465 secs
lola: 47473492 markings, 306291788 edges, 97050 markings/sec, 470 secs
lola: 47946583 markings, 309403760 edges, 94618 markings/sec, 475 secs
lola: 48415346 markings, 312538759 edges, 93753 markings/sec, 480 secs
lola: 48932913 markings, 315686216 edges, 103513 markings/sec, 485 secs
lola: 49398226 markings, 318762997 edges, 93063 markings/sec, 490 secs
lola: 49850377 markings, 321809331 edges, 90430 markings/sec, 495 secs
lola: 50372342 markings, 324944830 edges, 104393 markings/sec, 500 secs
lola: 50846588 markings, 328132027 edges, 94849 markings/sec, 505 secs
lola: 51318858 markings, 331255329 edges, 94454 markings/sec, 510 secs
lola: 51817832 markings, 334385237 edges, 99795 markings/sec, 515 secs
lola: 52295375 markings, 337514030 edges, 95509 markings/sec, 520 secs
lola: 52765556 markings, 340567592 edges, 94036 markings/sec, 525 secs
lola: 53206161 markings, 343596620 edges, 88121 markings/sec, 530 secs
lola: 53759647 markings, 346794417 edges, 110697 markings/sec, 535 secs
lola: 54236135 markings, 349992965 edges, 95298 markings/sec, 540 secs
lola: 54704214 markings, 353109391 edges, 93616 markings/sec, 545 secs
lola: 55210829 markings, 356254939 edges, 101323 markings/sec, 550 secs
lola: 55676914 markings, 359374054 edges, 93217 markings/sec, 555 secs
lola: 56153270 markings, 362443249 edges, 95271 markings/sec, 560 secs
lola: 56593582 markings, 365455421 edges, 88062 markings/sec, 565 secs
lola: 57120106 markings, 368625743 edges, 105305 markings/sec, 570 secs
lola: 57588974 markings, 371752585 edges, 93774 markings/sec, 575 secs
lola: 58049457 markings, 374863317 edges, 92097 markings/sec, 580 secs
lola: 58560393 markings, 377972693 edges, 102187 markings/sec, 585 secs
lola: 59014375 markings, 381037545 edges, 90796 markings/sec, 590 secs
lola: 59481021 markings, 384056609 edges, 93329 markings/sec, 595 secs
lola: 59927986 markings, 387049950 edges, 89393 markings/sec, 600 secs
lola: 60467653 markings, 390253267 edges, 107933 markings/sec, 605 secs
lola: 60939097 markings, 393428006 edges, 94289 markings/sec, 610 secs
lola: 61403850 markings, 396508564 edges, 92951 markings/sec, 615 secs
lola: 61906108 markings, 399665823 edges, 100452 markings/sec, 620 secs
lola: 62385505 markings, 402831003 edges, 95879 markings/sec, 625 secs
lola: 62862327 markings, 405917143 edges, 95364 markings/sec, 630 secs
lola: 63310455 markings, 408981631 edges, 89626 markings/sec, 635 secs
lola: 63852387 markings, 412204388 edges, 108386 markings/sec, 640 secs
lola: 64328703 markings, 415370060 edges, 95263 markings/sec, 645 secs
lola: 64789300 markings, 418466049 edges, 92119 markings/sec, 650 secs
lola: 65308654 markings, 421621761 edges, 103871 markings/sec, 655 secs
lola: 65786388 markings, 424807054 edges, 95547 markings/sec, 660 secs
lola: 66254199 markings, 427891658 edges, 93562 markings/sec, 665 secs
lola: 66740215 markings, 431029630 edges, 97203 markings/sec, 670 secs
lola: 67247556 markings, 434273221 edges, 101468 markings/sec, 675 secs
lola: 67728667 markings, 437452526 edges, 96222 markings/sec, 680 secs
lola: 68189207 markings, 440595767 edges, 92108 markings/sec, 685 secs
lola: 68714097 markings, 443721406 edges, 104978 markings/sec, 690 secs
lola: 69175104 markings, 446800007 edges, 92201 markings/sec, 695 secs
lola: 69627141 markings, 449819028 edges, 90407 markings/sec, 700 secs
lola: 70138340 markings, 452955366 edges, 102240 markings/sec, 705 secs
lola: 70626062 markings, 456184336 edges, 97544 markings/sec, 710 secs
lola: 71105725 markings, 459347932 edges, 95933 markings/sec, 715 secs
lola: 71596629 markings, 462483500 edges, 98181 markings/sec, 720 secs
lola: 72083973 markings, 465594781 edges, 97469 markings/sec, 725 secs
lola: 72549410 markings, 468646361 edges, 93087 markings/sec, 730 secs
lola: 72991698 markings, 471647088 edges, 88458 markings/sec, 735 secs
lola: 73509061 markings, 474790922 edges, 103473 markings/sec, 740 secs
lola: 73990661 markings, 478041043 edges, 96320 markings/sec, 745 secs
lola: 74464483 markings, 481158288 edges, 94764 markings/sec, 750 secs
lola: 74963632 markings, 484308519 edges, 99830 markings/sec, 755 secs
lola: 75448678 markings, 487482578 edges, 97009 markings/sec, 760 secs
lola: 75918895 markings, 490553593 edges, 94043 markings/sec, 765 secs
lola: 76366788 markings, 493629108 edges, 89579 markings/sec, 770 secs
lola: 77172645 markings, 496651241 edges, 161171 markings/sec, 775 secs
lola: 77916916 markings, 499588098 edges, 148854 markings/sec, 780 secs
lola: 78681346 markings, 502467324 edges, 152886 markings/sec, 785 secs
lola: 79399430 markings, 505301794 edges, 143617 markings/sec, 790 secs
lola: 79941912 markings, 508483368 edges, 108496 markings/sec, 795 secs
lola: 80420178 markings, 511720855 edges, 95653 markings/sec, 800 secs
lola: 80829288 markings, 514836239 edges, 81822 markings/sec, 805 secs
lola: 81271539 markings, 517918647 edges, 88450 markings/sec, 810 secs
lola: 81694712 markings, 520953859 edges, 84635 markings/sec, 815 secs
lola: 82094658 markings, 524003674 edges, 79989 markings/sec, 820 secs
lola: 82548947 markings, 527151012 edges, 90858 markings/sec, 825 secs
lola: 82950306 markings, 530213780 edges, 80272 markings/sec, 830 secs
lola: 83341808 markings, 533210121 edges, 78300 markings/sec, 835 secs
lola: 83751702 markings, 536249358 edges, 81979 markings/sec, 840 secs
lola: 84183025 markings, 539430137 edges, 86265 markings/sec, 845 secs
lola: 84592177 markings, 542544505 edges, 81830 markings/sec, 850 secs
lola: 84993752 markings, 545606919 edges, 80315 markings/sec, 855 secs
lola: 85401811 markings, 548738142 edges, 81612 markings/sec, 860 secs
lola: 85768569 markings, 551864227 edges, 73352 markings/sec, 865 secs
lola: 86124956 markings, 554911202 edges, 71277 markings/sec, 870 secs
lola: 86479561 markings, 557938770 edges, 70921 markings/sec, 875 secs
lola: 86832796 markings, 561025606 edges, 70647 markings/sec, 880 secs
lola: 87260574 markings, 564173707 edges, 85556 markings/sec, 885 secs
lola: 87659631 markings, 567288378 edges, 79811 markings/sec, 890 secs
lola: 88011024 markings, 570326053 edges, 70279 markings/sec, 895 secs
lola: 88401436 markings, 573425709 edges, 78082 markings/sec, 900 secs
lola: 88767977 markings, 576414519 edges, 73308 markings/sec, 905 secs
lola: 89123950 markings, 579384632 edges, 71195 markings/sec, 910 secs
lola: 89498314 markings, 582395924 edges, 74873 markings/sec, 915 secs
lola: 89860362 markings, 585434223 edges, 72410 markings/sec, 920 secs
lola: 90208580 markings, 588414109 edges, 69644 markings/sec, 925 secs
lola: 90548644 markings, 591355517 edges, 68013 markings/sec, 930 secs
lola: 90876471 markings, 594261988 edges, 65565 markings/sec, 935 secs
lola: 91297886 markings, 597384371 edges, 84283 markings/sec, 940 secs
lola: 91694506 markings, 600453581 edges, 79324 markings/sec, 945 secs
lola: 92064524 markings, 603426335 edges, 74004 markings/sec, 950 secs
lola: 92559995 markings, 606561709 edges, 99094 markings/sec, 955 secs
lola: 92975515 markings, 609626433 edges, 83104 markings/sec, 960 secs
lola: 93394821 markings, 612610520 edges, 83861 markings/sec, 965 secs
lola: 93815113 markings, 615615540 edges, 84058 markings/sec, 970 secs
lola: 94209466 markings, 618547924 edges, 78871 markings/sec, 975 secs
lola: 94631003 markings, 621565680 edges, 84307 markings/sec, 980 secs
lola: 95021020 markings, 624591359 edges, 78003 markings/sec, 985 secs
lola: 95364271 markings, 627519230 edges, 68650 markings/sec, 990 secs
lola: 95726053 markings, 630400359 edges, 72356 markings/sec, 995 secs
lola: 96093827 markings, 633386796 edges, 73555 markings/sec, 1000 secs
lola: 96437093 markings, 636267235 edges, 68653 markings/sec, 1005 secs
lola: 96795017 markings, 639244653 edges, 71585 markings/sec, 1010 secs
lola: 97191631 markings, 642226709 edges, 79323 markings/sec, 1015 secs
lola: 97668169 markings, 645335950 edges, 95308 markings/sec, 1020 secs
lola: 98059332 markings, 648307859 edges, 78233 markings/sec, 1025 secs
lola: 98428575 markings, 651293651 edges, 73849 markings/sec, 1030 secs
lola: 98793276 markings, 654218634 edges, 72940 markings/sec, 1035 secs
lola: 99177349 markings, 657113031 edges, 76815 markings/sec, 1040 secs
lola: 99568721 markings, 660090161 edges, 78274 markings/sec, 1045 secs
lola: 99922250 markings, 662935728 edges, 70706 markings/sec, 1050 secs
lola: 100281128 markings, 665805019 edges, 71776 markings/sec, 1055 secs
lola: 100644216 markings, 668716084 edges, 72618 markings/sec, 1060 secs
lola: 101070852 markings, 671783133 edges, 85327 markings/sec, 1065 secs
lola: 101417565 markings, 674671843 edges, 69343 markings/sec, 1070 secs
lola: 101760501 markings, 677558095 edges, 68587 markings/sec, 1075 secs
lola: 102128278 markings, 680461110 edges, 73555 markings/sec, 1080 secs
lola: 102472260 markings, 683320833 edges, 68796 markings/sec, 1085 secs
lola: 102814534 markings, 686183698 edges, 68455 markings/sec, 1090 secs
lola: 103226434 markings, 689151256 edges, 82380 markings/sec, 1095 secs
lola: 103599250 markings, 692069225 edges, 74563 markings/sec, 1100 secs
lola: 103988964 markings, 694950028 edges, 77943 markings/sec, 1105 secs
lola: 104355487 markings, 697795662 edges, 73305 markings/sec, 1110 secs
lola: 104741011 markings, 700756194 edges, 77105 markings/sec, 1115 secs
lola: 105069694 markings, 703616679 edges, 65737 markings/sec, 1120 secs
lola: 105404028 markings, 706454787 edges, 66867 markings/sec, 1125 secs
lola: 105734169 markings, 709275224 edges, 66028 markings/sec, 1130 secs
lola: 106058295 markings, 712127982 edges, 64825 markings/sec, 1135 secs
lola: 106456027 markings, 715052500 edges, 79546 markings/sec, 1140 secs
lola: 106843414 markings, 718026360 edges, 77477 markings/sec, 1145 secs
lola: 107175288 markings, 720871287 edges, 66375 markings/sec, 1150 secs
lola: 107532974 markings, 723722200 edges, 71537 markings/sec, 1155 secs
lola: 107880143 markings, 726560602 edges, 69434 markings/sec, 1160 secs
lola: 108220458 markings, 729356395 edges, 68063 markings/sec, 1165 secs
lola: 108543662 markings, 732151609 edges, 64641 markings/sec, 1170 secs
lola: 108924206 markings, 735110024 edges, 76109 markings/sec, 1175 secs
lola: 109244806 markings, 737946716 edges, 64120 markings/sec, 1180 secs
lola: 109579361 markings, 740747834 edges, 66911 markings/sec, 1185 secs
lola: 109907452 markings, 743566527 edges, 65618 markings/sec, 1190 secs
lola: 110264215 markings, 746428320 edges, 71353 markings/sec, 1195 secs
lola: 110688187 markings, 749574691 edges, 84794 markings/sec, 1200 secs
lola: 111094173 markings, 752651852 edges, 81197 markings/sec, 1205 secs
lola: 111487610 markings, 755657221 edges, 78687 markings/sec, 1210 secs
lola: 111887557 markings, 758721710 edges, 79989 markings/sec, 1215 secs
lola: 112246937 markings, 761780377 edges, 71876 markings/sec, 1220 secs
lola: 112599336 markings, 764792054 edges, 70480 markings/sec, 1225 secs
lola: 112948099 markings, 767778036 edges, 69753 markings/sec, 1230 secs
lola: 113291768 markings, 770788553 edges, 68734 markings/sec, 1235 secs
lola: 113705795 markings, 773850819 edges, 82805 markings/sec, 1240 secs
lola: 114104282 markings, 776915004 edges, 79697 markings/sec, 1245 secs
lola: 114449042 markings, 779888198 edges, 68952 markings/sec, 1250 secs
lola: 114826011 markings, 782882352 edges, 75394 markings/sec, 1255 secs
lola: 115186654 markings, 785843593 edges, 72129 markings/sec, 1260 secs
lola: 115532382 markings, 788722230 edges, 69146 markings/sec, 1265 secs
lola: 115889473 markings, 791609969 edges, 71418 markings/sec, 1270 secs
lola: 116254935 markings, 794603465 edges, 73092 markings/sec, 1275 secs
lola: 116589462 markings, 797530539 edges, 66905 markings/sec, 1280 secs
lola: 116931503 markings, 800437919 edges, 68408 markings/sec, 1285 secs
lola: 117254452 markings, 803258690 edges, 64590 markings/sec, 1290 secs
lola: 117632611 markings, 806274546 edges, 75632 markings/sec, 1295 secs
lola: 117978184 markings, 809272809 edges, 69115 markings/sec, 1300 secs
lola: 118329699 markings, 812259992 edges, 70303 markings/sec, 1305 secs
lola: 118672067 markings, 815182692 edges, 68474 markings/sec, 1310 secs
lola: 119011671 markings, 818097742 edges, 67921 markings/sec, 1315 secs
lola: 119339524 markings, 821095170 edges, 65571 markings/sec, 1320 secs
lola: 119624489 markings, 823933060 edges, 56993 markings/sec, 1325 secs
lola: 119933831 markings, 826808195 edges, 61868 markings/sec, 1330 secs
lola: 120231523 markings, 829669144 edges, 59538 markings/sec, 1335 secs
lola: 120534540 markings, 832606483 edges, 60603 markings/sec, 1340 secs
lola: 120903990 markings, 835647863 edges, 73890 markings/sec, 1345 secs
lola: 121255612 markings, 838685493 edges, 70324 markings/sec, 1350 secs
lola: 121562533 markings, 841579610 edges, 61384 markings/sec, 1355 secs
lola: 121876445 markings, 844480515 edges, 62782 markings/sec, 1360 secs
lola: 122196975 markings, 847382961 edges, 64106 markings/sec, 1365 secs
lola: 122509905 markings, 850241886 edges, 62586 markings/sec, 1370 secs
lola: 122808002 markings, 853035852 edges, 59619 markings/sec, 1375 secs
lola: 123127854 markings, 855891746 edges, 63970 markings/sec, 1380 secs
lola: 123449925 markings, 858826947 edges, 64414 markings/sec, 1385 secs
lola: 123730182 markings, 861627644 edges, 56051 markings/sec, 1390 secs
lola: 124032952 markings, 864440536 edges, 60554 markings/sec, 1395 secs
lola: 124323374 markings, 867217388 edges, 58084 markings/sec, 1400 secs
lola: 124594722 markings, 869926463 edges, 54270 markings/sec, 1405 secs
lola: 124943400 markings, 872813724 edges, 69736 markings/sec, 1410 secs
lola: 125253041 markings, 875539565 edges, 61928 markings/sec, 1415 secs
lola: 125574718 markings, 878366946 edges, 64335 markings/sec, 1420 secs
lola: 125916103 markings, 881104600 edges, 68277 markings/sec, 1425 secs
lola: 126303693 markings, 884062053 edges, 77518 markings/sec, 1430 secs
lola: 126616038 markings, 886673553 edges, 62469 markings/sec, 1435 secs
lola: 126948255 markings, 889467154 edges, 66443 markings/sec, 1440 secs
lola: 127298420 markings, 892250079 edges, 70033 markings/sec, 1445 secs
lola: 127635363 markings, 895016724 edges, 67389 markings/sec, 1450 secs
lola: 127956644 markings, 897709164 edges, 64256 markings/sec, 1455 secs
lola: 128304905 markings, 900474161 edges, 69652 markings/sec, 1460 secs
lola: 128638081 markings, 903357460 edges, 66635 markings/sec, 1465 secs
lola: 128917933 markings, 905970084 edges, 55970 markings/sec, 1470 secs
lola: 129198873 markings, 908641874 edges, 56188 markings/sec, 1475 secs
lola: 129495470 markings, 911272304 edges, 59319 markings/sec, 1480 secs
lola: 129805528 markings, 914066663 edges, 62012 markings/sec, 1485 secs
lola: 130086191 markings, 916681876 edges, 56133 markings/sec, 1490 secs
lola: 130370741 markings, 919384577 edges, 56910 markings/sec, 1495 secs
lola: 130658623 markings, 921940183 edges, 57576 markings/sec, 1500 secs
lola: 131002662 markings, 924471847 edges, 68808 markings/sec, 1505 secs
lola: 131372393 markings, 927454941 edges, 73946 markings/sec, 1510 secs
lola: 131689721 markings, 930177812 edges, 63466 markings/sec, 1515 secs
lola: 131994136 markings, 932928335 edges, 60883 markings/sec, 1520 secs
lola: 132291124 markings, 935637781 edges, 59398 markings/sec, 1525 secs
lola: 132596300 markings, 938301902 edges, 61035 markings/sec, 1530 secs
lola: 132891305 markings, 940798112 edges, 59001 markings/sec, 1535 secs
lola: 133218645 markings, 943618992 edges, 65468 markings/sec, 1540 secs
lola: 133531438 markings, 946383150 edges, 62559 markings/sec, 1545 secs
lola: 133828832 markings, 949022101 edges, 59479 markings/sec, 1550 secs
lola: 134135048 markings, 951796836 edges, 61243 markings/sec, 1555 secs
lola: 134464169 markings, 954526796 edges, 65824 markings/sec, 1560 secs
lola: 134801406 markings, 957441304 edges, 67447 markings/sec, 1565 secs
lola: 135086066 markings, 960101675 edges, 56932 markings/sec, 1570 secs
lola: 135375048 markings, 962836345 edges, 57796 markings/sec, 1575 secs
lola: 135675762 markings, 965501468 edges, 60143 markings/sec, 1580 secs
lola: 135981912 markings, 968268041 edges, 61230 markings/sec, 1585 secs
lola: 136262270 markings, 970877273 edges, 56072 markings/sec, 1590 secs
lola: 136546985 markings, 973572099 edges, 56943 markings/sec, 1595 secs
lola: 136895257 markings, 976383904 edges, 69654 markings/sec, 1600 secs
lola: 137216747 markings, 979170897 edges, 64298 markings/sec, 1605 secs
lola: 137538927 markings, 981904953 edges, 64436 markings/sec, 1610 secs
lola: 137855256 markings, 984626202 edges, 63266 markings/sec, 1615 secs
lola: 138159773 markings, 987331340 edges, 60903 markings/sec, 1620 secs
lola: 138494701 markings, 990200795 edges, 66986 markings/sec, 1625 secs
lola: 138767881 markings, 992864643 edges, 54636 markings/sec, 1630 secs
lola: 139051022 markings, 995532425 edges, 56628 markings/sec, 1635 secs
lola: 139333366 markings, 998236472 edges, 56469 markings/sec, 1640 secs
lola: 139587574 markings, 1000706265 edges, 50842 markings/sec, 1645 secs
lola: 139639092 markings, 1001222371 edges, 10304 markings/sec, 1650 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X ((F (((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((((1 <= p21) AND (1 <= p93) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p27) AND (1 <= p91) AND (1 <= p99) AND (1 <= p103)) OR ((1 <= p33) AND (1 <= p89) AND (1 <= p93) AND (1 <= p97)) OR ((1 <= p28) AND (1 <= p88) AND (1 <= p92) AND (1 <= p100)) OR ((1 <= p25) AND (1 <= p89) AND (1 <= p97) AND (1 <= p101)) OR ((1 <= p34) AND (1 <= p90) AND (1 <= p94) AND (1 <= p98)) OR ((1 <= p23) AND... (shortened)
lola: processed formula length: 2153
lola: 991 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: 432798 markings, 2893971 edges, 86560 markings/sec, 0 secs
lola: 972698 markings, 6241629 edges, 107980 markings/sec, 5 secs
lola: 1473229 markings, 9563041 edges, 100106 markings/sec, 10 secs
lola: 1960465 markings, 12787579 edges, 97447 markings/sec, 15 secs
lola: 2388830 markings, 16035811 edges, 85673 markings/sec, 20 secs
lola: 2659954 markings, 19354796 edges, 54225 markings/sec, 25 secs
lola: 2901013 markings, 22732954 edges, 48212 markings/sec, 30 secs
lola: 3162809 markings, 26079556 edges, 52359 markings/sec, 35 secs
lola: 3412453 markings, 29380716 edges, 49929 markings/sec, 40 secs
lola: 3656154 markings, 32707475 edges, 48740 markings/sec, 45 secs
lola: 3929970 markings, 36008251 edges, 54763 markings/sec, 50 secs
lola: 4453246 markings, 39323245 edges, 104655 markings/sec, 55 secs
lola: 4945652 markings, 42557270 edges, 98481 markings/sec, 60 secs
lola: 5408101 markings, 45717674 edges, 92490 markings/sec, 65 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no unknown yes unknown no unknown no no no no unknown
lola:
preliminary result: no no no unknown yes unknown no unknown no no no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown yes unknown no unknown no no no no unknown
lola: memory consumption: 769340 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 769340 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: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
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="DatabaseWithMutex-COL-04"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is DatabaseWithMutex-COL-04, 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 r075-tall-162039097600342"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-COL-04.tgz
mv DatabaseWithMutex-COL-04 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 ;