About the Execution of 2020-gold for HypertorusGrid-PT-d3k3p2b06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16255.380 | 3600000.00 | 3568384.00 | 32994.90 | ?FFFF?FFFF?FFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r132-tall-162075428300150.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 HypertorusGrid-PT-d3k3p2b06, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-162075428300150
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 972K
-rw-r--r-- 1 mcc users 25K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 149K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 89K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.5K Apr 26 07:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 26 07:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 26 07:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 26 07:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Mar 23 16:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 16:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Mar 22 23:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Mar 22 23:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 10 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rwxr-xr-x 1 mcc users 522K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-00
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-01
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-02
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-03
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-04
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-05
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-06
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-07
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-08
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-09
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-10
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-11
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-12
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-13
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-14
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-15
=== Now, execution of the tool begins
BK_START 1620912858842
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-13 13:34:20] [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-13 13:34:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 13:34:20] [INFO ] Load time of PNML (sax parser for PT used): 89 ms
[2021-05-13 13:34:20] [INFO ] Transformed 513 places.
[2021-05-13 13:34:20] [INFO ] Transformed 972 transitions.
[2021-05-13 13:34:20] [INFO ] Parsed PT model containing 513 places and 972 transitions in 134 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 21 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 19214 steps, including 0 resets, run visited all 50 properties in 587 ms. (steps per millisecond=32 )
[2021-05-13 13:34:21] [INFO ] Flatten gal took : 118 ms
[2021-05-13 13:34:21] [INFO ] Flatten gal took : 71 ms
[2021-05-13 13:34:21] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-13 13:34:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 13 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ HypertorusGrid-PT-d3k3p2b06 @ 3570 seconds
FORMULA HypertorusGrid-PT-d3k3p2b06-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HypertorusGrid-PT-d3k3p2b06-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ HypertorusGrid-PT-d3k3p2b06
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu May 13 13:34:22 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 3,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "((G (((1 <= p180) AND (1 <= p399))) AND X (((1 <= p177) AND (1 <= p421)))) U X (X (((1 <= p175) AND (1 <= p256)))))",
"processed_size": 115,
"rewrites": 104
},
"result":
{
"edges": 14,
"markings": 14,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 13
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p179) AND (1 <= p420))",
"processed_size": 29,
"rewrites": 106
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 37
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (G (((1 <= p182) AND (1 <= p401))))",
"processed_size": 37,
"rewrites": 104
},
"result":
{
"edges": 14,
"markings": 14,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 2,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((((1 <= p78) AND (1 <= p483)) U X (F (((1 <= p78) AND (1 <= p483))))) U ((1 <= p176) AND (1 <= p230)))",
"processed_size": 103,
"rewrites": 104
},
"result":
{
"edges": 28,
"markings": 27,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 4,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 3,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "G ((X (G ((G (((p167 <= 0) OR (p194 <= 0))) AND ((p166 <= 0) OR (p385 <= 0) OR (p184 <= 0) OR (p403 <= 0))))) AND G (((p185 <= 0) OR (p239 <= 0)))))",
"processed_size": 153,
"rewrites": 104
},
"result":
{
"edges": 32881,
"markings": 29159,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 3,
"U": 1,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "G (((X (((1 <= p162) AND (1 <= p189))) U G (((1 <= p178) AND (1 <= p232)))) AND F (G (((1 <= p169) AND (1 <= p379))))))",
"processed_size": 119,
"rewrites": 104
},
"result":
{
"edges": 14,
"markings": 14,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 10
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "G ((X (X (((1 <= p177) AND (1 <= p387)))) OR ((p183 <= 0) OR ((p264 <= 0) OR ((1 <= p180) AND (1 <= p424))))))",
"processed_size": 110,
"rewrites": 104
},
"result":
{
"edges": 64,
"markings": 58,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (X (F (((1 <= p186) AND (1 <= p430)))))",
"processed_size": 41,
"rewrites": 104
},
"result":
{
"edges": 14,
"markings": 14,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p167) AND (1 <= p408))",
"processed_size": 29,
"rewrites": 104
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 404
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((F (((1 <= p186) AND (1 <= p430))) AND ((p175 <= 0) OR (p419 <= 0))))",
"processed_size": 73,
"rewrites": 104
},
"result":
{
"edges": 294,
"markings": 294,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p175) AND (1 <= p202))",
"processed_size": 29,
"rewrites": 105
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 404
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F ((X (((1 <= p175) AND (1 <= p202))) OR ((1 <= p182) AND (1 <= p401))))",
"processed_size": 72,
"rewrites": 104
},
"result":
{
"edges": 14,
"markings": 14,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 404
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 3,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (X (X (G (((1 <= p183) AND (1 <= p264))))))",
"processed_size": 45,
"rewrites": 104
},
"result":
{
"edges": 14,
"markings": 14,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 462
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 4,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "((X (X (X (X (F (((1 <= p176) AND (1 <= p374))))))) OR F (((1 <= p177) AND (1 <= p258)))) U G (((1 <= p171) AND (1 <= p415))))",
"processed_size": 126,
"rewrites": 104
},
"result":
{
"edges": 14,
"markings": 14,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 10
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 539
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p180 <= 0) OR (p261 <= 0))",
"processed_size": 29,
"rewrites": 106
},
"result":
{
"edges": 282,
"markings": 282,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 37
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 647
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 3,
"adisj": 1,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((((p173 <= 0) OR (p414 <= 0)) AND F ((((1 <= p162) AND (1 <= p243)) OR ((1 <= p173) AND (1 <= p414))))))",
"processed_size": 109,
"rewrites": 104
},
"result":
{
"edges": 247,
"markings": 247,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 809
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F (G ((F (((p176 <= 0) OR (p230 <= 0))) AND ((1 <= p170) AND (1 <= p368)))))",
"processed_size": 77,
"rewrites": 104
},
"result":
{
"edges": 242,
"markings": 241,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1130
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F ((G (F (((1 <= p165) AND (1 <= p363)))) OR ((1 <= p173) AND (1 <= p392))))",
"processed_size": 76,
"rewrites": 104
},
"result":
{
"edges": 243,
"markings": 243,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2260
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2260
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p32 <= 0) OR (p284 <= 0))",
"processed_size": 28,
"rewrites": 104
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 660,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(G(**) OR (F(**) AND **)) : F(G((F(**) AND **))) : ((G(**) AND X(**)) U X(X(**))) : G((* AND F(**))) : (((** U X(F(**))) U **) OR (X(G(**)) AND F(**))) : G(F((G(*) AND *))) : G((X(G((G(*) AND *))) AND G(*))) : G(((X(**) U G(**)) AND F(G(**)))) : G((X(X(**)) OR (** OR (** OR **)))) : F(**) : X((X(F((* AND (F(*) OR G(*))))) AND (F(*) OR (** OR **)))) : (X(X(F(**))) OR (G((F(**) AND **)) OR **)) : (F((X(**) OR **)) OR (F(*) AND (** AND **))) : X(X(X(G(**)))) : ((X(X(X(X(F(**))))) OR F(**)) U G(**)) : F((G(F(**)) OR **))"
},
"net":
{
"arcs": 3888,
"conflict_clusters": 189,
"places": 513,
"places_significant": 323,
"singleton_clusters": 0,
"transitions": 972
},
"result":
{
"interim_value": "unknown no no no no unknown no no no no unknown no no no no no ",
"preliminary_value": "unknown no no no no unknown no no no no unknown no no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1485/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 16416
lola: finding significant places
lola: 513 places, 972 transitions, 323 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: (G (((p185 <= 0) OR (p212 <= 0))) OR (F (((1 <= p147) AND (1 <= p337))) AND ((p32 <= 0) OR (p284 <= 0)))) : X (F ((G (F (((((1 <= p22) AND (1 <= p454)) OR ((1 <= p177) AND (1 <= p258))) U ((p176 <= 0) OR (p230 <= 0))))) AND G (((1 <= p170) AND (1 <= p368)))))) : ((G (((1 <= p180) AND (1 <= p399))) AND X (((1 <= p177) AND (1 <= p421)))) U X (X (((1 <= p175) AND (1 <= p256))))) : (NOT(F (((1 <= p173) AND (1 <= p414)))) AND G (F (X (X (X (F ((((1 <= p162) AND (1 <= p243)) OR ((1 <= p173) AND (1 <= p414)))))))))) : (((((1 <= p78) AND (1 <= p483)) U F (X (((1 <= p78) AND (1 <= p483))))) U ((1 <= p176) AND (1 <= p230))) OR (X (G (((1 <= p182) AND (1 <= p401)))) AND F (((p179 <= 0) OR (p420 <= 0))))) : NOT(F (G (X (X (X (X (F (G (X (X ((F (((1 <= p168) AND (1 <= p222))) OR ((1 <= p187) AND (1 <= p431)))))))))))))) : G (NOT(F ((F (X ((F (((1 <= p167) AND (1 <= p194))) OR ((1 <= p166) AND (1 <= p385) AND (1 <= p184) AND (1 <= p403))))) OR F (((1 <= p185) AND (1 <= p239))))))) : G (((X (((1 <= p162) AND (1 <= p189))) U G (((1 <= p178) AND (1 <= p232)))) AND F (X ((((1 <= p162) AND (1 <= p189)) U X (G (((1 <= p169) AND (1 <= p379))))))))) : G ((((X (X (((1 <= p177) AND (1 <= p387)))) OR (p183 <= 0)) OR (p264 <= 0)) OR ((1 <= p180) AND (1 <= p424)))) : ((G (NOT(F (G ((((1 <= p171) AND (1 <= p390)) U (((1 <= p171) AND (1 <= p390)) U ((p188 <= 0) OR (p215 <= 0)))))))) OR ((1 <= p165) AND (1 <= p192))) U F (((1 <= p180) AND (1 <= p261)))) : X ((NOT(G (X ((G (((1 <= p166) AND (1 <= p385))) U ((1 <= p166) AND (1 <= p410) AND (1 <= p182) AND (1 <= p353)))))) AND ((NOT(G (((1 <= p182) AND (1 <= p353)))) OR (p166 <= 0)) OR (p410 <= 0)))) : ((F (X (X (F (((1 <= p186) AND (1 <= p430)))))) OR G ((F (((1 <= p186) AND (1 <= p430))) AND ((p175 <= 0) OR (p419 <= 0))))) OR ((1 <= p167) AND (1 <= p408))) : (F ((((1 <= p167) AND (1 <= p221)) U (X (((1 <= p175) AND (1 <= p202))) OR ((1 <= p182) AND (1 <= p401))))) OR ((NOT(G (((1 <= p164) AND (1 <= p218)))) AND (1 <= p175)) AND (1 <= p202))) : X (X (G (X (((1 <= p183) AND (1 <= p264)))))) : ((F (X (X (X (F (X (((1 <= p176) AND (1 <= p374)))))))) OR F (((1 <= p177) AND (1 <= p258)))) U G (((1 <= p171) AND (1 <= p415)))) : F ((G ((X (((1 <= p173) AND (1 <= p392))) U F (X (((1 <= p165) AND (1 <= p363)))))) OR ((1 <= p173) AND (1 <= p392))))
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:380
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:350
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((G (((1 <= p180) AND (1 <= p399))) AND X (((1 <= p177) AND (1 <= p421)))) U X (X (((1 <= p175) AND (1 <= p256)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((G (((1 <= p180) AND (1 <= p399))) AND X (((1 <= p177) AND (1 <= p421)))) U X (X (((1 <= p175) AND (1 <= p256)))))
lola: processed formula length: 115
lola: 104 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: 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: 14 markings, 14 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((((1 <= p78) AND (1 <= p483)) U X (F (((1 <= p78) AND (1 <= p483))))) U ((1 <= p176) AND (1 <= p230))) OR (X (G (((1 <= p182) AND (1 <= p401)))) AND F (((p179 <= 0) OR (p420 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((p179 <= 0) OR (p420 <= 0)))
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: ((1 <= p179) AND (1 <= p420))
lola: processed formula length: 29
lola: 106 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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((1 <= p182) AND (1 <= p401))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((1 <= p182) AND (1 <= p401))))
lola: processed formula length: 37
lola: 104 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: 14 markings, 14 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p78) AND (1 <= p483)) U X (F (((1 <= p78) AND (1 <= p483))))) U ((1 <= p176) AND (1 <= p230)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p78) AND (1 <= p483)) U X (F (((1 <= p78) AND (1 <= p483))))) U ((1 <= p176) AND (1 <= p230)))
lola: processed formula length: 103
lola: 104 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: 27 markings, 28 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (G ((G (((p167 <= 0) OR (p194 <= 0))) AND ((p166 <= 0) OR (p385 <= 0) OR (p184 <= 0) OR (p403 <= 0))))) AND G (((p185 <= 0) OR (p239 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (G ((G (((p167 <= 0) OR (p194 <= 0))) AND ((p166 <= 0) OR (p385 <= 0) OR (p184 <= 0) OR (p403 <= 0))))) AND G (((p185 <= 0) OR (p239 <= 0)))))
lola: processed formula length: 153
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 29159 markings, 32881 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((X (((1 <= p162) AND (1 <= p189))) U G (((1 <= p178) AND (1 <= p232)))) AND F (G (((1 <= p169) AND (1 <= p379))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((X (((1 <= p162) AND (1 <= p189))) U G (((1 <= p178) AND (1 <= p232)))) AND F (G (((1 <= p169) AND (1 <= p379))))))
lola: processed formula length: 119
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 14 markings, 14 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (X (((1 <= p177) AND (1 <= p387)))) OR ((p183 <= 0) OR ((p264 <= 0) OR ((1 <= p180) AND (1 <= p424))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (X (((1 <= p177) AND (1 <= p387)))) OR ((p183 <= 0) OR ((p264 <= 0) OR ((1 <= p180) AND (1 <= p424))))))
lola: processed formula length: 110
lola: 104 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: 58 markings, 64 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (F ((((p166 <= 0) OR (p410 <= 0) OR (p182 <= 0) OR (p353 <= 0)) AND (F (((p166 <= 0) OR (p385 <= 0))) OR G (((p166 <= 0) OR (p410 <= 0) OR (p182 <= 0) OR (p353 <= 0))))))) AND (F (((p182 <= 0) OR (p353 <= 0))) OR ((p166 <= 0) OR (p410 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (F ((((p166 <= 0) OR (p410 <= 0) OR (p182 <= 0) OR (p353 <= 0)) AND (F (((p166 <= 0) OR (p385 <= 0))) OR G (((p166 <= 0) OR (p410 <= 0) OR (p182 <= 0) OR (p353 <= 0))))))) AND (F (((p182 <= 0) OR (p353 <= 0))) OR ((p166 <= 0) OR (p410 <= 0)))))
lola: processed formula length: 258
lola: 104 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: 983443 markings, 1156737 edges, 196689 markings/sec, 0 secs
lola: 1677504 markings, 2289463 edges, 138812 markings/sec, 5 secs
lola: 2196964 markings, 3359700 edges, 103892 markings/sec, 10 secs
lola: 2816035 markings, 4421672 edges, 123814 markings/sec, 15 secs
lola: 3398988 markings, 5471992 edges, 116591 markings/sec, 20 secs
lola: 3981206 markings, 6421829 edges, 116444 markings/sec, 25 secs
lola: 4480479 markings, 7261242 edges, 99855 markings/sec, 30 secs
lola: 4794775 markings, 8087654 edges, 62859 markings/sec, 35 secs
lola: 5028174 markings, 9026499 edges, 46680 markings/sec, 40 secs
lola: 5638619 markings, 10136914 edges, 122089 markings/sec, 45 secs
lola: 6213073 markings, 11185163 edges, 114891 markings/sec, 50 secs
lola: 6768963 markings, 12228184 edges, 111178 markings/sec, 55 secs
lola: 7350368 markings, 13255058 edges, 116281 markings/sec, 60 secs
lola: 7899662 markings, 14250831 edges, 109859 markings/sec, 65 secs
lola: 8464623 markings, 15100355 edges, 112992 markings/sec, 70 secs
lola: 8853674 markings, 15906305 edges, 77810 markings/sec, 75 secs
lola: 9091676 markings, 16792888 edges, 47600 markings/sec, 80 secs
lola: 9484372 markings, 17833835 edges, 78539 markings/sec, 85 secs
lola: 10067355 markings, 18919314 edges, 116597 markings/sec, 90 secs
lola: 10522082 markings, 19931151 edges, 90945 markings/sec, 95 secs
lola: 11076641 markings, 20965370 edges, 110912 markings/sec, 100 secs
lola: 11594835 markings, 21985170 edges, 103639 markings/sec, 105 secs
lola: 12111970 markings, 22971919 edges, 103427 markings/sec, 110 secs
lola: 12641455 markings, 23815143 edges, 105897 markings/sec, 115 secs
lola: 13005771 markings, 24607013 edges, 72863 markings/sec, 120 secs
lola: 13221258 markings, 25469187 edges, 43097 markings/sec, 125 secs
lola: 13523746 markings, 26460229 edges, 60498 markings/sec, 130 secs
lola: 14184104 markings, 27571421 edges, 132072 markings/sec, 135 secs
lola: 14710633 markings, 28627128 edges, 105306 markings/sec, 140 secs
lola: 15321976 markings, 29693099 edges, 122269 markings/sec, 145 secs
lola: 15904315 markings, 30741740 edges, 116468 markings/sec, 150 secs
lola: 16484765 markings, 31657167 edges, 116090 markings/sec, 155 secs
lola: 16949433 markings, 32482812 edges, 92934 markings/sec, 160 secs
lola: 17239467 markings, 33336666 edges, 58007 markings/sec, 165 secs
lola: 17470302 markings, 34303267 edges, 46167 markings/sec, 170 secs
lola: 18114223 markings, 35360697 edges, 128784 markings/sec, 175 secs
lola: 18604481 markings, 36356448 edges, 98052 markings/sec, 180 secs
lola: 19195951 markings, 37376219 edges, 118294 markings/sec, 185 secs
lola: 19748051 markings, 38374470 edges, 110420 markings/sec, 190 secs
lola: 20306327 markings, 39287336 edges, 111655 markings/sec, 195 secs
lola: 20801121 markings, 40111850 edges, 98959 markings/sec, 200 secs
lola: 21118182 markings, 40923847 edges, 63412 markings/sec, 205 secs
lola: 21350697 markings, 41852684 edges, 46503 markings/sec, 210 secs
lola: 21875076 markings, 42925570 edges, 104876 markings/sec, 215 secs
lola: 22333472 markings, 43900059 edges, 91679 markings/sec, 220 secs
lola: 22832365 markings, 44897962 edges, 99779 markings/sec, 225 secs
lola: 23363660 markings, 45924738 edges, 106259 markings/sec, 230 secs
lola: 23854890 markings, 46899895 edges, 98246 markings/sec, 235 secs
lola: 24401597 markings, 47768189 edges, 109341 markings/sec, 240 secs
lola: 24823522 markings, 48552319 edges, 84385 markings/sec, 245 secs
lola: 25077215 markings, 49346697 edges, 50739 markings/sec, 250 secs
lola: 25275514 markings, 50250988 edges, 39660 markings/sec, 255 secs
lola: 25794094 markings, 51293580 edges, 103716 markings/sec, 260 secs
lola: 26284713 markings, 52291202 edges, 98124 markings/sec, 265 secs
lola: 26867796 markings, 53293481 edges, 116617 markings/sec, 270 secs
lola: 27421321 markings, 54291118 edges, 110705 markings/sec, 275 secs
lola: 27957677 markings, 55212557 edges, 107271 markings/sec, 280 secs
lola: 28478336 markings, 56025416 edges, 104132 markings/sec, 285 secs
lola: 28829723 markings, 56802937 edges, 70277 markings/sec, 290 secs
lola: 29057201 markings, 57677862 edges, 45496 markings/sec, 295 secs
lola: 29481660 markings, 58693701 edges, 84892 markings/sec, 300 secs
lola: 30075758 markings, 59756200 edges, 118820 markings/sec, 305 secs
lola: 30645782 markings, 60820454 edges, 114005 markings/sec, 310 secs
lola: 31236406 markings, 61862903 edges, 118125 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown no unknown no no no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5411752 KB
lola: time consumption: 331 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (F (((1 <= p186) AND (1 <= p430))))) OR (G ((F (((1 <= p186) AND (1 <= p430))) AND ((p175 <= 0) OR (p419 <= 0)))) OR ((1 <= p167) AND (1 <= p408))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (F (((1 <= p186) AND (1 <= p430)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (F (((1 <= p186) AND (1 <= p430)))))
lola: processed formula length: 41
lola: 104 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: 14 markings, 14 edges
lola: ========================================
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p167) AND (1 <= p408))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p167) AND (1 <= p408))
lola: processed formula length: 29
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((1 <= p186) AND (1 <= p430))) AND ((p175 <= 0) OR (p419 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((1 <= p186) AND (1 <= p430))) AND ((p175 <= 0) OR (p419 <= 0))))
lola: processed formula length: 73
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 294 markings, 294 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((X (((1 <= p175) AND (1 <= p202))) OR ((1 <= p182) AND (1 <= p401)))) OR (F (((p164 <= 0) OR (p218 <= 0))) AND ((1 <= p175) AND (1 <= p202))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p175) AND (1 <= p202))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:793
lola: processed formula: ((1 <= p175) AND (1 <= p202))
lola: processed formula length: 29
lola: 105 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X (((1 <= p175) AND (1 <= p202))) OR ((1 <= p182) AND (1 <= p401))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (((1 <= p175) AND (1 <= p202))) OR ((1 <= p182) AND (1 <= p401))))
lola: processed formula length: 72
lola: 104 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: 14 markings, 14 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (G (((1 <= p183) AND (1 <= p264))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (G (((1 <= p183) AND (1 <= p264))))))
lola: processed formula length: 45
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 14 markings, 14 edges
lola: ========================================
lola: subprocess 9 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (X (X (X (F (((1 <= p176) AND (1 <= p374))))))) OR F (((1 <= p177) AND (1 <= p258)))) U G (((1 <= p171) AND (1 <= p415))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((X (X (X (X (F (((1 <= p176) AND (1 <= p374))))))) OR F (((1 <= p177) AND (1 <= p258)))) U G (((1 <= p171) AND (1 <= p415))))
lola: processed formula length: 126
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 14 markings, 14 edges
lola: ========================================
lola: subprocess 10 will run for 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p180) AND (1 <= p261)))
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: ((p180 <= 0) OR (p261 <= 0))
lola: processed formula length: 29
lola: 106 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: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 282 markings, 282 edges
lola: ========================================
lola: subprocess 11 will run for 647 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((((p173 <= 0) OR (p414 <= 0)) AND F ((((1 <= p162) AND (1 <= p243)) OR ((1 <= p173) AND (1 <= p414))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((p173 <= 0) OR (p414 <= 0)) AND F ((((1 <= p162) AND (1 <= p243)) OR ((1 <= p173) AND (1 <= p414))))))
lola: processed formula length: 109
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 247 markings, 247 edges
lola: ========================================
lola: subprocess 12 will run for 809 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (((p176 <= 0) OR (p230 <= 0))) AND ((1 <= p170) AND (1 <= p368)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (((p176 <= 0) OR (p230 <= 0))) AND ((1 <= p170) AND (1 <= p368)))))
lola: processed formula length: 77
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 241 markings, 242 edges
lola: ========================================
lola: subprocess 13 will run for 1079 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G (((p168 <= 0) OR (p222 <= 0))) AND ((p187 <= 0) OR (p431 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G (((p168 <= 0) OR (p222 <= 0))) AND ((p187 <= 0) OR (p431 <= 0)))))
lola: processed formula length: 77
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 106703 markings, 138638 edges, 21341 markings/sec, 0 secs
lola: 170262 markings, 221255 edges, 12712 markings/sec, 5 secs
lola: 253110 markings, 328956 edges, 16570 markings/sec, 10 secs
lola: 318800 markings, 414354 edges, 13138 markings/sec, 15 secs
lola: 423028 markings, 549850 edges, 20846 markings/sec, 20 secs
lola: 472836 markings, 614596 edges, 9962 markings/sec, 25 secs
lola: 525818 markings, 683472 edges, 10596 markings/sec, 30 secs
lola: 586691 markings, 762608 edges, 12175 markings/sec, 35 secs
lola: 667348 markings, 867464 edges, 16131 markings/sec, 40 secs
lola: 776447 markings, 1009291 edges, 21820 markings/sec, 45 secs
lola: 884486 markings, 1149739 edges, 21608 markings/sec, 50 secs
lola: 993894 markings, 1291975 edges, 21882 markings/sec, 55 secs
lola: 1101827 markings, 1432288 edges, 21587 markings/sec, 60 secs
lola: 1211128 markings, 1574378 edges, 21860 markings/sec, 65 secs
lola: 1318714 markings, 1714244 edges, 21517 markings/sec, 70 secs
lola: 1427359 markings, 1855478 edges, 21729 markings/sec, 75 secs
lola: 1535428 markings, 1995966 edges, 21614 markings/sec, 80 secs
lola: 1643803 markings, 2136846 edges, 21675 markings/sec, 85 secs
lola: 1751646 markings, 2277048 edges, 21569 markings/sec, 90 secs
lola: 1840761 markings, 2392894 edges, 17823 markings/sec, 95 secs
lola: 1890591 markings, 2457674 edges, 9966 markings/sec, 100 secs
lola: 1950122 markings, 2535071 edges, 11906 markings/sec, 105 secs
lola: 2013080 markings, 2616913 edges, 12592 markings/sec, 110 secs
lola: 2106444 markings, 2738280 edges, 18673 markings/sec, 115 secs
lola: 2214978 markings, 2879382 edges, 21707 markings/sec, 120 secs
lola: 2324884 markings, 3022261 edges, 21981 markings/sec, 125 secs
lola: 2432683 markings, 3162398 edges, 21560 markings/sec, 130 secs
lola: 2542797 markings, 3305553 edges, 22023 markings/sec, 135 secs
lola: 2650942 markings, 3446138 edges, 21629 markings/sec, 140 secs
lola: 2761248 markings, 3589537 edges, 22061 markings/sec, 145 secs
lola: 2869984 markings, 3730893 edges, 21747 markings/sec, 150 secs
lola: 2979598 markings, 3873388 edges, 21923 markings/sec, 155 secs
lola: 3065719 markings, 3985351 edges, 17224 markings/sec, 160 secs
lola: 3147610 markings, 4091805 edges, 16378 markings/sec, 165 secs
lola: 3231431 markings, 4200772 edges, 16764 markings/sec, 170 secs
lola: 3280746 markings, 4264881 edges, 9863 markings/sec, 175 secs
lola: 3337346 markings, 4338459 edges, 11320 markings/sec, 180 secs
lola: 3400737 markings, 4420870 edges, 12678 markings/sec, 185 secs
lola: 3494847 markings, 4543211 edges, 18822 markings/sec, 190 secs
lola: 3603829 markings, 4684887 edges, 21796 markings/sec, 195 secs
lola: 3712004 markings, 4825516 edges, 21635 markings/sec, 200 secs
lola: 3821602 markings, 4967993 edges, 21920 markings/sec, 205 secs
lola: 3929621 markings, 5108420 edges, 21604 markings/sec, 210 secs
lola: 4039213 markings, 5250888 edges, 21918 markings/sec, 215 secs
lola: 4146866 markings, 5390835 edges, 21531 markings/sec, 220 secs
lola: 4257136 markings, 5534190 edges, 22054 markings/sec, 225 secs
lola: 4364702 markings, 5674022 edges, 21513 markings/sec, 230 secs
lola: 4474454 markings, 5816704 edges, 21950 markings/sec, 235 secs
lola: 4582668 markings, 5957377 edges, 21643 markings/sec, 240 secs
lola: 4646027 markings, 6039742 edges, 12672 markings/sec, 245 secs
lola: 4698307 markings, 6107709 edges, 10456 markings/sec, 250 secs
lola: 4758869 markings, 6186433 edges, 12112 markings/sec, 255 secs
lola: 4830145 markings, 6279094 edges, 14255 markings/sec, 260 secs
lola: 4938457 markings, 6419903 edges, 21662 markings/sec, 265 secs
lola: 5046181 markings, 6559945 edges, 21545 markings/sec, 270 secs
lola: 5155453 markings, 6701999 edges, 21854 markings/sec, 275 secs
lola: 5263105 markings, 6841947 edges, 21530 markings/sec, 280 secs
lola: 5372089 markings, 6983634 edges, 21797 markings/sec, 285 secs
lola: 5479760 markings, 7123603 edges, 21534 markings/sec, 290 secs
lola: 5589803 markings, 7266662 edges, 22009 markings/sec, 295 secs
lola: 5697560 markings, 7406737 edges, 21551 markings/sec, 300 secs
lola: 5806883 markings, 7548861 edges, 21865 markings/sec, 305 secs
lola: 5874954 markings, 7637352 edges, 13614 markings/sec, 310 secs
lola: 5972942 markings, 7764733 edges, 19598 markings/sec, 315 secs
lola: 6033734 markings, 7843764 edges, 12158 markings/sec, 320 secs
lola: 6084526 markings, 7909791 edges, 10158 markings/sec, 325 secs
lola: 6144027 markings, 7987142 edges, 11900 markings/sec, 330 secs
lola: 6214150 markings, 8078308 edges, 14025 markings/sec, 335 secs
lola: 6321549 markings, 8217921 edges, 21480 markings/sec, 340 secs
lola: 6431250 markings, 8360532 edges, 21940 markings/sec, 345 secs
lola: 6538846 markings, 8500405 edges, 21519 markings/sec, 350 secs
lola: 6648674 markings, 8643187 edges, 21966 markings/sec, 355 secs
lola: 6756436 markings, 8783279 edges, 21552 markings/sec, 360 secs
lola: 6865603 markings, 8925194 edges, 21833 markings/sec, 365 secs
lola: 6973879 markings, 9065951 edges, 21655 markings/sec, 370 secs
lola: 7083727 markings, 9208755 edges, 21970 markings/sec, 375 secs
lola: 7191907 markings, 9349388 edges, 21636 markings/sec, 380 secs
lola: 7301704 markings, 9492127 edges, 21959 markings/sec, 385 secs
lola: 7399161 markings, 9618819 edges, 19491 markings/sec, 390 secs
lola: 7449254 markings, 9683938 edges, 10019 markings/sec, 395 secs
lola: 7505804 markings, 9757452 edges, 11310 markings/sec, 400 secs
lola: 7568268 markings, 9838656 edges, 12493 markings/sec, 405 secs
lola: 7651955 markings, 9947444 edges, 16737 markings/sec, 410 secs
lola: 7759516 markings, 10087278 edges, 21512 markings/sec, 415 secs
lola: 7869016 markings, 10229626 edges, 21900 markings/sec, 420 secs
lola: 7977249 markings, 10370331 edges, 21647 markings/sec, 425 secs
lola: 8086442 markings, 10512274 edges, 21839 markings/sec, 430 secs
lola: 8194775 markings, 10653114 edges, 21667 markings/sec, 435 secs
lola: 8304549 markings, 10795824 edges, 21955 markings/sec, 440 secs
lola: 8412264 markings, 10935852 edges, 21543 markings/sec, 445 secs
lola: 8522117 markings, 11078662 edges, 21971 markings/sec, 450 secs
lola: 8619152 markings, 11204808 edges, 19407 markings/sec, 455 secs
lola: 8693974 markings, 11302074 edges, 14964 markings/sec, 460 secs
lola: 8787703 markings, 11423928 edges, 18746 markings/sec, 465 secs
lola: 8836993 markings, 11487996 edges, 9858 markings/sec, 470 secs
lola: 8890293 markings, 11557291 edges, 10660 markings/sec, 475 secs
lola: 8953871 markings, 11639939 edges, 12716 markings/sec, 480 secs
lola: 9037968 markings, 11749265 edges, 16819 markings/sec, 485 secs
lola: 9147236 markings, 11891311 edges, 21854 markings/sec, 490 secs
lola: 9254441 markings, 12030679 edges, 21441 markings/sec, 495 secs
lola: 9363240 markings, 12172121 edges, 21760 markings/sec, 500 secs
lola: 9470018 markings, 12310926 edges, 21356 markings/sec, 505 secs
lola: 9579106 markings, 12452746 edges, 21818 markings/sec, 510 secs
lola: 9685991 markings, 12591692 edges, 21377 markings/sec, 515 secs
lola: 9794865 markings, 12733231 edges, 21775 markings/sec, 520 secs
lola: 9901251 markings, 12871537 edges, 21277 markings/sec, 525 secs
lola: 10010014 markings, 13012923 edges, 21753 markings/sec, 530 secs
lola: 10116728 markings, 13151656 edges, 21343 markings/sec, 535 secs
lola: 10201252 markings, 13261534 edges, 16905 markings/sec, 540 secs
lola: 10251039 markings, 13326255 edges, 9957 markings/sec, 545 secs
lola: 10311000 markings, 13404196 edges, 11992 markings/sec, 550 secs
lola: 10373849 markings, 13485908 edges, 12570 markings/sec, 555 secs
lola: 10471802 markings, 13613245 edges, 19591 markings/sec, 560 secs
lola: 10579303 markings, 13753004 edges, 21500 markings/sec, 565 secs
lola: 10688330 markings, 13894733 edges, 21805 markings/sec, 570 secs
lola: 10796044 markings, 14034765 edges, 21543 markings/sec, 575 secs
lola: 10904844 markings, 14176202 edges, 21760 markings/sec, 580 secs
lola: 11012841 markings, 14316605 edges, 21599 markings/sec, 585 secs
lola: 11123150 markings, 14460010 edges, 22062 markings/sec, 590 secs
lola: 11231023 markings, 14600236 edges, 21575 markings/sec, 595 secs
lola: 11341189 markings, 14743456 edges, 22033 markings/sec, 600 secs
lola: 11423761 markings, 14850794 edges, 16514 markings/sec, 605 secs
lola: 11507193 markings, 14959255 edges, 16686 markings/sec, 610 secs
lola: 11588294 markings, 15064690 edges, 16220 markings/sec, 615 secs
lola: 11637823 markings, 15129079 edges, 9906 markings/sec, 620 secs
lola: 11695674 markings, 15204279 edges, 11570 markings/sec, 625 secs
lola: 11759306 markings, 15287006 edges, 12726 markings/sec, 630 secs
lola: 11857262 markings, 15414340 edges, 19591 markings/sec, 635 secs
lola: 11967526 markings, 15557686 edges, 22053 markings/sec, 640 secs
lola: 12075718 markings, 15698340 edges, 21638 markings/sec, 645 secs
lola: 12185753 markings, 15841386 edges, 22007 markings/sec, 650 secs
lola: 12294367 markings, 15982583 edges, 21723 markings/sec, 655 secs
lola: 12404004 markings, 16125112 edges, 21927 markings/sec, 660 secs
lola: 12512954 markings, 16266751 edges, 21790 markings/sec, 665 secs
lola: 12623305 markings, 16410209 edges, 22070 markings/sec, 670 secs
lola: 12731097 markings, 16550334 edges, 21558 markings/sec, 675 secs
lola: 12840932 markings, 16693114 edges, 21967 markings/sec, 680 secs
lola: 12948715 markings, 16833232 edges, 21557 markings/sec, 685 secs
lola: 13005385 markings, 16906900 edges, 11334 markings/sec, 690 secs
lola: 13058227 markings, 16975601 edges, 10568 markings/sec, 695 secs
lola: 13120512 markings, 17056566 edges, 12457 markings/sec, 700 secs
lola: 13198010 markings, 17157320 edges, 15500 markings/sec, 705 secs
lola: 13306440 markings, 17298282 edges, 21686 markings/sec, 710 secs
lola: 13415806 markings, 17440448 edges, 21873 markings/sec, 715 secs
lola: 13523940 markings, 17581023 edges, 21627 markings/sec, 720 secs
lola: 13633386 markings, 17723308 edges, 21889 markings/sec, 725 secs
lola: 13741925 markings, 17864414 edges, 21708 markings/sec, 730 secs
lola: 13850427 markings, 18005461 edges, 21700 markings/sec, 735 secs
lola: 13958286 markings, 18145677 edges, 21572 markings/sec, 740 secs
lola: 14066413 markings, 18286237 edges, 21625 markings/sec, 745 secs
lola: 14173997 markings, 18426104 edges, 21517 markings/sec, 750 secs
lola: 14238583 markings, 18510065 edges, 12917 markings/sec, 755 secs
lola: 14338419 markings, 18639872 edges, 19967 markings/sec, 760 secs
lola: 14391676 markings, 18709081 edges, 10651 markings/sec, 765 secs
lola: 14443376 markings, 18776299 edges, 10340 markings/sec, 770 secs
lola: 14503364 markings, 18854274 edges, 11998 markings/sec, 775 secs
lola: 14577619 markings, 18950806 edges, 14851 markings/sec, 780 secs
lola: 14684735 markings, 19090060 edges, 21423 markings/sec, 785 secs
lola: 14792466 markings, 19230109 edges, 21546 markings/sec, 790 secs
lola: 14914175 markings, 19388331 edges, 24342 markings/sec, 795 secs
lola: 15021093 markings, 19527322 edges, 21384 markings/sec, 800 secs
lola: 15129115 markings, 19667756 edges, 21604 markings/sec, 805 secs
lola: 15236214 markings, 19806983 edges, 21420 markings/sec, 810 secs
lola: 15343598 markings, 19946584 edges, 21477 markings/sec, 815 secs
lola: 15450635 markings, 20085725 edges, 21407 markings/sec, 820 secs
lola: 15559553 markings, 20227321 edges, 21784 markings/sec, 825 secs
lola: 15665628 markings, 20365218 edges, 21215 markings/sec, 830 secs
lola: 15757859 markings, 20485119 edges, 18446 markings/sec, 835 secs
lola: 15807687 markings, 20549895 edges, 9966 markings/sec, 840 secs
lola: 15865390 markings, 20624908 edges, 11541 markings/sec, 845 secs
lola: 15927265 markings, 20705343 edges, 12375 markings/sec, 850 secs
lola: 16013818 markings, 20817868 edges, 17311 markings/sec, 855 secs
lola: 16120658 markings, 20956758 edges, 21368 markings/sec, 860 secs
lola: 16229529 markings, 21098292 edges, 21774 markings/sec, 865 secs
lola: 16336504 markings, 21237359 edges, 21395 markings/sec, 870 secs
lola: 16445258 markings, 21378744 edges, 21751 markings/sec, 875 secs
lola: 16552073 markings, 21517601 edges, 21363 markings/sec, 880 secs
lola: 16661560 markings, 21659939 edges, 21897 markings/sec, 885 secs
lola: 16768577 markings, 21799056 edges, 21403 markings/sec, 890 secs
lola: 16875546 markings, 21938115 edges, 21394 markings/sec, 895 secs
lola: 16972347 markings, 22063958 edges, 19360 markings/sec, 900 secs
lola: 17046115 markings, 22159854 edges, 14754 markings/sec, 905 secs
lola: 17140458 markings, 22282503 edges, 18869 markings/sec, 910 secs
lola: 17189535 markings, 22346297 edges, 9815 markings/sec, 915 secs
lola: 17242657 markings, 22415363 edges, 10624 markings/sec, 920 secs
lola: 17305316 markings, 22496816 edges, 12532 markings/sec, 925 secs
lola: 17389025 markings, 22605638 edges, 16742 markings/sec, 930 secs
lola: 17496830 markings, 22745784 edges, 21561 markings/sec, 935 secs
lola: 17603877 markings, 22884947 edges, 21409 markings/sec, 940 secs
lola: 17711725 markings, 23025147 edges, 21570 markings/sec, 945 secs
lola: 17818930 markings, 23164518 edges, 21441 markings/sec, 950 secs
lola: 17926650 markings, 23304552 edges, 21544 markings/sec, 955 secs
lola: 17945481 markings, 23329038 edges, 3766 markings/sec, 960 secs
lola: 17961051 markings, 23349273 edges, 3114 markings/sec, 965 secs
lola: 17961221 markings, 23349496 edges, 34 markings/sec, 970 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1130 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (F (((1 <= p165) AND (1 <= p363)))) OR ((1 <= p173) AND (1 <= p392))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (F (((1 <= p165) AND (1 <= p363)))) OR ((1 <= p173) AND (1 <= p392))))
lola: processed formula length: 76
lola: 104 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: 243 markings, 243 edges
lola: ========================================
lola: subprocess 15 will run for 2260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (((p185 <= 0) OR (p212 <= 0))) OR (F (((1 <= p147) AND (1 <= p337))) AND ((p32 <= 0) OR (p284 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p32 <= 0) OR (p284 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p32 <= 0) OR (p284 <= 0))
lola: processed formula length: 28
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X ((X (F ((((p166 <= 0) OR (p410 <= 0) OR (p182 <= 0) OR (p353 <= 0)) AND (F (((p166 <= 0) OR (p385 <= 0))) OR G (((p166 <= 0) OR (p410 <= 0) OR (p182 <= 0) OR (p353 <= 0))))))) AND (F (((p182 <= 0) OR (p353 <= 0))) OR ((p166 <= 0) OR (p410 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (F ((((p166 <= 0) OR (p410 <= 0) OR (p182 <= 0) OR (p353 <= 0)) AND (F (((p166 <= 0) OR (p385 <= 0))) OR G (((p166 <= 0) OR (p410 <= 0) OR (p182 <= 0) OR (p353 <= 0))))))) AND (F (((p182 <= 0) OR (p353 <= 0))) OR ((p166 <= 0) OR (p410 <= 0)))))
lola: processed formula length: 258
lola: 104 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: 922803 markings, 1056539 edges, 184561 markings/sec, 0 secs
lola: 1610889 markings, 2181632 edges, 137617 markings/sec, 5 secs
lola: 2125162 markings, 3211573 edges, 102855 markings/sec, 10 secs
lola: 2723820 markings, 4253479 edges, 119732 markings/sec, 15 secs
lola: 3288880 markings, 5271573 edges, 113012 markings/sec, 20 secs
lola: 3849632 markings, 6234989 edges, 112150 markings/sec, 25 secs
lola: 4371427 markings, 7051886 edges, 104359 markings/sec, 30 secs
lola: 4723303 markings, 7826388 edges, 70375 markings/sec, 35 secs
lola: 4950400 markings, 8699138 edges, 45419 markings/sec, 40 secs
lola: 5385407 markings, 9731294 edges, 87001 markings/sec, 45 secs
lola: 6024348 markings, 10799278 edges, 127788 markings/sec, 50 secs
lola: 6529890 markings, 11817247 edges, 101108 markings/sec, 55 secs
lola: 7115255 markings, 12827800 edges, 117073 markings/sec, 60 secs
lola: 7661068 markings, 13821691 edges, 109163 markings/sec, 65 secs
lola: 8215427 markings, 14697783 edges, 110872 markings/sec, 70 secs
lola: 8674853 markings, 15496994 edges, 91885 markings/sec, 75 secs
lola: 8965852 markings, 16297559 edges, 58200 markings/sec, 80 secs
lola: 9192235 markings, 17212315 edges, 45277 markings/sec, 85 secs
lola: 9744166 markings, 18308457 edges, 110386 markings/sec, 90 secs
lola: 10277875 markings, 19328127 edges, 106742 markings/sec, 95 secs
lola: 10748255 markings, 20346804 edges, 94076 markings/sec, 100 secs
lola: 11283586 markings, 21373224 edges, 107066 markings/sec, 105 secs
lola: 11790110 markings, 22387568 edges, 101305 markings/sec, 110 secs
lola: 12323021 markings, 23284046 edges, 106582 markings/sec, 115 secs
lola: 12785158 markings, 24094780 edges, 92427 markings/sec, 120 secs
lola: 13083816 markings, 24878011 edges, 59732 markings/sec, 125 secs
lola: 13286416 markings, 25757144 edges, 40520 markings/sec, 130 secs
lola: 13724457 markings, 26800686 edges, 87608 markings/sec, 135 secs
lola: 14350597 markings, 27876628 edges, 125228 markings/sec, 140 secs
lola: 14891245 markings, 28938113 edges, 108130 markings/sec, 145 secs
lola: 15481622 markings, 29978688 edges, 118075 markings/sec, 150 secs
lola: 16036217 markings, 30988984 edges, 110919 markings/sec, 155 secs
lola: 16614031 markings, 31860487 edges, 115563 markings/sec, 160 secs
lola: 17031431 markings, 32665607 edges, 83480 markings/sec, 165 secs
lola: 17285803 markings, 33519197 edges, 50874 markings/sec, 170 secs
lola: 17595388 markings, 34490629 edges, 61917 markings/sec, 175 secs
lola: 18205079 markings, 35533079 edges, 121938 markings/sec, 180 secs
lola: 18703682 markings, 36526820 edges, 99721 markings/sec, 185 secs
lola: 19282879 markings, 37526334 edges, 115839 markings/sec, 190 secs
lola: 19814281 markings, 38504437 edges, 106280 markings/sec, 195 secs
lola: 20354599 markings, 39356445 edges, 108064 markings/sec, 200 secs
lola: 20811873 markings, 40133907 edges, 91455 markings/sec, 205 secs
lola: 21109099 markings, 40889046 edges, 59445 markings/sec, 210 secs
lola: 21338313 markings, 41797985 edges, 45843 markings/sec, 215 secs
lola: 21840518 markings, 42864966 edges, 100441 markings/sec, 220 secs
lola: 22313404 markings, 43832596 edges, 94577 markings/sec, 225 secs
lola: 22798044 markings, 44825860 edges, 96928 markings/sec, 230 secs
lola: 23323254 markings, 45847279 edges, 105042 markings/sec, 235 secs
lola: 23818045 markings, 46826972 edges, 98958 markings/sec, 240 secs
lola: 24358032 markings, 47699650 edges, 107997 markings/sec, 245 secs
lola: 24800094 markings, 48500565 edges, 88412 markings/sec, 250 secs
lola: 25067727 markings, 49304458 edges, 53527 markings/sec, 255 secs
lola: 25267331 markings, 50209200 edges, 39921 markings/sec, 260 secs
lola: 25766877 markings, 51238564 edges, 99909 markings/sec, 265 secs
lola: 26243552 markings, 52226373 edges, 95335 markings/sec, 270 secs
lola: 26828704 markings, 53230655 edges, 117030 markings/sec, 275 secs
lola: 27386594 markings, 54224335 edges, 111578 markings/sec, 280 secs
lola: 27921319 markings, 55162145 edges, 106945 markings/sec, 285 secs
lola: 28449048 markings, 55971679 edges, 105546 markings/sec, 290 secs
lola: 28812160 markings, 56747385 edges, 72622 markings/sec, 295 secs
lola: 29039649 markings, 57609347 edges, 45498 markings/sec, 300 secs
lola: 29434864 markings, 58624756 edges, 79043 markings/sec, 305 secs
lola: 30045815 markings, 59678243 edges, 122190 markings/sec, 310 secs
lola: 30596063 markings, 60739386 edges, 110050 markings/sec, 315 secs
lola: 31191891 markings, 61779003 edges, 119166 markings/sec, 320 secs
lola: 31781257 markings, 62823313 edges, 117873 markings/sec, 325 secs
lola: 32320961 markings, 63685887 edges, 107941 markings/sec, 330 secs
lola: 32622167 markings, 64536041 edges, 60241 markings/sec, 335 secs
lola: 32962927 markings, 65542794 edges, 68152 markings/sec, 340 secs
lola: 33502944 markings, 66611948 edges, 108003 markings/sec, 345 secs
lola: 34127520 markings, 67669986 edges, 124915 markings/sec, 350 secs
lola: 34708191 markings, 68730236 edges, 116134 markings/sec, 355 secs
lola: 35297709 markings, 69644712 edges, 117904 markings/sec, 360 secs
lola: 35665845 markings, 70484737 edges, 73627 markings/sec, 365 secs
lola: 35904604 markings, 71452062 edges, 47752 markings/sec, 370 secs
lola: 36423543 markings, 72466861 edges, 103788 markings/sec, 375 secs
lola: 37012588 markings, 73485631 edges, 117809 markings/sec, 380 secs
lola: 37566808 markings, 74478008 edges, 110844 markings/sec, 385 secs
lola: 38133673 markings, 75435916 edges, 113373 markings/sec, 390 secs
lola: 38612645 markings, 76253789 edges, 95794 markings/sec, 395 secs
lola: 38883851 markings, 77097629 edges, 54241 markings/sec, 400 secs
lola: 39218080 markings, 78039601 edges, 66846 markings/sec, 405 secs
lola: 39673808 markings, 78941663 edges, 91146 markings/sec, 410 secs
lola: 40236312 markings, 79904172 edges, 112501 markings/sec, 415 secs
lola: 40776653 markings, 80878739 edges, 108068 markings/sec, 420 secs
lola: 41336451 markings, 81780044 edges, 111960 markings/sec, 425 secs
lola: 41768991 markings, 82567335 edges, 86508 markings/sec, 430 secs
lola: 42023512 markings, 83411930 edges, 50904 markings/sec, 435 secs
lola: 42412337 markings, 84399179 edges, 77765 markings/sec, 440 secs
lola: 42896510 markings, 85368523 edges, 96835 markings/sec, 445 secs
lola: 43457342 markings, 86342486 edges, 112166 markings/sec, 450 secs
lola: 43981581 markings, 87300211 edges, 104848 markings/sec, 455 secs
lola: 44513675 markings, 88175131 edges, 106419 markings/sec, 460 secs
lola: 44992972 markings, 88943287 edges, 95859 markings/sec, 465 secs
lola: 45329738 markings, 89707011 edges, 67353 markings/sec, 470 secs
lola: 45551025 markings, 90561354 edges, 44257 markings/sec, 475 secs
lola: 45898835 markings, 91465029 edges, 69562 markings/sec, 480 secs
lola: 46326327 markings, 92349870 edges, 85498 markings/sec, 485 secs
lola: 46855688 markings, 93272423 edges, 105872 markings/sec, 490 secs
lola: 47358785 markings, 94184746 edges, 100619 markings/sec, 495 secs
lola: 47863967 markings, 95025678 edges, 101036 markings/sec, 500 secs
lola: 48332825 markings, 95760094 edges, 93772 markings/sec, 505 secs
lola: 48679121 markings, 96498132 edges, 69259 markings/sec, 510 secs
lola: 48900312 markings, 97329864 edges, 44238 markings/sec, 515 secs
lola: 49192103 markings, 98267486 edges, 58358 markings/sec, 520 secs
lola: 49521344 markings, 99141597 edges, 65848 markings/sec, 525 secs
lola: 49929069 markings, 100067009 edges, 81545 markings/sec, 530 secs
lola: 50313757 markings, 100968811 edges, 76938 markings/sec, 535 secs
lola: 50689229 markings, 101869552 edges, 75094 markings/sec, 540 secs
lola: 51108571 markings, 102648427 edges, 83868 markings/sec, 545 secs
lola: 51440499 markings, 103390281 edges, 66386 markings/sec, 550 secs
lola: 51658684 markings, 104145909 edges, 43637 markings/sec, 555 secs
lola: 51813270 markings, 104974539 edges, 30917 markings/sec, 560 secs
lola: 52129819 markings, 105888109 edges, 63310 markings/sec, 565 secs
lola: 52647048 markings, 106859174 edges, 103446 markings/sec, 570 secs
lola: 53197908 markings, 107843240 edges, 110172 markings/sec, 575 secs
lola: 53722672 markings, 108803926 edges, 104953 markings/sec, 580 secs
lola: 54266864 markings, 109612962 edges, 108838 markings/sec, 585 secs
lola: 54678423 markings, 110389644 edges, 82312 markings/sec, 590 secs
lola: 54937689 markings, 111215203 edges, 51853 markings/sec, 595 secs
lola: 55182920 markings, 112150077 edges, 49046 markings/sec, 600 secs
lola: 55577062 markings, 113039732 edges, 78828 markings/sec, 605 secs
lola: 56070767 markings, 113972754 edges, 98741 markings/sec, 610 secs
lola: 56540201 markings, 114894826 edges, 93887 markings/sec, 615 secs
lola: 57004122 markings, 115819522 edges, 92784 markings/sec, 620 secs
lola: 57500597 markings, 116573492 edges, 99295 markings/sec, 625 secs
lola: 57887483 markings, 117303727 edges, 77377 markings/sec, 630 secs
lola: 58138325 markings, 118058584 edges, 50168 markings/sec, 635 secs
lola: 58326667 markings, 118898720 edges, 37668 markings/sec, 640 secs
lola: 58575153 markings, 119704761 edges, 49697 markings/sec, 645 secs
lola: 59025461 markings, 120502826 edges, 90062 markings/sec, 650 secs
lola: 59508306 markings, 121353526 edges, 96569 markings/sec, 655 secs
lola: 59965907 markings, 122187587 edges, 91520 markings/sec, 660 secs
lola: 60415862 markings, 122910974 edges, 89991 markings/sec, 665 secs
lola: 60841290 markings, 123590108 edges, 85086 markings/sec, 670 secs
lola: 61159582 markings, 124267629 edges, 63658 markings/sec, 675 secs
lola: 61365512 markings, 125024088 edges, 41186 markings/sec, 680 secs
lola: 61576464 markings, 125858703 edges, 42190 markings/sec, 685 secs
lola: 61826025 markings, 126646953 edges, 49912 markings/sec, 690 secs
lola: 62142445 markings, 127532388 edges, 63284 markings/sec, 695 secs
lola: 62445427 markings, 128438313 edges, 60596 markings/sec, 700 secs
lola: 62753620 markings, 129339964 edges, 61639 markings/sec, 705 secs
lola: 63089283 markings, 130075528 edges, 67133 markings/sec, 710 secs
lola: 63340254 markings, 130801677 edges, 50194 markings/sec, 715 secs
lola: 63492562 markings, 131559154 edges, 30462 markings/sec, 720 secs
lola: 63607909 markings, 132386908 edges, 23069 markings/sec, 725 secs
lola: 63879493 markings, 133217691 edges, 54317 markings/sec, 730 secs
lola: 64390088 markings, 134095118 edges, 102119 markings/sec, 735 secs
lola: 64869198 markings, 134962744 edges, 95822 markings/sec, 740 secs
lola: 65352212 markings, 135824701 edges, 96603 markings/sec, 745 secs
lola: 65830391 markings, 136528063 edges, 95636 markings/sec, 750 secs
lola: 66202946 markings, 137240385 edges, 74511 markings/sec, 755 secs
lola: 66448847 markings, 138009536 edges, 49180 markings/sec, 760 secs
lola: 66656732 markings, 138864073 edges, 41577 markings/sec, 765 secs
lola: 66881845 markings, 139775459 edges, 45023 markings/sec, 770 secs
lola: 67127376 markings, 140716626 edges, 49106 markings/sec, 775 secs
lola: 67361165 markings, 141643785 edges, 46758 markings/sec, 780 secs
lola: 67605519 markings, 142493517 edges, 48871 markings/sec, 785 secs
lola: 67856682 markings, 143244636 edges, 50233 markings/sec, 790 secs
lola: 68030808 markings, 143974280 edges, 34825 markings/sec, 795 secs
lola: 68119401 markings, 144757288 edges, 17719 markings/sec, 800 secs
lola: 68194389 markings, 145601927 edges, 14998 markings/sec, 805 secs
lola: 68547596 markings, 146539913 edges, 70641 markings/sec, 810 secs
lola: 68912069 markings, 147478095 edges, 72895 markings/sec, 815 secs
lola: 69262581 markings, 148404354 edges, 70102 markings/sec, 820 secs
lola: 69615550 markings, 149340301 edges, 70594 markings/sec, 825 secs
lola: 69984413 markings, 150190128 edges, 73773 markings/sec, 830 secs
lola: 70347040 markings, 150982019 edges, 72525 markings/sec, 835 secs
lola: 70641492 markings, 151749242 edges, 58890 markings/sec, 840 secs
lola: 70850417 markings, 152527237 edges, 41785 markings/sec, 845 secs
lola: 71010420 markings, 153370081 edges, 32001 markings/sec, 850 secs
lola: 71247559 markings, 154280341 edges, 47428 markings/sec, 855 secs
lola: 71770248 markings, 155272887 edges, 104538 markings/sec, 860 secs
lola: 72263683 markings, 156240647 edges, 98687 markings/sec, 865 secs
lola: 72755670 markings, 157186507 edges, 98397 markings/sec, 870 secs
lola: 73284118 markings, 157986075 edges, 105690 markings/sec, 875 secs
lola: 73654694 markings, 158751621 edges, 74115 markings/sec, 880 secs
lola: 73854507 markings, 159517568 edges, 39963 markings/sec, 885 secs
lola: 74034945 markings, 160360492 edges, 36088 markings/sec, 890 secs
lola: 74458921 markings, 161185993 edges, 84795 markings/sec, 895 secs
lola: 74918256 markings, 161997252 edges, 91867 markings/sec, 900 secs
lola: 75357335 markings, 162795250 edges, 87816 markings/sec, 905 secs
lola: 75802127 markings, 163496799 edges, 88958 markings/sec, 910 secs
lola: 76204733 markings, 164156850 edges, 80521 markings/sec, 915 secs
lola: 76522186 markings, 164855343 edges, 63491 markings/sec, 920 secs
lola: 76724690 markings, 165624791 edges, 40501 markings/sec, 925 secs
lola: 76994413 markings, 166490935 edges, 53945 markings/sec, 930 secs
lola: 77509354 markings, 167458645 edges, 102988 markings/sec, 935 secs
lola: 77975115 markings, 168369814 edges, 93152 markings/sec, 940 secs
lola: 78439188 markings, 169236428 edges, 92815 markings/sec, 945 secs
lola: 78942483 markings, 170015704 edges, 100659 markings/sec, 950 secs
lola: 79299250 markings, 170777350 edges, 71353 markings/sec, 955 secs
lola: 79496499 markings, 171573339 edges, 39450 markings/sec, 960 secs
lola: 79673248 markings, 172421984 edges, 35350 markings/sec, 965 secs
lola: 80202925 markings, 173371198 edges, 105935 markings/sec, 970 secs
lola: 80704876 markings, 174279186 edges, 100390 markings/sec, 975 secs
lola: 81219683 markings, 175160101 edges, 102961 markings/sec, 980 secs
lola: 81703955 markings, 175908745 edges, 96854 markings/sec, 985 secs
lola: 82047149 markings, 176621114 edges, 68639 markings/sec, 990 secs
lola: 82262856 markings, 177397543 edges, 43141 markings/sec, 995 secs
lola: 82525368 markings, 178276547 edges, 52502 markings/sec, 1000 secs
lola: 83069970 markings, 179234198 edges, 108920 markings/sec, 1005 secs
lola: 83570924 markings, 180158763 edges, 100191 markings/sec, 1010 secs
lola: 84130082 markings, 181022248 edges, 111832 markings/sec, 1015 secs
lola: 84573130 markings, 181801711 edges, 88610 markings/sec, 1020 secs
lola: 84864172 markings, 182594561 edges, 58208 markings/sec, 1025 secs
lola: 85087096 markings, 183487756 edges, 44585 markings/sec, 1030 secs
lola: 85488508 markings, 184298836 edges, 80282 markings/sec, 1035 secs
lola: 85913086 markings, 185065348 edges, 84916 markings/sec, 1040 secs
lola: 86322204 markings, 185831229 edges, 81824 markings/sec, 1045 secs
lola: 86754656 markings, 186447962 edges, 86490 markings/sec, 1050 secs
lola: 87107802 markings, 187067518 edges, 70629 markings/sec, 1055 secs
lola: 87378117 markings, 187709650 edges, 54063 markings/sec, 1060 secs
lola: 87576014 markings, 188475730 edges, 39579 markings/sec, 1065 secs
lola: 87858418 markings, 189309770 edges, 56481 markings/sec, 1070 secs
lola: 88324207 markings, 190223198 edges, 93158 markings/sec, 1075 secs
lola: 88779478 markings, 191135543 edges, 91054 markings/sec, 1080 secs
lola: 89289337 markings, 191934480 edges, 101972 markings/sec, 1085 secs
lola: 89703141 markings, 192668680 edges, 82761 markings/sec, 1090 secs
lola: 89974192 markings, 193382126 edges, 54210 markings/sec, 1095 secs
lola: 90151297 markings, 194168076 edges, 35421 markings/sec, 1100 secs
lola: 90456249 markings, 195113788 edges, 60990 markings/sec, 1105 secs
lola: 91006280 markings, 196097177 edges, 110006 markings/sec, 1110 secs
lola: 91531164 markings, 197025795 edges, 104977 markings/sec, 1115 secs
lola: 92036376 markings, 197792524 edges, 101042 markings/sec, 1120 secs
lola: 92395854 markings, 198514739 edges, 71896 markings/sec, 1125 secs
lola: 92618458 markings, 199293123 edges, 44521 markings/sec, 1130 secs
lola: 92864836 markings, 200182402 edges, 49276 markings/sec, 1135 secs
lola: 93398488 markings, 201125422 edges, 106730 markings/sec, 1140 secs
lola: 93901732 markings, 202057316 edges, 100649 markings/sec, 1145 secs
lola: 94426079 markings, 202826323 edges, 104869 markings/sec, 1150 secs
lola: 94807273 markings, 203555363 edges, 76239 markings/sec, 1155 secs
lola: 95048524 markings, 204317102 edges, 48250 markings/sec, 1160 secs
lola: 95257870 markings, 205185440 edges, 41869 markings/sec, 1165 secs
lola: 95752574 markings, 206091532 edges, 98941 markings/sec, 1170 secs
lola: 96237447 markings, 206999318 edges, 96975 markings/sec, 1175 secs
lola: 96735053 markings, 207720019 edges, 99521 markings/sec, 1180 secs
lola: 97100928 markings, 208393050 edges, 73175 markings/sec, 1185 secs
lola: 97344412 markings, 209047593 edges, 48697 markings/sec, 1190 secs
lola: 97552949 markings, 209870511 edges, 41707 markings/sec, 1195 secs
lola: 97913733 markings, 210760708 edges, 72157 markings/sec, 1200 secs
lola: 98305065 markings, 211549395 edges, 78266 markings/sec, 1205 secs
lola: 98740636 markings, 212341158 edges, 87114 markings/sec, 1210 secs
lola: 99166369 markings, 212990005 edges, 85147 markings/sec, 1215 secs
lola: 99500190 markings, 213643923 edges, 66764 markings/sec, 1220 secs
lola: 99711327 markings, 214296243 edges, 42227 markings/sec, 1225 secs
lola: 99885016 markings, 215074984 edges, 34738 markings/sec, 1230 secs
lola: 100187405 markings, 215938747 edges, 60478 markings/sec, 1235 secs
lola: 100645298 markings, 216769579 edges, 91579 markings/sec, 1240 secs
lola: 101142395 markings, 217589626 edges, 99419 markings/sec, 1245 secs
lola: 101597767 markings, 218313400 edges, 91074 markings/sec, 1250 secs
lola: 101952083 markings, 219092220 edges, 70863 markings/sec, 1255 secs
lola: 102156628 markings, 219877903 edges, 40909 markings/sec, 1260 secs
lola: 102481537 markings, 220800004 edges, 64982 markings/sec, 1265 secs
lola: 102899091 markings, 221577696 edges, 83511 markings/sec, 1270 secs
lola: 103374792 markings, 222334450 edges, 95140 markings/sec, 1275 secs
lola: 103780482 markings, 222978443 edges, 81138 markings/sec, 1280 secs
lola: 104120604 markings, 223696407 edges, 68024 markings/sec, 1285 secs
lola: 104340843 markings, 224508401 edges, 44048 markings/sec, 1290 secs
lola: 104618075 markings, 225408641 edges, 55446 markings/sec, 1295 secs
lola: 105047996 markings, 226258015 edges, 85984 markings/sec, 1300 secs
lola: 105445622 markings, 226990589 edges, 79525 markings/sec, 1305 secs
lola: 105918674 markings, 227715070 edges, 94610 markings/sec, 1310 secs
lola: 106227946 markings, 228334821 edges, 61854 markings/sec, 1315 secs
lola: 106449155 markings, 229067739 edges, 44242 markings/sec, 1320 secs
lola: 106619637 markings, 229838623 edges, 34096 markings/sec, 1325 secs
lola: 106976640 markings, 230739162 edges, 71401 markings/sec, 1330 secs
lola: 107465262 markings, 231627154 edges, 97724 markings/sec, 1335 secs
lola: 107908774 markings, 232271531 edges, 88702 markings/sec, 1340 secs
lola: 108297622 markings, 232991153 edges, 77770 markings/sec, 1345 secs
lola: 108559704 markings, 233763741 edges, 52416 markings/sec, 1350 secs
lola: 108774675 markings, 234634753 edges, 42994 markings/sec, 1355 secs
lola: 109176665 markings, 235509658 edges, 80398 markings/sec, 1360 secs
lola: 109626675 markings, 236353136 edges, 90002 markings/sec, 1365 secs
lola: 110070936 markings, 237022113 edges, 88852 markings/sec, 1370 secs
lola: 110436249 markings, 237741053 edges, 73063 markings/sec, 1375 secs
lola: 110652968 markings, 238460682 edges, 43344 markings/sec, 1380 secs
lola: 110834482 markings, 239282744 edges, 36303 markings/sec, 1385 secs
lola: 111185819 markings, 240133513 edges, 70267 markings/sec, 1390 secs
lola: 111591557 markings, 240873588 edges, 81148 markings/sec, 1395 secs
lola: 112013907 markings, 241484859 edges, 84470 markings/sec, 1400 secs
lola: 112356597 markings, 242107122 edges, 68538 markings/sec, 1405 secs
lola: 112626321 markings, 242822841 edges, 53945 markings/sec, 1410 secs
lola: 112827790 markings, 243618465 edges, 40294 markings/sec, 1415 secs
lola: 113203157 markings, 244554453 edges, 75073 markings/sec, 1420 secs
lola: 113704056 markings, 245481323 edges, 100180 markings/sec, 1425 secs
lola: 114183598 markings, 246249331 edges, 95908 markings/sec, 1430 secs
lola: 114536054 markings, 247022903 edges, 70491 markings/sec, 1435 secs
lola: 114741908 markings, 247853115 edges, 41171 markings/sec, 1440 secs
lola: 114954066 markings, 248736700 edges, 42432 markings/sec, 1445 secs
lola: 115237341 markings, 249244679 edges, 56655 markings/sec, 1450 secs
lola: 115515038 markings, 249740112 edges, 55539 markings/sec, 1455 secs
lola: 115828725 markings, 250183834 edges, 62737 markings/sec, 1460 secs
lola: 116103445 markings, 250636074 edges, 54944 markings/sec, 1465 secs
lola: 116371178 markings, 251174575 edges, 53547 markings/sec, 1470 secs
lola: 116572661 markings, 251797034 edges, 40297 markings/sec, 1475 secs
lola: 116735077 markings, 252439220 edges, 32483 markings/sec, 1480 secs
lola: 117026602 markings, 253239708 edges, 58305 markings/sec, 1485 secs
lola: 117518809 markings, 254136425 edges, 98441 markings/sec, 1490 secs
lola: 117964370 markings, 254830259 edges, 89112 markings/sec, 1495 secs
lola: 118279115 markings, 255471380 edges, 62949 markings/sec, 1500 secs
lola: 118506961 markings, 256258490 edges, 45569 markings/sec, 1505 secs
lola: 118685676 markings, 257071103 edges, 35743 markings/sec, 1510 secs
lola: 119113151 markings, 258017603 edges, 85495 markings/sec, 1515 secs
lola: 119588529 markings, 258731528 edges, 95076 markings/sec, 1520 secs
lola: 119977101 markings, 259414466 edges, 77714 markings/sec, 1525 secs
lola: 120194297 markings, 259906251 edges, 43439 markings/sec, 1530 secs
lola: 120292326 markings, 260255815 edges, 19606 markings/sec, 1535 secs
lola: 120366999 markings, 260548423 edges, 14935 markings/sec, 1540 secs
lola: 120372511 markings, 260569833 edges, 1102 markings/sec, 1545 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G (F ((G (((p168 <= 0) OR (p222 <= 0))) AND ((p187 <= 0) OR (p431 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G (((p168 <= 0) OR (p222 <= 0))) AND ((p187 <= 0) OR (p431 <= 0)))))
lola: processed formula length: 77
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 90757 markings, 117900 edges, 18151 markings/sec, 0 secs
lola: 153878 markings, 199953 edges, 12624 markings/sec, 5 secs
lola: 217569 markings, 282757 edges, 12738 markings/sec, 10 secs
lola: 287347 markings, 373464 edges, 13956 markings/sec, 15 secs
lola: 361548 markings, 469926 edges, 14840 markings/sec, 20 secs
lola: 440324 markings, 572331 edges, 15755 markings/sec, 25 secs
lola: 484650 markings, 629956 edges, 8865 markings/sec, 30 secs
lola: 533107 markings, 692952 edges, 9691 markings/sec, 35 secs
lola: 589198 markings, 765856 edges, 11218 markings/sec, 40 secs
lola: 660720 markings, 858848 edges, 14304 markings/sec, 45 secs
lola: 756324 markings, 983134 edges, 19121 markings/sec, 50 secs
lola: 852822 markings, 1108579 edges, 19300 markings/sec, 55 secs
lola: 947973 markings, 1232276 edges, 19030 markings/sec, 60 secs
lola: 1045235 markings, 1358722 edges, 19452 markings/sec, 65 secs
lola: 1140555 markings, 1482628 edges, 19064 markings/sec, 70 secs
lola: 1238169 markings, 1609527 edges, 19523 markings/sec, 75 secs
lola: 1333317 markings, 1733218 edges, 19030 markings/sec, 80 secs
lola: 1432709 markings, 1862434 edges, 19878 markings/sec, 85 secs
lola: 1533438 markings, 1993380 edges, 20146 markings/sec, 90 secs
lola: 1631515 markings, 2120886 edges, 19615 markings/sec, 95 secs
lola: 1728530 markings, 2247002 edges, 19403 markings/sec, 100 secs
lola: 1822612 markings, 2369304 edges, 18816 markings/sec, 105 secs
lola: 1868196 markings, 2428555 edges, 9117 markings/sec, 110 secs
lola: 1916204 markings, 2490977 edges, 9602 markings/sec, 115 secs
lola: 1971829 markings, 2563286 edges, 11125 markings/sec, 120 secs
lola: 2032515 markings, 2642183 edges, 12137 markings/sec, 125 secs
lola: 2127975 markings, 2766276 edges, 19092 markings/sec, 130 secs
lola: 2222709 markings, 2889429 edges, 18947 markings/sec, 135 secs
lola: 2320278 markings, 3016270 edges, 19514 markings/sec, 140 secs
lola: 2416616 markings, 3141511 edges, 19268 markings/sec, 145 secs
lola: 2513997 markings, 3268102 edges, 19476 markings/sec, 150 secs
lola: 2611760 markings, 3395205 edges, 19553 markings/sec, 155 secs
lola: 2712424 markings, 3526061 edges, 20133 markings/sec, 160 secs
lola: 2810672 markings, 3653789 edges, 19650 markings/sec, 165 secs
lola: 2907889 markings, 3780172 edges, 19443 markings/sec, 170 secs
lola: 3005011 markings, 3906425 edges, 19424 markings/sec, 175 secs
lola: 3073100 markings, 3994940 edges, 13618 markings/sec, 180 secs
lola: 3148252 markings, 4092635 edges, 15030 markings/sec, 185 secs
lola: 3226114 markings, 4193862 edges, 15572 markings/sec, 190 secs
lola: 3270448 markings, 4251491 edges, 8867 markings/sec, 195 secs
lola: 3317976 markings, 4313280 edges, 9506 markings/sec, 200 secs
lola: 3372953 markings, 4384747 edges, 10995 markings/sec, 205 secs
lola: 3442112 markings, 4474658 edges, 13832 markings/sec, 210 secs
lola: 3536400 markings, 4597231 edges, 18858 markings/sec, 215 secs
lola: 3632270 markings, 4721862 edges, 19174 markings/sec, 220 secs
lola: 3727223 markings, 4845300 edges, 18991 markings/sec, 225 secs
lola: 3823270 markings, 4970159 edges, 19209 markings/sec, 230 secs
lola: 3915563 markings, 5090142 edges, 18459 markings/sec, 235 secs
lola: 4011593 markings, 5214976 edges, 19206 markings/sec, 240 secs
lola: 4108644 markings, 5341147 edges, 19410 markings/sec, 245 secs
lola: 4207319 markings, 5469421 edges, 19735 markings/sec, 250 secs
lola: 4302793 markings, 5593543 edges, 19095 markings/sec, 255 secs
lola: 4395537 markings, 5714103 edges, 18549 markings/sec, 260 secs
lola: 4492488 markings, 5840145 edges, 19390 markings/sec, 265 secs
lola: 4586774 markings, 5962714 edges, 18857 markings/sec, 270 secs
lola: 4642886 markings, 6035655 edges, 11222 markings/sec, 275 secs
lola: 4688244 markings, 6094624 edges, 9072 markings/sec, 280 secs
lola: 4742835 markings, 6165589 edges, 10918 markings/sec, 285 secs
lola: 4798546 markings, 6238015 edges, 11142 markings/sec, 290 secs
lola: 4879635 markings, 6343426 edges, 16218 markings/sec, 295 secs
lola: 4973022 markings, 6464835 edges, 18677 markings/sec, 300 secs
lola: 5072521 markings, 6594183 edges, 19900 markings/sec, 305 secs
lola: 5171456 markings, 6722802 edges, 19787 markings/sec, 310 secs
lola: 5266366 markings, 6846179 edges, 18982 markings/sec, 315 secs
lola: 5362422 markings, 6971064 edges, 19211 markings/sec, 320 secs
lola: 5456144 markings, 7092901 edges, 18744 markings/sec, 325 secs
lola: 5553369 markings, 7219297 edges, 19445 markings/sec, 330 secs
lola: 5648379 markings, 7342800 edges, 19002 markings/sec, 335 secs
lola: 5744848 markings, 7468209 edges, 19294 markings/sec, 340 secs
lola: 5831690 markings, 7581104 edges, 17368 markings/sec, 345 secs
lola: 5893523 markings, 7661491 edges, 12367 markings/sec, 350 secs
lola: 5990163 markings, 7787123 edges, 19328 markings/sec, 355 secs
lola: 6036111 markings, 7846856 edges, 9190 markings/sec, 360 secs
lola: 6082414 markings, 7907049 edges, 9261 markings/sec, 365 secs
lola: 6136687 markings, 7977601 edges, 10855 markings/sec, 370 secs
lola: 6193171 markings, 8051033 edges, 11297 markings/sec, 375 secs
lola: 6281770 markings, 8166208 edges, 17720 markings/sec, 380 secs
lola: 6379223 markings, 8292890 edges, 19491 markings/sec, 385 secs
lola: 6475018 markings, 8417434 edges, 19159 markings/sec, 390 secs
lola: 6574166 markings, 8546329 edges, 19830 markings/sec, 395 secs
lola: 6674704 markings, 8677025 edges, 20108 markings/sec, 400 secs
lola: 6771479 markings, 8802829 edges, 19355 markings/sec, 405 secs
lola: 6868226 markings, 8928608 edges, 19349 markings/sec, 410 secs
lola: 6963057 markings, 9051884 edges, 18966 markings/sec, 415 secs
lola: 7061260 markings, 9179551 edges, 19641 markings/sec, 420 secs
lola: 7156729 markings, 9303657 edges, 19094 markings/sec, 425 secs
lola: 7253618 markings, 9429608 edges, 19378 markings/sec, 430 secs
lola: 7349454 markings, 9554195 edges, 19167 markings/sec, 435 secs
lola: 7419546 markings, 9645314 edges, 14018 markings/sec, 440 secs
lola: 7464306 markings, 9703504 edges, 8952 markings/sec, 445 secs
lola: 7518175 markings, 9773531 edges, 10774 markings/sec, 450 secs
lola: 7574244 markings, 9846419 edges, 11214 markings/sec, 455 secs
lola: 7651005 markings, 9946208 edges, 15352 markings/sec, 460 secs
lola: 7750058 markings, 10074983 edges, 19811 markings/sec, 465 secs
lola: 7850933 markings, 10206119 edges, 20175 markings/sec, 470 secs
lola: 7948020 markings, 10332336 edges, 19417 markings/sec, 475 secs
lola: 8044051 markings, 10457173 edges, 19206 markings/sec, 480 secs
lola: 8141392 markings, 10583727 edges, 19468 markings/sec, 485 secs
lola: 8237049 markings, 10708076 edges, 19131 markings/sec, 490 secs
lola: 8334499 markings, 10834755 edges, 19490 markings/sec, 495 secs
lola: 8429063 markings, 10957696 edges, 18913 markings/sec, 500 secs
lola: 8526917 markings, 11084900 edges, 19571 markings/sec, 505 secs
lola: 8615379 markings, 11199904 edges, 17692 markings/sec, 510 secs
lola: 8675841 markings, 11278499 edges, 12092 markings/sec, 515 secs
lola: 8772596 markings, 11404290 edges, 19351 markings/sec, 520 secs
lola: 8819798 markings, 11465642 edges, 9440 markings/sec, 525 secs
lola: 8865891 markings, 11525569 edges, 9219 markings/sec, 530 secs
lola: 8920351 markings, 11596361 edges, 10892 markings/sec, 535 secs
lola: 8976740 markings, 11669668 edges, 11278 markings/sec, 540 secs
lola: 9064723 markings, 11784046 edges, 17597 markings/sec, 545 secs
lola: 9161251 markings, 11909532 edges, 19306 markings/sec, 550 secs
lola: 9257291 markings, 12034383 edges, 19208 markings/sec, 555 secs
lola: 9357284 markings, 12164375 edges, 19999 markings/sec, 560 secs
lola: 9457666 markings, 12294877 edges, 20076 markings/sec, 565 secs
lola: 9554504 markings, 12420761 edges, 19368 markings/sec, 570 secs
lola: 9651121 markings, 12546364 edges, 19323 markings/sec, 575 secs
lola: 9747185 markings, 12671250 edges, 19213 markings/sec, 580 secs
lola: 9844519 markings, 12797782 edges, 19467 markings/sec, 585 secs
lola: 9940686 markings, 12922798 edges, 19233 markings/sec, 590 secs
lola: 10037918 markings, 13049196 edges, 19446 markings/sec, 595 secs
lola: 10133075 markings, 13172901 edges, 19031 markings/sec, 600 secs
lola: 10203618 markings, 13264606 edges, 14109 markings/sec, 605 secs
lola: 10248709 markings, 13323227 edges, 9018 markings/sec, 610 secs
lola: 10302287 markings, 13392876 edges, 10716 markings/sec, 615 secs
lola: 10357719 markings, 13464934 edges, 11086 markings/sec, 620 secs
lola: 10433408 markings, 13563332 edges, 15138 markings/sec, 625 secs
lola: 10532044 markings, 13691559 edges, 19727 markings/sec, 630 secs
lola: 10631066 markings, 13820289 edges, 19804 markings/sec, 635 secs
lola: 10728237 markings, 13946620 edges, 19434 markings/sec, 640 secs
lola: 10822780 markings, 14069524 edges, 18909 markings/sec, 645 secs
lola: 10919429 markings, 14195165 edges, 19330 markings/sec, 650 secs
lola: 11014696 markings, 14319017 edges, 19053 markings/sec, 655 secs
lola: 11111465 markings, 14444815 edges, 19354 markings/sec, 660 secs
lola: 11206283 markings, 14568081 edges, 18964 markings/sec, 665 secs
lola: 11303407 markings, 14694337 edges, 19425 markings/sec, 670 secs
lola: 11395695 markings, 14814309 edges, 18458 markings/sec, 675 secs
lola: 11455125 markings, 14891570 edges, 11886 markings/sec, 680 secs
lola: 11547497 markings, 15011649 edges, 18474 markings/sec, 685 secs
lola: 11601479 markings, 15081831 edges, 10796 markings/sec, 690 secs
lola: 11646946 markings, 15140931 edges, 9093 markings/sec, 695 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no unknown no no no no unknown no no no no no
lola:
preliminary result: unknown no no no no unknown no no no no unknown no no no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no no unknown no no no no unknown no no no no no
lola: memory consumption: 660 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="HypertorusGrid-PT-d3k3p2b06"
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 HypertorusGrid-PT-d3k3p2b06, 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 r132-tall-162075428300150"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypertorusGrid-PT-d3k3p2b06.tgz
mv HypertorusGrid-PT-d3k3p2b06 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 ;