About the Execution of 2020-gold for DLCround-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16256.688 | 3600000.00 | 3580005.00 | 41638.50 | FFF?TFFTFTFF??FF | 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-162039097300194.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 DLCround-PT-10a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-tall-162039097300194
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 128K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K 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.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 15:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 15:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 08:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 08:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 22 15:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 22 15:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 660K 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 DLCround-PT-10a-00
FORMULA_NAME DLCround-PT-10a-01
FORMULA_NAME DLCround-PT-10a-02
FORMULA_NAME DLCround-PT-10a-03
FORMULA_NAME DLCround-PT-10a-04
FORMULA_NAME DLCround-PT-10a-05
FORMULA_NAME DLCround-PT-10a-06
FORMULA_NAME DLCround-PT-10a-07
FORMULA_NAME DLCround-PT-10a-08
FORMULA_NAME DLCround-PT-10a-09
FORMULA_NAME DLCround-PT-10a-10
FORMULA_NAME DLCround-PT-10a-11
FORMULA_NAME DLCround-PT-10a-12
FORMULA_NAME DLCround-PT-10a-13
FORMULA_NAME DLCround-PT-10a-14
FORMULA_NAME DLCround-PT-10a-15
=== Now, execution of the tool begins
BK_START 1620541618161
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-09 06:26:59] [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 06:26:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 06:26:59] [INFO ] Load time of PNML (sax parser for PT used): 138 ms
[2021-05-09 06:26:59] [INFO ] Transformed 337 places.
[2021-05-09 06:26:59] [INFO ] Transformed 2605 transitions.
[2021-05-09 06:26:59] [INFO ] Found NUPN structural information;
[2021-05-09 06:26:59] [INFO ] Parsed PT model containing 337 places and 2605 transitions in 191 ms.
Ensure Unique test removed 247 transitions
Reduce redundant transitions removed 247 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 38 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 1338 steps, including 0 resets, run visited all 57 properties in 25 ms. (steps per millisecond=53 )
[2021-05-09 06:27:00] [INFO ] Flatten gal took : 153 ms
[2021-05-09 06:27:00] [INFO ] Applying decomposition
[2021-05-09 06:27:00] [INFO ] Flatten gal took : 85 ms
[2021-05-09 06:27:00] [INFO ] Decomposing Gal with order
[2021-05-09 06:27:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 06:27:00] [INFO ] Removed a total of 3958 redundant transitions.
[2021-05-09 06:27:00] [INFO ] Flatten gal took : 200 ms
[2021-05-09 06:27:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 152 labels/synchronizations in 62 ms.
[2021-05-09 06:27:00] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-09 06:27:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 24 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ DLCround-PT-10a @ 3570 seconds
FORMULA DLCround-PT-10a-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-10a-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ DLCround-PT-10a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sun May 9 06:27:01 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 2,
"X": 2,
"aconj": 5,
"adisj": 0,
"aneg": 0,
"comp": 12,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 12,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "((G (((1 <= p51) AND (1 <= p160))) OR X (((1 <= p22) AND (1 <= p185)))) U ((((1 <= p97) AND (1 <= p323)) U X (((1 <= p117) AND (1 <= p335)))) OR ((1 <= p22) AND (1 <= p185) AND (1 <= p97) AND (1 <= p323))))",
"processed_size": 206,
"rewrites": 86
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 12
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 3,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "G (F ((X (G ((F (((1 <= p134) AND (1 <= p226))) AND (X (X (((1 <= p37) AND (1 <= p228)))) OR ((1 <= p134) AND (1 <= p226)))))) AND ((p81 <= 0) OR (p286 <= 0)))))",
"processed_size": 162,
"rewrites": 86
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 3,
"aconj": 4,
"adisj": 0,
"aneg": 2,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "(X (X ((F ((X (((1 <= p68) AND (1 <= p164))) AND ((p61 <= 0) OR (p259 <= 0)))) OR G (((p57 <= 0) OR (p299 <= 0)))))) U ((1 <= p61) AND (1 <= p259)))",
"processed_size": 150,
"rewrites": 86
},
"result":
{
"edges": 15,
"markings": 7,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X ((F (((1 <= p88) AND (1 <= p286))) OR G (((X (((1 <= p88) AND (1 <= p286))) AND ((p7 <= 0) OR (p188 <= 0))) OR G (((1 <= p131) AND (1 <= p335)))))))",
"processed_size": 151,
"rewrites": 86
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 1,
"U": 1,
"X": 1,
"aconj": 5,
"adisj": 0,
"aneg": 3,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "F (G (((((1 <= p137) AND (1 <= p256)) U X (F ((F (((p21 <= 0) OR (p224 <= 0))) OR (((p21 <= 0)) OR ((p192 <= 0))))))) OR ((1 <= p87) AND (1 <= p277)))))",
"processed_size": 153,
"rewrites": 86
},
"result":
{
"edges": 8,
"markings": 7,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X ((G (((1 <= p77) AND (1 <= p311))) AND (((1 <= p46) AND (1 <= p240)) OR ((1 <= p21) AND (1 <= p200)))))",
"processed_size": 106,
"rewrites": 86
},
"result":
{
"edges": 5,
"markings": 5,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 355
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 3,
"aconj": 4,
"adisj": 3,
"aneg": 2,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 0,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X ((X (F ((X (((1 <= p25) AND (1 <= p145))) OR (((p25 <= 0) OR (p177 <= 0)) R (((p25 <= 0) OR (p145 <= 0)) AND ((p117 <= 0) OR (p254 <= 0))))))) OR (((p25 <= 0)) OR ((p145 <= 0)))))",
"processed_size": 184,
"rewrites": 86
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 395
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 395
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (F (((p108 <= 0) OR (p304 <= 0))))",
"processed_size": 37,
"rewrites": 86
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 444
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (X (((1 <= p108) AND (1 <= p304))))",
"processed_size": 37,
"rewrites": 86
},
"result":
{
"edges": 30,
"markings": 10,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 444
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 444
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p53 <= 0) OR (p160 <= 0))",
"processed_size": 28,
"rewrites": 86
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 8,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 2,
"adisj": 2,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X ((((1 <= p28) AND (1 <= p210)) U (((p126 <= 0) OR (p218 <= 0)) AND ((p134 <= 0) OR (p224 <= 0)))))",
"processed_size": 102,
"rewrites": 86
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((X (G (((1 <= p96) AND (1 <= p292)))) OR F (G (((p110 <= 0))))))",
"processed_size": 67,
"rewrites": 86
},
"result":
{
"edges": 129,
"markings": 17,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 592
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F ((X (F (((1 <= p106) AND (1 <= p302)))) OR ((1 <= p106) AND (1 <= p302))))",
"processed_size": 76,
"rewrites": 86
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 747
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 747
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p61 <= 0) OR (p266 <= 0))",
"processed_size": 28,
"rewrites": 86
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 12,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 996
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (((p61 <= 0) OR (p266 <= 0)))",
"processed_size": 32,
"rewrites": 86
},
"result":
{
"edges": 749,
"markings": 43,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 780
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 1,
"X": 1,
"aconj": 9,
"adisj": 0,
"aneg": 2,
"comp": 12,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 12,
"taut": 0,
"tconj": 6,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "X ((((((p128 <= 0) OR (p326 <= 0)) R ((p42 <= 0) OR (p243 <= 0))) AND (((1 <= p76)) AND ((1 <= p269)))) U G ((G (((1 <= p118) AND (1 <= p312))) AND (((1 <= p128)) AND (((1 <= p326)) AND (((1 <= p118)) AND ((1 <= p312)))))))))",
"processed_size": 227,
"rewrites": 86
},
"result":
{
"edges": 758,
"markings": 70,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 12
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1170
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 2,
"aconj": 4,
"adisj": 1,
"aneg": 5,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X (((((1 <= p54) AND (1 <= p158)) R ((p67 <= 0) OR (p320 <= 0))) OR X ((((p76 <= 0) OR (p272 <= 0)) AND (G (((p76 <= 0) OR (p272 <= 0))) OR G (F (((p67 <= 0) OR (p320 <= 0)))))))))",
"processed_size": 184,
"rewrites": 86
},
"result":
{
"edges": 50009,
"markings": 3883,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 14
},
"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"
}
}
],
"exit":
{
"error": null,
"memory": 880,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "((G(**) OR X(**)) U ((** U X(**)) OR **)) : G(F((X(G((F(**) AND (X(X(**)) OR **)))) AND **))) : (X(X((F((X(**) AND *)) OR G(*)))) U **) : G(F(**)) : X((F(**) OR G(((X(**) AND **) OR G(**))))) : F(G(((** U X(F((F(*) OR (* OR *))))) OR **))) : X((G(**) AND **)) : X((X(F((X(**) OR (* R *)))) OR (** OR **))) : (X(X(**)) OR (X(F(*)) AND (G(**) OR **))) : (X((** U **)) OR (X(X(**)) AND **)) : X((X(G(**)) OR F(G(*)))) : F((X(F(**)) OR **)) : X(((G(*) AND **) U X(F(**)))) : ((X(X(*)) R *) OR (G(*) AND **)) : X((((* R *) AND (** AND **)) U G((G(**) AND (** AND (** AND (** AND **))))))) : X(((* R *) OR X((* AND (G(*) OR G(F(*)))))))"
},
"net":
{
"arcs": 9240,
"conflict_clusters": 25,
"places": 337,
"places_significant": 124,
"singleton_clusters": 0,
"transitions": 2358
},
"result":
{
"interim_value": "no no no unknown yes no no yes no yes no no unknown unknown no no ",
"preliminary_value": "no no no unknown yes no no yes no yes no no unknown unknown no no "
},
"task":
{
"type": "compound"
}
}
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: 2695/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 337
lola: finding significant places
lola: 337 places, 2358 transitions, 124 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: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p185 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p323 <= 1)
lola: LP says that atomic proposition is always true: (p117 <= 1)
lola: LP says that atomic proposition is always true: (p335 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p185 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p323 <= 1)
lola: LP says that atomic proposition is always true: (p134 <= 1)
lola: LP says that atomic proposition is always true: (p226 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p228 <= 1)
lola: LP says that atomic proposition is always true: (p134 <= 1)
lola: LP says that atomic proposition is always true: (p226 <= 1)
lola: LP says that atomic proposition is always true: (p81 <= 1)
lola: LP says that atomic proposition is always true: (p286 <= 1)
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p259 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p299 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p259 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p269 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p14 <= 1)
lola: LP says that atomic proposition is always true: (p205 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p286 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p286 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p188 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p335 <= 1)
lola: LP says that atomic proposition is always true: (p137 <= 1)
lola: LP says that atomic proposition is always true: (p256 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p224 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p192 <= 1)
lola: LP says that atomic proposition is always true: (p87 <= 1)
lola: LP says that atomic proposition is always true: (p277 <= 1)
lola: LP says that atomic proposition is always true: (p77 <= 1)
lola: LP says that atomic proposition is always true: (p311 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p240 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p200 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p117 <= 1)
lola: LP says that atomic proposition is always true: (p254 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p304 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p304 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p229 <= 1)
lola: LP says that atomic proposition is always true: (p62 <= 1)
lola: LP says that atomic proposition is always true: (p264 <= 1)
lola: LP says that atomic proposition is always true: (p28 <= 1)
lola: LP says that atomic proposition is always true: (p210 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p134 <= 1)
lola: LP says that atomic proposition is always true: (p224 <= 1)
lola: LP says that atomic proposition is always true: (p134 <= 1)
lola: LP says that atomic proposition is always true: (p224 <= 1)
lola: LP says that atomic proposition is always true: (p53 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p292 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p302 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p302 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p152 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p200 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p266 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p152 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p194 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p266 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p266 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p326 <= 1)
lola: LP says that atomic proposition is always true: (p42 <= 1)
lola: LP says that atomic proposition is always true: (p243 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p269 <= 1)
lola: LP says that atomic proposition is always true: (p118 <= 1)
lola: LP says that atomic proposition is always true: (p312 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p326 <= 1)
lola: LP says that atomic proposition is always true: (p118 <= 1)
lola: LP says that atomic proposition is always true: (p312 <= 1)
lola: LP says that atomic proposition is always true: (p54 <= 1)
lola: LP says that atomic proposition is always true: (p158 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p320 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p320 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p272 <= 1)
lola: ((G (((1 <= p51) AND (1 <= p160))) OR X (((1 <= p22) AND (1 <= p185)))) U ((((1 <= p97) AND (1 <= p323)) U X (((1 <= p117) AND (1 <= p335)))) OR ((1 <= p22) AND (1 <= p185) AND (1 <= p97) AND (1 <= p323)))) : (((1 <= p134) AND (1 <= p226)) U G (F (X ((X (G ((X (X (((1 <= p37) AND (1 <= p228)))) U ((1 <= p134) AND (1 <= p226))))) AND ((p81 <= 0) OR (p286 <= 0))))))) : (X (X ((NOT(G ((NOT(X (((1 <= p68) AND (1 <= p164)))) OR ((1 <= p61) AND (1 <= p259))))) OR NOT(F (((1 <= p57) AND (1 <= p299))))))) U ((1 <= p61) AND (1 <= p259))) : G (F (X ((F ((((p69 <= 0) OR (p269 <= 0)) AND (((1 <= p114)) OR ((1 <= p14) AND (1 <= p205))))) U F (((p114 <= 0))))))) : X ((F (((1 <= p88) AND (1 <= p286))) OR G (((X (((1 <= p88) AND (1 <= p286))) AND ((p7 <= 0) OR (p188 <= 0))) OR G (((1 <= p131) AND (1 <= p335))))))) : X (F (G (((((1 <= p137) AND (1 <= p256)) U F (NOT(X (G (((G (((1 <= p21) AND (1 <= p224))) AND ((1 <= p21))) AND ((1 <= p192)))))))) OR ((1 <= p87) AND (1 <= p277)))))) : X ((G (((1 <= p77) AND (1 <= p311))) AND (((1 <= p46) AND (1 <= p240)) OR ((1 <= p21) AND (1 <= p200))))) : X (((NOT(X (G ((NOT(X (((1 <= p25) AND (1 <= p145)))) AND (((1 <= p25) AND (1 <= p177)) U (((1 <= p25) AND (1 <= p145)) OR ((1 <= p117) AND (1 <= p254)))))))) OR ((p25 <= 0))) OR ((p145 <= 0)))) : (X (X (((1 <= p108) AND (1 <= p304)))) OR (F (NOT(X (((1 <= p108) AND (1 <= p304))))) AND (G (((1 <= p36) AND (1 <= p229))) OR ((1 <= p62) AND (1 <= p264))))) : (X ((((1 <= p28) AND (1 <= p210)) U (((p126 <= 0) OR (p218 <= 0)) AND ((p134 <= 0) OR (p224 <= 0))))) OR (X (X (((p134 <= 0) OR (p224 <= 0)))) AND ((p53 <= 0) OR (p160 <= 0)))) : X ((G (X (((1 <= p96) AND (1 <= p292)))) OR NOT(G (F (((1 <= p110))))))) : F ((X (F (((1 <= p106) AND (1 <= p302)))) OR ((1 <= p106) AND (1 <= p302)))) : X (((NOT(F (((1 <= p48) AND (1 <= p152)))) AND ((p107 <= 0) OR (p200 <= 0))) U F (X ((((1 <= p66) AND (1 <= p266)) U ((1 <= p48) AND (1 <= p152))))))) : (NOT((X (X (((p95 <= 0) OR (p194 <= 0)))) U ((1 <= p35) AND (1 <= p144)))) OR (NOT(F (((1 <= p61) AND (1 <= p266)))) AND ((p61 <= 0) OR (p266 <= 0)))) : X ((((NOT((((1 <= p128) AND (1 <= p326)) U ((1 <= p42) AND (1 <= p243)))) AND ((1 <= p76))) AND ((1 <= p269))) U G (((((G (((1 <= p118) AND (1 <= p312))) AND ((1 <= p128))) AND ((1 <= p326))) AND ((1 <= p118))) AND ((1 <= p312)))))) : NOT(X (((((p54 <= 0) OR (p158 <= 0)) U ((1 <= p67) AND (1 <= p320))) AND X ((F (G (((1 <= p67) AND (1 <= p320)))) U ((1 <= p76) AND (1 <= p272)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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:377
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:335
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:428
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((G (((1 <= p51) AND (1 <= p160))) OR X (((1 <= p22) AND (1 <= p185)))) U ((((1 <= p97) AND (1 <= p323)) U X (((1 <= p117) AND (1 <= p335)))) OR ((1 <= p22) AND (1 <= p185) AND (1 <= p97) AND (1 <= p323))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((G (((1 <= p51) AND (1 <= p160))) OR X (((1 <= p22) AND (1 <= p185)))) U ((((1 <= p97) AND (1 <= p323)) U X (((1 <= p117) AND (1 <= p335)))) OR ((1 <= p22) AND (1 <= p185) AND (1 <= p97) AND (1 <= p323))))
lola: processed formula length: 206
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 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: 4 markings, 4 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((X (G ((F (((1 <= p134) AND (1 <= p226))) AND (X (X (((1 <= p37) AND (1 <= p228)))) OR ((1 <= p134) AND (1 <= p226)))))) AND ((p81 <= 0) OR (p286 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((X (G ((F (((1 <= p134) AND (1 <= p226))) AND (X (X (((1 <= p37) AND (1 <= p228)))) OR ((1 <= p134) AND (1 <= p226)))))) AND ((p81 <= 0) OR (p286 <= 0)))))
lola: processed formula length: 162
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 4 markings, 4 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X ((F ((X (((1 <= p68) AND (1 <= p164))) AND ((p61 <= 0) OR (p259 <= 0)))) OR G (((p57 <= 0) OR (p299 <= 0)))))) U ((1 <= p61) AND (1 <= p259)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (X ((F ((X (((1 <= p68) AND (1 <= p164))) AND ((p61 <= 0) OR (p259 <= 0)))) OR G (((p57 <= 0) OR (p299 <= 0)))))) U ((1 <= p61) AND (1 <= p259)))
lola: processed formula length: 150
lola: 86 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: 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: 7 markings, 15 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((1 <= p88) AND (1 <= p286))) OR G (((X (((1 <= p88) AND (1 <= p286))) AND ((p7 <= 0) OR (p188 <= 0))) OR G (((1 <= p131) AND (1 <= p335)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((1 <= p88) AND (1 <= p286))) OR G (((X (((1 <= p88) AND (1 <= p286))) AND ((p7 <= 0) OR (p188 <= 0))) OR G (((1 <= p131) AND (1 <= p335)))))))
lola: processed formula length: 151
lola: 86 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: 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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((((1 <= p137) AND (1 <= p256)) U X (F ((F (((p21 <= 0) OR (p224 <= 0))) OR (((p21 <= 0)) OR ((p192 <= 0))))))) OR ((1 <= p87) AND (1 <= p277)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((((1 <= p137) AND (1 <= p256)) U X (F ((F (((p21 <= 0) OR (p224 <= 0))) OR (((p21 <= 0)) OR ((p192 <= 0))))))) OR ((1 <= p87) AND (1 <= p277)))))
lola: processed formula length: 153
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 8 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G (((1 <= p77) AND (1 <= p311))) AND (((1 <= p46) AND (1 <= p240)) OR ((1 <= p21) AND (1 <= p200)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G (((1 <= p77) AND (1 <= p311))) AND (((1 <= p46) AND (1 <= p240)) OR ((1 <= p21) AND (1 <= p200)))))
lola: processed formula length: 106
lola: 86 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: 5 markings, 5 edges
lola: ========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (F ((X (((1 <= p25) AND (1 <= p145))) OR (((p25 <= 0) OR (p177 <= 0)) R (((p25 <= 0) OR (p145 <= 0)) AND ((p117 <= 0) OR (p254 <= 0))))))) OR (((p25 <= 0)) OR ((p145 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (F ((X (((1 <= p25) AND (1 <= p145))) OR (((p25 <= 0) OR (p177 <= 0)) R (((p25 <= 0) OR (p145 <= 0)) AND ((p117 <= 0) OR (p254 <= 0))))))) OR (((p25 <= 0)) OR ((p145 <= 0)))))
lola: processed formula length: 184
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (((1 <= p108) AND (1 <= p304)))) OR (X (F (((p108 <= 0) OR (p304 <= 0)))) AND (G (((1 <= p36) AND (1 <= p229))) OR ((1 <= p62) AND (1 <= p264)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((p108 <= 0) OR (p304 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((p108 <= 0) OR (p304 <= 0))))
lola: processed formula length: 37
lola: 86 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (((1 <= p108) AND (1 <= p304))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (((1 <= p108) AND (1 <= p304))))
lola: processed formula length: 37
lola: 86 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: 10 markings, 30 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((((1 <= p28) AND (1 <= p210)) U (((p126 <= 0) OR (p218 <= 0)) AND ((p134 <= 0) OR (p224 <= 0))))) OR (X (X (((p134 <= 0) OR (p224 <= 0)))) AND ((p53 <= 0) OR (p160 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p53 <= 0) OR (p160 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p53 <= 0) OR (p160 <= 0))
lola: processed formula length: 28
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((1 <= p28) AND (1 <= p210)) U (((p126 <= 0) OR (p218 <= 0)) AND ((p134 <= 0) OR (p224 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((1 <= p28) AND (1 <= p210)) U (((p126 <= 0) OR (p218 <= 0)) AND ((p134 <= 0) OR (p224 <= 0)))))
lola: processed formula length: 102
lola: 86 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (G (((1 <= p96) AND (1 <= p292)))) OR F (G (((p110 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (G (((1 <= p96) AND (1 <= p292)))) OR F (G (((p110 <= 0))))))
lola: processed formula length: 67
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 17 markings, 129 edges
lola: ========================================
lola: subprocess 10 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X (F (((1 <= p106) AND (1 <= p302)))) OR ((1 <= p106) AND (1 <= p302))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (F (((1 <= p106) AND (1 <= p302)))) OR ((1 <= p106) AND (1 <= p302))))
lola: processed formula length: 76
lola: 86 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 11 will run for 711 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((G (((p48 <= 0) OR (p152 <= 0))) AND ((p107 <= 0) OR (p200 <= 0))) U X (F (((1 <= p48) AND (1 <= p152))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((G (((p48 <= 0) OR (p152 <= 0))) AND ((p107 <= 0) OR (p200 <= 0))) U X (F (((1 <= p48) AND (1 <= p152))))))
lola: processed formula length: 113
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 149649 markings, 3479639 edges, 29930 markings/sec, 0 secs
lola: 284620 markings, 6945070 edges, 26994 markings/sec, 5 secs
lola: 415004 markings, 10362800 edges, 26077 markings/sec, 10 secs
lola: 553229 markings, 13830575 edges, 27645 markings/sec, 15 secs
lola: 675000 markings, 17209050 edges, 24354 markings/sec, 20 secs
lola: 792126 markings, 20584260 edges, 23425 markings/sec, 25 secs
lola: 913039 markings, 24014305 edges, 24183 markings/sec, 30 secs
lola: 1034338 markings, 27426720 edges, 24260 markings/sec, 35 secs
lola: 1150583 markings, 30816692 edges, 23249 markings/sec, 40 secs
lola: 1266338 markings, 34216012 edges, 23151 markings/sec, 45 secs
lola: 1379287 markings, 37578187 edges, 22590 markings/sec, 50 secs
lola: 1492975 markings, 40936031 edges, 22738 markings/sec, 55 secs
lola: 1606244 markings, 44323894 edges, 22654 markings/sec, 60 secs
lola: 1727469 markings, 47770703 edges, 24245 markings/sec, 65 secs
lola: 1861917 markings, 51280304 edges, 26890 markings/sec, 70 secs
lola: 1983605 markings, 54788927 edges, 24338 markings/sec, 75 secs
lola: 2094720 markings, 58197359 edges, 22223 markings/sec, 80 secs
lola: 2212013 markings, 61636497 edges, 23459 markings/sec, 85 secs
lola: 2322302 markings, 65033141 edges, 22058 markings/sec, 90 secs
lola: 2437706 markings, 68429756 edges, 23081 markings/sec, 95 secs
lola: 2554463 markings, 71846145 edges, 23351 markings/sec, 100 secs
lola: 2667865 markings, 75238472 edges, 22680 markings/sec, 105 secs
lola: 2784445 markings, 78689022 edges, 23316 markings/sec, 110 secs
lola: 2904694 markings, 82125425 edges, 24050 markings/sec, 115 secs
lola: 3026478 markings, 85601278 edges, 24357 markings/sec, 120 secs
lola: 3144970 markings, 89043526 edges, 23698 markings/sec, 125 secs
lola: 3258530 markings, 92417867 edges, 22712 markings/sec, 130 secs
lola: 3372290 markings, 95797507 edges, 22752 markings/sec, 135 secs
lola: 3494671 markings, 99272248 edges, 24476 markings/sec, 140 secs
lola: 3612826 markings, 102655156 edges, 23631 markings/sec, 145 secs
lola: 3726079 markings, 106043115 edges, 22651 markings/sec, 150 secs
lola: 3836825 markings, 109392710 edges, 22149 markings/sec, 155 secs
lola: 3952855 markings, 112849446 edges, 23206 markings/sec, 160 secs
lola: 4064238 markings, 116233318 edges, 22277 markings/sec, 165 secs
lola: 4177144 markings, 119620947 edges, 22581 markings/sec, 170 secs
lola: 4288972 markings, 123015148 edges, 22366 markings/sec, 175 secs
lola: 4404384 markings, 126380002 edges, 23082 markings/sec, 180 secs
lola: 4522786 markings, 129776780 edges, 23680 markings/sec, 185 secs
lola: 4645309 markings, 133184286 edges, 24505 markings/sec, 190 secs
lola: 4759037 markings, 136563697 edges, 22746 markings/sec, 195 secs
lola: 4875045 markings, 139996291 edges, 23202 markings/sec, 200 secs
lola: 4988760 markings, 143446690 edges, 22743 markings/sec, 205 secs
lola: 5097046 markings, 146840282 edges, 21657 markings/sec, 210 secs
lola: 5211258 markings, 150233839 edges, 22842 markings/sec, 215 secs
lola: 5330791 markings, 153647132 edges, 23907 markings/sec, 220 secs
lola: 5451740 markings, 157060003 edges, 24190 markings/sec, 225 secs
lola: 5578383 markings, 160417372 edges, 25329 markings/sec, 230 secs
lola: 5706566 markings, 163805770 edges, 25637 markings/sec, 235 secs
lola: 5825664 markings, 167204957 edges, 23820 markings/sec, 240 secs
lola: 5950717 markings, 170684891 edges, 25011 markings/sec, 245 secs
lola: 6063350 markings, 174048708 edges, 22527 markings/sec, 250 secs
lola: 6179776 markings, 177461680 edges, 23285 markings/sec, 255 secs
lola: 6306690 markings, 180876132 edges, 25383 markings/sec, 260 secs
lola: 6434202 markings, 184253839 edges, 25502 markings/sec, 265 secs
lola: 6556180 markings, 187643480 edges, 24396 markings/sec, 270 secs
lola: 6671615 markings, 191118667 edges, 23087 markings/sec, 275 secs
lola: 6795910 markings, 194705876 edges, 24859 markings/sec, 280 secs
lola: 6912468 markings, 198192892 edges, 23312 markings/sec, 285 secs
lola: 7034702 markings, 201620450 edges, 24447 markings/sec, 290 secs
lola: 7156582 markings, 204952811 edges, 24376 markings/sec, 295 secs
lola: 7272336 markings, 208305638 edges, 23151 markings/sec, 300 secs
lola: 7385116 markings, 211717869 edges, 22556 markings/sec, 305 secs
lola: 7504373 markings, 215127145 edges, 23851 markings/sec, 310 secs
lola: 7613580 markings, 218510046 edges, 21841 markings/sec, 315 secs
lola: 7726447 markings, 221897104 edges, 22573 markings/sec, 320 secs
lola: 7843638 markings, 225330993 edges, 23438 markings/sec, 325 secs
lola: 7954980 markings, 228734810 edges, 22268 markings/sec, 330 secs
lola: 8065234 markings, 232119340 edges, 22051 markings/sec, 335 secs
lola: 8181664 markings, 235499978 edges, 23286 markings/sec, 340 secs
lola: 8291337 markings, 238851814 edges, 21935 markings/sec, 345 secs
lola: 8396991 markings, 242180528 edges, 21131 markings/sec, 350 secs
lola: 8504124 markings, 245550363 edges, 21427 markings/sec, 355 secs
lola: 8616728 markings, 248938441 edges, 22521 markings/sec, 360 secs
lola: 8728636 markings, 252303925 edges, 22382 markings/sec, 365 secs
lola: 8838613 markings, 255519076 edges, 21995 markings/sec, 370 secs
lola: 8945612 markings, 258858757 edges, 21400 markings/sec, 375 secs
lola: 9059993 markings, 262261189 edges, 22876 markings/sec, 380 secs
lola: 9173887 markings, 265675390 edges, 22779 markings/sec, 385 secs
lola: 9284322 markings, 269062589 edges, 22087 markings/sec, 390 secs
lola: 9398892 markings, 272463168 edges, 22914 markings/sec, 395 secs
lola: 9528661 markings, 275923886 edges, 25954 markings/sec, 400 secs
lola: 9649936 markings, 279354059 edges, 24255 markings/sec, 405 secs
lola: 9755514 markings, 282719619 edges, 21116 markings/sec, 410 secs
lola: 9867373 markings, 286082504 edges, 22372 markings/sec, 415 secs
lola: 9980956 markings, 289490865 edges, 22717 markings/sec, 420 secs
lola: 10097605 markings, 292897821 edges, 23330 markings/sec, 425 secs
lola: 10208549 markings, 296231075 edges, 22189 markings/sec, 430 secs
lola: 10309491 markings, 299276988 edges, 20188 markings/sec, 435 secs
lola: 10411752 markings, 302462780 edges, 20452 markings/sec, 440 secs
lola: 10519679 markings, 305612472 edges, 21585 markings/sec, 445 secs
lola: 10635295 markings, 308935451 edges, 23123 markings/sec, 450 secs
lola: 10729648 markings, 311848090 edges, 18871 markings/sec, 455 secs
lola: 10801759 markings, 314051865 edges, 14422 markings/sec, 460 secs
lola: 10911735 markings, 317371883 edges, 21995 markings/sec, 465 secs
lola: 11011279 markings, 320480787 edges, 19909 markings/sec, 470 secs
lola: 11109806 markings, 323455805 edges, 19705 markings/sec, 475 secs
lola: 11223487 markings, 326772086 edges, 22736 markings/sec, 480 secs
lola: 11333338 markings, 329737938 edges, 21970 markings/sec, 485 secs
lola: 11452116 markings, 332517967 edges, 23756 markings/sec, 490 secs
lola: 11564976 markings, 335493642 edges, 22572 markings/sec, 495 secs
lola: 11668435 markings, 338198897 edges, 20692 markings/sec, 500 secs
lola: 11789008 markings, 341519387 edges, 24115 markings/sec, 505 secs
lola: 11884756 markings, 344432327 edges, 19150 markings/sec, 510 secs
lola: 11979799 markings, 347373157 edges, 19009 markings/sec, 515 secs
lola: 12093979 markings, 350708196 edges, 22836 markings/sec, 520 secs
lola: 12183656 markings, 353428853 edges, 17935 markings/sec, 525 secs
lola: 12281341 markings, 356328570 edges, 19537 markings/sec, 530 secs
lola: 12394081 markings, 359797698 edges, 22548 markings/sec, 535 secs
lola: 12489088 markings, 362648952 edges, 19001 markings/sec, 540 secs
lola: 12570424 markings, 365048439 edges, 16267 markings/sec, 545 secs
lola: 12682103 markings, 368277284 edges, 22336 markings/sec, 550 secs
lola: 12779927 markings, 371309304 edges, 19565 markings/sec, 555 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 747 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (X (((1 <= p95) AND (1 <= p194)))) R ((p35 <= 0) OR (p144 <= 0))) OR (G (((p61 <= 0) OR (p266 <= 0))) AND ((p61 <= 0) OR (p266 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 747 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p61 <= 0) OR (p266 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p61 <= 0) OR (p266 <= 0))
lola: processed formula length: 28
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 996 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p61 <= 0) OR (p266 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p61 <= 0) OR (p266 <= 0)))
lola: processed formula length: 32
lola: 86 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: 43 markings, 749 edges
lola: ========================================
lola: subprocess 14 will run for 1495 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (((1 <= p95) AND (1 <= p194)))) R ((p35 <= 0) OR (p144 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (X (((1 <= p95) AND (1 <= p194)))) R ((p35 <= 0) OR (p144 <= 0)))
lola: processed formula length: 69
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 121468 markings, 3483255 edges, 24294 markings/sec, 0 secs
lola: 233517 markings, 7053568 edges, 22410 markings/sec, 5 secs
lola: 342482 markings, 10546778 edges, 21793 markings/sec, 10 secs
lola: 448592 markings, 14036330 edges, 21222 markings/sec, 15 secs
lola: 558745 markings, 17591312 edges, 22031 markings/sec, 20 secs
lola: 665290 markings, 21101340 edges, 21309 markings/sec, 25 secs
lola: 771739 markings, 24595728 edges, 21290 markings/sec, 30 secs
lola: 880987 markings, 28086529 edges, 21850 markings/sec, 35 secs
lola: 983425 markings, 31553267 edges, 20488 markings/sec, 40 secs
lola: 1087813 markings, 35002643 edges, 20878 markings/sec, 45 secs
lola: 1194294 markings, 38421469 edges, 21296 markings/sec, 50 secs
lola: 1295828 markings, 41815300 edges, 20307 markings/sec, 55 secs
lola: 1400576 markings, 45235285 edges, 20950 markings/sec, 60 secs
lola: 1504848 markings, 48683024 edges, 20854 markings/sec, 65 secs
lola: 1616896 markings, 52179685 edges, 22410 markings/sec, 70 secs
lola: 1722474 markings, 55654302 edges, 21116 markings/sec, 75 secs
lola: 1822394 markings, 59059772 edges, 19984 markings/sec, 80 secs
lola: 1931487 markings, 62508202 edges, 21819 markings/sec, 85 secs
lola: 2043184 markings, 66062134 edges, 22339 markings/sec, 90 secs
lola: 2152845 markings, 69561180 edges, 21932 markings/sec, 95 secs
lola: 2273028 markings, 73047352 edges, 24037 markings/sec, 100 secs
lola: 2374494 markings, 76489790 edges, 20293 markings/sec, 105 secs
lola: 2470274 markings, 79866327 edges, 19156 markings/sec, 110 secs
lola: 2571397 markings, 83355977 edges, 20225 markings/sec, 115 secs
lola: 2663929 markings, 86739011 edges, 18506 markings/sec, 120 secs
lola: 2760393 markings, 90183796 edges, 19293 markings/sec, 125 secs
lola: 2852343 markings, 93546411 edges, 18390 markings/sec, 130 secs
lola: 2942644 markings, 96886582 edges, 18060 markings/sec, 135 secs
lola: 3038154 markings, 100296868 edges, 19102 markings/sec, 140 secs
lola: 3132558 markings, 103725252 edges, 18881 markings/sec, 145 secs
lola: 3228518 markings, 107209760 edges, 19192 markings/sec, 150 secs
lola: 3321068 markings, 110567734 edges, 18510 markings/sec, 155 secs
lola: 3411507 markings, 113900714 edges, 18088 markings/sec, 160 secs
lola: 3518184 markings, 117381175 edges, 21335 markings/sec, 165 secs
lola: 3628175 markings, 120885651 edges, 21998 markings/sec, 170 secs
lola: 3733060 markings, 124352857 edges, 20977 markings/sec, 175 secs
lola: 3832981 markings, 127897442 edges, 19984 markings/sec, 180 secs
lola: 3921413 markings, 131235088 edges, 17686 markings/sec, 185 secs
lola: 4011345 markings, 134587868 edges, 17986 markings/sec, 190 secs
lola: 4109714 markings, 138073228 edges, 19674 markings/sec, 195 secs
lola: 4206433 markings, 141526034 edges, 19344 markings/sec, 200 secs
lola: 4299214 markings, 144945600 edges, 18556 markings/sec, 205 secs
lola: 4389676 markings, 148367060 edges, 18092 markings/sec, 210 secs
lola: 4490218 markings, 151838100 edges, 20108 markings/sec, 215 secs
lola: 4580529 markings, 155213598 edges, 18062 markings/sec, 220 secs
lola: 4671754 markings, 158603835 edges, 18245 markings/sec, 225 secs
lola: 4765900 markings, 161968954 edges, 18829 markings/sec, 230 secs
lola: 4856769 markings, 165306684 edges, 18174 markings/sec, 235 secs
lola: 4949528 markings, 168692909 edges, 18552 markings/sec, 240 secs
lola: 5041768 markings, 172106188 edges, 18448 markings/sec, 245 secs
lola: 5132661 markings, 175494275 edges, 18179 markings/sec, 250 secs
lola: 5223359 markings, 178896466 edges, 18140 markings/sec, 255 secs
lola: 5318843 markings, 182273216 edges, 19097 markings/sec, 260 secs
lola: 5410246 markings, 185669105 edges, 18281 markings/sec, 265 secs
lola: 5500160 markings, 189077529 edges, 17983 markings/sec, 270 secs
lola: 5596959 markings, 192531110 edges, 19360 markings/sec, 275 secs
lola: 5707463 markings, 196072719 edges, 22101 markings/sec, 280 secs
lola: 5804918 markings, 199539978 edges, 19491 markings/sec, 285 secs
lola: 5899892 markings, 202960669 edges, 18995 markings/sec, 290 secs
lola: 5994331 markings, 206387430 edges, 18888 markings/sec, 295 secs
lola: 6084023 markings, 209757033 edges, 17938 markings/sec, 300 secs
lola: 6175075 markings, 213148140 edges, 18210 markings/sec, 305 secs
lola: 6265407 markings, 216536281 edges, 18066 markings/sec, 310 secs
lola: 6360531 markings, 219931162 edges, 19025 markings/sec, 315 secs
lola: 6453024 markings, 223346656 edges, 18499 markings/sec, 320 secs
lola: 6547062 markings, 226808801 edges, 18808 markings/sec, 325 secs
lola: 6639629 markings, 230257329 edges, 18513 markings/sec, 330 secs
lola: 6731823 markings, 233607556 edges, 18439 markings/sec, 335 secs
lola: 6821665 markings, 236956097 edges, 17968 markings/sec, 340 secs
lola: 6910453 markings, 240352700 edges, 17758 markings/sec, 345 secs
lola: 6998640 markings, 243675685 edges, 17637 markings/sec, 350 secs
lola: 7087559 markings, 247045671 edges, 17784 markings/sec, 355 secs
lola: 7187094 markings, 250593734 edges, 19907 markings/sec, 360 secs
lola: 7281162 markings, 254063129 edges, 18814 markings/sec, 365 secs
lola: 7372829 markings, 257442773 edges, 18333 markings/sec, 370 secs
lola: 7470654 markings, 260868904 edges, 19565 markings/sec, 375 secs
lola: 7560050 markings, 264242224 edges, 17879 markings/sec, 380 secs
lola: 7653797 markings, 267702730 edges, 18749 markings/sec, 385 secs
lola: 7757627 markings, 271350193 edges, 20766 markings/sec, 390 secs
lola: 7856756 markings, 274941915 edges, 19826 markings/sec, 395 secs
lola: 7947317 markings, 278315446 edges, 18112 markings/sec, 400 secs
lola: 8036716 markings, 281691086 edges, 17880 markings/sec, 405 secs
lola: 8129760 markings, 285142299 edges, 18609 markings/sec, 410 secs
lola: 8218652 markings, 288480525 edges, 17778 markings/sec, 415 secs
lola: 8307961 markings, 291849961 edges, 17862 markings/sec, 420 secs
lola: 8402330 markings, 295374763 edges, 18874 markings/sec, 425 secs
lola: 8487206 markings, 298687782 edges, 16975 markings/sec, 430 secs
lola: 8578750 markings, 302073869 edges, 18309 markings/sec, 435 secs
lola: 8671191 markings, 305509813 edges, 18488 markings/sec, 440 secs
lola: 8765563 markings, 308890639 edges, 18874 markings/sec, 445 secs
lola: 8855432 markings, 312287441 edges, 17974 markings/sec, 450 secs
lola: 8952298 markings, 315706339 edges, 19373 markings/sec, 455 secs
lola: 9045433 markings, 319146550 edges, 18627 markings/sec, 460 secs
lola: 9140906 markings, 322560440 edges, 19095 markings/sec, 465 secs
lola: 9244120 markings, 326001335 edges, 20643 markings/sec, 470 secs
lola: 9353105 markings, 329480619 edges, 21797 markings/sec, 475 secs
lola: 9450128 markings, 332885110 edges, 19405 markings/sec, 480 secs
lola: 9548733 markings, 336377811 edges, 19721 markings/sec, 485 secs
lola: 9645268 markings, 339852044 edges, 19307 markings/sec, 490 secs
lola: 9752100 markings, 343309913 edges, 21366 markings/sec, 495 secs
lola: 9855852 markings, 346720592 edges, 20750 markings/sec, 500 secs
lola: 9953968 markings, 350161981 edges, 19623 markings/sec, 505 secs
lola: 10058079 markings, 353595971 edges, 20822 markings/sec, 510 secs
lola: 10172823 markings, 357025169 edges, 22949 markings/sec, 515 secs
lola: 10273365 markings, 360375839 edges, 20108 markings/sec, 520 secs
lola: 10378362 markings, 363738004 edges, 20999 markings/sec, 525 secs
lola: 10469092 markings, 366774402 edges, 18146 markings/sec, 530 secs
lola: 10562677 markings, 370082273 edges, 18717 markings/sec, 535 secs
lola: 10645417 markings, 373065952 edges, 16548 markings/sec, 540 secs
lola: 10745387 markings, 376509344 edges, 19994 markings/sec, 545 secs
lola: 10843625 markings, 379830583 edges, 19648 markings/sec, 550 secs
lola: 10934700 markings, 383147495 edges, 18215 markings/sec, 555 secs
lola: 11042753 markings, 386631488 edges, 21611 markings/sec, 560 secs
lola: 11133380 markings, 389746190 edges, 18125 markings/sec, 565 secs
lola: 11221918 markings, 392843228 edges, 17708 markings/sec, 570 secs
lola: 11314178 markings, 396129185 edges, 18452 markings/sec, 575 secs
lola: 11398766 markings, 399305543 edges, 16918 markings/sec, 580 secs
lola: 11493029 markings, 402688550 edges, 18853 markings/sec, 585 secs
lola: 11583569 markings, 406050931 edges, 18108 markings/sec, 590 secs
lola: 11672437 markings, 409398355 edges, 17774 markings/sec, 595 secs
lola: 11762613 markings, 412615941 edges, 18035 markings/sec, 600 secs
lola: 11847517 markings, 415705252 edges, 16981 markings/sec, 605 secs
lola: 11939353 markings, 419050237 edges, 18367 markings/sec, 610 secs
lola: 12037999 markings, 422135787 edges, 19729 markings/sec, 615 secs
lola: 12141455 markings, 425088307 edges, 20691 markings/sec, 620 secs
lola: 12252703 markings, 428513991 edges, 22250 markings/sec, 625 secs
lola: 12348550 markings, 431602572 edges, 19169 markings/sec, 630 secs
lola: 12448851 markings, 434794877 edges, 20060 markings/sec, 635 secs
lola: 12542849 markings, 437961696 edges, 18800 markings/sec, 640 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 13 will run for 780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((((p128 <= 0) OR (p326 <= 0)) R ((p42 <= 0) OR (p243 <= 0))) AND (((1 <= p76)) AND ((1 <= p269)))) U G ((G (((1 <= p118) AND (1 <= p312))) AND (((1 <= p128)) AND (((1 <= p326)) AND (((1 <= p118)) AND ((1 <= p312)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((((p128 <= 0) OR (p326 <= 0)) R ((p42 <= 0) OR (p243 <= 0))) AND (((1 <= p76)) AND ((1 <= p269)))) U G ((G (((1 <= p118) AND (1 <= p312))) AND (((1 <= p128)) AND (((1 <= p326)) AND (((1 <= p118)) AND ((1 <= p312)))))))))
lola: processed formula length: 227
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 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: 70 markings, 758 edges
lola: ========================================
lola: subprocess 14 will run for 1170 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((((1 <= p54) AND (1 <= p158)) R ((p67 <= 0) OR (p320 <= 0))) OR X ((((p76 <= 0) OR (p272 <= 0)) AND (G (((p76 <= 0) OR (p272 <= 0))) OR G (F (((p67 <= 0) OR (p320 <= 0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((1 <= p54) AND (1 <= p158)) R ((p67 <= 0) OR (p320 <= 0))) OR X ((((p76 <= 0) OR (p272 <= 0)) AND (G (((p76 <= 0) OR (p272 <= 0))) OR G (F (((p67 <= 0) OR (p320 <= 0)))))))))
lola: processed formula length: 184
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 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: 3883 markings, 50009 edges
lola: ========================================
lola: subprocess 15 will run for 2341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p114 <= 0))))
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 (((p114 <= 0))))
lola: processed formula length: 21
lola: 86 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: 164267 markings, 3592775 edges, 32853 markings/sec, 0 secs
lola: 328924 markings, 7193090 edges, 32931 markings/sec, 5 secs
lola: 492388 markings, 10758185 edges, 32693 markings/sec, 10 secs
lola: 655709 markings, 14318127 edges, 32664 markings/sec, 15 secs
lola: 818891 markings, 17879456 edges, 32636 markings/sec, 20 secs
lola: 981308 markings, 21435013 edges, 32483 markings/sec, 25 secs
lola: 1143459 markings, 24960488 edges, 32430 markings/sec, 30 secs
lola: 1304630 markings, 28480427 edges, 32234 markings/sec, 35 secs
lola: 1465088 markings, 31989534 edges, 32092 markings/sec, 40 secs
lola: 1625522 markings, 35495345 edges, 32087 markings/sec, 45 secs
lola: 1785934 markings, 38991239 edges, 32082 markings/sec, 50 secs
lola: 1945790 markings, 42482610 edges, 31971 markings/sec, 55 secs
lola: 2107606 markings, 46011453 edges, 32363 markings/sec, 60 secs
lola: 2268357 markings, 49511256 edges, 32150 markings/sec, 65 secs
lola: 2428505 markings, 53005150 edges, 32030 markings/sec, 70 secs
lola: 2586959 markings, 56468043 edges, 31691 markings/sec, 75 secs
lola: 2746944 markings, 59956955 edges, 31997 markings/sec, 80 secs
lola: 2907286 markings, 63446408 edges, 32068 markings/sec, 85 secs
lola: 3068251 markings, 66942547 edges, 32193 markings/sec, 90 secs
lola: 3231178 markings, 70510379 edges, 32585 markings/sec, 95 secs
lola: 3389547 markings, 73973084 edges, 31674 markings/sec, 100 secs
lola: 3547389 markings, 77419883 edges, 31568 markings/sec, 105 secs
lola: 3708534 markings, 80935924 edges, 32229 markings/sec, 110 secs
lola: 3867453 markings, 84398727 edges, 31784 markings/sec, 115 secs
lola: 4026407 markings, 87860831 edges, 31791 markings/sec, 120 secs
lola: 4186096 markings, 91328833 edges, 31938 markings/sec, 125 secs
lola: 4345003 markings, 94787950 edges, 31781 markings/sec, 130 secs
lola: 4501268 markings, 98203277 edges, 31253 markings/sec, 135 secs
lola: 4659771 markings, 101644264 edges, 31701 markings/sec, 140 secs
lola: 4822951 markings, 105220965 edges, 32636 markings/sec, 145 secs
lola: 4982419 markings, 108698151 edges, 31894 markings/sec, 150 secs
lola: 5144762 markings, 112245543 edges, 32469 markings/sec, 155 secs
lola: 5308977 markings, 115848102 edges, 32843 markings/sec, 160 secs
lola: 5470070 markings, 119347996 edges, 32219 markings/sec, 165 secs
lola: 5634885 markings, 122955423 edges, 32963 markings/sec, 170 secs
lola: 5798709 markings, 126528610 edges, 32765 markings/sec, 175 secs
lola: 5958493 markings, 130008406 edges, 31957 markings/sec, 180 secs
lola: 6116734 markings, 133466635 edges, 31648 markings/sec, 185 secs
lola: 6275307 markings, 136918546 edges, 31715 markings/sec, 190 secs
lola: 6434484 markings, 140376495 edges, 31835 markings/sec, 195 secs
lola: 6593360 markings, 143840178 edges, 31775 markings/sec, 200 secs
lola: 6753923 markings, 147344291 edges, 32113 markings/sec, 205 secs
lola: 6911499 markings, 150775489 edges, 31515 markings/sec, 210 secs
lola: 7071349 markings, 154241439 edges, 31970 markings/sec, 215 secs
lola: 7229639 markings, 157686255 edges, 31658 markings/sec, 220 secs
lola: 7390714 markings, 161177791 edges, 32215 markings/sec, 225 secs
lola: 7550998 markings, 164674502 edges, 32057 markings/sec, 230 secs
lola: 7709411 markings, 168129425 edges, 31683 markings/sec, 235 secs
lola: 7867052 markings, 171569106 edges, 31528 markings/sec, 240 secs
lola: 8029177 markings, 175114126 edges, 32425 markings/sec, 245 secs
lola: 8191693 markings, 178674078 edges, 32503 markings/sec, 250 secs
lola: 8354951 markings, 182242681 edges, 32652 markings/sec, 255 secs
lola: 8513268 markings, 185688617 edges, 31663 markings/sec, 260 secs
lola: 8676094 markings, 189254181 edges, 32565 markings/sec, 265 secs
lola: 8839774 markings, 192839298 edges, 32736 markings/sec, 270 secs
lola: 8997665 markings, 196284970 edges, 31578 markings/sec, 275 secs
lola: 9157447 markings, 199773552 edges, 31956 markings/sec, 280 secs
lola: 9314370 markings, 203199126 edges, 31385 markings/sec, 285 secs
lola: 9470973 markings, 206611309 edges, 31321 markings/sec, 290 secs
lola: 9629290 markings, 210065246 edges, 31663 markings/sec, 295 secs
lola: 9789362 markings, 213554034 edges, 32014 markings/sec, 300 secs
lola: 9950670 markings, 217074537 edges, 32262 markings/sec, 305 secs
lola: 10113449 markings, 220645177 edges, 32556 markings/sec, 310 secs
lola: 10277452 markings, 224169834 edges, 32801 markings/sec, 315 secs
lola: 10436510 markings, 227623860 edges, 31812 markings/sec, 320 secs
lola: 10592690 markings, 231024633 edges, 31236 markings/sec, 325 secs
lola: 10754530 markings, 234566101 edges, 32368 markings/sec, 330 secs
lola: 10913181 markings, 238019883 edges, 31730 markings/sec, 335 secs
lola: 11071818 markings, 241453405 edges, 31727 markings/sec, 340 secs
lola: 11232306 markings, 244951422 edges, 32098 markings/sec, 345 secs
lola: 11390952 markings, 248402043 edges, 31729 markings/sec, 350 secs
lola: 11550062 markings, 251861022 edges, 31822 markings/sec, 355 secs
lola: 11710881 markings, 255353763 edges, 32164 markings/sec, 360 secs
lola: 11868228 markings, 258768118 edges, 31469 markings/sec, 365 secs
lola: 12025482 markings, 262190585 edges, 31451 markings/sec, 370 secs
lola: 12183140 markings, 265609780 edges, 31532 markings/sec, 375 secs
lola: 12343079 markings, 269100967 edges, 31988 markings/sec, 380 secs
lola: 12500384 markings, 272524171 edges, 31461 markings/sec, 385 secs
lola: 12656618 markings, 275924361 edges, 31247 markings/sec, 390 secs
lola: 12814746 markings, 279370335 edges, 31626 markings/sec, 395 secs
lola: 12971877 markings, 282794854 edges, 31426 markings/sec, 400 secs
lola: 13127594 markings, 286186885 edges, 31143 markings/sec, 405 secs
lola: 13286820 markings, 289630561 edges, 31845 markings/sec, 410 secs
lola: 13447544 markings, 293120821 edges, 32145 markings/sec, 415 secs
lola: 13604988 markings, 296552800 edges, 31489 markings/sec, 420 secs
lola: 13764576 markings, 300026851 edges, 31918 markings/sec, 425 secs
lola: 13925583 markings, 303548573 edges, 32201 markings/sec, 430 secs
lola: 14086152 markings, 307058789 edges, 32114 markings/sec, 435 secs
lola: 14245754 markings, 310535135 edges, 31920 markings/sec, 440 secs
lola: 14403548 markings, 313967479 edges, 31559 markings/sec, 445 secs
lola: 14559904 markings, 317379101 edges, 31271 markings/sec, 450 secs
lola: 14717438 markings, 320802326 edges, 31507 markings/sec, 455 secs
lola: 14874824 markings, 324214570 edges, 31477 markings/sec, 460 secs
lola: 15031837 markings, 327639612 edges, 31403 markings/sec, 465 secs
lola: 15187335 markings, 331030433 edges, 31100 markings/sec, 470 secs
lola: 15349583 markings, 334574629 edges, 32450 markings/sec, 475 secs
lola: 15507670 markings, 338013410 edges, 31617 markings/sec, 480 secs
lola: 15668407 markings, 341525797 edges, 32147 markings/sec, 485 secs
lola: 15830439 markings, 345077725 edges, 32406 markings/sec, 490 secs
lola: 15989876 markings, 348555551 edges, 31887 markings/sec, 495 secs
lola: 16149060 markings, 352011476 edges, 31837 markings/sec, 500 secs
lola: 16305984 markings, 355415694 edges, 31385 markings/sec, 505 secs
lola: 16464410 markings, 358861842 edges, 31685 markings/sec, 510 secs
lola: 16621655 markings, 362287230 edges, 31449 markings/sec, 515 secs
lola: 16779195 markings, 365702703 edges, 31508 markings/sec, 520 secs
lola: 16940216 markings, 369213919 edges, 32204 markings/sec, 525 secs
lola: 17100905 markings, 372717690 edges, 32138 markings/sec, 530 secs
lola: 17259069 markings, 376144971 edges, 31633 markings/sec, 535 secs
lola: 17414926 markings, 379527876 edges, 31171 markings/sec, 540 secs
lola: 17576362 markings, 383051954 edges, 32287 markings/sec, 545 secs
lola: 17735514 markings, 386539375 edges, 31830 markings/sec, 550 secs
lola: 17893481 markings, 389976799 edges, 31593 markings/sec, 555 secs
lola: 18051449 markings, 393397031 edges, 31594 markings/sec, 560 secs
lola: 18207600 markings, 396795932 edges, 31230 markings/sec, 565 secs
lola: 18363374 markings, 400198388 edges, 31155 markings/sec, 570 secs
lola: 18519662 markings, 403613146 edges, 31258 markings/sec, 575 secs
lola: 18681235 markings, 407145828 edges, 32315 markings/sec, 580 secs
lola: 18843104 markings, 410676255 edges, 32374 markings/sec, 585 secs
lola: 19004120 markings, 414191065 edges, 32203 markings/sec, 590 secs
lola: 19164148 markings, 417670752 edges, 32006 markings/sec, 595 secs
lola: 19323808 markings, 421152612 edges, 31932 markings/sec, 600 secs
lola: 19486786 markings, 424724463 edges, 32596 markings/sec, 605 secs
lola: 19649115 markings, 428273779 edges, 32466 markings/sec, 610 secs
lola: 19812868 markings, 431865940 edges, 32751 markings/sec, 615 secs
lola: 19976136 markings, 435445536 edges, 32654 markings/sec, 620 secs
lola: 20137487 markings, 438974077 edges, 32270 markings/sec, 625 secs
lola: 20299915 markings, 442528991 edges, 32486 markings/sec, 630 secs
lola: 20460782 markings, 446054507 edges, 32173 markings/sec, 635 secs
lola: 20620975 markings, 449559360 edges, 32039 markings/sec, 640 secs
lola: 20781369 markings, 453069700 edges, 32079 markings/sec, 645 secs
lola: 20944274 markings, 456634177 edges, 32581 markings/sec, 650 secs
lola: 21103644 markings, 460115107 edges, 31874 markings/sec, 655 secs
lola: 21266570 markings, 463680885 edges, 32585 markings/sec, 660 secs
lola: 21423899 markings, 467097924 edges, 31466 markings/sec, 665 secs
lola: 21583306 markings, 470586336 edges, 31881 markings/sec, 670 secs
lola: 21743756 markings, 474088750 edges, 32090 markings/sec, 675 secs
lola: 21905030 markings, 477615649 edges, 32255 markings/sec, 680 secs
lola: 22063707 markings, 481074452 edges, 31735 markings/sec, 685 secs
lola: 22220914 markings, 484497266 edges, 31441 markings/sec, 690 secs
lola: 22378890 markings, 487937978 edges, 31595 markings/sec, 695 secs
lola: 22537144 markings, 491402663 edges, 31651 markings/sec, 700 secs
lola: 22695748 markings, 494873415 edges, 31721 markings/sec, 705 secs
lola: 22857623 markings, 498422422 edges, 32375 markings/sec, 710 secs
lola: 23018878 markings, 501931038 edges, 32251 markings/sec, 715 secs
lola: 23175812 markings, 505326819 edges, 31387 markings/sec, 720 secs
lola: 23331621 markings, 508713143 edges, 31162 markings/sec, 725 secs
lola: 23488020 markings, 512109477 edges, 31280 markings/sec, 730 secs
lola: 23644836 markings, 515506716 edges, 31363 markings/sec, 735 secs
lola: 23803241 markings, 518955041 edges, 31681 markings/sec, 740 secs
lola: 23963152 markings, 522399512 edges, 31982 markings/sec, 745 secs
lola: 24120999 markings, 525840743 edges, 31569 markings/sec, 750 secs
lola: 24278908 markings, 529284046 edges, 31582 markings/sec, 755 secs
lola: 24440819 markings, 532837287 edges, 32382 markings/sec, 760 secs
lola: 24601439 markings, 536346089 edges, 32124 markings/sec, 765 secs
lola: 24760127 markings, 539809526 edges, 31738 markings/sec, 770 secs
lola: 24919340 markings, 543283127 edges, 31843 markings/sec, 775 secs
lola: 25077978 markings, 546740329 edges, 31728 markings/sec, 780 secs
lola: 25237852 markings, 550218547 edges, 31975 markings/sec, 785 secs
lola: 25398234 markings, 553715631 edges, 32076 markings/sec, 790 secs
lola: 25557032 markings, 557185273 edges, 31760 markings/sec, 795 secs
lola: 25716482 markings, 560672883 edges, 31890 markings/sec, 800 secs
lola: 25875149 markings, 564121778 edges, 31733 markings/sec, 805 secs
lola: 26033025 markings, 567556120 edges, 31575 markings/sec, 810 secs
lola: 26191569 markings, 570997477 edges, 31709 markings/sec, 815 secs
lola: 26348454 markings, 574390480 edges, 31377 markings/sec, 820 secs
lola: 26504604 markings, 577794491 edges, 31230 markings/sec, 825 secs
lola: 26660283 markings, 581175451 edges, 31136 markings/sec, 830 secs
lola: 26816148 markings, 584572478 edges, 31173 markings/sec, 835 secs
lola: 26972173 markings, 587977282 edges, 31205 markings/sec, 840 secs
lola: 27128398 markings, 591363666 edges, 31245 markings/sec, 845 secs
lola: 27287896 markings, 594835663 edges, 31900 markings/sec, 850 secs
lola: 27446979 markings, 598292753 edges, 31817 markings/sec, 855 secs
lola: 27603759 markings, 601688255 edges, 31356 markings/sec, 860 secs
lola: 27759215 markings, 605069596 edges, 31091 markings/sec, 865 secs
lola: 27918094 markings, 608536875 edges, 31776 markings/sec, 870 secs
lola: 28075260 markings, 611968530 edges, 31433 markings/sec, 875 secs
lola: 28235281 markings, 615468280 edges, 32004 markings/sec, 880 secs
lola: 28395602 markings, 618982221 edges, 32064 markings/sec, 885 secs
lola: 28554815 markings, 622461507 edges, 31843 markings/sec, 890 secs
lola: 28713674 markings, 625937498 edges, 31772 markings/sec, 895 secs
lola: 28870195 markings, 629314814 edges, 31304 markings/sec, 900 secs
lola: 29027124 markings, 632725555 edges, 31386 markings/sec, 905 secs
lola: 29187364 markings, 636237110 edges, 32048 markings/sec, 910 secs
lola: 29343588 markings, 639627153 edges, 31245 markings/sec, 915 secs
lola: 29503490 markings, 643105393 edges, 31980 markings/sec, 920 secs
lola: 29660870 markings, 646528225 edges, 31476 markings/sec, 925 secs
lola: 29818610 markings, 649935506 edges, 31548 markings/sec, 930 secs
lola: 29974489 markings, 653315841 edges, 31176 markings/sec, 935 secs
lola: 30131496 markings, 656745270 edges, 31401 markings/sec, 940 secs
lola: 30288571 markings, 660150865 edges, 31415 markings/sec, 945 secs
lola: 30447621 markings, 663615884 edges, 31810 markings/sec, 950 secs
lola: 30603793 markings, 667015262 edges, 31234 markings/sec, 955 secs
lola: 30762505 markings, 670475970 edges, 31742 markings/sec, 960 secs
lola: 30919769 markings, 673896301 edges, 31453 markings/sec, 965 secs
lola: 31076254 markings, 677305784 edges, 31297 markings/sec, 970 secs
lola: 31233470 markings, 680726272 edges, 31443 markings/sec, 975 secs
lola: 31391362 markings, 684164170 edges, 31578 markings/sec, 980 secs
lola: 31550645 markings, 687605364 edges, 31857 markings/sec, 985 secs
lola: 31708909 markings, 691061286 edges, 31653 markings/sec, 990 secs
lola: 31865088 markings, 694466622 edges, 31236 markings/sec, 995 secs
lola: 32023080 markings, 697924439 edges, 31598 markings/sec, 1000 secs
lola: 32184461 markings, 701450141 edges, 32276 markings/sec, 1005 secs
lola: 32342335 markings, 704908555 edges, 31575 markings/sec, 1010 secs
lola: 32497393 markings, 708309658 edges, 31012 markings/sec, 1015 secs
lola: 32652492 markings, 711701966 edges, 31020 markings/sec, 1020 secs
lola: 32805562 markings, 715058303 edges, 30614 markings/sec, 1025 secs
lola: 32959873 markings, 718432499 edges, 30862 markings/sec, 1030 secs
lola: 33113033 markings, 721783644 edges, 30632 markings/sec, 1035 secs
lola: 33268918 markings, 725199655 edges, 31177 markings/sec, 1040 secs
lola: 33422613 markings, 728557928 edges, 30739 markings/sec, 1045 secs
lola: 33576901 markings, 731933279 edges, 30858 markings/sec, 1050 secs
lola: 33732498 markings, 735323107 edges, 31119 markings/sec, 1055 secs
lola: 33892278 markings, 738808263 edges, 31956 markings/sec, 1060 secs
lola: 34049608 markings, 742229002 edges, 31466 markings/sec, 1065 secs
lola: 34206504 markings, 745609723 edges, 31379 markings/sec, 1070 secs
lola: 34364216 markings, 749020091 edges, 31542 markings/sec, 1075 secs
lola: 34521112 markings, 752433060 edges, 31379 markings/sec, 1080 secs
lola: 34679915 markings, 755882376 edges, 31761 markings/sec, 1085 secs
lola: 34837810 markings, 759325115 edges, 31579 markings/sec, 1090 secs
lola: 34994129 markings, 762739102 edges, 31264 markings/sec, 1095 secs
lola: 35153112 markings, 766214407 edges, 31797 markings/sec, 1100 secs
lola: 35310856 markings, 769647886 edges, 31549 markings/sec, 1105 secs
lola: 35469106 markings, 773084221 edges, 31650 markings/sec, 1110 secs
lola: 35627699 markings, 776548443 edges, 31719 markings/sec, 1115 secs
lola: 35786749 markings, 779999688 edges, 31810 markings/sec, 1120 secs
lola: 35947050 markings, 783483217 edges, 32060 markings/sec, 1125 secs
lola: 36106671 markings, 786976950 edges, 31924 markings/sec, 1130 secs
lola: 36264884 markings, 790417254 edges, 31643 markings/sec, 1135 secs
lola: 36423550 markings, 793878118 edges, 31733 markings/sec, 1140 secs
lola: 36581652 markings, 797343006 edges, 31620 markings/sec, 1145 secs
lola: 36740847 markings, 800823119 edges, 31839 markings/sec, 1150 secs
lola: 36901519 markings, 804338246 edges, 32134 markings/sec, 1155 secs
lola: 37058716 markings, 807775542 edges, 31439 markings/sec, 1160 secs
lola: 37220576 markings, 811298236 edges, 32372 markings/sec, 1165 secs
lola: 37383225 markings, 814853644 edges, 32530 markings/sec, 1170 secs
lola: 37544843 markings, 818387211 edges, 32324 markings/sec, 1175 secs
lola: 37705844 markings, 821901507 edges, 32200 markings/sec, 1180 secs
lola: 37865235 markings, 825385853 edges, 31878 markings/sec, 1185 secs
lola: 38022186 markings, 828790804 edges, 31390 markings/sec, 1190 secs
lola: 38181402 markings, 832256706 edges, 31843 markings/sec, 1195 secs
lola: 38338228 markings, 835657960 edges, 31365 markings/sec, 1200 secs
lola: 38497410 markings, 839127416 edges, 31836 markings/sec, 1205 secs
lola: 38658100 markings, 842640633 edges, 32138 markings/sec, 1210 secs
lola: 38813955 markings, 846021362 edges, 31171 markings/sec, 1215 secs
lola: 38970142 markings, 849440674 edges, 31237 markings/sec, 1220 secs
lola: 39129450 markings, 852930216 edges, 31862 markings/sec, 1225 secs
lola: 39284160 markings, 856321002 edges, 30942 markings/sec, 1230 secs
lola: 39437140 markings, 859671110 edges, 30596 markings/sec, 1235 secs
lola: 39589210 markings, 862997535 edges, 30414 markings/sec, 1240 secs
lola: 39743508 markings, 866380805 edges, 30860 markings/sec, 1245 secs
lola: 39897938 markings, 869761376 edges, 30886 markings/sec, 1250 secs
lola: 40050476 markings, 873098222 edges, 30508 markings/sec, 1255 secs
lola: 40201188 markings, 876396743 edges, 30142 markings/sec, 1260 secs
lola: 40353919 markings, 879731841 edges, 30546 markings/sec, 1265 secs
lola: 40505892 markings, 883062951 edges, 30395 markings/sec, 1270 secs
lola: 40659630 markings, 886424715 edges, 30748 markings/sec, 1275 secs
lola: 40813983 markings, 889808661 edges, 30871 markings/sec, 1280 secs
lola: 40965957 markings, 893133715 edges, 30395 markings/sec, 1285 secs
lola: 41119974 markings, 896504516 edges, 30803 markings/sec, 1290 secs
lola: 41275059 markings, 899906896 edges, 31017 markings/sec, 1295 secs
lola: 41429976 markings, 903299956 edges, 30983 markings/sec, 1300 secs
lola: 41582829 markings, 906651811 edges, 30571 markings/sec, 1305 secs
lola: 41736032 markings, 910006290 edges, 30641 markings/sec, 1310 secs
lola: 41892075 markings, 913425539 edges, 31209 markings/sec, 1315 secs
lola: 42045524 markings, 916779521 edges, 30690 markings/sec, 1320 secs
lola: 42198584 markings, 920129065 edges, 30612 markings/sec, 1325 secs
lola: 42353474 markings, 923525161 edges, 30978 markings/sec, 1330 secs
lola: 42505068 markings, 926837807 edges, 30319 markings/sec, 1335 secs
lola: 42661715 markings, 930249758 edges, 31329 markings/sec, 1340 secs
lola: 42820678 markings, 933704352 edges, 31793 markings/sec, 1345 secs
lola: 42977738 markings, 937111582 edges, 31412 markings/sec, 1350 secs
lola: 43132513 markings, 940481673 edges, 30955 markings/sec, 1355 secs
lola: 43289483 markings, 943850241 edges, 31394 markings/sec, 1360 secs
lola: 43447057 markings, 947287420 edges, 31515 markings/sec, 1365 secs
lola: 43602345 markings, 950663918 edges, 31058 markings/sec, 1370 secs
lola: 43757869 markings, 954045916 edges, 31105 markings/sec, 1375 secs
lola: 43917885 markings, 957514465 edges, 32003 markings/sec, 1380 secs
lola: 44072486 markings, 960882217 edges, 30920 markings/sec, 1385 secs
lola: 44229277 markings, 964315467 edges, 31358 markings/sec, 1390 secs
lola: 44381068 markings, 967645242 edges, 30358 markings/sec, 1395 secs
lola: 44534948 markings, 971007417 edges, 30776 markings/sec, 1400 secs
lola: 44694042 markings, 974487519 edges, 31819 markings/sec, 1405 secs
lola: 44853814 markings, 977994489 edges, 31954 markings/sec, 1410 secs
lola: 45009690 markings, 981389952 edges, 31175 markings/sec, 1415 secs
lola: 45169316 markings, 984873894 edges, 31925 markings/sec, 1420 secs
lola: 45326608 markings, 988295335 edges, 31458 markings/sec, 1425 secs
lola: 45484673 markings, 991738195 edges, 31613 markings/sec, 1430 secs
lola: 45642099 markings, 995170151 edges, 31485 markings/sec, 1435 secs
lola: 45802392 markings, 998674809 edges, 32059 markings/sec, 1440 secs
lola: 45962051 markings, 1002146929 edges, 31932 markings/sec, 1445 secs
lola: 46119836 markings, 1005587267 edges, 31557 markings/sec, 1450 secs
lola: 46277216 markings, 1009036618 edges, 31476 markings/sec, 1455 secs
lola: 46433791 markings, 1012447877 edges, 31315 markings/sec, 1460 secs
lola: 46592114 markings, 1015915738 edges, 31665 markings/sec, 1465 secs
lola: 46749709 markings, 1019352011 edges, 31519 markings/sec, 1470 secs
lola: 46910435 markings, 1022870186 edges, 32145 markings/sec, 1475 secs
lola: 47069046 markings, 1026346925 edges, 31722 markings/sec, 1480 secs
lola: 47227869 markings, 1029795012 edges, 31765 markings/sec, 1485 secs
lola: 47386393 markings, 1033214515 edges, 31705 markings/sec, 1490 secs
lola: 47541219 markings, 1036580147 edges, 30965 markings/sec, 1495 secs
lola: 47697734 markings, 1039968199 edges, 31303 markings/sec, 1500 secs
lola: 47853091 markings, 1043342798 edges, 31071 markings/sec, 1505 secs
lola: 48011625 markings, 1046805102 edges, 31707 markings/sec, 1510 secs
lola: 48170099 markings, 1050260914 edges, 31695 markings/sec, 1515 secs
lola: 48308994 markings, 1053281997 edges, 27779 markings/sec, 1520 secs
lola: 48465851 markings, 1056692613 edges, 31371 markings/sec, 1525 secs
lola: 48620180 markings, 1060037113 edges, 30866 markings/sec, 1530 secs
lola: 48746110 markings, 1062761782 edges, 25186 markings/sec, 1535 secs
lola: 48879393 markings, 1065680055 edges, 26657 markings/sec, 1540 secs
lola: 49013289 markings, 1068592911 edges, 26779 markings/sec, 1545 secs
lola: 49169899 markings, 1071985827 edges, 31322 markings/sec, 1550 secs
lola: 49330340 markings, 1075492216 edges, 32088 markings/sec, 1555 secs
lola: 49488331 markings, 1078952012 edges, 31598 markings/sec, 1560 secs
lola: 49648335 markings, 1082448781 edges, 32001 markings/sec, 1565 secs
lola: 49793626 markings, 1085625595 edges, 29058 markings/sec, 1570 secs
lola: 49950592 markings, 1089051533 edges, 31393 markings/sec, 1575 secs
lola: 50107330 markings, 1092467852 edges, 31348 markings/sec, 1580 secs
lola: 50264756 markings, 1095915811 edges, 31485 markings/sec, 1585 secs
lola: 50417569 markings, 1099236277 edges, 30563 markings/sec, 1590 secs
lola: 50543207 markings, 1101976188 edges, 25128 markings/sec, 1595 secs
lola: 50684496 markings, 1105038202 edges, 28258 markings/sec, 1600 secs
lola: 50825114 markings, 1108093674 edges, 28124 markings/sec, 1605 secs
lola: 50981261 markings, 1111493366 edges, 31229 markings/sec, 1610 secs
lola: 51138700 markings, 1114919743 edges, 31488 markings/sec, 1615 secs
lola: 51294313 markings, 1118333674 edges, 31123 markings/sec, 1620 secs
lola: 51450942 markings, 1121755898 edges, 31326 markings/sec, 1625 secs
lola: 51608115 markings, 1125178168 edges, 31435 markings/sec, 1630 secs
lola: 51764098 markings, 1128589497 edges, 31197 markings/sec, 1635 secs
lola: 51920570 markings, 1132005864 edges, 31294 markings/sec, 1640 secs
lola: 52069244 markings, 1135241829 edges, 29735 markings/sec, 1645 secs
lola: 52223094 markings, 1138584814 edges, 30770 markings/sec, 1650 secs
lola: 52369868 markings, 1141786532 edges, 29355 markings/sec, 1655 secs
lola: 52524324 markings, 1145153813 edges, 30891 markings/sec, 1660 secs
lola: 52673873 markings, 1148416189 edges, 29910 markings/sec, 1665 secs
lola: 52832878 markings, 1151895882 edges, 31801 markings/sec, 1670 secs
lola: 52987608 markings, 1155261647 edges, 30946 markings/sec, 1675 secs
lola: 53140986 markings, 1158607528 edges, 30676 markings/sec, 1680 secs
lola: 53281780 markings, 1161680064 edges, 28159 markings/sec, 1685 secs
lola: 53424507 markings, 1164807454 edges, 28545 markings/sec, 1690 secs
lola: 53567658 markings, 1167919328 edges, 28630 markings/sec, 1695 secs
lola: 53717795 markings, 1171209208 edges, 30027 markings/sec, 1700 secs
lola: 53873573 markings, 1174628251 edges, 31156 markings/sec, 1705 secs
lola: 54011277 markings, 1177638383 edges, 27541 markings/sec, 1710 secs
lola: 54166666 markings, 1181034664 edges, 31078 markings/sec, 1715 secs
lola: 54324806 markings, 1184491596 edges, 31628 markings/sec, 1720 secs
lola: 54474973 markings, 1187766277 edges, 30033 markings/sec, 1725 secs
lola: 54619495 markings, 1190912988 edges, 28904 markings/sec, 1730 secs
lola: 54774304 markings, 1194275681 edges, 30962 markings/sec, 1735 secs
lola: 54923641 markings, 1197500473 edges, 29867 markings/sec, 1740 secs
lola: 55077428 markings, 1200845654 edges, 30757 markings/sec, 1745 secs
lola: 55214507 markings, 1203816101 edges, 27416 markings/sec, 1750 secs
lola: 55356972 markings, 1206914844 edges, 28493 markings/sec, 1755 secs
lola: 55506352 markings, 1210137327 edges, 29876 markings/sec, 1760 secs
lola: 55646047 markings, 1213175448 edges, 27939 markings/sec, 1765 secs
lola: 55802117 markings, 1216558397 edges, 31214 markings/sec, 1770 secs
lola: 55945051 markings, 1219667910 edges, 28587 markings/sec, 1775 secs
lola: 56099478 markings, 1223044787 edges, 30885 markings/sec, 1780 secs
lola: 56256796 markings, 1226479821 edges, 31464 markings/sec, 1785 secs
lola: 56412729 markings, 1229894235 edges, 31187 markings/sec, 1790 secs
lola: 56568043 markings, 1233283076 edges, 31063 markings/sec, 1795 secs
lola: 56725920 markings, 1236740376 edges, 31575 markings/sec, 1800 secs
lola: 56880223 markings, 1240083517 edges, 30861 markings/sec, 1805 secs
lola: 57035489 markings, 1243466398 edges, 31053 markings/sec, 1810 secs
lola: 57190242 markings, 1246843798 edges, 30951 markings/sec, 1815 secs
lola: 57344431 markings, 1250206536 edges, 30838 markings/sec, 1820 secs
lola: 57505882 markings, 1253731716 edges, 32290 markings/sec, 1825 secs
lola: 57666121 markings, 1257224727 edges, 32048 markings/sec, 1830 secs
lola: 57824591 markings, 1260684422 edges, 31694 markings/sec, 1835 secs
lola: 57983163 markings, 1264147865 edges, 31714 markings/sec, 1840 secs
lola: 58143658 markings, 1267648533 edges, 32099 markings/sec, 1845 secs
lola: 58302545 markings, 1271112544 edges, 31777 markings/sec, 1850 secs
lola: 58463217 markings, 1274619714 edges, 32134 markings/sec, 1855 secs
lola: 58621366 markings, 1278079792 edges, 31630 markings/sec, 1860 secs
lola: 58779966 markings, 1281536221 edges, 31720 markings/sec, 1865 secs
lola: 58938402 markings, 1285003444 edges, 31687 markings/sec, 1870 secs
lola: 59088614 markings, 1288252245 edges, 30042 markings/sec, 1875 secs
lola: 59243452 markings, 1291620099 edges, 30968 markings/sec, 1880 secs
lola: 59397715 markings, 1294980535 edges, 30853 markings/sec, 1885 secs
lola: 59537768 markings, 1298046716 edges, 28011 markings/sec, 1890 secs
lola: 59685451 markings, 1301276250 edges, 29537 markings/sec, 1895 secs
lola: 59839980 markings, 1304661497 edges, 30906 markings/sec, 1900 secs
lola: 59991995 markings, 1307993375 edges, 30403 markings/sec, 1905 secs
lola: 60139985 markings, 1311224460 edges, 29598 markings/sec, 1910 secs
lola: 60247367 markings, 1313578795 edges, 21476 markings/sec, 1915 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (((G (((p48 <= 0) OR (p152 <= 0))) AND ((p107 <= 0) OR (p200 <= 0))) U X (F (((1 <= p48) AND (1 <= p152))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((G (((p48 <= 0) OR (p152 <= 0))) AND ((p107 <= 0) OR (p200 <= 0))) U X (F (((1 <= p48) AND (1 <= p152))))))
lola: processed formula length: 113
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 147815 markings, 3436907 edges, 29563 markings/sec, 0 secs
lola: 282620 markings, 6886300 edges, 26961 markings/sec, 5 secs
lola: 412203 markings, 10283435 edges, 25917 markings/sec, 10 secs
lola: 549156 markings, 13729380 edges, 27391 markings/sec, 15 secs
lola: 670268 markings, 17086430 edges, 24222 markings/sec, 20 secs
lola: 786734 markings, 20433953 edges, 23293 markings/sec, 25 secs
lola: 905641 markings, 23838804 edges, 23781 markings/sec, 30 secs
lola: 1028231 markings, 27236453 edges, 24518 markings/sec, 35 secs
lola: 1143450 markings, 30601930 edges, 23044 markings/sec, 40 secs
lola: 1258057 markings, 33962434 edges, 22921 markings/sec, 45 secs
lola: 1370751 markings, 37302235 edges, 22539 markings/sec, 50 secs
lola: 1482722 markings, 40635147 edges, 22394 markings/sec, 55 secs
lola: 1593935 markings, 43980101 edges, 22243 markings/sec, 60 secs
lola: 1710964 markings, 47389661 edges, 23406 markings/sec, 65 secs
lola: 1846789 markings, 50868328 edges, 27165 markings/sec, 70 secs
lola: 1969459 markings, 54357041 edges, 24534 markings/sec, 75 secs
lola: 2080287 markings, 57739849 edges, 22166 markings/sec, 80 secs
lola: 2196367 markings, 61148773 edges, 23216 markings/sec, 85 secs
lola: 2304716 markings, 64516261 edges, 21670 markings/sec, 90 secs
lola: 2416071 markings, 67863493 edges, 22271 markings/sec, 95 secs
lola: 2536161 markings, 71273996 edges, 24018 markings/sec, 100 secs
lola: 2649225 markings, 74640551 edges, 22613 markings/sec, 105 secs
lola: 2761482 markings, 78056595 edges, 22451 markings/sec, 110 secs
lola: 2883210 markings, 81480621 edges, 24346 markings/sec, 115 secs
lola: 3000811 markings, 84928730 edges, 23520 markings/sec, 120 secs
lola: 3124282 markings, 88390710 edges, 24694 markings/sec, 125 secs
lola: 3234614 markings, 91736439 edges, 22066 markings/sec, 130 secs
lola: 3347482 markings, 95101654 edges, 22574 markings/sec, 135 secs
lola: 3467615 markings, 98568009 edges, 24027 markings/sec, 140 secs
lola: 3591078 markings, 101972144 edges, 24693 markings/sec, 145 secs
lola: 3704004 markings, 105353357 edges, 22585 markings/sec, 150 secs
lola: 3813359 markings, 108681038 edges, 21871 markings/sec, 155 secs
lola: 3928368 markings, 112113475 edges, 23002 markings/sec, 160 secs
lola: 4040464 markings, 115502859 edges, 22419 markings/sec, 165 secs
lola: 4154156 markings, 118908755 edges, 22738 markings/sec, 170 secs
lola: 4261236 markings, 122265247 edges, 21416 markings/sec, 175 secs
lola: 4381118 markings, 125645478 edges, 23976 markings/sec, 180 secs
lola: 4492645 markings, 129012889 edges, 22305 markings/sec, 185 secs
lola: 4618676 markings, 132417291 edges, 25206 markings/sec, 190 secs
lola: 4729596 markings, 135751565 edges, 22184 markings/sec, 195 secs
lola: 4847635 markings, 139193715 edges, 23608 markings/sec, 200 secs
lola: 4963843 markings, 142644436 edges, 23242 markings/sec, 205 secs
lola: 5070899 markings, 146028432 edges, 21411 markings/sec, 210 secs
lola: 5184715 markings, 149411698 edges, 22763 markings/sec, 215 secs
lola: 5301866 markings, 152807030 edges, 23430 markings/sec, 220 secs
lola: 5419651 markings, 156210410 edges, 23557 markings/sec, 225 secs
lola: 5547814 markings, 159579856 edges, 25633 markings/sec, 230 secs
lola: 5675162 markings, 162969293 edges, 25470 markings/sec, 235 secs
lola: 5796014 markings, 166333604 edges, 24170 markings/sec, 240 secs
lola: 5922776 markings, 169813347 edges, 25352 markings/sec, 245 secs
lola: 6035617 markings, 173190575 edges, 22568 markings/sec, 250 secs
lola: 6150912 markings, 176595656 edges, 23059 markings/sec, 255 secs
lola: 6271922 markings, 180009449 edges, 24202 markings/sec, 260 secs
lola: 6403565 markings, 183377482 edges, 26329 markings/sec, 265 secs
lola: 6527813 markings, 186756169 edges, 24850 markings/sec, 270 secs
lola: 6641005 markings, 190190976 edges, 22638 markings/sec, 275 secs
lola: 6763660 markings, 193743760 edges, 24531 markings/sec, 280 secs
lola: 6880311 markings, 197245316 edges, 23330 markings/sec, 285 secs
lola: 7000950 markings, 200678851 edges, 24128 markings/sec, 290 secs
lola: 7123121 markings, 204015498 edges, 24434 markings/sec, 295 secs
lola: 7242064 markings, 207354365 edges, 23789 markings/sec, 300 secs
lola: 7352132 markings, 210723224 edges, 22014 markings/sec, 305 secs
lola: 7466308 markings, 214121339 edges, 22835 markings/sec, 310 secs
lola: 7580656 markings, 217510183 edges, 22870 markings/sec, 315 secs
lola: 7693894 markings, 220886752 edges, 22648 markings/sec, 320 secs
lola: 7807800 markings, 224285590 edges, 22781 markings/sec, 325 secs
lola: 7921906 markings, 227704015 edges, 22821 markings/sec, 330 secs
lola: 8032041 markings, 231083100 edges, 22027 markings/sec, 335 secs
lola: 8141686 markings, 234422367 edges, 21929 markings/sec, 340 secs
lola: 8258802 markings, 237827378 edges, 23423 markings/sec, 345 secs
lola: 8364337 markings, 241154691 edges, 21107 markings/sec, 350 secs
lola: 8471163 markings, 244510107 edges, 21365 markings/sec, 355 secs
lola: 8582796 markings, 247903339 edges, 22327 markings/sec, 360 secs
lola: 8693987 markings, 251280716 edges, 22238 markings/sec, 365 secs
lola: 8805369 markings, 254525678 edges, 22276 markings/sec, 370 secs
lola: 8913484 markings, 257824139 edges, 21623 markings/sec, 375 secs
lola: 9025948 markings, 261227196 edges, 22493 markings/sec, 380 secs
lola: 9139400 markings, 264629968 edges, 22690 markings/sec, 385 secs
lola: 9250247 markings, 268033858 edges, 22169 markings/sec, 390 secs
lola: 9363921 markings, 271393901 edges, 22735 markings/sec, 395 secs
lola: 9487672 markings, 274828405 edges, 24750 markings/sec, 400 secs
lola: 9612405 markings, 278257355 edges, 24947 markings/sec, 405 secs
lola: 9722362 markings, 281625033 edges, 21991 markings/sec, 410 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no unknown yes no no yes no yes no no unknown unknown no no
lola:
preliminary result: no no no unknown yes no no yes no yes no no unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown yes no no yes no yes no no unknown unknown no no
lola: memory consumption: 880 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
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="DLCround-PT-10a"
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 DLCround-PT-10a, 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-162039097300194"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-10a.tgz
mv DLCround-PT-10a 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 ;