About the Execution of 2020-gold for HouseConstruction-PT-16000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16255.787 | 3600000.00 | 3419315.00 | 121848.40 | ?TFF?F???TFFF?FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r132-tall-162075428200118.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 HouseConstruction-PT-16000, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-162075428200118
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 142K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K 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.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 11:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 11:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 22 21:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 22 21:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 6 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 13K 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 HouseConstruction-PT-16000-00
FORMULA_NAME HouseConstruction-PT-16000-01
FORMULA_NAME HouseConstruction-PT-16000-02
FORMULA_NAME HouseConstruction-PT-16000-03
FORMULA_NAME HouseConstruction-PT-16000-04
FORMULA_NAME HouseConstruction-PT-16000-05
FORMULA_NAME HouseConstruction-PT-16000-06
FORMULA_NAME HouseConstruction-PT-16000-07
FORMULA_NAME HouseConstruction-PT-16000-08
FORMULA_NAME HouseConstruction-PT-16000-09
FORMULA_NAME HouseConstruction-PT-16000-10
FORMULA_NAME HouseConstruction-PT-16000-11
FORMULA_NAME HouseConstruction-PT-16000-12
FORMULA_NAME HouseConstruction-PT-16000-13
FORMULA_NAME HouseConstruction-PT-16000-14
FORMULA_NAME HouseConstruction-PT-16000-15
=== Now, execution of the tool begins
BK_START 1620906655882
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-13 11:50:57] [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 11:50:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 11:50:57] [INFO ] Load time of PNML (sax parser for PT used): 150 ms
[2021-05-13 11:50:57] [INFO ] Transformed 26 places.
[2021-05-13 11:50:57] [INFO ] Transformed 18 transitions.
[2021-05-13 11:50:57] [INFO ] Parsed PT model containing 26 places and 18 transitions in 185 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 19 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 112007 steps, including 0 resets, run finished after 46 ms. (steps per millisecond=2434 ) properties seen :[1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0]
// Phase 1: matrix 18 rows 26 cols
[2021-05-13 11:50:57] [INFO ] Computed 8 place invariants in 4 ms
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 10 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using state equation in 14 ms returned sat
[2021-05-13 11:50:57] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 12 ms.
[2021-05-13 11:50:57] [INFO ] Added : 10 causal constraints over 2 iterations in 27 ms. Result :sat
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 5 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using state equation in 14 ms returned sat
[2021-05-13 11:50:57] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 2 ms.
[2021-05-13 11:50:57] [INFO ] Added : 11 causal constraints over 3 iterations in 13 ms. Result :sat
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 5 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using state equation in 10 ms returned sat
[2021-05-13 11:50:57] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 2 ms.
[2021-05-13 11:50:57] [INFO ] Added : 6 causal constraints over 2 iterations in 14 ms. Result :sat
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using state equation in 9 ms returned sat
[2021-05-13 11:50:57] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 1 ms.
[2021-05-13 11:50:57] [INFO ] Added : 8 causal constraints over 2 iterations in 11 ms. Result :sat
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using state equation in 8 ms returned sat
[2021-05-13 11:50:57] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 1 ms.
[2021-05-13 11:50:57] [INFO ] Added : 6 causal constraints over 2 iterations in 12 ms. Result :sat
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using state equation in 13 ms returned sat
[2021-05-13 11:50:57] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 1 ms.
[2021-05-13 11:50:57] [INFO ] Added : 10 causal constraints over 2 iterations in 8 ms. Result :sat
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using state equation in 7 ms returned sat
[2021-05-13 11:50:57] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 2 ms.
[2021-05-13 11:50:57] [INFO ] Added : 9 causal constraints over 2 iterations in 14 ms. Result :sat
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using state equation in 8 ms returned sat
[2021-05-13 11:50:57] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 1 ms.
[2021-05-13 11:50:57] [INFO ] Added : 8 causal constraints over 2 iterations in 8 ms. Result :sat
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using state equation in 10 ms returned sat
[2021-05-13 11:50:57] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 1 ms.
[2021-05-13 11:50:57] [INFO ] Added : 13 causal constraints over 3 iterations in 12 ms. Result :sat
[2021-05-13 11:50:57] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 2 ms returned sat
[2021-05-13 11:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:58] [INFO ] [Real]Absence check using state equation in 9 ms returned sat
[2021-05-13 11:50:58] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 1 ms.
[2021-05-13 11:50:58] [INFO ] Added : 6 causal constraints over 2 iterations in 6 ms. Result :sat
[2021-05-13 11:50:58] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-13 11:50:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:58] [INFO ] [Real]Absence check using state equation in 7 ms returned sat
[2021-05-13 11:50:58] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 1 ms.
[2021-05-13 11:50:58] [INFO ] Added : 16 causal constraints over 4 iterations in 11 ms. Result :sat
[2021-05-13 11:50:58] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2021-05-13 11:50:58] [INFO ] Flatten gal took : 23 ms
FORMULA HouseConstruction-PT-16000-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HouseConstruction-PT-16000-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HouseConstruction-PT-16000-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HouseConstruction-PT-16000-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-13 11:50:58] [INFO ] Flatten gal took : 4 ms
[2021-05-13 11:50:58] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-13 11:50:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ HouseConstruction-PT-16000 @ 3570 seconds
FORMULA HouseConstruction-PT-16000-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-16000-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-16000-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-16000-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-16000-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-16000-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-16000-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-16000-04 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-16000-08 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLFireability @ HouseConstruction-PT-16000
{
"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 11:50:59 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 4,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X (X ((G ((X (X ((1 <= p15))) OR ((1 <= p8) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))) AND F ((1 <= p2)))))",
"processed_size": 112,
"rewrites": 86
},
"result":
{
"edges": 288001,
"markings": 288001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 326
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 326
},
"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 <= p10) AND (1 <= p11))",
"processed_size": 27,
"rewrites": 86
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 367
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F (((1 <= p10) AND (1 <= p11) AND (1 <= p3) AND (1 <= p7))))",
"processed_size": 63,
"rewrites": 86
},
"result":
{
"edges": 288001,
"markings": 288001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 367
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 3,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 4,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X (X (X (F ((G (((1 <= p8) AND (1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND (F (((1 <= p22) AND (1 <= p23))) AND ((1 <= p9) AND ((1 <= p12) AND (1 <= p13)))))))))",
"processed_size": 163,
"rewrites": 86
},
"result":
{
"edges": 288002,
"markings": 288002,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 466
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G ((1 <= p6)))",
"processed_size": 17,
"rewrites": 86
},
"result":
{
"edges": 288003,
"markings": 288002,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 583
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 3,
"U": 1,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G (F (((((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0)) U G (((1 <= p9) AND (1 <= p12) AND (1 <= p13)))) AND G (((1 <= p9) AND (1 <= p12) AND (1 <= p13))))))",
"processed_size": 151,
"rewrites": 86
},
"result":
{
"edges": 288004,
"markings": 288003,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 14
},
"compoundnumber": 9,
"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": 875
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "F (G ((G (F (((1 <= p3) AND (1 <= p7)))) AND (p8 <= 0))))",
"processed_size": 57,
"rewrites": 86
},
"result":
{
"edges": 288004,
"markings": 288003,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 10,
"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": 1749
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1749
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G ((p14 <= 0))",
"processed_size": 14,
"rewrites": 86
},
"result":
{
"edges": 288001,
"markings": 288001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(p18 <= 0)",
"processed_size": 10,
"rewrites": 88
},
"result":
{
"edges": 192000,
"markings": 192001,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 140,
"runtime": 3571.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "X(G((F(**) AND (** OR ((G(**) AND F(**)) OR **))))) : X(X((G((X(X(**)) OR (** OR **))) AND F(**)))) : X((X(F((F(**) AND X(**)))) OR **)) : (X(F(**)) OR **) : (* AND (F(**) OR G(*))) : G(F((G(**) OR **))) : X(X(X(G((F(*) AND *))))) : G(F(((** U G(**)) AND G(**)))) : X(X(X(F((G(**) AND (F(**) AND (** AND (** AND **)))))))) : X(G(((G(F(**)) OR F(**)) AND **))) : F(G(**)) : F(G((G(F(**)) AND *)))"
},
"net":
{
"arcs": 51,
"conflict_clusters": 18,
"places": 26,
"places_significant": 18,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"interim_value": "unknown no unknown no unknown unknown unknown no no unknown no no ",
"preliminary_value": "unknown no unknown no unknown unknown unknown no no unknown no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 44/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 832
lola: finding significant places
lola: 26 places, 18 transitions, 18 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 (X (((G ((1 <= p4)) U (1 <= p1)) U ((1 <= p10) AND (1 <= p11))))) : X (X ((G (((X (X ((1 <= p15))) OR (1 <= p8)) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13)))) AND F ((1 <= p2))))) : X ((NOT(G (X ((NOT(F ((1 <= p5))) OR NOT(X ((1 <= p2))))))) OR (1 <= p2))) : (F (X (((1 <= p10) AND (1 <= p11) AND (1 <= p3) AND (1 <= p7)))) OR ((1 <= p10) AND (1 <= p11))) : NOT((G (NOT((F ((((1 <= p18) U (1 <= p5)) OR (1 <= p5))) U (1 <= p18)))) U (1 <= p14))) : F (X (G ((F (G ((1 <= p18))) OR F ((1 <= p8)))))) : X (G (NOT(X (X ((G (((1 <= p16) AND (1 <= p17))) OR ((1 <= p16) AND (1 <= p17)))))))) : G (F ((X (NOT(G ((1 <= p1)))) U ((((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0)) U G (((1 <= p9) AND (1 <= p12) AND (1 <= p13)))) AND G (((1 <= p9) AND (1 <= p12) AND (1 <= p13))))))) : X (F (X (X (((((G (((1 <= p8) AND (1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND F (((1 <= p22) AND (1 <= p23)))) AND (1 <= p9)) AND (1 <= p12)) AND (1 <= p13)))))) : G (X ((G ((G (F ((1 <= p2))) OR F ((1 <= p18)))) AND G (((1 <= p3) AND (1 <= p7)))))) : F (G (X (X ((1 <= p6))))) : F (NOT(F ((F (G (NOT((((1 <= p20) AND (1 <= p21) AND (1 <= p24)) U ((1 <= p3) AND (1 <= p7)))))) OR (1 <= p8)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:341
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
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:338
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((F (((1 <= p10) AND (1 <= p11))) AND ((1 <= p1) OR ((G ((1 <= p4)) AND F ((1 <= p1))) OR ((1 <= p10) AND (1 <= p11)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F (((1 <= p10) AND (1 <= p11))) AND ((1 <= p1) OR ((G ((1 <= p4)) AND F ((1 <= p1))) OR ((1 <= p10) AND (1 <= p11)))))))
lola: processed formula length: 127
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3069228 markings, 7206338 edges, 613846 markings/sec, 0 secs
lola: 5832290 markings, 13919585 edges, 552612 markings/sec, 5 secs
lola: 8539159 markings, 20521341 edges, 541374 markings/sec, 10 secs
lola: 11200802 markings, 27025185 edges, 532329 markings/sec, 15 secs
lola: 13810993 markings, 33408460 edges, 522038 markings/sec, 20 secs
lola: 16381903 markings, 39703650 edges, 514182 markings/sec, 25 secs
lola: 18931086 markings, 45945534 edges, 509837 markings/sec, 30 secs
lola: 21438921 markings, 52101337 edges, 501567 markings/sec, 35 secs
lola: 23912133 markings, 58166514 edges, 494642 markings/sec, 40 secs
lola: 26373478 markings, 64212112 edges, 492269 markings/sec, 45 secs
lola: 28796597 markings, 70162632 edges, 484624 markings/sec, 50 secs
lola: 31211443 markings, 76092038 edges, 482969 markings/sec, 55 secs
lola: 33595113 markings, 81946261 edges, 476734 markings/sec, 60 secs
lola: 35898407 markings, 87611727 edges, 460659 markings/sec, 65 secs
lola: 38196857 markings, 93267830 edges, 459690 markings/sec, 70 secs
lola: 40486819 markings, 98903068 edges, 457992 markings/sec, 75 secs
lola: 42732519 markings, 104428444 edges, 449140 markings/sec, 80 secs
lola: 44939289 markings, 109857062 edges, 441354 markings/sec, 85 secs
lola: 47126660 markings, 115236689 edges, 437474 markings/sec, 90 secs
lola: 49316089 markings, 120621898 edges, 437886 markings/sec, 95 secs
lola: 51502521 markings, 126002211 edges, 437286 markings/sec, 100 secs
lola: 53573118 markings, 131108660 edges, 414119 markings/sec, 105 secs
lola: 55736180 markings, 136428443 edges, 432612 markings/sec, 110 secs
lola: 57768511 markings, 141442446 edges, 406466 markings/sec, 115 secs
lola: 59902537 markings, 146690355 edges, 426805 markings/sec, 120 secs
lola: 61909730 markings, 151641122 edges, 401439 markings/sec, 125 secs
lola: 63946410 markings, 156667541 edges, 407336 markings/sec, 130 secs
lola: 66013650 markings, 161748423 edges, 413448 markings/sec, 135 secs
lola: 67973702 markings, 166582530 edges, 392010 markings/sec, 140 secs
lola: 69931806 markings, 171413334 edges, 391621 markings/sec, 145 secs
lola: 71912292 markings, 176300746 edges, 396097 markings/sec, 150 secs
lola: 73936199 markings, 181277455 edges, 404781 markings/sec, 155 secs
lola: 75883153 markings, 186076765 edges, 389391 markings/sec, 160 secs
lola: 77809499 markings, 190827399 edges, 385269 markings/sec, 165 secs
lola: 79718021 markings, 195534793 edges, 381704 markings/sec, 170 secs
lola: 81629680 markings, 200249832 edges, 382332 markings/sec, 175 secs
lola: 83537179 markings, 204955158 edges, 381500 markings/sec, 180 secs
lola: 85432429 markings, 209629895 edges, 379050 markings/sec, 185 secs
lola: 87323035 markings, 214293073 edges, 378121 markings/sec, 190 secs
lola: 89209094 markings, 218945272 edges, 377212 markings/sec, 195 secs
lola: 91101171 markings, 223612105 edges, 378415 markings/sec, 200 secs
lola: 92975696 markings, 228236223 edges, 374905 markings/sec, 205 secs
lola: 94846385 markings, 232851317 edges, 374138 markings/sec, 210 secs
lola: 96677586 markings, 237372541 edges, 366240 markings/sec, 215 secs
lola: 98441229 markings, 241738554 edges, 352729 markings/sec, 220 secs
lola: 100258725 markings, 246219233 edges, 363499 markings/sec, 225 secs
lola: 102098082 markings, 250754432 edges, 367871 markings/sec, 230 secs
lola: 103956121 markings, 255336794 edges, 371608 markings/sec, 235 secs
lola: 105811959 markings, 259914210 edges, 371168 markings/sec, 240 secs
lola: 107619912 markings, 264377822 edges, 361591 markings/sec, 245 secs
lola: 109309487 markings, 268561894 edges, 337915 markings/sec, 250 secs
lola: 111119134 markings, 273022495 edges, 361929 markings/sec, 255 secs
lola: 112966603 markings, 277578435 edges, 369494 markings/sec, 260 secs
lola: 114795812 markings, 282091732 edges, 365842 markings/sec, 265 secs
lola: 116455190 markings, 286205287 edges, 331876 markings/sec, 270 secs
lola: 118240325 markings, 290606624 edges, 357027 markings/sec, 275 secs
lola: 120016348 markings, 294984230 edges, 355205 markings/sec, 280 secs
lola: 120754980 markings, 296815015 edges, 147726 markings/sec, 285 secs
lola: 122251347 markings, 300501529 edges, 299273 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((G ((X (X ((1 <= p15))) OR ((1 <= p8) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))) AND F ((1 <= p2)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((G ((X (X ((1 <= p15))) OR ((1 <= p8) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))) AND F ((1 <= p2)))))
lola: processed formula length: 112
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 288001 markings, 288001 edges
lola: ========================================
lola: subprocess 2 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (F ((F ((1 <= p5)) AND X ((1 <= p2))))) OR (1 <= p2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (F ((F ((1 <= p5)) AND X ((1 <= p2))))) OR (1 <= p2)))
lola: processed formula length: 60
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 4220720 markings, 6299072 edges, 844144 markings/sec, 0 secs
lola: 8043018 markings, 12032521 edges, 764460 markings/sec, 5 secs
lola: 11598006 markings, 17365001 edges, 710998 markings/sec, 10 secs
lola: 14954307 markings, 22399452 edges, 671260 markings/sec, 15 secs
lola: 18187136 markings, 27248696 edges, 646566 markings/sec, 20 secs
lola: 21175523 markings, 31731276 edges, 597677 markings/sec, 25 secs
lola: 24134057 markings, 36169078 edges, 591707 markings/sec, 30 secs
lola: 27037960 markings, 40524932 edges, 580781 markings/sec, 35 secs
lola: 29870155 markings, 44773224 edges, 566439 markings/sec, 40 secs
lola: 32576201 markings, 48832294 edges, 541209 markings/sec, 45 secs
lola: 35236759 markings, 52823131 edges, 532112 markings/sec, 50 secs
lola: 37874157 markings, 56779226 edges, 527480 markings/sec, 55 secs
lola: 40507255 markings, 60728874 edges, 526620 markings/sec, 60 secs
lola: 43146191 markings, 64687279 edges, 527787 markings/sec, 65 secs
lola: 45770613 markings, 68623911 edges, 524884 markings/sec, 70 secs
lola: 48367451 markings, 72519168 edges, 519368 markings/sec, 75 secs
lola: 50952640 markings, 76396952 edges, 517038 markings/sec, 80 secs
lola: 53559817 markings, 80307717 edges, 521435 markings/sec, 85 secs
lola: 56297300 markings, 84413942 edges, 547497 markings/sec, 90 secs
lola: 59002024 markings, 88471028 edges, 540945 markings/sec, 95 secs
lola: 61538633 markings, 92275942 edges, 507322 markings/sec, 100 secs
lola: 64044575 markings, 96034855 edges, 501188 markings/sec, 105 secs
lola: 66549231 markings, 99791839 edges, 500931 markings/sec, 110 secs
lola: 69047938 markings, 103539899 edges, 499741 markings/sec, 115 secs
lola: 71534265 markings, 107269389 edges, 497265 markings/sec, 120 secs
lola: 74021424 markings, 111000128 edges, 497432 markings/sec, 125 secs
lola: 76585095 markings, 114845635 edges, 512734 markings/sec, 130 secs
lola: 79131673 markings, 118665502 edges, 509316 markings/sec, 135 secs
lola: 81597737 markings, 122364596 edges, 493213 markings/sec, 140 secs
lola: 84056921 markings, 126053374 edges, 491837 markings/sec, 145 secs
lola: 86517703 markings, 129744547 edges, 492156 markings/sec, 150 secs
lola: 88994481 markings, 133459713 edges, 495356 markings/sec, 155 secs
lola: 91464223 markings, 137164327 edges, 493948 markings/sec, 160 secs
lola: 93926233 markings, 140857342 edges, 492402 markings/sec, 165 secs
lola: 96374041 markings, 144529052 edges, 489562 markings/sec, 170 secs
lola: 98802733 markings, 148172092 edges, 485738 markings/sec, 175 secs
lola: 101223849 markings, 151803765 edges, 484223 markings/sec, 180 secs
lola: 103653034 markings, 155447543 edges, 485837 markings/sec, 185 secs
lola: 106069336 markings, 159071996 edges, 483260 markings/sec, 190 secs
lola: 108543191 markings, 162782779 edges, 494771 markings/sec, 195 secs
lola: 110968939 markings, 166421401 edges, 485150 markings/sec, 200 secs
lola: 113393219 markings, 170057821 edges, 484856 markings/sec, 205 secs
lola: 115836695 markings, 173723034 edges, 488695 markings/sec, 210 secs
lola: 118250961 markings, 177344434 edges, 482853 markings/sec, 215 secs
lola: 120692389 markings, 181006575 edges, 488286 markings/sec, 220 secs
lola: 122180451 markings, 183239206 edges, 297612 markings/sec, 225 secs
lola: 123447346 markings, 185139580 edges, 253379 markings/sec, 230 secs
lola: 124947045 markings, 187389123 edges, 299940 markings/sec, 235 secs
lola: 126629655 markings, 189912476 edges, 336522 markings/sec, 240 secs
lola: 127869872 markings, 191772800 edges, 248043 markings/sec, 245 secs
lola: 129670855 markings, 194474274 edges, 360197 markings/sec, 250 secs
lola: 131384001 markings, 197043992 edges, 342629 markings/sec, 255 secs
lola: 132750722 markings, 199094077 edges, 273344 markings/sec, 260 secs
lola: 134469876 markings, 201672806 edges, 343831 markings/sec, 265 secs
lola: 135379071 markings, 203036598 edges, 181839 markings/sec, 270 secs
lola: 136806335 markings, 205177495 edges, 285453 markings/sec, 275 secs
lola: 138098189 markings, 207115277 edges, 258371 markings/sec, 280 secs
lola: 139811877 markings, 209685807 edges, 342738 markings/sec, 285 secs
lola: 141280299 markings, 211888441 edges, 293684 markings/sec, 290 secs
lola: 142830183 markings, 214213270 edges, 309977 markings/sec, 295 secs
lola: 144234779 markings, 216320161 edges, 280919 markings/sec, 300 secs
lola: 145507065 markings, 218228590 edges, 254457 markings/sec, 305 secs
lola: 146774749 markings, 220130116 edges, 253537 markings/sec, 310 secs
lola: 148651125 markings, 222944680 edges, 375275 markings/sec, 315 secs
lola: 150306151 markings, 225427220 edges, 331005 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((1 <= p10) AND (1 <= p11) AND (1 <= p3) AND (1 <= p7)))) OR ((1 <= p10) AND (1 <= p11)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p10) AND (1 <= p11))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p10) AND (1 <= p11))
lola: processed formula length: 27
lola: 86 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 4 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p10) AND (1 <= p11) AND (1 <= p3) AND (1 <= p7))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p10) AND (1 <= p11) AND (1 <= p3) AND (1 <= p7))))
lola: processed formula length: 63
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 288001 markings, 288001 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (G ((F (((p16 <= 0) OR (p17 <= 0))) AND ((p16 <= 0) OR (p17 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (G ((F (((p16 <= 0) OR (p17 <= 0))) AND ((p16 <= 0) OR (p17 <= 0)))))))
lola: processed formula length: 81
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2170716 markings, 7438953 edges, 434143 markings/sec, 0 secs
lola: 3671512 markings, 14149400 edges, 300159 markings/sec, 5 secs
lola: 5166952 markings, 20916216 edges, 299088 markings/sec, 10 secs
lola: 6319218 markings, 26767266 edges, 230453 markings/sec, 15 secs
lola: 7379468 markings, 32346831 edges, 212050 markings/sec, 20 secs
lola: 8687229 markings, 38718784 edges, 261552 markings/sec, 25 secs
lola: 9794695 markings, 44384992 edges, 221493 markings/sec, 30 secs
lola: 10924472 markings, 50073576 edges, 225955 markings/sec, 35 secs
lola: 12053749 markings, 55801170 edges, 225855 markings/sec, 40 secs
lola: 13126514 markings, 61103956 edges, 214553 markings/sec, 45 secs
lola: 14157111 markings, 66359257 edges, 206119 markings/sec, 50 secs
lola: 15325153 markings, 71841031 edges, 233608 markings/sec, 55 secs
lola: 16575983 markings, 77949150 edges, 250166 markings/sec, 60 secs
lola: 17642806 markings, 83729178 edges, 213365 markings/sec, 65 secs
lola: 18610611 markings, 88987559 edges, 193561 markings/sec, 70 secs
lola: 19614867 markings, 94202699 edges, 200851 markings/sec, 75 secs
lola: 20878408 markings, 100509696 edges, 252708 markings/sec, 80 secs
lola: 22298721 markings, 106999800 edges, 284063 markings/sec, 85 secs
lola: 23437639 markings, 112773589 edges, 227784 markings/sec, 90 secs
lola: 24477925 markings, 118250623 edges, 208057 markings/sec, 95 secs
lola: 25641325 markings, 124147729 edges, 232680 markings/sec, 100 secs
lola: 26526393 markings, 129300763 edges, 177014 markings/sec, 105 secs
lola: 27467536 markings, 134653417 edges, 188229 markings/sec, 110 secs
lola: 28316588 markings, 139759295 edges, 169810 markings/sec, 115 secs
lola: 29174106 markings, 144605119 edges, 171504 markings/sec, 120 secs
lola: 30027257 markings, 149340144 edges, 170630 markings/sec, 125 secs
lola: 30829793 markings, 154057726 edges, 160507 markings/sec, 130 secs
lola: 31924110 markings, 159578149 edges, 218863 markings/sec, 135 secs
lola: 32920715 markings, 165096981 edges, 199321 markings/sec, 140 secs
lola: 33743075 markings, 170130584 edges, 164472 markings/sec, 145 secs
lola: 34482381 markings, 174887121 edges, 147861 markings/sec, 150 secs
lola: 35258605 markings, 179408371 edges, 155245 markings/sec, 155 secs
lola: 36168713 markings, 184448796 edges, 182022 markings/sec, 160 secs
lola: 37127798 markings, 189939056 edges, 191817 markings/sec, 165 secs
lola: 38235178 markings, 195680706 edges, 221476 markings/sec, 170 secs
lola: 39402708 markings, 201433502 edges, 233506 markings/sec, 175 secs
lola: 40423806 markings, 206948135 edges, 204220 markings/sec, 180 secs
lola: 41295040 markings, 212133185 edges, 174247 markings/sec, 185 secs
lola: 42187637 markings, 217162266 edges, 178519 markings/sec, 190 secs
lola: 43002243 markings, 221978768 edges, 162921 markings/sec, 195 secs
lola: 44024561 markings, 227165723 edges, 204464 markings/sec, 200 secs
lola: 44877344 markings, 232077835 edges, 170557 markings/sec, 205 secs
lola: 45631352 markings, 236719383 edges, 150802 markings/sec, 210 secs
lola: 46553902 markings, 241873045 edges, 184510 markings/sec, 215 secs
lola: 47615753 markings, 247459855 edges, 212370 markings/sec, 220 secs
lola: 48574875 markings, 252687075 edges, 191824 markings/sec, 225 secs
lola: 49379024 markings, 257468006 edges, 160830 markings/sec, 230 secs
lola: 50308318 markings, 262272438 edges, 185859 markings/sec, 235 secs
lola: 50986560 markings, 266739961 edges, 135648 markings/sec, 240 secs
lola: 51972925 markings, 272006296 edges, 197273 markings/sec, 245 secs
lola: 52686781 markings, 277011271 edges, 142771 markings/sec, 250 secs
lola: 53447090 markings, 281821273 edges, 152062 markings/sec, 255 secs
lola: 54372872 markings, 286170285 edges, 185156 markings/sec, 260 secs
lola: 55253850 markings, 290647791 edges, 176196 markings/sec, 265 secs
lola: 56107079 markings, 295203850 edges, 170646 markings/sec, 270 secs
lola: 57126008 markings, 300166922 edges, 203786 markings/sec, 275 secs
lola: 57956540 markings, 304521471 edges, 166106 markings/sec, 280 secs
lola: 58690597 markings, 308909727 edges, 146811 markings/sec, 285 secs
lola: 59475324 markings, 313265169 edges, 156945 markings/sec, 290 secs
lola: 60340304 markings, 318095330 edges, 172996 markings/sec, 295 secs
lola: 61282830 markings, 322900924 edges, 188505 markings/sec, 300 secs
lola: 61964331 markings, 327316845 edges, 136300 markings/sec, 305 secs
lola: 62860701 markings, 331911023 edges, 179274 markings/sec, 310 secs
lola: 63609910 markings, 336299032 edges, 149842 markings/sec, 315 secs
lola: 64474539 markings, 340862541 edges, 172926 markings/sec, 320 secs
lola: 65267958 markings, 345235136 edges, 158684 markings/sec, 325 secs
lola: 66029020 markings, 349639991 edges, 152212 markings/sec, 330 secs
lola: 66620134 markings, 354361477 edges, 118223 markings/sec, 335 secs
lola: 67740158 markings, 359146864 edges, 224005 markings/sec, 340 secs
lola: 69105452 markings, 365047307 edges, 273059 markings/sec, 345 secs
lola: 70178472 markings, 370577948 edges, 214604 markings/sec, 350 secs
lola: 71106098 markings, 375664976 edges, 185525 markings/sec, 355 secs
lola: 72005804 markings, 380533874 edges, 179941 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 10352016 KB
lola: time consumption: 997 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (F ((G (((1 <= p8) AND (1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND (F (((1 <= p22) AND (1 <= p23))) AND ((1 <= p9) AND ((1 <= p12) AND (1 <= p13)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (F ((G (((1 <= p8) AND (1 <= p9) AND (1 <= p12) AND (1 <= p13))) AND (F (((1 <= p22) AND (1 <= p23))) AND ((1 <= p9) AND ((1 <= p12) AND (1 <= p13)))))))))
lola: processed formula length: 163
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 288002 markings, 288002 edges
lola: ========================================
lola: subprocess 6 will run for 428 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((G (F ((1 <= p2))) OR F ((1 <= p18))) AND ((1 <= p3) AND (1 <= p7)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((G (F ((1 <= p2))) OR F ((1 <= p18))) AND ((1 <= p3) AND (1 <= p7)))))
lola: processed formula length: 77
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 5060112 markings, 7696026 edges, 1012022 markings/sec, 0 secs
lola: 9764089 markings, 14860552 edges, 940795 markings/sec, 5 secs
lola: 14406828 markings, 21815015 edges, 928548 markings/sec, 10 secs
lola: 18882421 markings, 28603961 edges, 895119 markings/sec, 15 secs
lola: 23288718 markings, 35195806 edges, 881259 markings/sec, 20 secs
lola: 27497393 markings, 41555290 edges, 841735 markings/sec, 25 secs
lola: 31574664 markings, 47711900 edges, 815454 markings/sec, 30 secs
lola: 35578871 markings, 53746900 edges, 800841 markings/sec, 35 secs
lola: 39547396 markings, 59722587 edges, 793705 markings/sec, 40 secs
lola: 43467785 markings, 65634166 edges, 784078 markings/sec, 45 secs
lola: 47378337 markings, 71513549 edges, 782110 markings/sec, 50 secs
lola: 51250573 markings, 77365346 edges, 774447 markings/sec, 55 secs
lola: 55078648 markings, 83187071 edges, 765615 markings/sec, 60 secs
lola: 58936399 markings, 88990866 edges, 771550 markings/sec, 65 secs
lola: 62740275 markings, 94709001 edges, 760775 markings/sec, 70 secs
lola: 66526854 markings, 100398460 edges, 757316 markings/sec, 75 secs
lola: 70280620 markings, 106070183 edges, 750753 markings/sec, 80 secs
lola: 74001774 markings, 111709662 edges, 744231 markings/sec, 85 secs
lola: 77751434 markings, 117338022 edges, 749932 markings/sec, 90 secs
lola: 81484453 markings, 122938801 edges, 746604 markings/sec, 95 secs
lola: 85142156 markings, 128525613 edges, 731541 markings/sec, 100 secs
lola: 88875396 markings, 134127035 edges, 746648 markings/sec, 105 secs
lola: 92574495 markings, 139671709 edges, 739820 markings/sec, 110 secs
lola: 96227035 markings, 145233015 edges, 730508 markings/sec, 115 secs
lola: 99923025 markings, 150790035 edges, 739198 markings/sec, 120 secs
lola: 103609912 markings, 156314785 edges, 737377 markings/sec, 125 secs
lola: 107221480 markings, 161816696 edges, 722314 markings/sec, 130 secs
lola: 110889987 markings, 167319801 edges, 733701 markings/sec, 135 secs
lola: 114548399 markings, 172797519 edges, 731682 markings/sec, 140 secs
lola: 118132193 markings, 178262206 edges, 716759 markings/sec, 145 secs
lola: 121785665 markings, 183731971 edges, 730694 markings/sec, 150 secs
lola: 124038283 markings, 187153849 edges, 450524 markings/sec, 155 secs
lola: 126927711 markings, 191508221 edges, 577886 markings/sec, 160 secs
lola: 128484900 markings, 193820987 edges, 311438 markings/sec, 165 secs
lola: 129882491 markings, 195956680 edges, 279518 markings/sec, 170 secs
lola: 132482965 markings, 199850038 edges, 520095 markings/sec, 175 secs
lola: 134660446 markings, 203142378 edges, 435496 markings/sec, 180 secs
lola: 136873922 markings, 206498341 edges, 442695 markings/sec, 185 secs
lola: 138800230 markings, 209391593 edges, 385262 markings/sec, 190 secs
lola: 141030549 markings, 212775712 edges, 446064 markings/sec, 195 secs
lola: 143027252 markings, 215786371 edges, 399341 markings/sec, 200 secs
lola: 145173496 markings, 219046304 edges, 429249 markings/sec, 205 secs
lola: 147480922 markings, 222464366 edges, 461485 markings/sec, 210 secs
lola: 149119499 markings, 224988822 edges, 327715 markings/sec, 215 secs
lola: 150806398 markings, 227499153 edges, 337380 markings/sec, 220 secs
lola: 150965841 markings, 227760831 edges, 31889 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((1 <= p6)))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((1 <= p6)))
lola: processed formula length: 17
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 288002 markings, 288003 edges
lola: ========================================
lola: subprocess 8 will run for 583 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G ((1 <= p18)) OR (1 <= p8))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G ((1 <= p18)) OR (1 <= p8))))
lola: processed formula length: 37
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 1552941 markings, 4861292 edges, 310588 markings/sec, 0 secs
lola: 2878700 markings, 9493891 edges, 265152 markings/sec, 5 secs
lola: 4176140 markings, 14026753 edges, 259488 markings/sec, 10 secs
lola: 5441759 markings, 18460029 edges, 253124 markings/sec, 15 secs
lola: 6705699 markings, 22876647 edges, 252788 markings/sec, 20 secs
lola: 7946355 markings, 27240602 edges, 248131 markings/sec, 25 secs
lola: 9210528 markings, 31635921 edges, 252835 markings/sec, 30 secs
lola: 10446927 markings, 35975418 edges, 247280 markings/sec, 35 secs
lola: 11679016 markings, 40296575 edges, 246418 markings/sec, 40 secs
lola: 12906917 markings, 44595214 edges, 245580 markings/sec, 45 secs
lola: 14136844 markings, 48897258 edges, 245985 markings/sec, 50 secs
lola: 15349592 markings, 53133231 edges, 242550 markings/sec, 55 secs
lola: 16556215 markings, 57413570 edges, 241325 markings/sec, 60 secs
lola: 17784996 markings, 61703617 edges, 245756 markings/sec, 65 secs
lola: 19007626 markings, 65969331 edges, 244526 markings/sec, 70 secs
lola: 20199747 markings, 70193966 edges, 238424 markings/sec, 75 secs
lola: 21429792 markings, 74481237 edges, 246009 markings/sec, 80 secs
lola: 22623918 markings, 78631887 edges, 238825 markings/sec, 85 secs
lola: 23810261 markings, 82840925 edges, 237269 markings/sec, 90 secs
lola: 25014826 markings, 87025796 edges, 240913 markings/sec, 95 secs
lola: 26184363 markings, 91173880 edges, 233907 markings/sec, 100 secs
lola: 27418158 markings, 95453904 edges, 246759 markings/sec, 105 secs
lola: 28610680 markings, 99681807 edges, 238504 markings/sec, 110 secs
lola: 29831593 markings, 103911497 edges, 244183 markings/sec, 115 secs
lola: 31022276 markings, 108130522 edges, 238137 markings/sec, 120 secs
lola: 32236620 markings, 112329278 edges, 242869 markings/sec, 125 secs
lola: 33441703 markings, 116607333 edges, 241017 markings/sec, 130 secs
lola: 34599854 markings, 120702336 edges, 231630 markings/sec, 135 secs
lola: 35848087 markings, 125026814 edges, 249647 markings/sec, 140 secs
lola: 37019215 markings, 129169153 edges, 234226 markings/sec, 145 secs
lola: 38234201 markings, 133360978 edges, 242997 markings/sec, 150 secs
lola: 39439319 markings, 137634022 edges, 241024 markings/sec, 155 secs
lola: 40593722 markings, 141719883 edges, 230881 markings/sec, 160 secs
lola: 41825268 markings, 145969339 edges, 246309 markings/sec, 165 secs
lola: 43012480 markings, 150177951 edges, 237442 markings/sec, 170 secs
lola: 44162331 markings, 154248359 edges, 229970 markings/sec, 175 secs
lola: 45380728 markings, 158439658 edges, 243679 markings/sec, 180 secs
lola: 46560941 markings, 162619817 edges, 236043 markings/sec, 185 secs
lola: 47705733 markings, 166669133 edges, 228958 markings/sec, 190 secs
lola: 48912349 markings, 170813345 edges, 241323 markings/sec, 195 secs
lola: 50105380 markings, 175043607 edges, 238606 markings/sec, 200 secs
lola: 51262561 markings, 179136598 edges, 231436 markings/sec, 205 secs
lola: 52410836 markings, 183168836 edges, 229655 markings/sec, 210 secs
lola: 53657709 markings, 187484646 edges, 249375 markings/sec, 215 secs
lola: 54834762 markings, 191656773 edges, 235411 markings/sec, 220 secs
lola: 55988862 markings, 195738774 edges, 230820 markings/sec, 225 secs
lola: 57205749 markings, 199901810 edges, 243377 markings/sec, 230 secs
lola: 58402511 markings, 204146324 edges, 239352 markings/sec, 235 secs
lola: 59556852 markings, 208227730 edges, 230868 markings/sec, 240 secs
lola: 60692443 markings, 212247458 edges, 227118 markings/sec, 245 secs
lola: 61908674 markings, 216402126 edges, 243246 markings/sec, 250 secs
lola: 63090938 markings, 220589254 edges, 236453 markings/sec, 255 secs
lola: 64247237 markings, 224680140 edges, 231260 markings/sec, 260 secs
lola: 65385830 markings, 228707014 edges, 227719 markings/sec, 265 secs
lola: 66614259 markings, 232903747 edges, 245686 markings/sec, 270 secs
lola: 67803025 markings, 237118700 edges, 237753 markings/sec, 275 secs
lola: 68965553 markings, 241236029 edges, 232506 markings/sec, 280 secs
lola: 70102638 markings, 245252092 edges, 227417 markings/sec, 285 secs
lola: 71276947 markings, 249242660 edges, 234862 markings/sec, 290 secs
lola: 72507235 markings, 253602673 edges, 246058 markings/sec, 295 secs
lola: 73684866 markings, 257777012 edges, 235526 markings/sec, 300 secs
lola: 74831641 markings, 261827916 edges, 229355 markings/sec, 305 secs
lola: 75968637 markings, 265853020 edges, 227399 markings/sec, 310 secs
lola: 77191424 markings, 270008538 edges, 244557 markings/sec, 315 secs
lola: 78358553 markings, 274147134 edges, 233426 markings/sec, 320 secs
lola: 79492400 markings, 278159159 edges, 226769 markings/sec, 325 secs
lola: 80607895 markings, 282100697 edges, 223099 markings/sec, 330 secs
lola: 81711715 markings, 286000082 edges, 220764 markings/sec, 335 secs
lola: 82919911 markings, 290100863 edges, 241639 markings/sec, 340 secs
lola: 84082717 markings, 294224923 edges, 232561 markings/sec, 345 secs
lola: 85213492 markings, 298227255 edges, 226155 markings/sec, 350 secs
lola: 86324129 markings, 302154671 edges, 222127 markings/sec, 355 secs
lola: 87423239 markings, 306037980 edges, 219822 markings/sec, 360 secs
lola: 88593223 markings, 309982622 edges, 233997 markings/sec, 365 secs
lola: 89776079 markings, 314180760 edges, 236571 markings/sec, 370 secs
lola: 90914641 markings, 318214048 edges, 227712 markings/sec, 375 secs
lola: 92022740 markings, 322124698 edges, 221620 markings/sec, 380 secs
lola: 93123456 markings, 326021269 edges, 220143 markings/sec, 385 secs
lola: 94213745 markings, 329863806 edges, 218058 markings/sec, 390 secs
lola: 95429824 markings, 333984122 edges, 243216 markings/sec, 395 secs
lola: 96598709 markings, 338129140 edges, 233777 markings/sec, 400 secs
lola: 97726932 markings, 342122184 edges, 225645 markings/sec, 405 secs
lola: 98843144 markings, 346066161 edges, 223242 markings/sec, 410 secs
lola: 99942870 markings, 349951543 edges, 219945 markings/sec, 415 secs
lola: 101035461 markings, 353804155 edges, 218518 markings/sec, 420 secs
lola: 102260370 markings, 357943046 edges, 244982 markings/sec, 425 secs
lola: 103416587 markings, 362042210 edges, 231243 markings/sec, 430 secs
lola: 104542570 markings, 366027649 edges, 225197 markings/sec, 435 secs
lola: 105649072 markings, 369939501 edges, 221300 markings/sec, 440 secs
lola: 106738684 markings, 373790749 edges, 217922 markings/sec, 445 secs
lola: 107825259 markings, 377621641 edges, 217315 markings/sec, 450 secs
lola: 108992816 markings, 381542275 edges, 233511 markings/sec, 455 secs
lola: 110177885 markings, 385747038 edges, 237014 markings/sec, 460 secs
lola: 111317865 markings, 389785753 edges, 227996 markings/sec, 465 secs
lola: 112423376 markings, 393686049 edges, 221102 markings/sec, 470 secs
lola: 113528959 markings, 397600889 edges, 221117 markings/sec, 475 secs
lola: 114612305 markings, 401420405 edges, 216669 markings/sec, 480 secs
lola: 115693825 markings, 405236810 edges, 216304 markings/sec, 485 secs
lola: 116907134 markings, 409322305 edges, 242662 markings/sec, 490 secs
lola: 118065060 markings, 413423135 edges, 231585 markings/sec, 495 secs
lola: 119185069 markings, 417385434 edges, 224002 markings/sec, 500 secs
lola: 120278168 markings, 421252643 edges, 218620 markings/sec, 505 secs
lola: 121261365 markings, 424723626 edges, 196639 markings/sec, 510 secs
lola: 122322273 markings, 428476036 edges, 212182 markings/sec, 515 secs
lola: 123255172 markings, 431763492 edges, 186580 markings/sec, 520 secs
lola: 124241709 markings, 435166785 edges, 197307 markings/sec, 525 secs
lola: 125027978 markings, 437811396 edges, 157254 markings/sec, 530 secs
lola: 125973661 markings, 441164229 edges, 189137 markings/sec, 535 secs
lola: 126811052 markings, 444125104 edges, 167478 markings/sec, 540 secs
lola: 127775425 markings, 447533812 edges, 192875 markings/sec, 545 secs
lola: 128555968 markings, 450300564 edges, 156109 markings/sec, 550 secs
lola: 129353686 markings, 453117170 edges, 159544 markings/sec, 555 secs
lola: 130296029 markings, 456446161 edges, 188469 markings/sec, 560 secs
lola: 131070997 markings, 459187217 edges, 154994 markings/sec, 565 secs
lola: 132108110 markings, 462839045 edges, 207423 markings/sec, 570 secs
lola: 133257967 markings, 466678137 edges, 229971 markings/sec, 575 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown unknown unknown no unknown no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 583 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0)) U G (((1 <= p9) AND (1 <= p12) AND (1 <= p13)))) AND G (((1 <= p9) AND (1 <= p12) AND (1 <= p13))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0)) U G (((1 <= p9) AND (1 <= p12) AND (1 <= p13)))) AND G (((1 <= p9) AND (1 <= p12) AND (1 <= p13))))))
lola: processed formula length: 151
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 288003 markings, 288004 edges
lola: ========================================
lola: subprocess 10 will run for 875 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((G (F (((1 <= p3) AND (1 <= p7)))) AND (p8 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((G (F (((1 <= p3) AND (1 <= p7)))) AND (p8 <= 0))))
lola: processed formula length: 57
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 288003 markings, 288004 edges
lola: ========================================
lola: subprocess 11 will run for 1749 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p14 <= 0) AND (F ((1 <= p18)) OR G ((p14 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 1749 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p14 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p14 <= 0))
lola: processed formula length: 14
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 288001 markings, 288001 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((1 <= p18))
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: (p18 <= 0)
lola: processed formula length: 10
lola: 88 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: 192001 markings, 192000 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (G ((F (((1 <= p10) AND (1 <= p11))) AND ((1 <= p1) OR ((G ((1 <= p4)) AND F ((1 <= p1))) OR ((1 <= p10) AND (1 <= p11)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F (((1 <= p10) AND (1 <= p11))) AND ((1 <= p1) OR ((G ((1 <= p4)) AND F ((1 <= p1))) OR ((1 <= p10) AND (1 <= p11)))))))
lola: processed formula length: 127
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3049868 markings, 7158795 edges, 609974 markings/sec, 0 secs
lola: 5815678 markings, 13878683 edges, 553162 markings/sec, 5 secs
lola: 8493112 markings, 20407793 edges, 535487 markings/sec, 10 secs
lola: 11118660 markings, 26822162 edges, 525110 markings/sec, 15 secs
lola: 13706698 markings, 33151040 edges, 517608 markings/sec, 20 secs
lola: 16253676 markings, 39386852 edges, 509396 markings/sec, 25 secs
lola: 18768451 markings, 45553833 edges, 502955 markings/sec, 30 secs
lola: 21246593 markings, 51629162 edges, 495628 markings/sec, 35 secs
lola: 23725111 markings, 57704912 edges, 495704 markings/sec, 40 secs
lola: 26152526 markings, 63665629 edges, 485483 markings/sec, 45 secs
lola: 28558723 markings, 69574199 edges, 481239 markings/sec, 50 secs
lola: 30954004 markings, 75456269 edges, 479056 markings/sec, 55 secs
lola: 33300230 markings, 81229703 edges, 469245 markings/sec, 60 secs
lola: 35664279 markings, 87033078 edges, 472810 markings/sec, 65 secs
lola: 37970434 markings, 92707201 edges, 461231 markings/sec, 70 secs
lola: 40254027 markings, 98326263 edges, 456719 markings/sec, 75 secs
lola: 42536388 markings, 103942402 edges, 456472 markings/sec, 80 secs
lola: 44791072 markings, 109489538 edges, 450937 markings/sec, 85 secs
lola: 47030943 markings, 114999668 edges, 447974 markings/sec, 90 secs
lola: 49263901 markings, 120492738 edges, 446592 markings/sec, 95 secs
lola: 51476034 markings, 125937164 edges, 442427 markings/sec, 100 secs
lola: 53588084 markings, 131145667 edges, 422410 markings/sec, 105 secs
lola: 55783478 markings, 136545192 edges, 439079 markings/sec, 110 secs
lola: 57862227 markings, 141674596 edges, 415750 markings/sec, 115 secs
lola: 60030017 markings, 147005361 edges, 433558 markings/sec, 120 secs
lola: 62055083 markings, 152001285 edges, 405013 markings/sec, 125 secs
lola: 64188808 markings, 157252005 edges, 426745 markings/sec, 130 secs
lola: 66215423 markings, 162247228 edges, 405323 markings/sec, 135 secs
lola: 68208692 markings, 167164868 edges, 398654 markings/sec, 140 secs
lola: 70225541 markings, 172142264 edges, 403370 markings/sec, 145 secs
lola: 72306045 markings, 177257748 edges, 416101 markings/sec, 150 secs
lola: 74291028 markings, 182151879 edges, 396997 markings/sec, 155 secs
lola: 76246011 markings, 186974080 edges, 390997 markings/sec, 160 secs
lola: 78192906 markings, 191776808 edges, 389379 markings/sec, 165 secs
lola: 80135031 markings, 196567666 edges, 388425 markings/sec, 170 secs
lola: 82073081 markings, 201349042 edges, 387610 markings/sec, 175 secs
lola: 83994178 markings, 206088155 edges, 384219 markings/sec, 180 secs
lola: 85917105 markings, 210831563 edges, 384585 markings/sec, 185 secs
lola: 87827416 markings, 215543623 edges, 382062 markings/sec, 190 secs
lola: 89732472 markings, 220242280 edges, 381011 markings/sec, 195 secs
lola: 91631551 markings, 224926600 edges, 379816 markings/sec, 200 secs
lola: 93530508 markings, 229610268 edges, 379791 markings/sec, 205 secs
lola: 95421723 markings, 234274987 edges, 378243 markings/sec, 210 secs
lola: 97318738 markings, 238954030 edges, 379403 markings/sec, 215 secs
lola: 99193806 markings, 243579791 edges, 375014 markings/sec, 220 secs
lola: 101057049 markings, 248177860 edges, 372649 markings/sec, 225 secs
lola: 102808402 markings, 252517505 edges, 350271 markings/sec, 230 secs
lola: 104630042 markings, 257008171 edges, 364328 markings/sec, 235 secs
lola: 106481468 markings, 261573477 edges, 370285 markings/sec, 240 secs
lola: 108354671 markings, 266192996 edges, 374641 markings/sec, 245 secs
lola: 110217766 markings, 270789372 edges, 372619 markings/sec, 250 secs
lola: 111949724 markings, 275084842 edges, 346392 markings/sec, 255 secs
lola: 113728136 markings, 279467154 edges, 355682 markings/sec, 260 secs
lola: 115571432 markings, 284011882 edges, 368659 markings/sec, 265 secs
lola: 117426587 markings, 288587882 edges, 371031 markings/sec, 270 secs
lola: 119119067 markings, 292787310 edges, 338496 markings/sec, 275 secs
lola: 120555456 markings, 296320617 edges, 287278 markings/sec, 280 secs
lola: 121969107 markings, 299804923 edges, 282730 markings/sec, 285 secs
lola: 123153475 markings, 302736855 edges, 236874 markings/sec, 290 secs
lola: 124845470 markings, 306908117 edges, 338399 markings/sec, 295 secs
lola: 125977040 markings, 309714000 edges, 226314 markings/sec, 300 secs
lola: 127750183 markings, 314084554 edges, 354629 markings/sec, 305 secs
lola: 128993265 markings, 317169482 edges, 248616 markings/sec, 310 secs
lola: 130431544 markings, 320707899 edges, 287656 markings/sec, 315 secs
lola: 131841380 markings, 324207294 edges, 281967 markings/sec, 320 secs
lola: 133269692 markings, 327720142 edges, 285662 markings/sec, 325 secs
lola: 134723208 markings, 331329586 edges, 290703 markings/sec, 330 secs
lola: 136039328 markings, 334562805 edges, 263224 markings/sec, 335 secs
lola: 137617315 markings, 338454773 edges, 315597 markings/sec, 340 secs
lola: 138887471 markings, 341599976 edges, 254031 markings/sec, 345 secs
lola: 140470016 markings, 345501743 edges, 316509 markings/sec, 350 secs
lola: 141767674 markings, 348716859 edges, 259532 markings/sec, 355 secs
lola: 143266605 markings, 352410945 edges, 299786 markings/sec, 360 secs
lola: 144576239 markings, 355655770 edges, 261927 markings/sec, 365 secs
lola: 146141229 markings, 359513325 edges, 312998 markings/sec, 370 secs
lola: 147012139 markings, 361670242 edges, 174182 markings/sec, 375 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X ((X (F ((F ((1 <= p5)) AND X ((1 <= p2))))) OR (1 <= p2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (F ((F ((1 <= p5)) AND X ((1 <= p2))))) OR (1 <= p2)))
lola: processed formula length: 60
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 4245825 markings, 6336730 edges, 849165 markings/sec, 0 secs
lola: 8009421 markings, 11982124 edges, 752719 markings/sec, 5 secs
lola: 11338427 markings, 16975633 edges, 665801 markings/sec, 10 secs
lola: 14482073 markings, 21691102 edges, 628729 markings/sec, 15 secs
lola: 17468943 markings, 26171406 edges, 597374 markings/sec, 20 secs
lola: 20361948 markings, 30510913 edges, 578601 markings/sec, 25 secs
lola: 23428513 markings, 35110762 edges, 613313 markings/sec, 30 secs
lola: 26299726 markings, 39417581 edges, 574243 markings/sec, 35 secs
lola: 29080815 markings, 43589214 edges, 556218 markings/sec, 40 secs
lola: 31806525 markings, 47677780 edges, 545142 markings/sec, 45 secs
lola: 34569225 markings, 51821830 edges, 552540 markings/sec, 50 secs
lola: 37283285 markings, 55892920 edges, 542812 markings/sec, 55 secs
lola: 39943602 markings, 59883395 edges, 532063 markings/sec, 60 secs
lola: 42511049 markings, 63734566 edges, 513489 markings/sec, 65 secs
lola: 45063745 markings, 67563610 edges, 510539 markings/sec, 70 secs
lola: 47597053 markings, 71363570 edges, 506662 markings/sec, 75 secs
lola: 50167287 markings, 75218923 edges, 514047 markings/sec, 80 secs
lola: 52705731 markings, 79026588 edges, 507689 markings/sec, 85 secs
lola: 55251450 markings, 82845166 edges, 509144 markings/sec, 90 secs
lola: 57789799 markings, 86652691 edges, 507670 markings/sec, 95 secs
lola: 60329152 markings, 90461720 edges, 507871 markings/sec, 100 secs
lola: 62845885 markings, 94236820 edges, 503347 markings/sec, 105 secs
lola: 65357279 markings, 98003911 edges, 502279 markings/sec, 110 secs
lola: 67831063 markings, 101714587 edges, 494757 markings/sec, 115 secs
lola: 70314544 markings, 105439808 edges, 496696 markings/sec, 120 secs
lola: 72831689 markings, 109215526 edges, 503429 markings/sec, 125 secs
lola: 75332136 markings, 112966195 edges, 500089 markings/sec, 130 secs
lola: 77831772 markings, 116715649 edges, 499927 markings/sec, 135 secs
lola: 80300821 markings, 120419223 edges, 493810 markings/sec, 140 secs
lola: 82775095 markings, 124130635 edges, 494855 markings/sec, 145 secs
lola: 85232605 markings, 127816900 edges, 491502 markings/sec, 150 secs
lola: 87713207 markings, 131537803 edges, 496120 markings/sec, 155 secs
lola: 90188837 markings, 135251248 edges, 495126 markings/sec, 160 secs
lola: 92653939 markings, 138948901 edges, 493020 markings/sec, 165 secs
lola: 95112119 markings, 142636169 edges, 491636 markings/sec, 170 secs
lola: 97566519 markings, 146317770 edges, 490880 markings/sec, 175 secs
lola: 99997159 markings, 149963731 edges, 486128 markings/sec, 180 secs
lola: 102416998 markings, 153593489 edges, 483968 markings/sec, 185 secs
lola: 104832783 markings, 157217167 edges, 483157 markings/sec, 190 secs
lola: 107257481 markings, 160854213 edges, 484940 markings/sec, 195 secs
lola: 109703157 markings, 164522728 edges, 489135 markings/sec, 200 secs
lola: 112130137 markings, 168163197 edges, 485396 markings/sec, 205 secs
lola: 114554831 markings, 171800239 edges, 484939 markings/sec, 210 secs
lola: 116992555 markings, 175456825 edges, 487545 markings/sec, 215 secs
lola: 119394957 markings, 179060427 edges, 480480 markings/sec, 220 secs
lola: 121765933 markings, 182617231 edges, 474195 markings/sec, 225 secs
lola: 123723341 markings, 185553461 edges, 391482 markings/sec, 230 secs
lola: 125908691 markings, 188831326 edges, 437070 markings/sec, 235 secs
lola: 128181769 markings, 192240646 edges, 454616 markings/sec, 240 secs
lola: 129409047 markings, 194081564 edges, 245456 markings/sec, 245 secs
lola: 131219103 markings, 196796648 edges, 362011 markings/sec, 250 secs
lola: 132786584 markings, 199147869 edges, 313496 markings/sec, 255 secs
lola: 134472599 markings, 201676891 edges, 337203 markings/sec, 260 secs
lola: 136075501 markings, 204081244 edges, 320580 markings/sec, 265 secs
lola: 137855479 markings, 206751211 edges, 355996 markings/sec, 270 secs
lola: 140051405 markings, 210045100 edges, 439185 markings/sec, 275 secs
lola: 141575719 markings, 212331571 edges, 304863 markings/sec, 280 secs
lola: 142385117 markings, 213545668 edges, 161880 markings/sec, 285 secs
lola: 144313618 markings, 216438419 edges, 385700 markings/sec, 290 secs
lola: 145574361 markings, 218329534 edges, 252149 markings/sec, 295 secs
lola: 147295376 markings, 220911056 edges, 344203 markings/sec, 300 secs
lola: 148719487 markings, 223047223 edges, 284822 markings/sec, 305 secs
lola: 150432862 markings, 225617285 edges, 342675 markings/sec, 310 secs
lola: 152101785 markings, 228120670 edges, 333785 markings/sec, 315 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (X (X (G ((F (((p16 <= 0) OR (p17 <= 0))) AND ((p16 <= 0) OR (p17 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (G ((F (((p16 <= 0) OR (p17 <= 0))) AND ((p16 <= 0) OR (p17 <= 0)))))))
lola: processed formula length: 81
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2162758 markings, 7394098 edges, 432552 markings/sec, 0 secs
lola: 3657063 markings, 14073253 edges, 298861 markings/sec, 5 secs
lola: 5132854 markings, 20752720 edges, 295158 markings/sec, 10 secs
lola: 6304619 markings, 26696509 edges, 234353 markings/sec, 15 secs
lola: 7377299 markings, 32338259 edges, 214536 markings/sec, 20 secs
lola: 8694633 markings, 38746293 edges, 263467 markings/sec, 25 secs
lola: 9828833 markings, 44589455 edges, 226840 markings/sec, 30 secs
lola: 11020634 markings, 50504256 edges, 238360 markings/sec, 35 secs
lola: 12112124 markings, 56064533 edges, 218298 markings/sec, 40 secs
lola: 13188907 markings, 61390584 edges, 215357 markings/sec, 45 secs
lola: 14232614 markings, 66694142 edges, 208741 markings/sec, 50 secs
lola: 15464745 markings, 72477698 edges, 246426 markings/sec, 55 secs
lola: 16711579 markings, 78588334 edges, 249367 markings/sec, 60 secs
lola: 17695118 markings, 84012809 edges, 196708 markings/sec, 65 secs
lola: 18634561 markings, 89114572 edges, 187889 markings/sec, 70 secs
lola: 19610332 markings, 94183905 edges, 195154 markings/sec, 75 secs
lola: 20851958 markings, 100356284 edges, 248325 markings/sec, 80 secs
lola: 22228101 markings, 106674316 edges, 275229 markings/sec, 85 secs
lola: 23363705 markings, 112382108 edges, 227121 markings/sec, 90 secs
lola: 24393607 markings, 117746931 edges, 205980 markings/sec, 95 secs
lola: 25528638 markings, 123504699 edges, 227006 markings/sec, 100 secs
lola: 26414988 markings, 128535266 edges, 177270 markings/sec, 105 secs
lola: 27301238 markings, 133623776 edges, 177250 markings/sec, 110 secs
lola: 28138587 markings, 138520685 edges, 167470 markings/sec, 115 secs
lola: 28969149 markings, 143476180 edges, 166112 markings/sec, 120 secs
lola: 29834424 markings, 148148736 edges, 173055 markings/sec, 125 secs
lola: 30610189 markings, 152651468 edges, 155153 markings/sec, 130 secs
lola: 31562455 markings, 157665758 edges, 190453 markings/sec, 135 secs
lola: 32526075 markings, 162910019 edges, 192724 markings/sec, 140 secs
lola: 33392659 markings, 168006188 edges, 173317 markings/sec, 145 secs
lola: 34193493 markings, 172890594 edges, 160167 markings/sec, 150 secs
lola: 34962222 markings, 177633273 edges, 153746 markings/sec, 155 secs
lola: 35713589 markings, 182198762 edges, 150273 markings/sec, 160 secs
lola: 36828632 markings, 188190949 edges, 223009 markings/sec, 165 secs
lola: 37840862 markings, 193806003 edges, 202446 markings/sec, 170 secs
lola: 39066655 markings, 199892896 edges, 245159 markings/sec, 175 secs
lola: 40200202 markings, 205601139 edges, 226709 markings/sec, 180 secs
lola: 41123824 markings, 210945254 edges, 184724 markings/sec, 185 secs
lola: 42045990 markings, 216367549 edges, 184433 markings/sec, 190 secs
lola: 42918769 markings, 221285367 edges, 174556 markings/sec, 195 secs
lola: 43948552 markings, 226678076 edges, 205957 markings/sec, 200 secs
lola: 44823277 markings, 231768713 edges, 174945 markings/sec, 205 secs
lola: 45602331 markings, 236560365 edges, 155811 markings/sec, 210 secs
lola: 46537621 markings, 241774582 edges, 187058 markings/sec, 215 secs
lola: 47621084 markings, 247498093 edges, 216693 markings/sec, 220 secs
lola: 48585395 markings, 252771693 edges, 192862 markings/sec, 225 secs
lola: 49406006 markings, 257701285 edges, 164122 markings/sec, 230 secs
lola: 50327314 markings, 262414177 edges, 184262 markings/sec, 235 secs
lola: 51053722 markings, 267047120 edges, 145282 markings/sec, 240 secs
lola: 52041586 markings, 272446294 edges, 197573 markings/sec, 245 secs
lola: 52754547 markings, 277517855 edges, 142592 markings/sec, 250 secs
lola: 53578363 markings, 282482007 edges, 164763 markings/sec, 255 secs
lola: 54498063 markings, 286853409 edges, 183940 markings/sec, 260 secs
lola: 55450330 markings, 291614034 edges, 190453 markings/sec, 265 secs
lola: 56380711 markings, 296425252 edges, 186076 markings/sec, 270 secs
lola: 57368193 markings, 301339750 edges, 197496 markings/sec, 275 secs
lola: 58167022 markings, 305783481 edges, 159766 markings/sec, 280 secs
lola: 58995860 markings, 310456533 edges, 165768 markings/sec, 285 secs
lola: 59737924 markings, 314876332 edges, 148413 markings/sec, 290 secs
lola: 60674813 markings, 319841502 edges, 187378 markings/sec, 295 secs
lola: 61551538 markings, 324522803 edges, 175345 markings/sec, 300 secs
lola: 62419625 markings, 329384171 edges, 173617 markings/sec, 305 secs
lola: 63156539 markings, 333900453 edges, 147383 markings/sec, 310 secs
lola: 64074064 markings, 338759797 edges, 183505 markings/sec, 315 secs
lola: 64867042 markings, 343295948 edges, 158596 markings/sec, 320 secs
lola: 65682172 markings, 347692039 edges, 163026 markings/sec, 325 secs
lola: 66405776 markings, 352580859 edges, 144721 markings/sec, 330 secs
lola: 67295365 markings, 357444305 edges, 177918 markings/sec, 335 secs
lola: 68706763 markings, 363079460 edges, 282280 markings/sec, 340 secs
lola: 69894644 markings, 368925981 edges, 237576 markings/sec, 345 secs
lola: 70848318 markings, 374196537 edges, 190735 markings/sec, 350 secs
lola: 71786909 markings, 379373957 edges, 187718 markings/sec, 355 secs
lola: 72777961 markings, 384531864 edges, 198210 markings/sec, 360 secs
lola: 73730805 markings, 389973296 edges, 190569 markings/sec, 365 secs
lola: 74716425 markings, 395278339 edges, 197124 markings/sec, 370 secs
lola: 75743354 markings, 400748781 edges, 205386 markings/sec, 375 secs
lola: 76518674 markings, 405675859 edges, 155064 markings/sec, 380 secs
lola: 77293187 markings, 410321516 edges, 154903 markings/sec, 385 secs
lola: 78145218 markings, 415402051 edges, 170406 markings/sec, 390 secs
lola: 79031472 markings, 420523622 edges, 177251 markings/sec, 395 secs
lola: 79731591 markings, 425095385 edges, 140024 markings/sec, 400 secs
lola: 80536157 markings, 429721199 edges, 160913 markings/sec, 405 secs
lola: 81168406 markings, 434392647 edges, 126450 markings/sec, 410 secs
lola: 82028178 markings, 439101958 edges, 171954 markings/sec, 415 secs
lola: 82969463 markings, 444043249 edges, 188257 markings/sec, 420 secs
lola: 83732901 markings, 448598488 edges, 152688 markings/sec, 425 secs
lola: 84491699 markings, 453104274 edges, 151760 markings/sec, 430 secs
lola: 85197753 markings, 457493597 edges, 141211 markings/sec, 435 secs
lola: 86054463 markings, 462222244 edges, 171342 markings/sec, 440 secs
lola: 87395467 markings, 468690386 edges, 268201 markings/sec, 445 secs
lola: 88578018 markings, 474662015 edges, 236510 markings/sec, 450 secs
lola: 89564455 markings, 480204325 edges, 197287 markings/sec, 455 secs
lola: 90507840 markings, 485585475 edges, 188677 markings/sec, 460 secs
lola: 91422770 markings, 490672652 edges, 182986 markings/sec, 465 secs
lola: 92220068 markings, 495401063 edges, 159460 markings/sec, 470 secs
lola: 93534553 markings, 501627417 edges, 262897 markings/sec, 475 secs
lola: 94806878 markings, 507786628 edges, 254465 markings/sec, 480 secs
lola: 96036048 markings, 513818842 edges, 245834 markings/sec, 485 secs
lola: 97092293 markings, 519308269 edges, 211249 markings/sec, 490 secs
lola: 98212323 markings, 524997034 edges, 224006 markings/sec, 495 secs
lola: 99146168 markings, 530237294 edges, 186769 markings/sec, 500 secs
lola: 100048323 markings, 535427648 edges, 180431 markings/sec, 505 secs
lola: 100876079 markings, 540255644 edges, 165551 markings/sec, 510 secs
lola: 101676580 markings, 545208698 edges, 160100 markings/sec, 515 secs
lola: 102585858 markings, 550028915 edges, 181856 markings/sec, 520 secs
lola: 103388591 markings, 554566759 edges, 160547 markings/sec, 525 secs
lola: 104245099 markings, 559208149 edges, 171302 markings/sec, 530 secs
lola: 105259721 markings, 564605061 edges, 202924 markings/sec, 535 secs
lola: 106146437 markings, 569753495 edges, 177343 markings/sec, 540 secs
lola: 106919391 markings, 574464364 edges, 154591 markings/sec, 545 secs
lola: 107653206 markings, 579031661 edges, 146763 markings/sec, 550 secs
lola: 108331631 markings, 583344259 edges, 135685 markings/sec, 555 secs
lola: 109369892 markings, 588791476 edges, 207652 markings/sec, 560 secs
lola: 110207719 markings, 593757164 edges, 167565 markings/sec, 565 secs
lola: 111373296 markings, 599663513 edges, 233115 markings/sec, 570 secs
lola: 112263919 markings, 604734461 edges, 178125 markings/sec, 575 secs
lola: 113137313 markings, 609834325 edges, 174679 markings/sec, 580 secs
lola: 113616835 markings, 612976305 edges, 95904 markings/sec, 585 secs
lola: 114235733 markings, 617537007 edges, 123780 markings/sec, 590 secs
lola: 114939880 markings, 621778376 edges, 140829 markings/sec, 595 secs
lola: 115642347 markings, 626056669 edges, 140493 markings/sec, 600 secs
lola: 116386338 markings, 630479139 edges, 148798 markings/sec, 605 secs
lola: 117066712 markings, 634625553 edges, 136075 markings/sec, 610 secs
lola: 117658525 markings, 638542653 edges, 118363 markings/sec, 615 secs
lola: 118151750 markings, 642015076 edges, 98645 markings/sec, 620 secs
lola: 118749828 markings, 646075476 edges, 119616 markings/sec, 625 secs
lola: 119575305 markings, 651046157 edges, 165095 markings/sec, 630 secs
lola: 120425446 markings, 655909675 edges, 170028 markings/sec, 635 secs
lola: 121004922 markings, 659416299 edges, 115895 markings/sec, 640 secs
lola: 121644307 markings, 663908767 edges, 127877 markings/sec, 645 secs
lola: 122296988 markings, 668224192 edges, 130536 markings/sec, 650 secs
lola: 123080712 markings, 672409450 edges, 156745 markings/sec, 655 secs
lola: 123504924 markings, 675534702 edges, 84842 markings/sec, 660 secs
lola: 124198054 markings, 679809335 edges, 138626 markings/sec, 665 secs
lola: 124834285 markings, 683932377 edges, 127246 markings/sec, 670 secs
lola: 125408980 markings, 688570630 edges, 114939 markings/sec, 675 secs
lola: 125891581 markings, 692631843 edges, 96520 markings/sec, 680 secs
lola: 126714646 markings, 697162116 edges, 164613 markings/sec, 685 secs
lola: 127447735 markings, 701300001 edges, 146618 markings/sec, 690 secs
lola: 128202822 markings, 705451450 edges, 151017 markings/sec, 695 secs
lola: 128740271 markings, 708662520 edges, 107490 markings/sec, 700 secs
lola: 129394837 markings, 712424993 edges, 130913 markings/sec, 705 secs
lola: 130200532 markings, 716877837 edges, 161139 markings/sec, 710 secs
lola: 130864941 markings, 720929297 edges, 132882 markings/sec, 715 secs
lola: 131474436 markings, 725012966 edges, 121899 markings/sec, 720 secs
lola: 132163263 markings, 729085880 edges, 137765 markings/sec, 725 secs
lola: 132781773 markings, 733098262 edges, 123702 markings/sec, 730 secs
lola: 133506872 markings, 737381982 edges, 145020 markings/sec, 735 secs
lola: 134140659 markings, 741583382 edges, 126757 markings/sec, 740 secs
lola: 134776424 markings, 745527816 edges, 127153 markings/sec, 745 secs
lola: 135435641 markings, 749854843 edges, 131843 markings/sec, 750 secs
lola: 135922751 markings, 754284371 edges, 97422 markings/sec, 755 secs
lola: 136880821 markings, 758813352 edges, 191614 markings/sec, 760 secs
lola: 137768817 markings, 762683358 edges, 177599 markings/sec, 765 secs
lola: 137838563 markings, 763070637 edges, 13949 markings/sec, 770 secs
lola: 138288650 markings, 765599084 edges, 90017 markings/sec, 775 secs
lola: 138440636 markings, 766383670 edges, 30397 markings/sec, 780 secs
lola: 138440995 markings, 766386520 edges, 72 markings/sec, 785 secs
lola: 138441059 markings, 766387073 edges, 13 markings/sec, 790 secs
lola: 138444179 markings, 766408604 edges, 624 markings/sec, 795 secs
lola: 138444325 markings, 766409203 edges, 29 markings/sec, 800 secs
lola: 138813184 markings, 768505863 edges, 73772 markings/sec, 805 secs
lola: 138987387 markings, 769435595 edges, 34841 markings/sec, 810 secs
lola: 138987420 markings, 769435850 edges, 7 markings/sec, 815 secs
lola: 138994936 markings, 769484240 edges, 1503 markings/sec, 820 secs
lola: 139081259 markings, 769970975 edges, 17265 markings/sec, 825 secs
lola: 139350347 markings, 771624200 edges, 53818 markings/sec, 830 secs
lola: 139966426 markings, 775410105 edges, 123216 markings/sec, 835 secs
lola: 140129451 markings, 776379332 edges, 32605 markings/sec, 840 secs
lola: 140452372 markings, 778680622 edges, 64584 markings/sec, 845 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (G (((G (F ((1 <= p2))) OR F ((1 <= p18))) AND ((1 <= p3) AND (1 <= p7)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((G (F ((1 <= p2))) OR F ((1 <= p18))) AND ((1 <= p3) AND (1 <= p7)))))
lola: processed formula length: 77
lola: 86 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 5017654 markings, 7639413 edges, 1003531 markings/sec, 0 secs
lola: 9707160 markings, 14765669 edges, 937901 markings/sec, 5 secs
lola: 14318266 markings, 21683398 edges, 922221 markings/sec, 10 secs
lola: 18770052 markings, 28431712 edges, 890357 markings/sec, 15 secs
lola: 23168124 markings, 35005350 edges, 879614 markings/sec, 20 secs
lola: 27362178 markings, 41345904 edges, 838811 markings/sec, 25 secs
lola: 31428594 markings, 47484420 edges, 813283 markings/sec, 30 secs
lola: 35425713 markings, 53507601 edges, 799424 markings/sec, 35 secs
lola: 39377908 markings, 59456069 edges, 790439 markings/sec, 40 secs
lola: 43314051 markings, 65379417 edges, 787229 markings/sec, 45 secs
lola: 47206393 markings, 71271243 edges, 778468 markings/sec, 50 secs
lola: 51071804 markings, 77142929 edges, 773082 markings/sec, 55 secs
lola: 54940748 markings, 82969203 edges, 773789 markings/sec, 60 secs
lola: 58751466 markings, 88698586 edges, 762144 markings/sec, 65 secs
lola: 62559789 markings, 94424128 edges, 761665 markings/sec, 70 secs
lola: 66327292 markings, 100098053 edges, 753501 markings/sec, 75 secs
lola: 70056461 markings, 105771297 edges, 745834 markings/sec, 80 secs
lola: 73823916 markings, 111429161 edges, 753491 markings/sec, 85 secs
lola: 77569943 markings, 117051461 edges, 749205 markings/sec, 90 secs
lola: 81281213 markings, 122664553 edges, 742254 markings/sec, 95 secs
lola: 84987950 markings, 128268603 edges, 741347 markings/sec, 100 secs
lola: 88707422 markings, 133855337 edges, 743894 markings/sec, 105 secs
lola: 92385987 markings, 139396501 edges, 735713 markings/sec, 110 secs
lola: 96050143 markings, 144955447 edges, 732831 markings/sec, 115 secs
lola: 99750749 markings, 150504464 edges, 740121 markings/sec, 120 secs
lola: 103408562 markings, 156017521 edges, 731563 markings/sec, 125 secs
lola: 107060672 markings, 161557395 edges, 730422 markings/sec, 130 secs
lola: 110736669 markings, 167075719 edges, 735199 markings/sec, 135 secs
lola: 114385572 markings, 172576455 edges, 729781 markings/sec, 140 secs
lola: 118022212 markings, 178078905 edges, 727328 markings/sec, 145 secs
lola: 121676355 markings, 183565665 edges, 730829 markings/sec, 150 secs
lola: 125045957 markings, 188674464 edges, 673920 markings/sec, 155 secs
lola: 126208134 markings, 190451795 edges, 232435 markings/sec, 160 secs
lola: 128856044 markings, 194404649 edges, 529582 markings/sec, 165 secs
lola: 130143232 markings, 196375378 edges, 257438 markings/sec, 170 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown unknown no no unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown no unknown unknown unknown no no unknown no no
lola:
preliminary result: unknown no unknown no unknown unknown unknown no no unknown no no
lola: memory consumption: 140 KB
lola: time consumption: 3571 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="HouseConstruction-PT-16000"
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 HouseConstruction-PT-16000, 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-162075428200118"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HouseConstruction-PT-16000.tgz
mv HouseConstruction-PT-16000 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 ;