About the Execution of 2020-gold for ShieldPPPs-PT-030B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13842.323 | 3600000.00 | 3624188.00 | 9282.70 | T??F??FFF?FTFF?F | 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.r227-tall-162098231200318.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 ShieldPPPs-PT-030B, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098231200318
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 896K
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 139K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 27 12:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 27 12:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 18:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 18:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 528K May 5 16:52 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 ShieldPPPs-PT-030B-00
FORMULA_NAME ShieldPPPs-PT-030B-01
FORMULA_NAME ShieldPPPs-PT-030B-02
FORMULA_NAME ShieldPPPs-PT-030B-03
FORMULA_NAME ShieldPPPs-PT-030B-04
FORMULA_NAME ShieldPPPs-PT-030B-05
FORMULA_NAME ShieldPPPs-PT-030B-06
FORMULA_NAME ShieldPPPs-PT-030B-07
FORMULA_NAME ShieldPPPs-PT-030B-08
FORMULA_NAME ShieldPPPs-PT-030B-09
FORMULA_NAME ShieldPPPs-PT-030B-10
FORMULA_NAME ShieldPPPs-PT-030B-11
FORMULA_NAME ShieldPPPs-PT-030B-12
FORMULA_NAME ShieldPPPs-PT-030B-13
FORMULA_NAME ShieldPPPs-PT-030B-14
FORMULA_NAME ShieldPPPs-PT-030B-15
=== Now, execution of the tool begins
BK_START 1621167936978
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 12:25:38] [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-16 12:25:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 12:25:38] [INFO ] Load time of PNML (sax parser for PT used): 147 ms
[2021-05-16 12:25:38] [INFO ] Transformed 2043 places.
[2021-05-16 12:25:38] [INFO ] Transformed 1893 transitions.
[2021-05-16 12:25:38] [INFO ] Found NUPN structural information;
[2021-05-16 12:25:38] [INFO ] Parsed PT model containing 2043 places and 1893 transitions in 256 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 61 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 21 resets, run finished after 1035 ms. (steps per millisecond=96 ) properties seen :[1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 1893 rows 2043 cols
[2021-05-16 12:25:40] [INFO ] Computed 331 place invariants in 47 ms
[2021-05-16 12:25:40] [INFO ] [Real]Absence check using 331 positive place invariants in 362 ms returned sat
[2021-05-16 12:25:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 12:25:48] [INFO ] [Real]Absence check using state equation in 7445 ms returned sat
[2021-05-16 12:25:49] [INFO ] Deduced a trap composed of 19 places in 1117 ms
[2021-05-16 12:25:50] [INFO ] Deduced a trap composed of 30 places in 977 ms
[2021-05-16 12:25:51] [INFO ] Deduced a trap composed of 26 places in 998 ms
[2021-05-16 12:25:52] [INFO ] Deduced a trap composed of 20 places in 1039 ms
[2021-05-16 12:25:53] [INFO ] Deduced a trap composed of 27 places in 946 ms
[2021-05-16 12:25:54] [INFO ] Deduced a trap composed of 23 places in 1095 ms
[2021-05-16 12:25:55] [INFO ] Deduced a trap composed of 29 places in 948 ms
[2021-05-16 12:25:56] [INFO ] Deduced a trap composed of 16 places in 958 ms
[2021-05-16 12:25:57] [INFO ] Deduced a trap composed of 27 places in 925 ms
[2021-05-16 12:25:58] [INFO ] Deduced a trap composed of 22 places in 916 ms
[2021-05-16 12:25:59] [INFO ] Deduced a trap composed of 33 places in 919 ms
[2021-05-16 12:26:00] [INFO ] Deduced a trap composed of 22 places in 933 ms
[2021-05-16 12:26:00] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (> (+ s0 s1 s2 s3 s4 s1708 s1709 s1710 s1711 s1712 s1713 s1733 s1735 s1738 s1755 s1756 s1757 s1758 s1759 s1760 s1761 s1762) 0)") while checking expression at index 0
[2021-05-16 12:26:01] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2021-05-16 12:26:01] [INFO ] Flatten gal took : 201 ms
FORMULA ShieldPPPs-PT-030B-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-030B-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-030B-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-030B-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 12:26:01] [INFO ] Applying decomposition
[2021-05-16 12:26:01] [INFO ] Flatten gal took : 88 ms
[2021-05-16 12:26:01] [INFO ] Decomposing Gal with order
[2021-05-16 12:26:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 12:26:01] [INFO ] Removed a total of 180 redundant transitions.
[2021-05-16 12:26:01] [INFO ] Flatten gal took : 170 ms
[2021-05-16 12:26:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 360 labels/synchronizations in 39 ms.
[2021-05-16 12:26:02] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-16 12:26:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 26 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldPPPs-PT-030B @ 3570 seconds
FORMULA ShieldPPPs-PT-030B-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030B-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ShieldPPPs-PT-030B
{
"exit":
{
"memory": 1902804,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 3,
"aconj": 3,
"adisj": 2,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G ((F ((X (G (((p522 <= 0)))) OR ((1 <= p2001)))) AND (X (((1 <= p522))) OR (X (G (((p522 <= 0)))) OR ((1 <= p2001)))))))",
"processed_size": 124,
"rewrites": 80
},
"result":
{
"preliminary_value": "unknown unknown no unknown unknown no no unknown no no unknown no "
},
"task":
{
"buchi":
{
"states": 13
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3936/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2043
lola: finding significant places
lola: 2043 places, 1893 transitions, 1712 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: (p522 <= 1)
lola: LP says that atomic proposition is always true: (p522 <= 1)
lola: LP says that atomic proposition is always true: (p2001 <= 1)
lola: LP says that atomic proposition is always true: (p1784 <= 1)
lola: LP says that atomic proposition is always true: (p2001 <= 1)
lola: LP says that atomic proposition is always true: (p327 <= 1)
lola: LP says that atomic proposition is always true: (p704 <= 1)
lola: LP says that atomic proposition is always true: (p327 <= 1)
lola: LP says that atomic proposition is always true: (p1740 <= 1)
lola: LP says that atomic proposition is always true: (p1740 <= 1)
lola: LP says that atomic proposition is always true: (p419 <= 1)
lola: LP says that atomic proposition is always true: (p941 <= 1)
lola: LP says that atomic proposition is always true: (p301 <= 1)
lola: LP says that atomic proposition is always true: (p419 <= 1)
lola: LP says that atomic proposition is always true: (p1813 <= 1)
lola: LP says that atomic proposition is always true: (p1813 <= 1)
lola: LP says that atomic proposition is always true: (p1333 <= 1)
lola: LP says that atomic proposition is always true: (p162 <= 1)
lola: LP says that atomic proposition is always true: (p1046 <= 1)
lola: LP says that atomic proposition is always true: (p1096 <= 1)
lola: LP says that atomic proposition is always true: (p1046 <= 1)
lola: LP says that atomic proposition is always true: (p1096 <= 1)
lola: LP says that atomic proposition is always true: (p250 <= 1)
lola: LP says that atomic proposition is always true: (p287 <= 1)
lola: LP says that atomic proposition is always true: (p858 <= 1)
lola: LP says that atomic proposition is always true: (p873 <= 1)
lola: LP says that atomic proposition is always true: (p422 <= 1)
lola: LP says that atomic proposition is always true: (p1938 <= 1)
lola: LP says that atomic proposition is always true: (p1940 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p1938 <= 1)
lola: LP says that atomic proposition is always true: (p1940 <= 1)
lola: LP says that atomic proposition is always true: (p1939 <= 1)
lola: LP says that atomic proposition is always true: (p1959 <= 1)
lola: LP says that atomic proposition is always true: (p860 <= 1)
lola: LP says that atomic proposition is always true: (p900 <= 1)
lola: LP says that atomic proposition is always true: (p860 <= 1)
lola: LP says that atomic proposition is always true: (p900 <= 1)
lola: LP says that atomic proposition is always true: (p1746 <= 1)
lola: LP says that atomic proposition is always true: (p1746 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p158 <= 1)
lola: LP says that atomic proposition is always true: (p1097 <= 1)
lola: LP says that atomic proposition is always true: (p1791 <= 1)
lola: LP says that atomic proposition is always true: (p1828 <= 1)
lola: LP says that atomic proposition is always true: (p1343 <= 1)
lola: LP says that atomic proposition is always true: (p1380 <= 1)
lola: LP says that atomic proposition is always true: (p250 <= 1)
lola: LP says that atomic proposition is always true: (p287 <= 1)
lola: LP says that atomic proposition is always true: (p1371 <= 1)
lola: LP says that atomic proposition is always true: (p1718 <= 1)
lola: LP says that atomic proposition is always true: (p1753 <= 1)
lola: LP says that atomic proposition is always true: (p852 <= 1)
lola: LP says that atomic proposition is always true: (p854 <= 1)
lola: LP says that atomic proposition is always true: (p1536 <= 1)
lola: LP says that atomic proposition is always true: (p1538 <= 1)
lola: LP says that atomic proposition is always true: (p852 <= 1)
lola: LP says that atomic proposition is always true: (p854 <= 1)
lola: LP says that atomic proposition is always true: (p666 <= 1)
lola: LP says that atomic proposition is always true: (p686 <= 1)
lola: LP says that atomic proposition is always true: (p852 <= 1)
lola: LP says that atomic proposition is always true: (p854 <= 1)
lola: (F (G ((X (((1 <= p522))) U (G (X (((p522 <= 0)))) OR ((1 <= p2001)))))) U (((1 <= p1784)) U ((1 <= p2001)))) : NOT(G ((((NOT(G (X (((1 <= p327))))) OR NOT((((1 <= p704)) U ((1 <= p327))))) OR ((p1740 <= 0))) AND NOT(X (((1 <= p1740))))))) : ((G (X (((1 <= p941) AND ((p419 <= 0))))) OR NOT(X (((1 <= p301))))) U G (F (((1 <= p419))))) : (((p1813 <= 0)) U ((G (((1 <= p1813))) U X (X (((1 <= p1333))))) OR F (((1 <= p162))))) : G ((NOT(G ((X (G (((1 <= p1046) AND (1 <= p1096)))) OR X (F (((1 <= p1046) AND (1 <= p1096))))))) U ((p250 <= 0) OR (p287 <= 0)))) : NOT(X (((NOT(G (((1 <= p858) AND (1 <= p873)))) U ((1 <= p422))) OR ((G (((1 <= p1938) AND (1 <= p1940))) AND ((1 <= p204))) AND ((p1938 <= 0) OR (p1940 <= 0)))))) : X (((G (((1 <= p1939) AND (1 <= p1959))) U F (G (((1 <= p860) AND (1 <= p900))))) OR ((1 <= p860) AND (1 <= p900)))) : F ((X (G (((1 <= p1746)))) U ((1 <= p1746)))) : F (X ((G (((1 <= p108) AND (1 <= p158))) AND ((1 <= p1097))))) : F ((X (((p1791 <= 0) OR (p1828 <= 0))) AND ((1 <= p1343)))) : X ((X (F (G (((1 <= p1380))))) OR (F (((1 <= p250) AND (1 <= p287))) U ((1 <= p1371))))) : NOT((((1 <= p1718) AND (1 <= p1753)) U (NOT(X ((((1 <= p852) AND (1 <= p854)) OR ((1 <= p1536) AND (1 <= p1538))))) OR NOT(F (((1 <= p852) AND (((1 <= p852) AND (1 <= p854)) OR ((1 <= p666) AND (1 <= p686))) AND (1 <= p854)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k: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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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: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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p1784)) U ((1 <= p2001))) OR (F (((1 <= p2001))) AND F (G ((F ((X (G (((p522 <= 0)))) OR ((1 <= p2001)))) AND (X (((1 <= p522))) OR (X (G (((p522 <= 0)))) OR ((1 <= p2001)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p2001)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p2001 <= 0))
lola: processed formula length: 14
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 568 markings, 567 edges
lola: ========================================
lola: subprocess 1 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p1784)) U ((1 <= p2001)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p1784)) U ((1 <= p2001)))
lola: processed formula length: 33
lola: 80 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: 30130 markings, 30130 edges
lola: ========================================
lola: subprocess 2 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F ((X (G (((p522 <= 0)))) OR ((1 <= p2001)))) AND (X (((1 <= p522))) OR (X (G (((p522 <= 0)))) OR ((1 <= p2001)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F ((X (G (((p522 <= 0)))) OR ((1 <= p2001)))) AND (X (((1 <= p522))) OR (X (G (((p522 <= 0)))) OR ((1 <= p2001)))))))
lola: processed formula length: 124
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 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: 75187 markings, 256987 edges, 15037 markings/sec, 0 secs
lola: 144211 markings, 514155 edges, 13805 markings/sec, 5 secs
lola: 210373 markings, 771533 edges, 13232 markings/sec, 10 secs
lola: 271939 markings, 1029725 edges, 12313 markings/sec, 15 secs
lola: 337279 markings, 1287467 edges, 13068 markings/sec, 20 secs
lola: 397741 markings, 1545645 edges, 12092 markings/sec, 25 secs
lola: 462970 markings, 1803593 edges, 13046 markings/sec, 30 secs
lola: 525491 markings, 2061639 edges, 12504 markings/sec, 35 secs
lola: 587437 markings, 2319987 edges, 12389 markings/sec, 40 secs
lola: 659869 markings, 2577575 edges, 14486 markings/sec, 45 secs
lola: 722663 markings, 2835118 edges, 12559 markings/sec, 50 secs
lola: 783273 markings, 3093241 edges, 12122 markings/sec, 55 secs
lola: 842894 markings, 3351112 edges, 11924 markings/sec, 60 secs
lola: 897173 markings, 3609697 edges, 10856 markings/sec, 65 secs
lola: 955107 markings, 3868119 edges, 11587 markings/sec, 70 secs
lola: 1010890 markings, 4126592 edges, 11157 markings/sec, 75 secs
lola: 1065857 markings, 4385621 edges, 10993 markings/sec, 80 secs
lola: 1124667 markings, 4643918 edges, 11762 markings/sec, 85 secs
lola: 1179023 markings, 4902641 edges, 10871 markings/sec, 90 secs
lola: 1236441 markings, 5161741 edges, 11484 markings/sec, 95 secs
lola: 1302835 markings, 5419917 edges, 13279 markings/sec, 100 secs
lola: 1365313 markings, 5677587 edges, 12496 markings/sec, 105 secs
lola: 1425947 markings, 5935846 edges, 12127 markings/sec, 110 secs
lola: 1485211 markings, 6194063 edges, 11853 markings/sec, 115 secs
lola: 1539825 markings, 6452958 edges, 10923 markings/sec, 120 secs
lola: 1597746 markings, 6711756 edges, 11584 markings/sec, 125 secs
lola: 1653613 markings, 6970565 edges, 11173 markings/sec, 130 secs
lola: 1708277 markings, 7229972 edges, 10933 markings/sec, 135 secs
lola: 1767459 markings, 7488478 edges, 11836 markings/sec, 140 secs
lola: 1821565 markings, 7747583 edges, 10821 markings/sec, 145 secs
lola: 1879779 markings, 8006852 edges, 11643 markings/sec, 150 secs
lola: 1946234 markings, 8265288 edges, 13291 markings/sec, 155 secs
lola: 2008825 markings, 8523448 edges, 12518 markings/sec, 160 secs
lola: 2069991 markings, 8782247 edges, 12233 markings/sec, 165 secs
lola: 2128111 markings, 9040900 edges, 11624 markings/sec, 170 secs
lola: 2183201 markings, 9299960 edges, 11018 markings/sec, 175 secs
lola: 2241053 markings, 9558859 edges, 11570 markings/sec, 180 secs
lola: 2297047 markings, 9818026 edges, 11199 markings/sec, 185 secs
lola: 2351439 markings, 10077755 edges, 10878 markings/sec, 190 secs
lola: 2411043 markings, 10336653 edges, 11921 markings/sec, 195 secs
lola: 2465517 markings, 10596166 edges, 10895 markings/sec, 200 secs
lola: 2523702 markings, 10855732 edges, 11637 markings/sec, 205 secs
lola: 2590464 markings, 11114094 edges, 13352 markings/sec, 210 secs
lola: 2652933 markings, 11371707 edges, 12494 markings/sec, 215 secs
lola: 2713922 markings, 11629872 edges, 12198 markings/sec, 220 secs
lola: 2771105 markings, 11888152 edges, 11437 markings/sec, 225 secs
lola: 2826491 markings, 12146953 edges, 11077 markings/sec, 230 secs
lola: 2884261 markings, 12405421 edges, 11554 markings/sec, 235 secs
lola: 2940235 markings, 12664106 edges, 11195 markings/sec, 240 secs
lola: 2994567 markings, 12923295 edges, 10866 markings/sec, 245 secs
lola: 3053785 markings, 13181631 edges, 11844 markings/sec, 250 secs
lola: 3108453 markings, 13440668 edges, 10934 markings/sec, 255 secs
lola: 3166479 markings, 13699961 edges, 11605 markings/sec, 260 secs
lola: 3229803 markings, 13958304 edges, 12665 markings/sec, 265 secs
lola: 3285610 markings, 14216435 edges, 11161 markings/sec, 270 secs
lola: 3339920 markings, 14475154 edges, 10862 markings/sec, 275 secs
lola: 3393817 markings, 14733621 edges, 10779 markings/sec, 280 secs
lola: 3443365 markings, 14992797 edges, 9910 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 704220 KB
lola: time consumption: 346 seconds
lola: print data as JSON (--json)
lola: memory consumption: 704220 KB
lola: time consumption: 346 seconds
lola: lola: print data as JSON (--json)
writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((X (G (((1 <= p327)))) AND ((((1 <= p704)) U ((1 <= p327))) AND ((1 <= p1740)))) OR X (((1 <= p1740)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((X (G (((1 <= p327)))) AND ((((1 <= p704)) U ((1 <= p327))) AND ((1 <= p1740)))) OR X (((1 <= p1740)))))
lola: processed formula length: 108
lola: 80 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: 30130 markings, 261090 edges, 6026 markings/sec, 0 secs
lola: 52253 markings, 520861 edges, 4425 markings/sec, 5 secs
lola: 74413 markings, 781834 edges, 4432 markings/sec, 10 secs
lola: 96642 markings, 1042527 edges, 4446 markings/sec, 15 secs
lola: 118611 markings, 1303627 edges, 4394 markings/sec, 20 secs
lola: 137531 markings, 1564779 edges, 3784 markings/sec, 25 secs
lola: 156865 markings, 1826222 edges, 3867 markings/sec, 30 secs
lola: 176212 markings, 2088283 edges, 3869 markings/sec, 35 secs
lola: 197204 markings, 2349752 edges, 4198 markings/sec, 40 secs
lola: 217747 markings, 2611021 edges, 4109 markings/sec, 45 secs
lola: 237206 markings, 2872680 edges, 3892 markings/sec, 50 secs
lola: 256115 markings, 3134549 edges, 3782 markings/sec, 55 secs
lola: 274907 markings, 3396745 edges, 3758 markings/sec, 60 secs
lola: 294370 markings, 3658457 edges, 3893 markings/sec, 65 secs
lola: 311783 markings, 3920332 edges, 3483 markings/sec, 70 secs
lola: 328832 markings, 4182487 edges, 3410 markings/sec, 75 secs
lola: 345515 markings, 4445003 edges, 3337 markings/sec, 80 secs
lola: 362287 markings, 4707431 edges, 3354 markings/sec, 85 secs
lola: 383572 markings, 4969177 edges, 4257 markings/sec, 90 secs
lola: 403394 markings, 5230704 edges, 3964 markings/sec, 95 secs
lola: 422797 markings, 5492484 edges, 3881 markings/sec, 100 secs
lola: 442121 markings, 5754593 edges, 3865 markings/sec, 105 secs
lola: 461302 markings, 6016905 edges, 3836 markings/sec, 110 secs
lola: 480115 markings, 6278913 edges, 3763 markings/sec, 115 secs
lola: 496973 markings, 6540978 edges, 3372 markings/sec, 120 secs
lola: 514017 markings, 6803220 edges, 3409 markings/sec, 125 secs
lola: 531082 markings, 7065749 edges, 3413 markings/sec, 130 secs
lola: 548081 markings, 7328476 edges, 3400 markings/sec, 135 secs
lola: 570113 markings, 7590176 edges, 4406 markings/sec, 140 secs
lola: 589218 markings, 7852113 edges, 3821 markings/sec, 145 secs
lola: 608479 markings, 8114339 edges, 3852 markings/sec, 150 secs
lola: 627946 markings, 8376762 edges, 3893 markings/sec, 155 secs
lola: 647229 markings, 8639241 edges, 3857 markings/sec, 160 secs
lola: 665836 markings, 8901541 edges, 3721 markings/sec, 165 secs
lola: 682197 markings, 9164128 edges, 3272 markings/sec, 170 secs
lola: 699262 markings, 9426797 edges, 3413 markings/sec, 175 secs
lola: 716371 markings, 9689682 edges, 3422 markings/sec, 180 secs
lola: 735401 markings, 9952294 edges, 3806 markings/sec, 185 secs
lola: 756668 markings, 10213670 edges, 4253 markings/sec, 190 secs
lola: 775591 markings, 10475340 edges, 3785 markings/sec, 195 secs
lola: 794356 markings, 10737167 edges, 3753 markings/sec, 200 secs
lola: 813856 markings, 10999248 edges, 3900 markings/sec, 205 secs
lola: 833090 markings, 11261241 edges, 3847 markings/sec, 210 secs
lola: 850925 markings, 11523260 edges, 3567 markings/sec, 215 secs
lola: 867899 markings, 11785530 edges, 3395 markings/sec, 220 secs
lola: 884376 markings, 12047826 edges, 3295 markings/sec, 225 secs
lola: 901440 markings, 12310397 edges, 3413 markings/sec, 230 secs
lola: 920005 markings, 12572598 edges, 3713 markings/sec, 235 secs
lola: 938323 markings, 12834397 edges, 3664 markings/sec, 240 secs
lola: 954882 markings, 13096352 edges, 3312 markings/sec, 245 secs
lola: 971738 markings, 13358474 edges, 3371 markings/sec, 250 secs
lola: 988802 markings, 13620861 edges, 3413 markings/sec, 255 secs
lola: 1005866 markings, 13883349 edges, 3413 markings/sec, 260 secs
lola: 1022234 markings, 14145590 edges, 3274 markings/sec, 265 secs
lola: 1037221 markings, 14407728 edges, 2997 markings/sec, 270 secs
lola: 1052541 markings, 14670177 edges, 3064 markings/sec, 275 secs
lola: 1067357 markings, 14932789 edges, 2963 markings/sec, 280 secs
lola: 1082393 markings, 15195564 edges, 3007 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 216384 KB
lola: time consumption: 639 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p1813 <= 0)) U (X (X (((1 <= p1333)))) OR ((G (((1 <= p1813))) AND X (X (F (((1 <= p1333)))))) OR F (((1 <= p162))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((p1813 <= 0)) U (X (X (((1 <= p1333)))) OR ((G (((1 <= p1813))) AND X (X (F (((1 <= p1333)))))) OR F (((1 <= p162))))))
lola: processed formula length: 121
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 25 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: 116406 markings, 299822 edges, 23281 markings/sec, 0 secs
lola: 241601 markings, 635098 edges, 25039 markings/sec, 5 secs
lola: 358028 markings, 970724 edges, 23285 markings/sec, 10 secs
lola: 462497 markings, 1306844 edges, 20894 markings/sec, 15 secs
lola: 570176 markings, 1642641 edges, 21536 markings/sec, 20 secs
lola: 659284 markings, 1979120 edges, 17822 markings/sec, 25 secs
lola: 758027 markings, 2315251 edges, 19749 markings/sec, 30 secs
lola: 847910 markings, 2651812 edges, 17977 markings/sec, 35 secs
lola: 942071 markings, 2988032 edges, 18832 markings/sec, 40 secs
lola: 1023483 markings, 3326270 edges, 16282 markings/sec, 45 secs
lola: 1104775 markings, 3662680 edges, 16258 markings/sec, 50 secs
lola: 1199373 markings, 4000618 edges, 18920 markings/sec, 55 secs
lola: 1292137 markings, 4336690 edges, 18553 markings/sec, 60 secs
lola: 1387671 markings, 4672232 edges, 19107 markings/sec, 65 secs
lola: 1479577 markings, 5008816 edges, 18381 markings/sec, 70 secs
lola: 1576277 markings, 5344791 edges, 19340 markings/sec, 75 secs
lola: 1666737 markings, 5679077 edges, 18092 markings/sec, 80 secs
lola: 1773879 markings, 6013053 edges, 21428 markings/sec, 85 secs
lola: 1880234 markings, 6347579 edges, 21271 markings/sec, 90 secs
lola: 1976173 markings, 6684307 edges, 19188 markings/sec, 95 secs
lola: 2068877 markings, 7019693 edges, 18541 markings/sec, 100 secs
lola: 2164349 markings, 7355150 edges, 19094 markings/sec, 105 secs
lola: 2256358 markings, 7692011 edges, 18402 markings/sec, 110 secs
lola: 2344185 markings, 8028196 edges, 17565 markings/sec, 115 secs
lola: 2423199 markings, 8366561 edges, 15803 markings/sec, 120 secs
lola: 2515888 markings, 8702246 edges, 18538 markings/sec, 125 secs
lola: 2604458 markings, 9038991 edges, 17714 markings/sec, 130 secs
lola: 2703141 markings, 9373681 edges, 19737 markings/sec, 135 secs
lola: 2792243 markings, 9709833 edges, 17820 markings/sec, 140 secs
lola: 2890663 markings, 10045252 edges, 19684 markings/sec, 145 secs
lola: 2980409 markings, 10380702 edges, 17949 markings/sec, 150 secs
lola: 3080957 markings, 10712307 edges, 20110 markings/sec, 155 secs
lola: 3187434 markings, 11048009 edges, 21295 markings/sec, 160 secs
lola: 3288614 markings, 11384912 edges, 20236 markings/sec, 165 secs
lola: 3376772 markings, 11720044 edges, 17632 markings/sec, 170 secs
lola: 3473023 markings, 12055149 edges, 19250 markings/sec, 175 secs
lola: 3562911 markings, 12395099 edges, 17978 markings/sec, 180 secs
lola: 3664313 markings, 12727906 edges, 20280 markings/sec, 185 secs
lola: 3765798 markings, 13060105 edges, 20297 markings/sec, 190 secs
lola: 3870266 markings, 13396960 edges, 20894 markings/sec, 195 secs
lola: 3963002 markings, 13726436 edges, 18547 markings/sec, 200 secs
lola: 4050944 markings, 14057607 edges, 17588 markings/sec, 205 secs
lola: 4132512 markings, 14390224 edges, 16314 markings/sec, 210 secs
lola: 4212644 markings, 14725613 edges, 16026 markings/sec, 215 secs
lola: 4294889 markings, 15056976 edges, 16449 markings/sec, 220 secs
lola: 4374917 markings, 15396498 edges, 16006 markings/sec, 225 secs
lola: 4461605 markings, 15724813 edges, 17338 markings/sec, 230 secs
lola: 4550492 markings, 16059581 edges, 17777 markings/sec, 235 secs
lola: 4638126 markings, 16392774 edges, 17527 markings/sec, 240 secs
lola: 4735660 markings, 16726730 edges, 19507 markings/sec, 245 secs
lola: 4821673 markings, 17054023 edges, 17203 markings/sec, 250 secs
lola: 4908338 markings, 17386032 edges, 17333 markings/sec, 255 secs
lola: 4984500 markings, 17713440 edges, 15232 markings/sec, 260 secs
lola: 5069769 markings, 18049828 edges, 17054 markings/sec, 265 secs
lola: 5146945 markings, 18379827 edges, 15435 markings/sec, 270 secs
lola: 5230315 markings, 18713673 edges, 16674 markings/sec, 275 secs
lola: 5317327 markings, 19041021 edges, 17402 markings/sec, 280 secs
lola: 5405679 markings, 19376954 edges, 17670 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 930884 KB
lola: time consumption: 932 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((p250 <= 0) OR (p287 <= 0))) AND (X (F ((F (((p1046 <= 0) OR (p1096 <= 0))) AND G (((p1046 <= 0) OR (p1096 <= 0)))))) OR ((p250 <= 0) OR (p287 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((p250 <= 0) OR (p287 <= 0))) AND (X (F ((F (((p1046 <= 0) OR (p1096 <= 0))) AND G (((p1046 <= 0) OR (p1096 <= 0)))))) OR ((p250 <= 0) OR (p287 <= 0)))))
lola: processed formula length: 164
lola: 80 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: 160611 markings, 345268 edges, 32122 markings/sec, 0 secs
lola: 300295 markings, 693744 edges, 27937 markings/sec, 5 secs
lola: 441125 markings, 1042468 edges, 28166 markings/sec, 10 secs
lola: 588460 markings, 1391143 edges, 29467 markings/sec, 15 secs
lola: 729173 markings, 1739546 edges, 28143 markings/sec, 20 secs
lola: 869086 markings, 2088380 edges, 27983 markings/sec, 25 secs
lola: 1010215 markings, 2438080 edges, 28226 markings/sec, 30 secs
lola: 1139212 markings, 2789916 edges, 25799 markings/sec, 35 secs
lola: 1263584 markings, 3140903 edges, 24874 markings/sec, 40 secs
lola: 1388318 markings, 3493046 edges, 24947 markings/sec, 45 secs
lola: 1520357 markings, 3844650 edges, 26408 markings/sec, 50 secs
lola: 1645489 markings, 4197710 edges, 25026 markings/sec, 55 secs
lola: 1770030 markings, 4549411 edges, 24908 markings/sec, 60 secs
lola: 1894879 markings, 4901864 edges, 24970 markings/sec, 65 secs
lola: 2026060 markings, 5252397 edges, 26236 markings/sec, 70 secs
lola: 2150955 markings, 5603535 edges, 24979 markings/sec, 75 secs
lola: 2275225 markings, 5954282 edges, 24854 markings/sec, 80 secs
lola: 2403668 markings, 6305270 edges, 25689 markings/sec, 85 secs
lola: 2530586 markings, 6656264 edges, 25384 markings/sec, 90 secs
lola: 2654822 markings, 7007069 edges, 24847 markings/sec, 95 secs
lola: 2780001 markings, 7357872 edges, 25036 markings/sec, 100 secs
lola: 2911026 markings, 7708943 edges, 26205 markings/sec, 105 secs
lola: 3035511 markings, 8060522 edges, 24897 markings/sec, 110 secs
lola: 3160017 markings, 8411784 edges, 24901 markings/sec, 115 secs
lola: 3284629 markings, 8763661 edges, 24922 markings/sec, 120 secs
lola: 3416588 markings, 9114776 edges, 26392 markings/sec, 125 secs
lola: 3541199 markings, 9466612 edges, 24922 markings/sec, 130 secs
lola: 3665721 markings, 9818245 edges, 24904 markings/sec, 135 secs
lola: 3796098 markings, 10169852 edges, 26075 markings/sec, 140 secs
lola: 3922533 markings, 10522836 edges, 25287 markings/sec, 145 secs
lola: 4047561 markings, 10874890 edges, 25006 markings/sec, 150 secs
lola: 4172575 markings, 11227751 edges, 25003 markings/sec, 155 secs
lola: 4315367 markings, 11575549 edges, 28558 markings/sec, 160 secs
lola: 4455992 markings, 11924038 edges, 28125 markings/sec, 165 secs
lola: 4595548 markings, 12271921 edges, 27911 markings/sec, 170 secs
lola: 4734753 markings, 12621003 edges, 27841 markings/sec, 175 secs
lola: 4859342 markings, 12972534 edges, 24918 markings/sec, 180 secs
lola: 4983548 markings, 13323273 edges, 24841 markings/sec, 185 secs
lola: 5107721 markings, 13673891 edges, 24835 markings/sec, 190 secs
lola: 5238634 markings, 14024611 edges, 26183 markings/sec, 195 secs
lola: 5363587 markings, 14374772 edges, 24991 markings/sec, 200 secs
lola: 5487922 markings, 14725912 edges, 24867 markings/sec, 205 secs
lola: 5616099 markings, 15076811 edges, 25635 markings/sec, 210 secs
lola: 5742990 markings, 15426851 edges, 25378 markings/sec, 215 secs
lola: 5866931 markings, 15776823 edges, 24788 markings/sec, 220 secs
lola: 5991742 markings, 16127009 edges, 24962 markings/sec, 225 secs
lola: 6122470 markings, 16476755 edges, 26146 markings/sec, 230 secs
lola: 6246262 markings, 16826279 edges, 24758 markings/sec, 235 secs
lola: 6370093 markings, 17175909 edges, 24766 markings/sec, 240 secs
lola: 6493947 markings, 17525604 edges, 24771 markings/sec, 245 secs
lola: 6625339 markings, 17875041 edges, 26278 markings/sec, 250 secs
lola: 6749067 markings, 18224366 edges, 24746 markings/sec, 255 secs
lola: 6873029 markings, 18574367 edges, 24792 markings/sec, 260 secs
lola: 7001537 markings, 18923661 edges, 25702 markings/sec, 265 secs
lola: 7127912 markings, 19274785 edges, 25275 markings/sec, 270 secs
lola: 7252429 markings, 19624910 edges, 24903 markings/sec, 275 secs
lola: 7377001 markings, 19975844 edges, 24914 markings/sec, 280 secs
lola: 7507703 markings, 20325605 edges, 26140 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1488968 KB
lola: time consumption: 1225 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((G (((1 <= p858) AND (1 <= p873))) R ((p422 <= 0))) AND (F (((p1938 <= 0) OR (p1940 <= 0))) OR (((p204 <= 0)) OR ((1 <= p1938) AND (1 <= p1940))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((G (((1 <= p858) AND (1 <= p873))) R ((p422 <= 0))) AND (F (((p1938 <= 0) OR (p1940 <= 0))) OR (((p204 <= 0)) OR ((1 <= p1938) AND (1 <= p1940))))))
lola: processed formula length: 153
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3477 markings, 3477 edges
lola: ========================================
lola: subprocess 5 will run for 335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (G (((1 <= p860) AND (1 <= p900)))) OR ((G (((1 <= p1939) AND (1 <= p1959))) AND F (G (((1 <= p860) AND (1 <= p900))))) OR ((1 <= p860) AND (1 <= p900)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (G (((1 <= p860) AND (1 <= p900)))) OR ((G (((1 <= p1939) AND (1 <= p1959))) AND F (G (((1 <= p860) AND (1 <= p900))))) OR ((1 <= p860) AND (1 <= p900)))))
lola: processed formula length: 161
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 3476 markings, 3476 edges
lola: ========================================
lola: subprocess 6 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((1 <= p108) AND (1 <= p158))) AND ((1 <= p1097)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((1 <= p108) AND (1 <= p158))) AND ((1 <= p1097)))))
lola: processed formula length: 62
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3477 markings, 3477 edges
lola: ========================================
lola: subprocess 7 will run for 469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X (((p1791 <= 0) OR (p1828 <= 0))) AND ((1 <= p1343))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (((p1791 <= 0) OR (p1828 <= 0))) AND ((1 <= p1343))))
lola: processed formula length: 60
lola: 80 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: 6938 markings, 6939 edges
lola: ========================================
lola: subprocess 8 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (G (((1 <= p1380)))) OR (F (((1 <= p250) AND (1 <= p287))) U ((1 <= p1371)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (G (((1 <= p1380)))) OR (F (((1 <= p250) AND (1 <= p287))) U ((1 <= p1371)))))
lola: processed formula length: 84
lola: 80 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: 72354 markings, 359674 edges, 14471 markings/sec, 0 secs
lola: 138644 markings, 719991 edges, 13258 markings/sec, 5 secs
lola: 199681 markings, 1081023 edges, 12207 markings/sec, 10 secs
lola: 256015 markings, 1442725 edges, 11267 markings/sec, 15 secs
lola: 310949 markings, 1804907 edges, 10987 markings/sec, 20 secs
lola: 367317 markings, 2166363 edges, 11274 markings/sec, 25 secs
lola: 423637 markings, 2527517 edges, 11264 markings/sec, 30 secs
lola: 479138 markings, 2888732 edges, 11100 markings/sec, 35 secs
lola: 534890 markings, 3250065 edges, 11150 markings/sec, 40 secs
lola: 591368 markings, 3612153 edges, 11296 markings/sec, 45 secs
lola: 647754 markings, 3974593 edges, 11277 markings/sec, 50 secs
lola: 702869 markings, 4337445 edges, 11023 markings/sec, 55 secs
lola: 768724 markings, 4697373 edges, 13171 markings/sec, 60 secs
lola: 826954 markings, 5058716 edges, 11646 markings/sec, 65 secs
lola: 883470 markings, 5420881 edges, 11303 markings/sec, 70 secs
lola: 939215 markings, 5783185 edges, 11149 markings/sec, 75 secs
lola: 994899 markings, 6144583 edges, 11137 markings/sec, 80 secs
lola: 1051361 markings, 6506665 edges, 11292 markings/sec, 85 secs
lola: 1107797 markings, 6868857 edges, 11287 markings/sec, 90 secs
lola: 1162750 markings, 7231408 edges, 10991 markings/sec, 95 secs
lola: 1219304 markings, 7594047 edges, 11311 markings/sec, 100 secs
lola: 1275973 markings, 7957411 edges, 11334 markings/sec, 105 secs
lola: 1332644 markings, 8320906 edges, 11334 markings/sec, 110 secs
lola: 1387802 markings, 8683834 edges, 11032 markings/sec, 115 secs
lola: 1437849 markings, 9048022 edges, 10009 markings/sec, 120 secs
lola: 1487126 markings, 9412434 edges, 9855 markings/sec, 125 secs
lola: 1535228 markings, 9777126 edges, 9620 markings/sec, 130 secs
lola: 1584467 markings, 10141142 edges, 9848 markings/sec, 135 secs
lola: 1633745 markings, 10504754 edges, 9856 markings/sec, 140 secs
lola: 1681674 markings, 10868276 edges, 9586 markings/sec, 145 secs
lola: 1730955 markings, 11232248 edges, 9856 markings/sec, 150 secs
lola: 1779325 markings, 11596279 edges, 9674 markings/sec, 155 secs
lola: 1828252 markings, 11960739 edges, 9785 markings/sec, 160 secs
lola: 1877608 markings, 12325696 edges, 9871 markings/sec, 165 secs
lola: 1925774 markings, 12691102 edges, 9633 markings/sec, 170 secs
lola: 1981882 markings, 13054627 edges, 11222 markings/sec, 175 secs
lola: 2034279 markings, 13418602 edges, 10479 markings/sec, 180 secs
lola: 2082410 markings, 13783753 edges, 9626 markings/sec, 185 secs
lola: 2131981 markings, 14149043 edges, 9914 markings/sec, 190 secs
lola: 2181365 markings, 14514183 edges, 9877 markings/sec, 195 secs
lola: 2229378 markings, 14878447 edges, 9603 markings/sec, 200 secs
lola: 2278630 markings, 15242647 edges, 9850 markings/sec, 205 secs
lola: 2327875 markings, 15606797 edges, 9849 markings/sec, 210 secs
lola: 2375951 markings, 15971301 edges, 9615 markings/sec, 215 secs
lola: 2425307 markings, 16336223 edges, 9871 markings/sec, 220 secs
lola: 2474624 markings, 16701357 edges, 9863 markings/sec, 225 secs
lola: 2522924 markings, 17067250 edges, 9660 markings/sec, 230 secs
lola: 2576811 markings, 17431100 edges, 10777 markings/sec, 235 secs
lola: 2631450 markings, 17793822 edges, 10928 markings/sec, 240 secs
lola: 2679384 markings, 18157447 edges, 9587 markings/sec, 245 secs
lola: 2728649 markings, 18521643 edges, 9853 markings/sec, 250 secs
lola: 2777413 markings, 18885868 edges, 9753 markings/sec, 255 secs
lola: 2825850 markings, 19249396 edges, 9687 markings/sec, 260 secs
lola: 2875049 markings, 19613117 edges, 9840 markings/sec, 265 secs
lola: 2922964 markings, 19976579 edges, 9583 markings/sec, 270 secs
lola: 2972126 markings, 20340085 edges, 9832 markings/sec, 275 secs
lola: 3021314 markings, 20702774 edges, 9838 markings/sec, 280 secs
lola: 3069374 markings, 21067175 edges, 9612 markings/sec, 285 secs
lola: 3118725 markings, 21431821 edges, 9870 markings/sec, 290 secs
lola: 3170018 markings, 21796019 edges, 10259 markings/sec, 295 secs
lola: 3225127 markings, 22158577 edges, 11022 markings/sec, 300 secs
lola: 3275078 markings, 22522438 edges, 9990 markings/sec, 305 secs
lola: 3324334 markings, 22886490 edges, 9851 markings/sec, 310 secs
lola: 3372402 markings, 23251144 edges, 9614 markings/sec, 315 secs
lola: 3421620 markings, 23614991 edges, 9844 markings/sec, 320 secs
lola: 3470817 markings, 23977919 edges, 9839 markings/sec, 325 secs
lola: 3518704 markings, 24341152 edges, 9577 markings/sec, 330 secs
lola: 3567951 markings, 24704872 edges, 9849 markings/sec, 335 secs
lola: 3616272 markings, 25068607 edges, 9664 markings/sec, 340 secs
lola: 3665169 markings, 25432789 edges, 9779 markings/sec, 345 secs
lola: 3714495 markings, 25797402 edges, 9865 markings/sec, 350 secs
lola: 3762618 markings, 26162479 edges, 9625 markings/sec, 355 secs
lola: 3818583 markings, 26525182 edges, 11193 markings/sec, 360 secs
lola: 3870984 markings, 26888971 edges, 10480 markings/sec, 365 secs
lola: 3919005 markings, 27253211 edges, 9604 markings/sec, 370 secs
lola: 3968415 markings, 27617829 edges, 9882 markings/sec, 375 secs
lola: 4017760 markings, 27982295 edges, 9869 markings/sec, 380 secs
lola: 4065709 markings, 28346099 edges, 9590 markings/sec, 385 secs
lola: 4114886 markings, 28709442 edges, 9835 markings/sec, 390 secs
lola: 4164033 markings, 29072741 edges, 9829 markings/sec, 395 secs
lola: 4212019 markings, 29436727 edges, 9597 markings/sec, 400 secs
lola: 4261301 markings, 29801092 edges, 9856 markings/sec, 405 secs
lola: 4310363 markings, 30165491 edges, 9812 markings/sec, 410 secs
lola: 4358708 markings, 30530725 edges, 9669 markings/sec, 415 secs
lola: 4412501 markings, 30895076 edges, 10759 markings/sec, 420 secs
lola: 4467447 markings, 31258703 edges, 10989 markings/sec, 425 secs
lola: 4515537 markings, 31623479 edges, 9618 markings/sec, 430 secs
lola: 4564947 markings, 31988757 edges, 9882 markings/sec, 435 secs
lola: 4613742 markings, 32353908 edges, 9759 markings/sec, 440 secs
lola: 4662287 markings, 32717816 edges, 9709 markings/sec, 445 secs
lola: 4711565 markings, 33082188 edges, 9856 markings/sec, 450 secs
lola: 4759584 markings, 33446292 edges, 9604 markings/sec, 455 secs
lola: 4808861 markings, 33810554 edges, 9855 markings/sec, 460 secs
lola: 4858292 markings, 34175258 edges, 9886 markings/sec, 465 secs
lola: 4906453 markings, 34540407 edges, 9632 markings/sec, 470 secs
lola: 4955931 markings, 34906030 edges, 9896 markings/sec, 475 secs
lola: 5007391 markings, 35271138 edges, 10292 markings/sec, 480 secs
lola: 5062725 markings, 35635311 edges, 11067 markings/sec, 485 secs
lola: 5112832 markings, 36000748 edges, 10021 markings/sec, 490 secs
lola: 5162293 markings, 36366647 edges, 9892 markings/sec, 495 secs
lola: 5210593 markings, 36732915 edges, 9660 markings/sec, 500 secs
lola: 5260067 markings, 37098025 edges, 9895 markings/sec, 505 secs
lola: 5309479 markings, 37463000 edges, 9882 markings/sec, 510 secs
lola: 5357584 markings, 37827795 edges, 9621 markings/sec, 515 secs
lola: 5406983 markings, 38193085 edges, 9880 markings/sec, 520 secs
lola: 5455820 markings, 38558400 edges, 9767 markings/sec, 525 secs
lola: 5504565 markings, 38923917 edges, 9749 markings/sec, 530 secs
lola: 5554097 markings, 39290151 edges, 9906 markings/sec, 535 secs
lola: 5602393 markings, 39656609 edges, 9659 markings/sec, 540 secs
lola: 5668182 markings, 40016725 edges, 13158 markings/sec, 545 secs
lola: 5726415 markings, 40378354 edges, 11647 markings/sec, 550 secs
lola: 5782877 markings, 40740462 edges, 11292 markings/sec, 555 secs
lola: 5838787 markings, 41102991 edges, 11182 markings/sec, 560 secs
lola: 5894356 markings, 41464574 edges, 11114 markings/sec, 565 secs
lola: 5950751 markings, 41826088 edges, 11279 markings/sec, 570 secs
lola: 6007131 markings, 42187534 edges, 11276 markings/sec, 575 secs
lola: 6061947 markings, 42549449 edges, 10963 markings/sec, 580 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no no unknown no no unknown unknown
lola: memory consumption: 1038352 KB
lola: time consumption: 1811 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p1718 <= 0) OR (p1753 <= 0)) R (X ((((1 <= p852) AND (1 <= p854)) OR ((1 <= p1536) AND (1 <= p1538)))) AND F (((1 <= p852) AND (((1 <= p852) AND (1 <= p854)) OR ((1 <= p666) AND (1 <= p686))) AND (1 <= p854)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((p1718 <= 0) OR (p1753 <= 0)) R (X ((((1 <= p852) AND (1 <= p854)) OR ((1 <= p1536) AND (1 <= p1538)))) AND F (((1 <= p852) AND (((1 <= p852) AND (1 <= p854)) OR ((1 <= p666) AND (1 <= p686))) AND (1 <= p854)))))
lola: processed formula length: 217
lola: 80 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: 3476 markings, 3476 edges
lola: ========================================
lola: subprocess 10 will run for 879 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p1746)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p1746 <= 0))
lola: processed formula length: 14
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 269118 markings, 315947 edges, 53824 markings/sec, 0 secs
lola: 535893 markings, 630270 edges, 53355 markings/sec, 5 secs
lola: 802677 markings, 941804 edges, 53357 markings/sec, 10 secs
lola: 1072848 markings, 1254786 edges, 54034 markings/sec, 15 secs
lola: 1344154 markings, 1569885 edges, 54261 markings/sec, 20 secs
lola: 1601930 markings, 1883012 edges, 51555 markings/sec, 25 secs
lola: 1864021 markings, 2194653 edges, 52418 markings/sec, 30 secs
lola: 2135012 markings, 2506157 edges, 54198 markings/sec, 35 secs
lola: 2404314 markings, 2816759 edges, 53860 markings/sec, 40 secs
lola: 2672426 markings, 3126514 edges, 53622 markings/sec, 45 secs
lola: 2948307 markings, 3439551 edges, 55176 markings/sec, 50 secs
lola: 3223452 markings, 3753003 edges, 55029 markings/sec, 55 secs
lola: 3477848 markings, 4062478 edges, 50879 markings/sec, 60 secs
lola: 3731671 markings, 4372812 edges, 50765 markings/sec, 65 secs
lola: 3998489 markings, 4686489 edges, 53364 markings/sec, 70 secs
lola: 4262817 markings, 5000839 edges, 52866 markings/sec, 75 secs
lola: 4510804 markings, 5306758 edges, 49597 markings/sec, 80 secs
lola: 4767944 markings, 5618425 edges, 51428 markings/sec, 85 secs
lola: 5035607 markings, 5927997 edges, 53533 markings/sec, 90 secs
lola: 5298824 markings, 6239844 edges, 52643 markings/sec, 95 secs
lola: 5556752 markings, 6550989 edges, 51586 markings/sec, 100 secs
lola: 5813013 markings, 6865868 edges, 51252 markings/sec, 105 secs
lola: 6073291 markings, 7182872 edges, 52056 markings/sec, 110 secs
lola: 6331975 markings, 7497087 edges, 51737 markings/sec, 115 secs
lola: 6589167 markings, 7811345 edges, 51438 markings/sec, 120 secs
lola: 6860437 markings, 8123912 edges, 54254 markings/sec, 125 secs
lola: 7129533 markings, 8433256 edges, 53819 markings/sec, 130 secs
lola: 7399182 markings, 8741246 edges, 53930 markings/sec, 135 secs
lola: 7667030 markings, 9045671 edges, 53570 markings/sec, 140 secs
lola: 7934134 markings, 9353336 edges, 53421 markings/sec, 145 secs
lola: 8202761 markings, 9663412 edges, 53725 markings/sec, 150 secs
lola: 8454937 markings, 9965884 edges, 50435 markings/sec, 155 secs
lola: 8703233 markings, 10272584 edges, 49659 markings/sec, 160 secs
lola: 8968914 markings, 10583763 edges, 53136 markings/sec, 165 secs
lola: 9221112 markings, 10889780 edges, 50440 markings/sec, 170 secs
lola: 9464258 markings, 11191451 edges, 48629 markings/sec, 175 secs
lola: 9720476 markings, 11504013 edges, 51244 markings/sec, 180 secs
lola: 9984726 markings, 11811070 edges, 52850 markings/sec, 185 secs
lola: 10251707 markings, 12119788 edges, 53396 markings/sec, 190 secs
lola: 10507018 markings, 12428744 edges, 51062 markings/sec, 195 secs
lola: 10762420 markings, 12736796 edges, 51080 markings/sec, 200 secs
lola: 11031973 markings, 13045780 edges, 53911 markings/sec, 205 secs
lola: 11293579 markings, 13353066 edges, 52321 markings/sec, 210 secs
lola: 11550988 markings, 13660453 edges, 51482 markings/sec, 215 secs
lola: 11810184 markings, 13964921 edges, 51839 markings/sec, 220 secs
lola: 12060024 markings, 14271022 edges, 49968 markings/sec, 225 secs
lola: 12312028 markings, 14579156 edges, 50401 markings/sec, 230 secs
lola: 12575823 markings, 14882070 edges, 52759 markings/sec, 235 secs
lola: 12830491 markings, 15187274 edges, 50934 markings/sec, 240 secs
lola: 13081441 markings, 15493928 edges, 50190 markings/sec, 245 secs
lola: 13336057 markings, 15800484 edges, 50923 markings/sec, 250 secs
lola: 13595562 markings, 16105729 edges, 51901 markings/sec, 255 secs
lola: 13857132 markings, 16411913 edges, 52314 markings/sec, 260 secs
lola: 14115394 markings, 16720609 edges, 51652 markings/sec, 265 secs
lola: 14375715 markings, 17028128 edges, 52064 markings/sec, 270 secs
lola: 14639243 markings, 17333722 edges, 52706 markings/sec, 275 secs
lola: 14893201 markings, 17641380 edges, 50792 markings/sec, 280 secs
lola: 15154775 markings, 17949013 edges, 52315 markings/sec, 285 secs
lola: 15416357 markings, 18257849 edges, 52316 markings/sec, 290 secs
lola: 15676179 markings, 18563857 edges, 51964 markings/sec, 295 secs
lola: 15929878 markings, 18869762 edges, 50740 markings/sec, 300 secs
lola: 16179621 markings, 19178577 edges, 49949 markings/sec, 305 secs
lola: 16440985 markings, 19483502 edges, 52273 markings/sec, 310 secs
lola: 16698513 markings, 19788844 edges, 51506 markings/sec, 315 secs
lola: 16947863 markings, 20096005 edges, 49870 markings/sec, 320 secs
lola: 17206400 markings, 20402732 edges, 51707 markings/sec, 325 secs
lola: 17466556 markings, 20709908 edges, 52031 markings/sec, 330 secs
lola: 17719645 markings, 21012216 edges, 50618 markings/sec, 335 secs
lola: 17971904 markings, 21315382 edges, 50452 markings/sec, 340 secs
lola: 18224917 markings, 21621641 edges, 50603 markings/sec, 345 secs
lola: 18482344 markings, 21921404 edges, 51485 markings/sec, 350 secs
lola: 18730795 markings, 22222404 edges, 49690 markings/sec, 355 secs
lola: 18982224 markings, 22525814 edges, 50286 markings/sec, 360 secs
lola: 19236960 markings, 22828538 edges, 50947 markings/sec, 365 secs
lola: 19498124 markings, 23133212 edges, 52233 markings/sec, 370 secs
lola: 19748989 markings, 23439524 edges, 50173 markings/sec, 375 secs
lola: 20002942 markings, 23745022 edges, 50791 markings/sec, 380 secs
lola: 20260629 markings, 24055604 edges, 51537 markings/sec, 385 secs
lola: 20516581 markings, 24364053 edges, 51190 markings/sec, 390 secs
lola: 20776636 markings, 24672983 edges, 52011 markings/sec, 395 secs
lola: 21037277 markings, 24980663 edges, 52128 markings/sec, 400 secs
lola: 21294471 markings, 25289995 edges, 51439 markings/sec, 405 secs
lola: 21555287 markings, 25597633 edges, 52163 markings/sec, 410 secs
lola: 21813521 markings, 25906733 edges, 51647 markings/sec, 415 secs
lola: 22076841 markings, 26215124 edges, 52664 markings/sec, 420 secs
lola: 22331411 markings, 26521779 edges, 50914 markings/sec, 425 secs
lola: 22592101 markings, 26831131 edges, 52138 markings/sec, 430 secs
lola: 22851453 markings, 27139108 edges, 51870 markings/sec, 435 secs
lola: 23111327 markings, 27447518 edges, 51975 markings/sec, 440 secs
lola: 23370632 markings, 27754928 edges, 51861 markings/sec, 445 secs
lola: 23628559 markings, 28062857 edges, 51585 markings/sec, 450 secs
lola: 23886304 markings, 28370595 edges, 51549 markings/sec, 455 secs
lola: 24143073 markings, 28675676 edges, 51354 markings/sec, 460 secs
lola: 24399591 markings, 28981627 edges, 51304 markings/sec, 465 secs
lola: 24654059 markings, 29286840 edges, 50894 markings/sec, 470 secs
lola: 24909271 markings, 29592190 edges, 51042 markings/sec, 475 secs
lola: 25166182 markings, 29897168 edges, 51382 markings/sec, 480 secs
lola: 25418642 markings, 30205201 edges, 50492 markings/sec, 485 secs
lola: 25672768 markings, 30513298 edges, 50825 markings/sec, 490 secs
lola: 25929908 markings, 30822961 edges, 51428 markings/sec, 495 secs
lola: 26187176 markings, 31130309 edges, 51454 markings/sec, 500 secs
lola: 26439081 markings, 31442363 edges, 50381 markings/sec, 505 secs
lola: 26696613 markings, 31754012 edges, 51506 markings/sec, 510 secs
lola: 26951852 markings, 32063229 edges, 51048 markings/sec, 515 secs
lola: 27213975 markings, 32371374 edges, 52425 markings/sec, 520 secs
lola: 27481245 markings, 32676734 edges, 53454 markings/sec, 525 secs
lola: 27735029 markings, 32986007 edges, 50757 markings/sec, 530 secs
lola: 27994339 markings, 33293094 edges, 51862 markings/sec, 535 secs
lola: 28250799 markings, 33602799 edges, 51292 markings/sec, 540 secs
lola: 28507747 markings, 33908345 edges, 51390 markings/sec, 545 secs
lola: 28758975 markings, 34213427 edges, 50246 markings/sec, 550 secs
lola: 29009450 markings, 34521238 edges, 50095 markings/sec, 555 secs
lola: 29261571 markings, 34830093 edges, 50424 markings/sec, 560 secs
lola: 29516711 markings, 35136831 edges, 51028 markings/sec, 565 secs
lola: 29772082 markings, 35443873 edges, 51074 markings/sec, 570 secs
lola: 30025278 markings, 35748498 edges, 50639 markings/sec, 575 secs
lola: 30280064 markings, 36055276 edges, 50957 markings/sec, 580 secs
lola: 30533980 markings, 36361818 edges, 50783 markings/sec, 585 secs
lola: 30789516 markings, 36669504 edges, 51107 markings/sec, 590 secs
lola: 31051136 markings, 36976693 edges, 52324 markings/sec, 595 secs
lola: 31314592 markings, 37283227 edges, 52691 markings/sec, 600 secs
lola: 31568867 markings, 37588648 edges, 50855 markings/sec, 605 secs
lola: 31826493 markings, 37896823 edges, 51525 markings/sec, 610 secs
lola: 32084798 markings, 38204789 edges, 51661 markings/sec, 615 secs
lola: 32340476 markings, 38508567 edges, 51136 markings/sec, 620 secs
lola: 32601491 markings, 38816075 edges, 52203 markings/sec, 625 secs
lola: 32859454 markings, 39123629 edges, 51593 markings/sec, 630 secs
lola: 33117012 markings, 39425573 edges, 51512 markings/sec, 635 secs
lola: 33369704 markings, 39729926 edges, 50538 markings/sec, 640 secs
lola: 33621688 markings, 40033774 edges, 50397 markings/sec, 645 secs
lola: 33877992 markings, 40338353 edges, 51261 markings/sec, 650 secs
lola: 34132572 markings, 40644982 edges, 50916 markings/sec, 655 secs
lola: 34389330 markings, 40951780 edges, 51352 markings/sec, 660 secs
lola: 34645181 markings, 41257902 edges, 51170 markings/sec, 665 secs
lola: 34902615 markings, 41562885 edges, 51487 markings/sec, 670 secs
lola: 35159433 markings, 41869512 edges, 51364 markings/sec, 675 secs
lola: 35415983 markings, 42174414 edges, 51310 markings/sec, 680 secs
lola: 35674098 markings, 42480575 edges, 51623 markings/sec, 685 secs
lola: 35932578 markings, 42783844 edges, 51696 markings/sec, 690 secs
lola: 36190184 markings, 43088949 edges, 51521 markings/sec, 695 secs
lola: 36449630 markings, 43393662 edges, 51889 markings/sec, 700 secs
lola: 36708774 markings, 43701516 edges, 51829 markings/sec, 705 secs
lola: 36967338 markings, 44007928 edges, 51713 markings/sec, 710 secs
lola: 37221026 markings, 44310964 edges, 50738 markings/sec, 715 secs
lola: 37476062 markings, 44613728 edges, 51007 markings/sec, 720 secs
lola: 37736196 markings, 44914392 edges, 52027 markings/sec, 725 secs
lola: 37989172 markings, 45216737 edges, 50595 markings/sec, 730 secs
lola: 38253159 markings, 45520689 edges, 52797 markings/sec, 735 secs
lola: 38508388 markings, 45829139 edges, 51046 markings/sec, 740 secs
lola: 38770148 markings, 46137577 edges, 52352 markings/sec, 745 secs
lola: 39026534 markings, 46442835 edges, 51277 markings/sec, 750 secs
lola: 39282975 markings, 46749568 edges, 51288 markings/sec, 755 secs
lola: 39542045 markings, 47058205 edges, 51814 markings/sec, 760 secs
lola: 39809827 markings, 47366906 edges, 53556 markings/sec, 765 secs
lola: 40063083 markings, 47676533 edges, 50651 markings/sec, 770 secs
lola: 40320502 markings, 47989533 edges, 51484 markings/sec, 775 secs
lola: 40582422 markings, 48299740 edges, 52384 markings/sec, 780 secs
lola: 40841458 markings, 48608318 edges, 51807 markings/sec, 785 secs
lola: 41096315 markings, 48913275 edges, 50971 markings/sec, 790 secs
lola: 41351347 markings, 49223343 edges, 51006 markings/sec, 795 secs
lola: 41613264 markings, 49530473 edges, 52383 markings/sec, 800 secs
lola: 41873005 markings, 49837007 edges, 51948 markings/sec, 805 secs
lola: 42137737 markings, 50147818 edges, 52946 markings/sec, 810 secs
lola: 42394654 markings, 50455557 edges, 51383 markings/sec, 815 secs
lola: 42650020 markings, 50762989 edges, 51073 markings/sec, 820 secs
lola: 42908982 markings, 51073097 edges, 51792 markings/sec, 825 secs
lola: 43154383 markings, 51380315 edges, 49080 markings/sec, 830 secs
lola: 43407837 markings, 51685926 edges, 50691 markings/sec, 835 secs
lola: 43660480 markings, 51993757 edges, 50529 markings/sec, 840 secs
lola: 43915008 markings, 52301786 edges, 50906 markings/sec, 845 secs
lola: 44170907 markings, 52611023 edges, 51180 markings/sec, 850 secs
lola: 44435868 markings, 52919646 edges, 52992 markings/sec, 855 secs
lola: 44696312 markings, 53228877 edges, 52089 markings/sec, 860 secs
lola: 44950182 markings, 53537615 edges, 50774 markings/sec, 865 secs
lola: 45205557 markings, 53845256 edges, 51075 markings/sec, 870 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no no unknown no no unknown no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 880 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p419))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p419))))
lola: processed formula length: 21
lola: 80 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: 30683 markings, 30683 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((((1 <= p1784)) U ((1 <= p2001))) OR (F (((1 <= p2001))) AND F (G ((F ((X (G (((p522 <= 0)))) OR ((1 <= p2001)))) AND (X (((1 <= p522))) OR (X (G (((p522 <= 0)))) OR ((1 <= p2001)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: F (((1 <= p2001)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p2001 <= 0))
lola: processed formula length: 14
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 568 markings, 567 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (((1 <= p1784)) U ((1 <= p2001)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p1784)) U ((1 <= p2001)))
lola: processed formula length: 33
lola: 80 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: 30130 markings, 30130 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F (G ((F ((X (G (((p522 <= 0)))) OR ((1 <= p2001)))) AND (X (((1 <= p522))) OR (X (G (((p522 <= 0)))) OR ((1 <= p2001)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F ((X (G (((p522 <= 0)))) OR ((1 <= p2001)))) AND (X (((1 <= p522))) OR (X (G (((p522 <= 0)))) OR ((1 <= p2001)))))))
lola: processed formula length: 124
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 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: 74725 markings, 255399 edges, 14945 markings/sec, 0 secs
lola: 143681 markings, 511824 edges, 13791 markings/sec, 5 secs
lola: 209697 markings, 768568 edges, 13203 markings/sec, 10 secs
lola: 271079 markings, 1026045 edges, 12276 markings/sec, 15 secs
lola: 336213 markings, 1283158 edges, 13027 markings/sec, 20 secs
lola: 396721 markings, 1540821 edges, 12102 markings/sec, 25 secs
lola: 461541 markings, 1798011 edges, 12964 markings/sec, 30 secs
lola: 523997 markings, 2055582 edges, 12491 markings/sec, 35 secs
lola: 585696 markings, 2313478 edges, 12340 markings/sec, 40 secs
lola: 657825 markings, 2570523 edges, 14426 markings/sec, 45 secs
lola: 720749 markings, 2827467 edges, 12585 markings/sec, 50 secs
lola: 781467 markings, 3084956 edges, 12144 markings/sec, 55 secs
lola: 840991 markings, 3342127 edges, 11905 markings/sec, 60 secs
lola: 894895 markings, 3600092 edges, 10781 markings/sec, 65 secs
lola: 952847 markings, 3857812 edges, 11590 markings/sec, 70 secs
lola: 1008555 markings, 4115597 edges, 11142 markings/sec, 75 secs
lola: 1063505 markings, 4373560 edges, 10990 markings/sec, 80 secs
lola: 1121889 markings, 4631159 edges, 11677 markings/sec, 85 secs
lola: 1176287 markings, 4888681 edges, 10880 markings/sec, 90 secs
lola: 1232883 markings, 5147175 edges, 11319 markings/sec, 95 secs
lola: 1298703 markings, 5404891 edges, 13164 markings/sec, 100 secs
lola: 1361425 markings, 5661867 edges, 12544 markings/sec, 105 secs
lola: 1422063 markings, 5919360 edges, 12128 markings/sec, 110 secs
lola: 1481607 markings, 6176748 edges, 11909 markings/sec, 115 secs
lola: 1535671 markings, 6434889 edges, 10813 markings/sec, 120 secs
lola: 1593601 markings, 6692786 edges, 11586 markings/sec, 125 secs
lola: 1649303 markings, 6950860 edges, 11140 markings/sec, 130 secs
lola: 1704207 markings, 7209182 edges, 10981 markings/sec, 135 secs
lola: 1762779 markings, 7467006 edges, 11714 markings/sec, 140 secs
lola: 1817037 markings, 7724542 edges, 10852 markings/sec, 145 secs
lola: 1874007 markings, 7983058 edges, 11394 markings/sec, 150 secs
lola: 1939877 markings, 8240348 edges, 13174 markings/sec, 155 secs
lola: 2002603 markings, 8497681 edges, 12545 markings/sec, 160 secs
lola: 2063032 markings, 8755725 edges, 12086 markings/sec, 165 secs
lola: 2122653 markings, 9013503 edges, 11924 markings/sec, 170 secs
lola: 2177027 markings, 9272204 edges, 10875 markings/sec, 175 secs
lola: 2234857 markings, 9530557 edges, 11566 markings/sec, 180 secs
lola: 2290765 markings, 9789211 edges, 11182 markings/sec, 185 secs
lola: 2345630 markings, 10048148 edges, 10973 markings/sec, 190 secs
lola: 2404546 markings, 10306527 edges, 11783 markings/sec, 195 secs
lola: 2458821 markings, 10565244 edges, 10855 markings/sec, 200 secs
lola: 2516249 markings, 10824119 edges, 11486 markings/sec, 205 secs
lola: 2582693 markings, 11082078 edges, 13289 markings/sec, 210 secs
lola: 2644947 markings, 11339176 edges, 12451 markings/sec, 215 secs
lola: 2705499 markings, 11596802 edges, 12110 markings/sec, 220 secs
lola: 2764483 markings, 11854191 edges, 11797 markings/sec, 225 secs
lola: 2818943 markings, 12112271 edges, 10892 markings/sec, 230 secs
lola: 2876627 markings, 12370121 edges, 11537 markings/sec, 235 secs
lola: 2932333 markings, 12627998 edges, 11141 markings/sec, 240 secs
lola: 2986819 markings, 12886152 edges, 10897 markings/sec, 245 secs
lola: 3045724 markings, 13143814 edges, 11781 markings/sec, 250 secs
lola: 3099779 markings, 13402146 edges, 10811 markings/sec, 255 secs
lola: 3157593 markings, 13660632 edges, 11563 markings/sec, 260 secs
lola: 3221057 markings, 13918445 edges, 12693 markings/sec, 265 secs
lola: 3276807 markings, 14175983 edges, 11150 markings/sec, 270 secs
lola: 3331763 markings, 14433633 edges, 10991 markings/sec, 275 secs
lola: 3385569 markings, 14691462 edges, 10761 markings/sec, 280 secs
lola: 3435445 markings, 14949797 edges, 9975 markings/sec, 285 secs
lola: 3484425 markings, 15208608 edges, 9796 markings/sec, 290 secs
lola: 3537857 markings, 15466827 edges, 10686 markings/sec, 295 secs
lola: 3587373 markings, 15725470 edges, 9903 markings/sec, 300 secs
lola: 3637367 markings, 15984332 edges, 9999 markings/sec, 305 secs
lola: 3690347 markings, 16242638 edges, 10596 markings/sec, 310 secs
lola: 3739265 markings, 16501639 edges, 9784 markings/sec, 315 secs
lola: 3790803 markings, 16760777 edges, 10308 markings/sec, 320 secs
lola: 3848851 markings, 17019400 edges, 11610 markings/sec, 325 secs
lola: 3905773 markings, 17276933 edges, 11384 markings/sec, 330 secs
lola: 3960935 markings, 17534624 edges, 11032 markings/sec, 335 secs
lola: 4015137 markings, 17792576 edges, 10840 markings/sec, 340 secs
lola: 4065491 markings, 18050926 edges, 10071 markings/sec, 345 secs
lola: 4115365 markings, 18309736 edges, 9975 markings/sec, 350 secs
lola: 4167927 markings, 18568128 edges, 10512 markings/sec, 355 secs
lola: 4217887 markings, 18826722 edges, 9992 markings/sec, 360 secs
lola: 4267113 markings, 19085746 edges, 9845 markings/sec, 365 secs
lola: 4320521 markings, 19344239 edges, 10682 markings/sec, 370 secs
lola: 4370241 markings, 19603247 edges, 9944 markings/sec, 375 secs
lola: 4419881 markings, 19862694 edges, 9928 markings/sec, 380 secs
lola: 4476117 markings, 20122024 edges, 11247 markings/sec, 385 secs
lola: 4536067 markings, 20379508 edges, 11990 markings/sec, 390 secs
lola: 4590322 markings, 20637837 edges, 10851 markings/sec, 395 secs
lola: 4645739 markings, 20896440 edges, 11083 markings/sec, 400 secs
lola: 4695861 markings, 21155454 edges, 10024 markings/sec, 405 secs
lola: 4746259 markings, 21414521 edges, 10080 markings/sec, 410 secs
lola: 4798427 markings, 21673517 edges, 10434 markings/sec, 415 secs
lola: 4848853 markings, 21932299 edges, 10085 markings/sec, 420 secs
lola: 4898882 markings, 22191575 edges, 10006 markings/sec, 425 secs
lola: 4951489 markings, 22450591 edges, 10521 markings/sec, 430 secs
lola: 5001671 markings, 22709915 edges, 10036 markings/sec, 435 secs
lola: 5051040 markings, 22969627 edges, 9874 markings/sec, 440 secs
lola: 5105905 markings, 23229277 edges, 10973 markings/sec, 445 secs
lola: 5172371 markings, 23486512 edges, 13293 markings/sec, 450 secs
lola: 5233164 markings, 23744009 edges, 12159 markings/sec, 455 secs
lola: 5293863 markings, 24001575 edges, 12140 markings/sec, 460 secs
lola: 5349679 markings, 24259480 edges, 11163 markings/sec, 465 secs
lola: 5403857 markings, 24517853 edges, 10836 markings/sec, 470 secs
lola: 5463133 markings, 24775640 edges, 11855 markings/sec, 475 secs
lola: 5517243 markings, 25034246 edges, 10822 markings/sec, 480 secs
lola: 5575323 markings, 25292507 edges, 11616 markings/sec, 485 secs
lola: 5631091 markings, 25550845 edges, 11154 markings/sec, 490 secs
lola: 5686097 markings, 25809612 edges, 11001 markings/sec, 495 secs
lola: 5746397 markings, 26068367 edges, 12060 markings/sec, 500 secs
lola: 5808055 markings, 26325621 edges, 12332 markings/sec, 505 secs
lola: 5862195 markings, 26583694 edges, 10828 markings/sec, 510 secs
lola: 5917573 markings, 26841872 edges, 11076 markings/sec, 515 secs
lola: 5968643 markings, 27100181 edges, 10214 markings/sec, 520 secs
lola: 6018491 markings, 27358809 edges, 9970 markings/sec, 525 secs
lola: 6070675 markings, 27617328 edges, 10437 markings/sec, 530 secs
lola: 6120817 markings, 27876076 edges, 10028 markings/sec, 535 secs
lola: 6171053 markings, 28134955 edges, 10047 markings/sec, 540 secs
lola: 6223235 markings, 28393786 edges, 10436 markings/sec, 545 secs
lola: 6273720 markings, 28652700 edges, 10097 markings/sec, 550 secs
lola: 6323645 markings, 28911998 edges, 9985 markings/sec, 555 secs
lola: 6376981 markings, 29171247 edges, 10667 markings/sec, 560 secs
lola: 6437531 markings, 29429156 edges, 12110 markings/sec, 565 secs
lola: 6492745 markings, 29687293 edges, 11043 markings/sec, 570 secs
lola: 6547273 markings, 29945864 edges, 10906 markings/sec, 575 secs
lola: 6600072 markings, 30204432 edges, 10560 markings/sec, 580 secs
lola: 6648911 markings, 30463558 edges, 9768 markings/sec, 585 secs
lola: 6700775 markings, 30722531 edges, 10373 markings/sec, 590 secs
lola: 6752047 markings, 30981065 edges, 10254 markings/sec, 595 secs
lola: 6801921 markings, 31240276 edges, 9975 markings/sec, 600 secs
lola: 6854205 markings, 31499419 edges, 10457 markings/sec, 605 secs
lola: 6904443 markings, 31758700 edges, 10048 markings/sec, 610 secs
lola: 6954795 markings, 32018117 edges, 10070 markings/sec, 615 secs
lola: 7007154 markings, 32277873 edges, 10472 markings/sec, 620 secs
lola: 7067409 markings, 32536444 edges, 12051 markings/sec, 625 secs
lola: 7123261 markings, 32794729 edges, 11170 markings/sec, 630 secs
lola: 7177493 markings, 33053148 edges, 10846 markings/sec, 635 secs
lola: 7231403 markings, 33311695 edges, 10782 markings/sec, 640 secs
lola: 7280727 markings, 33569685 edges, 9865 markings/sec, 645 secs
lola: 7330991 markings, 33829232 edges, 10053 markings/sec, 650 secs
lola: 7383837 markings, 34087506 edges, 10569 markings/sec, 655 secs
lola: 7432735 markings, 34346916 edges, 9780 markings/sec, 660 secs
lola: 7484471 markings, 34605827 edges, 10347 markings/sec, 665 secs
lola: 7535997 markings, 34865029 edges, 10305 markings/sec, 670 secs
lola: 7585819 markings, 35124074 edges, 9964 markings/sec, 675 secs
lola: 7638223 markings, 35383986 edges, 10481 markings/sec, 680 secs
lola: 7700108 markings, 35641985 edges, 12377 markings/sec, 685 secs
lola: 7762469 markings, 35899344 edges, 12472 markings/sec, 690 secs
lola: 7822985 markings, 36156773 edges, 12103 markings/sec, 695 secs
lola: 7881823 markings, 36414643 edges, 11768 markings/sec, 700 secs
lola: 7936269 markings, 36672285 edges, 10889 markings/sec, 705 secs
lola: 7994071 markings, 36930608 edges, 11560 markings/sec, 710 secs
lola: 8049873 markings, 37189186 edges, 11160 markings/sec, 715 secs
lola: 8104477 markings, 37448282 edges, 10921 markings/sec, 720 secs
lola: 8163619 markings, 37706600 edges, 11828 markings/sec, 725 secs
lola: 8217683 markings, 37965634 edges, 10813 markings/sec, 730 secs
lola: 8275919 markings, 38224667 edges, 11647 markings/sec, 735 secs
lola: 8339509 markings, 38482985 edges, 12718 markings/sec, 740 secs
lola: 8395228 markings, 38741152 edges, 11144 markings/sec, 745 secs
lola: 8450189 markings, 38999729 edges, 10992 markings/sec, 750 secs
lola: 8504103 markings, 39258306 edges, 10783 markings/sec, 755 secs
lola: 8554095 markings, 39517130 edges, 9998 markings/sec, 760 secs
lola: 8603029 markings, 39776504 edges, 9787 markings/sec, 765 secs
lola: 8656809 markings, 40035125 edges, 10756 markings/sec, 770 secs
lola: 8706127 markings, 40293800 edges, 9864 markings/sec, 775 secs
lola: 8756675 markings, 40553223 edges, 10110 markings/sec, 780 secs
lola: 8809421 markings, 40812141 edges, 10549 markings/sec, 785 secs
lola: 8858327 markings, 41071660 edges, 9781 markings/sec, 790 secs
lola: 8910477 markings, 41331282 edges, 10430 markings/sec, 795 secs
lola: 8968937 markings, 41590588 edges, 11692 markings/sec, 800 secs
lola: 9025459 markings, 41849025 edges, 11304 markings/sec, 805 secs
lola: 9081085 markings, 42107699 edges, 11125 markings/sec, 810 secs
lola: 9135147 markings, 42366645 edges, 10812 markings/sec, 815 secs
lola: 9185597 markings, 42625764 edges, 10090 markings/sec, 820 secs
lola: 9235279 markings, 42885381 edges, 9936 markings/sec, 825 secs
lola: 9288503 markings, 43144687 edges, 10645 markings/sec, 830 secs
lola: 9338585 markings, 43404088 edges, 10016 markings/sec, 835 secs
lola: 9387569 markings, 43663901 edges, 9797 markings/sec, 840 secs
lola: 9441487 markings, 43923044 edges, 10784 markings/sec, 845 secs
lola: 9490953 markings, 44182726 edges, 9893 markings/sec, 850 secs
lola: 9541751 markings, 44442780 edges, 10160 markings/sec, 855 secs
lola: 9599035 markings, 44701678 edges, 11457 markings/sec, 860 secs
lola: 9657423 markings, 44960059 edges, 11678 markings/sec, 865 secs
lola: 9712223 markings, 45218563 edges, 10960 markings/sec, 870 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown unknown no no unknown no no unknown no
lola:
preliminary result: unknown unknown no unknown unknown no no unknown no no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no unknown unknown no no unknown no no unknown no
lola: memory consumption: 1902804 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no unknown unknown no no unknown no no unknown no
lola: memory consumption: 1902804 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 1902804 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="ShieldPPPs-PT-030B"
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 ShieldPPPs-PT-030B, 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 r227-tall-162098231200318"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-030B.tgz
mv ShieldPPPs-PT-030B 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 ;