About the Execution of 2020-gold for Dekker-PT-100
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16255.247 | 3600000.00 | 3598898.00 | 31771.30 | F???T?F?FF?FF?FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r075-tall-162039097600394.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 Dekker-PT-100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-tall-162039097600394
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.3M
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 120K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 17K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 103K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 26 07:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 26 07:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 26 07:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 26 07:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 23 10:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 10:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 22 17:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 22 17:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 5.9M 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 Dekker-PT-100-00
FORMULA_NAME Dekker-PT-100-01
FORMULA_NAME Dekker-PT-100-02
FORMULA_NAME Dekker-PT-100-03
FORMULA_NAME Dekker-PT-100-04
FORMULA_NAME Dekker-PT-100-05
FORMULA_NAME Dekker-PT-100-06
FORMULA_NAME Dekker-PT-100-07
FORMULA_NAME Dekker-PT-100-08
FORMULA_NAME Dekker-PT-100-09
FORMULA_NAME Dekker-PT-100-10
FORMULA_NAME Dekker-PT-100-11
FORMULA_NAME Dekker-PT-100-12
FORMULA_NAME Dekker-PT-100-13
FORMULA_NAME Dekker-PT-100-14
FORMULA_NAME Dekker-PT-100-15
=== Now, execution of the tool begins
BK_START 1620578033122
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-09 16:33:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-09 16:33:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 16:33:55] [INFO ] Load time of PNML (sax parser for PT used): 407 ms
[2021-05-09 16:33:55] [INFO ] Transformed 500 places.
[2021-05-09 16:33:55] [INFO ] Transformed 10200 transitions.
[2021-05-09 16:33:55] [INFO ] Found NUPN structural information;
[2021-05-09 16:33:55] [INFO ] Parsed PT model containing 500 places and 10200 transitions in 504 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 89 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 2056 ms. (steps per millisecond=48 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
[2021-05-09 16:33:57] [INFO ] Flow matrix only has 400 transitions (discarded 9800 similar events)
// Phase 1: matrix 400 rows 500 cols
[2021-05-09 16:33:57] [INFO ] Computed 300 place invariants in 27 ms
[2021-05-09 16:33:57] [INFO ] [Real]Absence check using 200 positive place invariants in 81 ms returned sat
[2021-05-09 16:33:57] [INFO ] [Real]Absence check using 200 positive and 100 generalized place invariants in 46 ms returned sat
[2021-05-09 16:33:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 16:33:58] [INFO ] [Real]Absence check using state equation in 545 ms returned sat
[2021-05-09 16:33:58] [INFO ] State equation strengthened by 100 read => feed constraints.
[2021-05-09 16:33:58] [INFO ] [Real]Added 100 Read/Feed constraints in 42 ms returned sat
[2021-05-09 16:33:58] [INFO ] Deduced a trap composed of 4 places in 345 ms
[2021-05-09 16:33:58] [INFO ] Deduced a trap composed of 4 places in 121 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 4 places in 112 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 6 places in 94 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 4 places in 87 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 4 places in 75 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 6 places in 71 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 5 places in 66 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 6 places in 57 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 6 places in 58 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 4 places in 57 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 6 places in 63 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 4 places in 55 ms
[2021-05-09 16:33:59] [INFO ] Deduced a trap composed of 5 places in 68 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 6 places in 60 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 6 places in 84 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 4 places in 55 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 6 places in 48 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 5 places in 41 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 5 places in 64 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 6 places in 58 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 4 places in 53 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 6 places in 48 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 5 places in 41 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 4 places in 35 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 4 places in 50 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 6 places in 48 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 5 places in 40 ms
[2021-05-09 16:34:00] [INFO ] Deduced a trap composed of 4 places in 36 ms
[2021-05-09 16:34:01] [INFO ] Deduced a trap composed of 4 places in 37 ms
[2021-05-09 16:34:01] [INFO ] Deduced a trap composed of 4 places in 31 ms
[2021-05-09 16:34:01] [INFO ] Trap strengthening (SAT) tested/added 32/31 trap constraints in 2774 ms
[2021-05-09 16:34:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 16:34:01] [INFO ] [Nat]Absence check using 200 positive place invariants in 75 ms returned sat
[2021-05-09 16:34:01] [INFO ] [Nat]Absence check using 200 positive and 100 generalized place invariants in 40 ms returned sat
[2021-05-09 16:34:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 16:34:01] [INFO ] [Nat]Absence check using state equation in 551 ms returned sat
[2021-05-09 16:34:01] [INFO ] [Nat]Added 100 Read/Feed constraints in 31 ms returned sat
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 4 places in 100 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 4 places in 94 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 4 places in 95 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 6 places in 82 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 4 places in 80 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 4 places in 73 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 6 places in 71 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 5 places in 63 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 6 places in 57 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 6 places in 58 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 4 places in 51 ms
[2021-05-09 16:34:02] [INFO ] Deduced a trap composed of 6 places in 57 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 4 places in 52 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 5 places in 63 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 6 places in 58 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 6 places in 58 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 4 places in 52 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 6 places in 47 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 5 places in 43 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 5 places in 64 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 6 places in 58 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 4 places in 53 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 6 places in 46 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 5 places in 41 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 6 places in 59 ms
[2021-05-09 16:34:03] [INFO ] Deduced a trap composed of 4 places in 51 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 6 places in 45 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 5 places in 42 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 6 places in 47 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 5 places in 40 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 5 places in 43 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 4 places in 36 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 6 places in 57 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 4 places in 54 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 6 places in 45 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 5 places in 41 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 4 places in 53 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 6 places in 46 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 5 places in 41 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 6 places in 52 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 5 places in 42 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 4 places in 37 ms
[2021-05-09 16:34:04] [INFO ] Deduced a trap composed of 5 places in 43 ms
[2021-05-09 16:34:05] [INFO ] Deduced a trap composed of 4 places in 35 ms
[2021-05-09 16:34:05] [INFO ] Deduced a trap composed of 4 places in 29 ms
[2021-05-09 16:34:05] [INFO ] Trap strengthening (SAT) tested/added 46/45 trap constraints in 3193 ms
[2021-05-09 16:34:05] [INFO ] Computed and/alt/rep : 10100/30000/300 causal constraints in 202 ms.
[2021-05-09 16:34:06] [INFO ] Added : 101 causal constraints over 21 iterations in 1772 ms. Result :sat
[2021-05-09 16:34:07] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-05-09 16:34:07] [INFO ] Flatten gal took : 815 ms
FORMULA Dekker-PT-100-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Dekker-PT-100-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-09 16:34:07] [INFO ] Applying decomposition
[2021-05-09 16:34:08] [INFO ] Flatten gal took : 589 ms
[2021-05-09 16:34:08] [INFO ] Decomposing Gal with order
[2021-05-09 16:34:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 16:34:10] [INFO ] Removed a total of 39300 redundant transitions.
[2021-05-09 16:34:10] [INFO ] Flatten gal took : 1056 ms
[2021-05-09 16:34:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 275 ms.
[2021-05-09 16:34:10] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-09 16:34:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 103 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Dekker-PT-100 @ 3570 seconds
FORMULA Dekker-PT-100-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Dekker-PT-100
{
"exit":
{
"memory": 5600,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown no unknown no no unknown no no unknown no no "
},
"task":
{
"compoundnumber": 14
}
}
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: 10700/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 500
lola: finding significant places
lola: 500 places, 10200 transitions, 200 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p351 <= 1)
lola: LP says that atomic proposition is always true: (p43 <= 1)
lola: LP says that atomic proposition is always true: (p77 <= 1)
lola: LP says that atomic proposition is always true: (p264 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p139 <= 1)
lola: LP says that atomic proposition is always true: (p267 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p351 <= 1)
lola: LP says that atomic proposition is always true: (p29 <= 1)
lola: LP says that atomic proposition is always true: (p103 <= 1)
lola: LP says that atomic proposition is always true: (p354 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p225 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p105 <= 1)
lola: LP says that atomic proposition is always true: (p357 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p105 <= 1)
lola: LP says that atomic proposition is always true: (p357 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p117 <= 1)
lola: LP says that atomic proposition is always true: (p342 <= 1)
lola: LP says that atomic proposition is always true: (p135 <= 1)
lola: LP says that atomic proposition is always true: (p165 <= 1)
lola: LP says that atomic proposition is always true: (p402 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p351 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p351 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p339 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p89 <= 1)
lola: LP says that atomic proposition is always true: (p333 <= 1)
lola: LP says that atomic proposition is always true: (p129 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p393 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p197 <= 1)
lola: LP says that atomic proposition is always true: (p441 <= 1)
lola: LP says that atomic proposition is always true: (p3 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p381 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p213 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p195 <= 1)
lola: LP says that atomic proposition is always true: (p492 <= 1)
lola: LP says that atomic proposition is always true: (p137 <= 1)
lola: LP says that atomic proposition is always true: (p189 <= 1)
lola: LP says that atomic proposition is always true: (p405 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p195 <= 1)
lola: LP says that atomic proposition is always true: (p492 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p486 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p486 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p193 <= 1)
lola: LP says that atomic proposition is always true: (p489 <= 1)
lola: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p171 <= 1)
lola: LP says that atomic proposition is always true: (p276 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p486 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p486 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p193 <= 1)
lola: LP says that atomic proposition is always true: (p489 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p201 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p169 <= 1)
lola: LP says that atomic proposition is always true: (p453 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p201 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p207 <= 1)
lola: LP says that atomic proposition is always true: (p41 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p261 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p197 <= 1)
lola: LP says that atomic proposition is always true: (p201 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p197 <= 1)
lola: LP says that atomic proposition is always true: (p201 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p129 <= 1)
lola: LP says that atomic proposition is always true: (p207 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p181 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p169 <= 1)
lola: LP says that atomic proposition is always true: (p453 <= 1)
lola: LP says that atomic proposition is always true: (p149 <= 1)
lola: LP says that atomic proposition is always true: (p424 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p141 <= 1)
lola: LP says that atomic proposition is always true: (p411 <= 1)
lola: LP says that atomic proposition is always true: (p149 <= 1)
lola: LP says that atomic proposition is always true: (p167 <= 1)
lola: LP says that atomic proposition is always true: (p450 <= 1)
lola: LP says that atomic proposition is always true: (p169 <= 1)
lola: LP says that atomic proposition is always true: (p195 <= 1)
lola: LP says that atomic proposition is always true: (p453 <= 1)
lola: LP says that atomic proposition is always true: (p137 <= 1)
lola: LP says that atomic proposition is always true: (p181 <= 1)
lola: LP says that atomic proposition is always true: (p405 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p285 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p147 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p222 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p222 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p167 <= 1)
lola: LP says that atomic proposition is always true: (p450 <= 1)
lola: LP says that atomic proposition is always true: (p127 <= 1)
lola: LP says that atomic proposition is always true: (p139 <= 1)
lola: LP says that atomic proposition is always true: (p408 <= 1)
lola: ((((1 <= p7) AND (1 <= p101) AND (1 <= p351)) U X (X ((((1 <= p43) AND (1 <= p77) AND (1 <= p264)) U ((1 <= p45) AND (1 <= p139) AND (1 <= p267)))))) U NOT(F (NOT((((1 <= p7) AND (1 <= p101) AND (1 <= p351)) U ((p29 <= 0) OR (p103 <= 0) OR (p354 <= 0))))))) : NOT((NOT(F (((1 <= p17) AND (1 <= p33) AND (1 <= p225)))) U (X (((1 <= p33) AND (1 <= p105) AND (1 <= p357))) U ((1 <= p33) AND (1 <= p105) AND (1 <= p357))))) : G (((X (X (((1 <= p95) AND (1 <= p117) AND (1 <= p342)))) U (((1 <= p135) AND (1 <= p165) AND (1 <= p402)) U ((1 <= p33) AND (1 <= p101) AND (1 <= p351)))) U ((p33 <= 0) OR (p101 <= 0) OR (p351 <= 0)))) : F (G ((((p1 <= 0) OR (p93 <= 0) OR (p339 <= 0)) U (((p71 <= 0) OR (p89 <= 0) OR (p333 <= 0)) AND ((p129 <= 0) OR (p161 <= 0) OR (p393 <= 0)))))) : NOT(X (F (((p161 <= 0) OR (p197 <= 0) OR (p441 <= 0))))) : X (F ((NOT(G (X (X ((F (((1 <= p3) AND (1 <= p45) AND (1 <= p204))) OR ((1 <= p93) AND (1 <= p121) AND (1 <= p381))))))) AND X (((1 <= p9) AND (1 <= p63) AND (1 <= p213)))))) : G (((((G (X (((1 <= p111) AND (1 <= p195) AND (1 <= p492)))) OR ((p137 <= 0))) OR ((p189 <= 0))) OR ((p405 <= 0))) OR ((1 <= p111) AND (1 <= p195) AND (1 <= p492)))) : (X ((((((((((1 <= p57) AND (1 <= p191) AND (1 <= p486)) U (((1 <= p57) AND (1 <= p191) AND (1 <= p486)) U ((1 <= p67) AND (1 <= p193) AND (1 <= p489)))) AND ((1 <= p51))) AND ((1 <= p171))) AND ((1 <= p276))) AND ((1 <= p57))) AND ((1 <= p191))) AND ((1 <= p486)))) OR (((1 <= p57) AND (1 <= p191) AND (1 <= p486)) U F (((1 <= p67) AND (1 <= p193) AND (1 <= p489))))) : F (NOT((((p1 <= 0) OR (p97 <= 0) OR (p201 <= 0)) U (((1 <= p111) AND (1 <= p169) AND (1 <= p453)) OR ((1 <= p1) AND (1 <= p97) AND (1 <= p201)))))) : X (((F (NOT(X (((1 <= p5) AND (1 <= p7) AND (1 <= p207))))) OR (((1 <= p41) AND (1 <= p143) AND (1 <= p261)) U ((1 <= p1) AND (1 <= p197) AND (1 <= p201)))) OR ((1 <= p1) AND (1 <= p197) AND (1 <= p201)))) : X (((((F (((1 <= p5) AND (1 <= p129) AND (1 <= p207))) AND NOT(X (((1 <= p177) AND (1 <= p181) AND (1 <= p465))))) AND ((1 <= p27))) AND ((1 <= p169))) AND ((1 <= p453)))) : G (X ((NOT(X (F (((((1 <= p149) AND (1 <= p424)) U ((1 <= p131) AND (1 <= p141) AND (1 <= p411))) AND X (((1 <= p149) AND (1 <= p167) AND (1 <= p450))))))) AND NOT(F (((1 <= p169) AND (1 <= p195) AND (1 <= p453))))))) : X (G ((G (((1 <= p137) AND (1 <= p181) AND (1 <= p405))) AND (((F (X (G (((1 <= p57) AND (1 <= p75) AND (1 <= p285))))) OR ((p47 <= 0))) OR ((p147 <= 0))) OR ((p420 <= 0)))))) : G (((X (G (((1 <= p15) AND (1 <= p59) AND (1 <= p222)))) OR ((1 <= p15) AND (1 <= p59) AND (1 <= p222))) U (((p143 <= 0) OR (p167 <= 0) OR (p450 <= 0)) U ((1 <= p127) AND (1 <= p139) AND (1 <= p408)))))
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:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p7) AND (1 <= p101) AND (1 <= p351)) U X (X ((((1 <= p43) AND (1 <= p77) AND (1 <= p264)) U ((1 <= p45) AND (1 <= p139) AND (1 <= p267)))))) U G ((F (((p29 <= 0) OR (p103 <= 0) OR (p354 <= 0))) AND (((1 <= p7) AND (1 <= p101) AND (1 <= p351)) OR ((p29 <= 0) OR (p103 <= 0) OR (p354 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p7) AND (1 <= p101) AND (1 <= p351)) U X (X ((((1 <= p43) AND (1 <= p77) AND (1 <= p264)) U ((1 <= p45) AND (1 <= p139) AND (1 <= p267)))))) U G ((F (((p29 <= 0) OR (p103 <= 0) OR (p354 <= 0))) AND (((1 <= p7) AND (1 <= p101) AND (1 <= p351)) OR ((p29 <= 0) OR (p103 <= 0) OR (p354 <= 0))))))
lola: processed formula length: 305
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 21 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: 274140 markings, 1070532 edges, 54828 markings/sec, 0 secs
lola: 534459 markings, 2191435 edges, 52064 markings/sec, 5 secs
lola: 779710 markings, 3364597 edges, 49050 markings/sec, 10 secs
lola: 1040323 markings, 4486417 edges, 52123 markings/sec, 15 secs
lola: 1289222 markings, 5628306 edges, 49780 markings/sec, 20 secs
lola: 1522007 markings, 6821504 edges, 46557 markings/sec, 25 secs
lola: 1769279 markings, 7975472 edges, 49454 markings/sec, 30 secs
lola: 2025967 markings, 9090992 edges, 51338 markings/sec, 35 secs
lola: 2292275 markings, 10158536 edges, 53262 markings/sec, 40 secs
lola: 2540329 markings, 11277716 edges, 49611 markings/sec, 45 secs
lola: 2780929 markings, 12423121 edges, 48120 markings/sec, 50 secs
lola: 3019645 markings, 13570524 edges, 47743 markings/sec, 55 secs
lola: 3276875 markings, 14659655 edges, 51446 markings/sec, 60 secs
lola: 3516385 markings, 15805846 edges, 47902 markings/sec, 65 secs
lola: 3771813 markings, 16900474 edges, 51086 markings/sec, 70 secs
lola: 4027289 markings, 17995087 edges, 51095 markings/sec, 75 secs
lola: 4289046 markings, 19074848 edges, 52351 markings/sec, 80 secs
lola: 4518481 markings, 20269453 edges, 45887 markings/sec, 85 secs
lola: 4753928 markings, 21440701 edges, 47089 markings/sec, 90 secs
lola: 4990228 markings, 22596445 edges, 47260 markings/sec, 95 secs
lola: 5244369 markings, 23689350 edges, 50828 markings/sec, 100 secs
lola: 5485350 markings, 24801060 edges, 48196 markings/sec, 105 secs
lola: 5713486 markings, 25957565 edges, 45627 markings/sec, 110 secs
lola: 5934930 markings, 27146406 edges, 44289 markings/sec, 115 secs
lola: 6157787 markings, 28328486 edges, 44571 markings/sec, 120 secs
lola: 6389455 markings, 29505580 edges, 46334 markings/sec, 125 secs
lola: 6599694 markings, 30764031 edges, 42048 markings/sec, 130 secs
lola: 6810342 markings, 32010166 edges, 42130 markings/sec, 135 secs
lola: 7026478 markings, 33232759 edges, 43227 markings/sec, 140 secs
lola: 7253784 markings, 34418763 edges, 45461 markings/sec, 145 secs
lola: 7490059 markings, 35575647 edges, 47255 markings/sec, 150 secs
lola: 7711460 markings, 36784148 edges, 44280 markings/sec, 155 secs
lola: 7934905 markings, 37991029 edges, 44689 markings/sec, 160 secs
lola: 8144695 markings, 39244717 edges, 41958 markings/sec, 165 secs
lola: 8373258 markings, 40439968 edges, 45713 markings/sec, 170 secs
lola: 8620732 markings, 41596315 edges, 49495 markings/sec, 175 secs
lola: 8853899 markings, 42802690 edges, 46633 markings/sec, 180 secs
lola: 9099376 markings, 43957248 edges, 49095 markings/sec, 185 secs
lola: 9352539 markings, 45079484 edges, 50633 markings/sec, 190 secs
lola: 9607069 markings, 46174996 edges, 50906 markings/sec, 195 secs
lola: 9840462 markings, 47332099 edges, 46679 markings/sec, 200 secs
lola: 10075093 markings, 48498795 edges, 46926 markings/sec, 205 secs
lola: 10300292 markings, 49694221 edges, 45040 markings/sec, 210 secs
lola: 10541258 markings, 50852064 edges, 48193 markings/sec, 215 secs
lola: 10761166 markings, 52094580 edges, 43982 markings/sec, 220 secs
lola: 10977477 markings, 53345560 edges, 43262 markings/sec, 225 secs
lola: 11202660 markings, 54558883 edges, 45037 markings/sec, 230 secs
lola: 11433630 markings, 55752800 edges, 46194 markings/sec, 235 secs
lola: 11678914 markings, 56904587 edges, 49057 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 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 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (((p33 <= 0) OR (p105 <= 0) OR (p357 <= 0))) R ((p33 <= 0) OR (p105 <= 0) OR (p357 <= 0))) AND (F (((1 <= p17) AND (1 <= p33) AND (1 <= p225))) OR G (((p33 <= 0) OR (p105 <= 0) OR (p357 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p33 <= 0) OR (p105 <= 0) OR (p357 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p33 <= 0) OR (p105 <= 0) OR (p357 <= 0)))
lola: processed formula length: 48
lola: 99 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: 4529 markings, 14723 edges, 906 markings/sec, 0 secs
lola: 8660 markings, 28318 edges, 826 markings/sec, 5 secs
lola: 12573 markings, 42459 edges, 783 markings/sec, 10 secs
lola: 16543 markings, 57688 edges, 794 markings/sec, 15 secs
lola: 20254 markings, 72779 edges, 742 markings/sec, 20 secs
lola: 23506 markings, 86182 edges, 650 markings/sec, 25 secs
lola: 26962 markings, 99816 edges, 691 markings/sec, 30 secs
lola: 31157 markings, 114354 edges, 839 markings/sec, 35 secs
lola: 34931 markings, 128624 edges, 755 markings/sec, 40 secs
lola: 38227 markings, 141385 edges, 659 markings/sec, 45 secs
lola: 41099 markings, 153011 edges, 574 markings/sec, 50 secs
lola: 44192 markings, 165045 edges, 619 markings/sec, 55 secs
lola: 47262 markings, 177728 edges, 614 markings/sec, 60 secs
lola: 50790 markings, 191035 edges, 706 markings/sec, 65 secs
lola: 54207 markings, 203203 edges, 683 markings/sec, 70 secs
lola: 57602 markings, 215642 edges, 679 markings/sec, 75 secs
lola: 61781 markings, 229382 edges, 836 markings/sec, 80 secs
lola: 65570 markings, 243287 edges, 758 markings/sec, 85 secs
lola: 69318 markings, 255726 edges, 750 markings/sec, 90 secs
lola: 72233 markings, 266985 edges, 583 markings/sec, 95 secs
lola: 75324 markings, 278249 edges, 618 markings/sec, 100 secs
lola: 78650 markings, 290798 edges, 665 markings/sec, 105 secs
lola: 81448 markings, 302934 edges, 560 markings/sec, 110 secs
lola: 84293 markings, 314682 edges, 569 markings/sec, 115 secs
lola: 86855 markings, 325441 edges, 512 markings/sec, 120 secs
lola: 89479 markings, 336465 edges, 525 markings/sec, 125 secs
lola: 92793 markings, 348381 edges, 663 markings/sec, 130 secs
lola: 96057 markings, 361269 edges, 653 markings/sec, 135 secs
lola: 99899 markings, 375013 edges, 768 markings/sec, 140 secs
lola: 103083 markings, 387052 edges, 637 markings/sec, 145 secs
lola: 105900 markings, 398432 edges, 563 markings/sec, 150 secs
lola: 109209 markings, 411116 edges, 662 markings/sec, 155 secs
lola: 112597 markings, 424171 edges, 678 markings/sec, 160 secs
lola: 116429 markings, 437029 edges, 766 markings/sec, 165 secs
lola: 119632 markings, 448803 edges, 641 markings/sec, 170 secs
lola: 123701 markings, 461386 edges, 814 markings/sec, 175 secs
lola: 127769 markings, 474965 edges, 814 markings/sec, 180 secs
lola: 131323 markings, 487646 edges, 711 markings/sec, 185 secs
lola: 134618 markings, 499140 edges, 659 markings/sec, 190 secs
lola: 137461 markings, 510564 edges, 569 markings/sec, 195 secs
lola: 140443 markings, 522883 edges, 596 markings/sec, 200 secs
lola: 143766 markings, 535795 edges, 665 markings/sec, 205 secs
lola: 146487 markings, 548274 edges, 544 markings/sec, 210 secs
lola: 148871 markings, 559188 edges, 477 markings/sec, 215 secs
lola: 151746 markings, 570611 edges, 575 markings/sec, 220 secs
lola: 154448 markings, 581757 edges, 540 markings/sec, 225 secs
lola: 157598 markings, 594334 edges, 630 markings/sec, 230 secs
lola: 160881 markings, 606782 edges, 657 markings/sec, 235 secs
lola: 163579 markings, 618135 edges, 540 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 480708 KB
lola: time consumption: 567 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((p33 <= 0) OR (p101 <= 0) OR (p351 <= 0))) AND ((X (X (((1 <= p95) AND (1 <= p117) AND (1 <= p342)))) U (((1 <= p135) AND (1 <= p165) AND (1 <= p402)) U ((1 <= p33) AND (1 <= p101) AND (1 <= p351)))) OR ((p33 <= 0) OR (p101 <= 0) OR (p351 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((p33 <= 0) OR (p101 <= 0) OR (p351 <= 0))) AND ((X (X (((1 <= p95) AND (1 <= p117) AND (1 <= p342)))) U (((1 <= p135) AND (1 <= p165) AND (1 <= p402)) U ((1 <= p33) AND (1 <= p101) AND (1 <= p351)))) OR ((p33 <= 0) OR (p101 <= 0) OR (p351 <= 0)))))
lola: processed formula length: 260
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 268570 markings, 1045701 edges, 53714 markings/sec, 0 secs
lola: 523232 markings, 2143759 edges, 50932 markings/sec, 5 secs
lola: 764282 markings, 3291534 edges, 48210 markings/sec, 10 secs
lola: 1018064 markings, 4395342 edges, 50756 markings/sec, 15 secs
lola: 1264588 markings, 5508687 edges, 49305 markings/sec, 20 secs
lola: 1492301 markings, 6676998 edges, 45543 markings/sec, 25 secs
lola: 1735268 markings, 7807569 edges, 48593 markings/sec, 30 secs
lola: 1981297 markings, 8918710 edges, 49206 markings/sec, 35 secs
lola: 2244833 markings, 9953857 edges, 52707 markings/sec, 40 secs
lola: 2487330 markings, 11055678 edges, 48499 markings/sec, 45 secs
lola: 2729595 markings, 12157979 edges, 48453 markings/sec, 50 secs
lola: 2960224 markings, 13293971 edges, 46126 markings/sec, 55 secs
lola: 3210202 markings, 14366140 edges, 49996 markings/sec, 60 secs
lola: 3449230 markings, 15473635 edges, 47806 markings/sec, 65 secs
lola: 3691978 markings, 16569666 edges, 48550 markings/sec, 70 secs
lola: 3940965 markings, 17644333 edges, 49797 markings/sec, 75 secs
lola: 4202003 markings, 18682941 edges, 52208 markings/sec, 80 secs
lola: 4437425 markings, 19823724 edges, 47084 markings/sec, 85 secs
lola: 4661157 markings, 21006275 edges, 44746 markings/sec, 90 secs
lola: 4897072 markings, 22138224 edges, 47183 markings/sec, 95 secs
lola: 5138404 markings, 23243864 edges, 48266 markings/sec, 100 secs
lola: 5384431 markings, 24318469 edges, 49205 markings/sec, 105 secs
lola: 5610325 markings, 25454438 edges, 45179 markings/sec, 110 secs
lola: 5837173 markings, 26600279 edges, 45370 markings/sec, 115 secs
lola: 6050848 markings, 27786466 edges, 42735 markings/sec, 120 secs
lola: 6280113 markings, 28924618 edges, 45853 markings/sec, 125 secs
lola: 6496823 markings, 30131736 edges, 43342 markings/sec, 130 secs
lola: 6699398 markings, 31382733 edges, 40515 markings/sec, 135 secs
lola: 6916464 markings, 32580441 edges, 43413 markings/sec, 140 secs
lola: 7129859 markings, 33789983 edges, 42679 markings/sec, 145 secs
lola: 7360221 markings, 34934196 edges, 46072 markings/sec, 150 secs
lola: 7588246 markings, 36090342 edges, 45605 markings/sec, 155 secs
lola: 7806517 markings, 37280607 edges, 43654 markings/sec, 160 secs
lola: 8018275 markings, 38499630 edges, 42352 markings/sec, 165 secs
lola: 8230923 markings, 39721113 edges, 42530 markings/sec, 170 secs
lola: 8469177 markings, 40866181 edges, 47651 markings/sec, 175 secs
lola: 8703773 markings, 42038349 edges, 46919 markings/sec, 180 secs
lola: 8940009 markings, 43202936 edges, 47247 markings/sec, 185 secs
lola: 9179145 markings, 44345273 edges, 47827 markings/sec, 190 secs
lola: 9435501 markings, 45423199 edges, 51271 markings/sec, 195 secs
lola: 9679576 markings, 46516840 edges, 48815 markings/sec, 200 secs
lola: 9910481 markings, 47658418 edges, 46181 markings/sec, 205 secs
lola: 10134957 markings, 48830822 edges, 44895 markings/sec, 210 secs
lola: 10361561 markings, 49991504 edges, 45321 markings/sec, 215 secs
lola: 10596609 markings, 51147064 edges, 47010 markings/sec, 220 secs
lola: 10810839 markings, 52388574 edges, 42846 markings/sec, 225 secs
lola: 11027816 markings, 53610364 edges, 43395 markings/sec, 230 secs
lola: 11247264 markings, 54814059 edges, 43890 markings/sec, 235 secs
lola: 11480461 markings, 55972868 edges, 46639 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((1 <= p161) AND (1 <= p197) AND (1 <= p441))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((1 <= p161) AND (1 <= p197) AND (1 <= p441))))
lola: processed formula length: 53
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (F ((X (F ((G (((p3 <= 0) OR (p45 <= 0) OR (p204 <= 0))) AND ((p93 <= 0) OR (p121 <= 0) OR (p381 <= 0))))) AND ((1 <= p9) AND (1 <= p63) AND (1 <= p213))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (F ((X (F ((G (((p3 <= 0) OR (p45 <= 0) OR (p204 <= 0))) AND ((p93 <= 0) OR (p121 <= 0) OR (p381 <= 0))))) AND ((1 <= p9) AND (1 <= p63) AND (1 <= p213))))))
lola: processed formula length: 166
lola: 99 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: 275591 markings, 1077524 edges, 55118 markings/sec, 0 secs
lola: 537526 markings, 2205010 edges, 52387 markings/sec, 5 secs
lola: 784501 markings, 3383746 edges, 49395 markings/sec, 10 secs
lola: 1048751 markings, 4525443 edges, 52850 markings/sec, 15 secs
lola: 1298615 markings, 5674729 edges, 49973 markings/sec, 20 secs
lola: 1533766 markings, 6873034 edges, 47030 markings/sec, 25 secs
lola: 1781613 markings, 8036267 edges, 49569 markings/sec, 30 secs
lola: 2041685 markings, 9152267 edges, 52014 markings/sec, 35 secs
lola: 2309811 markings, 10224485 edges, 53625 markings/sec, 40 secs
lola: 2558793 markings, 11357747 edges, 49796 markings/sec, 45 secs
lola: 2798954 markings, 12516231 edges, 48032 markings/sec, 50 secs
lola: 3041795 markings, 13662541 edges, 48568 markings/sec, 55 secs
lola: 3299685 markings, 14762592 edges, 51578 markings/sec, 60 secs
lola: 3541358 markings, 15913153 edges, 48335 markings/sec, 65 secs
lola: 3797651 markings, 17018916 edges, 51259 markings/sec, 70 secs
lola: 4058002 markings, 18110758 edges, 52070 markings/sec, 75 secs
lola: 4316943 markings, 19217068 edges, 51788 markings/sec, 80 secs
lola: 4546541 markings, 20429527 edges, 45920 markings/sec, 85 secs
lola: 4788220 markings, 21598656 edges, 48336 markings/sec, 90 secs
lola: 5028772 markings, 22765031 edges, 48110 markings/sec, 95 secs
lola: 5286483 markings, 23863637 edges, 51542 markings/sec, 100 secs
lola: 5523995 markings, 25010547 edges, 47502 markings/sec, 105 secs
lola: 5756407 markings, 26179734 edges, 46482 markings/sec, 110 secs
lola: 5977304 markings, 27393643 edges, 44179 markings/sec, 115 secs
lola: 6209643 markings, 28568669 edges, 46468 markings/sec, 120 secs
lola: 6436834 markings, 29788661 edges, 45438 markings/sec, 125 secs
lola: 6647068 markings, 31070570 edges, 42047 markings/sec, 130 secs
lola: 6867595 markings, 32311862 edges, 44105 markings/sec, 135 secs
lola: 7084840 markings, 33553922 edges, 43449 markings/sec, 140 secs
lola: 7319555 markings, 34737863 edges, 46943 markings/sec, 145 secs
lola: 7556414 markings, 35917129 edges, 47372 markings/sec, 150 secs
lola: 7780286 markings, 37140925 edges, 44774 markings/sec, 155 secs
lola: 7999779 markings, 38383473 edges, 43899 markings/sec, 160 secs
lola: 8215630 markings, 39644685 edges, 43170 markings/sec, 165 secs
lola: 8459866 markings, 40822321 edges, 48847 markings/sec, 170 secs
lola: 8700865 markings, 42023819 edges, 48200 markings/sec, 175 secs
lola: 8943648 markings, 43219447 edges, 48557 markings/sec, 180 secs
lola: 9189284 markings, 44392237 edges, 49127 markings/sec, 185 secs
lola: 9452613 markings, 45499543 edges, 52666 markings/sec, 190 secs
lola: 9700977 markings, 46629315 edges, 49673 markings/sec, 195 secs
lola: 9939464 markings, 47798419 edges, 47697 markings/sec, 200 secs
lola: 10167042 markings, 49010641 edges, 45516 markings/sec, 205 secs
lola: 10405328 markings, 50183396 edges, 47657 markings/sec, 210 secs
lola: 10640432 markings, 51395711 edges, 47021 markings/sec, 215 secs
lola: 10857793 markings, 52675267 edges, 43472 markings/sec, 220 secs
lola: 11085974 markings, 53910246 edges, 45636 markings/sec, 225 secs
lola: 11311996 markings, 55147694 edges, 45204 markings/sec, 230 secs
lola: 11556710 markings, 56320593 edges, 48943 markings/sec, 235 secs
lola: 11796944 markings, 57510388 edges, 48047 markings/sec, 240 secs
lola: 12028524 markings, 58726416 edges, 46316 markings/sec, 245 secs
lola: 12250547 markings, 59978082 edges, 44405 markings/sec, 250 secs
lola: 12477381 markings, 61210913 edges, 45367 markings/sec, 255 secs
lola: 12730516 markings, 62336856 edges, 50627 markings/sec, 260 secs
lola: 12968986 markings, 63504878 edges, 47694 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (G (((1 <= p111) AND (1 <= p195) AND (1 <= p492)))) OR (((p137 <= 0)) OR (((p189 <= 0)) OR (((p405 <= 0)) OR ((1 <= p111) AND (1 <= p195) AND (1 <= p492)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (G (((1 <= p111) AND (1 <= p195) AND (1 <= p492)))) OR (((p137 <= 0)) OR (((p189 <= 0)) OR (((p405 <= 0)) OR ((1 <= p111) AND (1 <= p195) AND (1 <= p492)))))))
lola: processed formula length: 165
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 272702 markings, 1064634 edges, 54540 markings/sec, 0 secs
lola: 532005 markings, 2180204 edges, 51861 markings/sec, 5 secs
lola: 776511 markings, 3350088 edges, 48901 markings/sec, 10 secs
lola: 1036132 markings, 4470013 edges, 51924 markings/sec, 15 secs
lola: 1285081 markings, 5606415 edges, 49790 markings/sec, 20 secs
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: 1298080 markings, 5671813 edges
lola: ========================================
lola: subprocess 6 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (((((1 <= p57) AND (1 <= p191) AND (1 <= p486)) U (((1 <= p57) AND (1 <= p191) AND (1 <= p486)) U ((1 <= p67) AND (1 <= p193) AND (1 <= p489)))) AND (((1 <= p51)) AND (((1 <= p171)) AND (((1 <= p276)) AND (((1 <= p57)) AND (((1 <= p191)) AND ((1 <= p486))))))))) OR F (((1 <= p67) AND (1 <= p193) AND (1 <= p489))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p67) AND (1 <= p193) AND (1 <= p489)))
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: ((p67 <= 0) OR (p193 <= 0) OR (p489 <= 0))
lola: processed formula length: 44
lola: 101 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 3 markings, 3 edges
lola: ========================================
lola: subprocess 7 will run for 350 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((((1 <= p57) AND (1 <= p191) AND (1 <= p486)) U (((1 <= p57) AND (1 <= p191) AND (1 <= p486)) U ((1 <= p67) AND (1 <= p193) AND (1 <= p489)))) AND (((1 <= p51)) AND (((1 <= p171)) AND (((1 <= p276)) AND (((1 <= p57)) AND (((1 <= p191)) AND ((1 <= p486)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((1 <= p57) AND (1 <= p191) AND (1 <= p486)) U (((1 <= p57) AND (1 <= p191) AND (1 <= p486)) U ((1 <= p67) AND (1 <= p193) AND (1 <= p489)))) AND (((1 <= p51)) AND (((1 <= p171)) AND (((1 <= p276)) AND (((1 <= p57)) AND (((1 <= p191)) AND ((1 <= p486)))))))))
lola: processed formula length: 264
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 350 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (F (((p5 <= 0) OR (p7 <= 0) OR (p207 <= 0)))) OR ((((1 <= p41) AND (1 <= p143) AND (1 <= p261)) U ((1 <= p1) AND (1 <= p197) AND (1 <= p201))) OR ((1 <= p1) AND (1 <= p197) AND (1 <= p201)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (F (((p5 <= 0) OR (p7 <= 0) OR (p207 <= 0)))) OR ((((1 <= p41) AND (1 <= p143) AND (1 <= p261)) U ((1 <= p1) AND (1 <= p197) AND (1 <= p201))) OR ((1 <= p1) AND (1 <= p197) AND (1 <= p201)))))
lola: processed formula length: 200
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2294 markings, 2450 edges
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((1 <= p5) AND (1 <= p129) AND (1 <= p207))) AND (X (((p177 <= 0) OR (p181 <= 0) OR (p465 <= 0))) AND (((1 <= p27)) AND (((1 <= p169)) AND ((1 <= p453)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((1 <= p5) AND (1 <= p129) AND (1 <= p207))) AND (X (((p177 <= 0) OR (p181 <= 0) OR (p465 <= 0))) AND (((1 <= p27)) AND (((1 <= p169)) AND ((1 <= p453)))))))
lola: processed formula length: 166
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: subprocess 9 will run for 490 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X (G (((((p149 <= 0) OR (p424 <= 0)) R ((p131 <= 0) OR (p141 <= 0) OR (p411 <= 0))) OR X (((p149 <= 0) OR (p167 <= 0) OR (p450 <= 0)))))) AND G (((p169 <= 0) OR (p195 <= 0) OR (p453 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X (G (((((p149 <= 0) OR (p424 <= 0)) R ((p131 <= 0) OR (p141 <= 0) OR (p411 <= 0))) OR X (((p149 <= 0) OR (p167 <= 0) OR (p450 <= 0)))))) AND G (((p169 <= 0) OR (p195 <= 0) OR (p453 <= 0))))))
lola: processed formula length: 206
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 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: 274331 markings, 1071373 edges, 54866 markings/sec, 0 secs
lola: 534831 markings, 2193165 edges, 52100 markings/sec, 5 secs
lola: 780136 markings, 3366372 edges, 49061 markings/sec, 10 secs
lola: 1041028 markings, 4489407 edges, 52178 markings/sec, 15 secs
lola: 1289827 markings, 5631717 edges, 49760 markings/sec, 20 secs
lola: 1522707 markings, 6824521 edges, 46576 markings/sec, 25 secs
lola: 1769797 markings, 7978131 edges, 49418 markings/sec, 30 secs
lola: 2026537 markings, 9093710 edges, 51348 markings/sec, 35 secs
lola: 2292886 markings, 10160705 edges, 53270 markings/sec, 40 secs
lola: 2541026 markings, 11281016 edges, 49628 markings/sec, 45 secs
lola: 2781555 markings, 12426521 edges, 48106 markings/sec, 50 secs
lola: 3020500 markings, 13573718 edges, 47789 markings/sec, 55 secs
lola: 3277585 markings, 14662748 edges, 51417 markings/sec, 60 secs
lola: 3517102 markings, 15809149 edges, 47903 markings/sec, 65 secs
lola: 3772385 markings, 16903046 edges, 51057 markings/sec, 70 secs
lola: 4028132 markings, 17998296 edges, 51149 markings/sec, 75 secs
lola: 4290276 markings, 19080015 edges, 52429 markings/sec, 80 secs
lola: 4520718 markings, 20282014 edges, 46088 markings/sec, 85 secs
lola: 4757766 markings, 21456971 edges, 47410 markings/sec, 90 secs
lola: 4995022 markings, 22619677 edges, 47451 markings/sec, 95 secs
lola: 5250277 markings, 23715603 edges, 51051 markings/sec, 100 secs
lola: 5491400 markings, 24835473 edges, 48225 markings/sec, 105 secs
lola: 5720988 markings, 25995941 edges, 45918 markings/sec, 110 secs
lola: 5943135 markings, 27191819 edges, 44429 markings/sec, 115 secs
lola: 6167740 markings, 28375998 edges, 44921 markings/sec, 120 secs
lola: 6399531 markings, 29562699 edges, 46358 markings/sec, 125 secs
lola: 6609906 markings, 30832098 edges, 42075 markings/sec, 130 secs
lola: 6823222 markings, 32079691 edges, 42663 markings/sec, 135 secs
lola: 7039894 markings, 33309942 edges, 43334 markings/sec, 140 secs
lola: 7269641 markings, 34497835 edges, 45949 markings/sec, 145 secs
lola: 7507454 markings, 35657973 edges, 47563 markings/sec, 150 secs
lola: 7728457 markings, 36878295 edges, 44201 markings/sec, 155 secs
lola: 7952394 markings, 38095493 edges, 44787 markings/sec, 160 secs
lola: 8165471 markings, 39352642 edges, 42615 markings/sec, 165 secs
lola: 8396678 markings, 40550649 edges, 46241 markings/sec, 170 secs
lola: 8643377 markings, 41716931 edges, 49340 markings/sec, 175 secs
lola: 8878725 markings, 42925065 edges, 47070 markings/sec, 180 secs
lola: 9124160 markings, 44087810 edges, 49087 markings/sec, 185 secs
lola: 9382613 markings, 45203624 edges, 51691 markings/sec, 190 secs
lola: 9636582 markings, 46309847 edges, 50794 markings/sec, 195 secs
lola: 9871548 markings, 47473025 edges, 46993 markings/sec, 200 secs
lola: 10103232 markings, 48660459 edges, 46337 markings/sec, 205 secs
lola: 10332754 markings, 49852870 edges, 45904 markings/sec, 210 secs
lola: 10573888 markings, 51024942 edges, 48227 markings/sec, 215 secs
lola: 10793522 markings, 52284503 edges, 43927 markings/sec, 220 secs
lola: 11013210 markings, 53533117 edges, 43938 markings/sec, 225 secs
lola: 11237112 markings, 54758193 edges, 44780 markings/sec, 230 secs
lola: 11474553 markings, 55943349 edges, 47488 markings/sec, 235 secs
lola: 11720255 markings, 57102481 edges, 49140 markings/sec, 240 secs
lola: 11947419 markings, 58321875 edges, 45433 markings/sec, 245 secs
lola: 12176886 markings, 59542132 edges, 45893 markings/sec, 250 secs
lola: 12396806 markings, 60798681 edges, 43984 markings/sec, 255 secs
lola: 12643594 markings, 61949882 edges, 49358 markings/sec, 260 secs
lola: 12887155 markings, 63093852 edges, 48712 markings/sec, 265 secs
lola: 13125168 markings, 64257768 edges, 47603 markings/sec, 270 secs
lola: 13348492 markings, 65457963 edges, 44665 markings/sec, 275 secs
lola: 13585432 markings, 66611974 edges, 47388 markings/sec, 280 secs
lola: 13818578 markings, 67747762 edges, 46629 markings/sec, 285 secs
lola: 14035705 markings, 68918717 edges, 43425 markings/sec, 290 secs
lola: 14267414 markings, 70053667 edges, 46342 markings/sec, 295 secs
lola: 14498858 markings, 71190331 edges, 46289 markings/sec, 300 secs
lola: 14699477 markings, 72096565 edges, 40124 markings/sec, 305 secs
lola: 14848668 markings, 72805934 edges, 29838 markings/sec, 310 secs
lola: 15051085 markings, 73891503 edges, 40483 markings/sec, 315 secs
lola: 15217564 markings, 74764475 edges, 33296 markings/sec, 320 secs
lola: 15402327 markings, 75814552 edges, 36953 markings/sec, 325 secs
lola: 15581105 markings, 76812614 edges, 35756 markings/sec, 330 secs
lola: 15757676 markings, 77693218 edges, 35314 markings/sec, 335 secs
lola: 15942160 markings, 78629313 edges, 36897 markings/sec, 340 secs
lola: 16088068 markings, 79459723 edges, 29182 markings/sec, 345 secs
lola: 16275426 markings, 80449640 edges, 37472 markings/sec, 350 secs
lola: 16472130 markings, 81464535 edges, 39341 markings/sec, 355 secs
lola: 16630214 markings, 82243584 edges, 31617 markings/sec, 360 secs
lola: 16838200 markings, 83203478 edges, 41597 markings/sec, 365 secs
lola: 17013935 markings, 84154223 edges, 35147 markings/sec, 370 secs
lola: 17158258 markings, 85015612 edges, 28865 markings/sec, 375 secs
lola: 17355576 markings, 86129713 edges, 39464 markings/sec, 380 secs
lola: 17538446 markings, 87278678 edges, 36574 markings/sec, 385 secs
lola: 17683104 markings, 88130786 edges, 28932 markings/sec, 390 secs
lola: 17846946 markings, 89028024 edges, 32768 markings/sec, 395 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 512 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((G (((1 <= p137) AND (1 <= p181) AND (1 <= p405))) AND (F (G (((1 <= p57) AND (1 <= p75) AND (1 <= p285)))) OR (((p47 <= 0)) OR (((p147 <= 0)) OR ((p420 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((G (((1 <= p137) AND (1 <= p181) AND (1 <= p405))) AND (F (G (((1 <= p57) AND (1 <= p75) AND (1 <= p285)))) OR (((p47 <= 0)) OR (((p147 <= 0)) OR ((p420 <= 0))))))))
lola: processed formula length: 171
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: subprocess 11 will run for 682 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((1 <= p127) AND (1 <= p139) AND (1 <= p408))) AND (X (G (((1 <= p15) AND (1 <= p59) AND (1 <= p222)))) OR (((1 <= p15) AND (1 <= p59) AND (1 <= p222)) OR (((p143 <= 0) OR (p167 <= 0) OR (p450 <= 0)) U ((1 <= p127) AND (1 <= p139) AND (1 <= p408)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((1 <= p127) AND (1 <= p139) AND (1 <= p408))) AND (X (G (((1 <= p15) AND (1 <= p59) AND (1 <= p222)))) OR (((1 <= p15) AND (1 <= p59) AND (1 <= p222)) OR (((p143 <= 0) OR (p167 <= 0) OR (p450 <= 0)) U ((1 <= p127) AND (1 <= p139) AND (1 <= p408)))))))
lola: processed formula length: 261
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 12 will run for 1024 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((((1 <= p1) AND (1 <= p97) AND (1 <= p201)) R (((p111 <= 0) OR (p169 <= 0) OR (p453 <= 0)) AND ((p1 <= 0) OR (p97 <= 0) OR (p201 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((((1 <= p1) AND (1 <= p97) AND (1 <= p201)) R (((p111 <= 0) OR (p169 <= 0) OR (p453 <= 0)) AND ((p1 <= 0) OR (p97 <= 0) OR (p201 <= 0)))))
lola: processed formula length: 145
lola: 99 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: 25774 markings, 95592 edges, 5155 markings/sec, 0 secs
lola: 56638 markings, 211918 edges, 6173 markings/sec, 5 secs
lola: 87199 markings, 326994 edges, 6112 markings/sec, 10 secs
lola: 117153 markings, 439865 edges, 5991 markings/sec, 15 secs
lola: 162012 markings, 611773 edges, 8972 markings/sec, 20 secs
lola: 214326 markings, 827645 edges, 10463 markings/sec, 25 secs
lola: 267431 markings, 1040183 edges, 10621 markings/sec, 30 secs
lola: 318478 markings, 1278517 edges, 10209 markings/sec, 35 secs
lola: 369930 markings, 1515169 edges, 10290 markings/sec, 40 secs
lola: 413137 markings, 1692516 edges, 8641 markings/sec, 45 secs
lola: 449943 markings, 1847003 edges, 7361 markings/sec, 50 secs
lola: 489077 markings, 2008338 edges, 7827 markings/sec, 55 secs
lola: 528648 markings, 2164978 edges, 7914 markings/sec, 60 secs
lola: 568505 markings, 2351640 edges, 7971 markings/sec, 65 secs
lola: 608316 markings, 2532668 edges, 7962 markings/sec, 70 secs
lola: 647580 markings, 2709015 edges, 7853 markings/sec, 75 secs
lola: 699600 markings, 2966931 edges, 10404 markings/sec, 80 secs
lola: 753630 markings, 3235741 edges, 10806 markings/sec, 85 secs
lola: 808497 markings, 3490214 edges, 10973 markings/sec, 90 secs
lola: 863623 markings, 3737248 edges, 11025 markings/sec, 95 secs
lola: 915366 markings, 3968540 edges, 10349 markings/sec, 100 secs
lola: 947176 markings, 4097684 edges, 6362 markings/sec, 105 secs
lola: 978957 markings, 4231239 edges, 6356 markings/sec, 110 secs
lola: 1010691 markings, 4368215 edges, 6347 markings/sec, 115 secs
lola: 1042127 markings, 4494289 edges, 6287 markings/sec, 120 secs
lola: 1073847 markings, 4636072 edges, 6344 markings/sec, 125 secs
lola: 1105755 markings, 4772457 edges, 6382 markings/sec, 130 secs
lola: 1137509 markings, 4908934 edges, 6351 markings/sec, 135 secs
lola: 1170959 markings, 5061992 edges, 6690 markings/sec, 140 secs
lola: 1224416 markings, 5319943 edges, 10691 markings/sec, 145 secs
lola: 1279299 markings, 5576398 edges, 10977 markings/sec, 150 secs
lola: 1332116 markings, 5854436 edges, 10563 markings/sec, 155 secs
lola: 1385282 markings, 6135104 edges, 10633 markings/sec, 160 secs
lola: 1435133 markings, 6395935 edges, 9970 markings/sec, 165 secs
lola: 1474257 markings, 6586908 edges, 7825 markings/sec, 170 secs
lola: 1514177 markings, 6785146 edges, 7984 markings/sec, 175 secs
lola: 1553774 markings, 6977595 edges, 7919 markings/sec, 180 secs
lola: 1592764 markings, 7158243 edges, 7798 markings/sec, 185 secs
lola: 1632148 markings, 7328399 edges, 7877 markings/sec, 190 secs
lola: 1672248 markings, 7503561 edges, 8020 markings/sec, 195 secs
lola: 1718890 markings, 7734396 edges, 9328 markings/sec, 200 secs
lola: 1773000 markings, 7994884 edges, 10822 markings/sec, 205 secs
lola: 1827597 markings, 8255436 edges, 10919 markings/sec, 210 secs
lola: 1883224 markings, 8497963 edges, 11125 markings/sec, 215 secs
lola: 1938577 markings, 8735704 edges, 11071 markings/sec, 220 secs
lola: 1978014 markings, 8906838 edges, 7887 markings/sec, 225 secs
lola: 2009858 markings, 9028501 edges, 6369 markings/sec, 230 secs
lola: 2041918 markings, 9153105 edges, 6412 markings/sec, 235 secs
lola: 2073689 markings, 9275043 edges, 6354 markings/sec, 240 secs
lola: 2105768 markings, 9406243 edges, 6416 markings/sec, 245 secs
lola: 2137721 markings, 9525248 edges, 6391 markings/sec, 250 secs
lola: 2169761 markings, 9648037 edges, 6408 markings/sec, 255 secs
lola: 2201779 markings, 9774085 edges, 6404 markings/sec, 260 secs
lola: 2254802 markings, 9996724 edges, 10605 markings/sec, 265 secs
lola: 2310231 markings, 10226212 edges, 11086 markings/sec, 270 secs
lola: 2363775 markings, 10477439 edges, 10709 markings/sec, 275 secs
lola: 2417627 markings, 10729338 edges, 10770 markings/sec, 280 secs
lola: 2468609 markings, 10968107 edges, 10196 markings/sec, 285 secs
lola: 2507630 markings, 11135721 edges, 7804 markings/sec, 290 secs
lola: 2547838 markings, 11312868 edges, 8042 markings/sec, 295 secs
lola: 2587781 markings, 11483624 edges, 7989 markings/sec, 300 secs
lola: 2626197 markings, 11668959 edges, 7683 markings/sec, 305 secs
lola: 2665162 markings, 11849087 edges, 7793 markings/sec, 310 secs
lola: 2703948 markings, 12027765 edges, 7757 markings/sec, 315 secs
lola: 2747851 markings, 12258009 edges, 8781 markings/sec, 320 secs
lola: 2800109 markings, 12522166 edges, 10452 markings/sec, 325 secs
lola: 2852717 markings, 12793571 edges, 10522 markings/sec, 330 secs
lola: 2906401 markings, 13045601 edges, 10737 markings/sec, 335 secs
lola: 2960317 markings, 13294317 edges, 10783 markings/sec, 340 secs
lola: 3003215 markings, 13499423 edges, 8580 markings/sec, 345 secs
lola: 3035396 markings, 13633673 edges, 6436 markings/sec, 350 secs
lola: 3067586 markings, 13776073 edges, 6438 markings/sec, 355 secs
lola: 3099802 markings, 13909329 edges, 6443 markings/sec, 360 secs
lola: 3131625 markings, 14053361 edges, 6365 markings/sec, 365 secs
lola: 3163874 markings, 14179953 edges, 6450 markings/sec, 370 secs
lola: 3195494 markings, 14311431 edges, 6324 markings/sec, 375 secs
lola: 3227416 markings, 14438788 edges, 6384 markings/sec, 380 secs
lola: 3272349 markings, 14641553 edges, 8987 markings/sec, 385 secs
lola: 3326474 markings, 14884224 edges, 10825 markings/sec, 390 secs
lola: 3380918 markings, 15133942 edges, 10889 markings/sec, 395 secs
lola: 3434344 markings, 15398648 edges, 10685 markings/sec, 400 secs
lola: 3487162 markings, 15658064 edges, 10564 markings/sec, 405 secs
lola: 3529780 markings, 15866542 edges, 8524 markings/sec, 410 secs
lola: 3568415 markings, 16035390 edges, 7727 markings/sec, 415 secs
lola: 3607554 markings, 16206353 edges, 7828 markings/sec, 420 secs
lola: 3647588 markings, 16392835 edges, 8007 markings/sec, 425 secs
lola: 3688183 markings, 16554683 edges, 8119 markings/sec, 430 secs
lola: 3727223 markings, 16710998 edges, 7808 markings/sec, 435 secs
lola: 3767951 markings, 16882539 edges, 8146 markings/sec, 440 secs
lola: 3821741 markings, 17127604 edges, 10758 markings/sec, 445 secs
lola: 3876211 markings, 17370394 edges, 10894 markings/sec, 450 secs
lola: 3931377 markings, 17607761 edges, 11033 markings/sec, 455 secs
lola: 3986796 markings, 17831922 edges, 11084 markings/sec, 460 secs
lola: 4033980 markings, 18021104 edges, 9437 markings/sec, 465 secs
lola: 4065818 markings, 18136377 edges, 6368 markings/sec, 470 secs
lola: 4097356 markings, 18254117 edges, 6308 markings/sec, 475 secs
lola: 4128303 markings, 18367218 edges, 6189 markings/sec, 480 secs
lola: 4164162 markings, 18505027 edges, 7172 markings/sec, 485 secs
lola: 4202955 markings, 18687600 edges, 7759 markings/sec, 490 secs
lola: 4241975 markings, 18855457 edges, 7804 markings/sec, 495 secs
lola: 4280515 markings, 19038211 edges, 7708 markings/sec, 500 secs
lola: 4328373 markings, 19273293 edges, 9572 markings/sec, 505 secs
lola: 4381690 markings, 19536672 edges, 10663 markings/sec, 510 secs
lola: 4434736 markings, 19808251 edges, 10609 markings/sec, 515 secs
lola: 4486578 markings, 20096326 edges, 10368 markings/sec, 520 secs
lola: 4537716 markings, 20381183 edges, 10228 markings/sec, 525 secs
lola: 4581731 markings, 20610623 edges, 8803 markings/sec, 530 secs
lola: 4622724 markings, 20810604 edges, 8199 markings/sec, 535 secs
lola: 4663957 markings, 21021324 edges, 8247 markings/sec, 540 secs
lola: 4705891 markings, 21224970 edges, 8387 markings/sec, 545 secs
lola: 4747563 markings, 21415497 edges, 8334 markings/sec, 550 secs
lola: 4788695 markings, 21601160 edges, 8226 markings/sec, 555 secs
lola: 4834273 markings, 21824410 edges, 9116 markings/sec, 560 secs
lola: 4886816 markings, 22086939 edges, 10509 markings/sec, 565 secs
lola: 4939709 markings, 22361565 edges, 10579 markings/sec, 570 secs
lola: 4994132 markings, 22615740 edges, 10885 markings/sec, 575 secs
lola: 5048647 markings, 22857010 edges, 10903 markings/sec, 580 secs
lola: 5095268 markings, 23065135 edges, 9324 markings/sec, 585 secs
lola: 5134368 markings, 23229949 edges, 7820 markings/sec, 590 secs
lola: 5172885 markings, 23379462 edges, 7703 markings/sec, 595 secs
lola: 5211375 markings, 23541228 edges, 7698 markings/sec, 600 secs
lola: 5250069 markings, 23714621 edges, 7739 markings/sec, 605 secs
lola: 5289491 markings, 23876919 edges, 7884 markings/sec, 610 secs
lola: 5328263 markings, 24053540 edges, 7754 markings/sec, 615 secs
lola: 5376613 markings, 24279713 edges, 9670 markings/sec, 620 secs
lola: 5430502 markings, 24532467 edges, 10778 markings/sec, 625 secs
lola: 5483940 markings, 24792927 edges, 10688 markings/sec, 630 secs
lola: 5536219 markings, 25069887 edges, 10456 markings/sec, 635 secs
lola: 5587438 markings, 25342989 edges, 10244 markings/sec, 640 secs
lola: 5631064 markings, 25560915 edges, 8725 markings/sec, 645 secs
lola: 5672257 markings, 25753482 edges, 8239 markings/sec, 650 secs
lola: 5713678 markings, 25958669 edges, 8284 markings/sec, 655 secs
lola: 5755031 markings, 26171585 edges, 8271 markings/sec, 660 secs
lola: 5795923 markings, 26385885 edges, 8178 markings/sec, 665 secs
lola: 5836461 markings, 26596026 edges, 8108 markings/sec, 670 secs
lola: 5880323 markings, 26838030 edges, 8772 markings/sec, 675 secs
lola: 5930482 markings, 27124379 edges, 10032 markings/sec, 680 secs
lola: 5981422 markings, 27417727 edges, 10188 markings/sec, 685 secs
lola: 6033473 markings, 27693533 edges, 10410 markings/sec, 690 secs
lola: 6085930 markings, 27962310 edges, 10491 markings/sec, 695 secs
lola: 6133512 markings, 28205263 edges, 9516 markings/sec, 700 secs
lola: 6171961 markings, 28396880 edges, 7690 markings/sec, 705 secs
lola: 6211435 markings, 28577128 edges, 7895 markings/sec, 710 secs
lola: 6249923 markings, 28768191 edges, 7698 markings/sec, 715 secs
lola: 6303381 markings, 29049324 edges, 10692 markings/sec, 720 secs
lola: 6362706 markings, 29359274 edges, 11865 markings/sec, 725 secs
lola: 6416945 markings, 29669803 edges, 10848 markings/sec, 730 secs
lola: 6469501 markings, 29968826 edges, 10511 markings/sec, 735 secs
lola: 6520538 markings, 30269683 edges, 10207 markings/sec, 740 secs
lola: 6569929 markings, 30585942 edges, 9878 markings/sec, 745 secs
lola: 6621030 markings, 30901399 edges, 10220 markings/sec, 750 secs
lola: 6673621 markings, 31229194 edges, 10518 markings/sec, 755 secs
lola: 6730869 markings, 31555851 edges, 11450 markings/sec, 760 secs
lola: 6785600 markings, 31872698 edges, 10946 markings/sec, 765 secs
lola: 6842829 markings, 32182695 edges, 11446 markings/sec, 770 secs
lola: 6901373 markings, 32500911 edges, 11709 markings/sec, 775 secs
lola: 6954109 markings, 32808995 edges, 10547 markings/sec, 780 secs
lola: 7006365 markings, 33110191 edges, 10451 markings/sec, 785 secs
lola: 7058053 markings, 33405646 edges, 10338 markings/sec, 790 secs
lola: 7111219 markings, 33690807 edges, 10633 markings/sec, 795 secs
lola: 7164405 markings, 33983672 edges, 10637 markings/sec, 800 secs
lola: 7223804 markings, 34282666 edges, 11880 markings/sec, 805 secs
lola: 7284249 markings, 34571687 edges, 12089 markings/sec, 810 secs
lola: 7342674 markings, 34849983 edges, 11685 markings/sec, 815 secs
lola: 7404726 markings, 35137415 edges, 12410 markings/sec, 820 secs
lola: 7462905 markings, 35432359 edges, 11636 markings/sec, 825 secs
lola: 7517966 markings, 35711268 edges, 11012 markings/sec, 830 secs
lola: 7571657 markings, 35993659 edges, 10738 markings/sec, 835 secs
lola: 7623878 markings, 36296488 edges, 10444 markings/sec, 840 secs
lola: 7676861 markings, 36595082 edges, 10597 markings/sec, 845 secs
lola: 7733594 markings, 36905660 edges, 11347 markings/sec, 850 secs
lola: 7793844 markings, 37212850 edges, 12050 markings/sec, 855 secs
lola: 7850338 markings, 37517370 edges, 11299 markings/sec, 860 secs
lola: 7908270 markings, 37837282 edges, 11586 markings/sec, 865 secs
lola: 7965748 markings, 38168746 edges, 11496 markings/sec, 870 secs
lola: 8016871 markings, 38491595 edges, 10225 markings/sec, 875 secs
lola: 8068514 markings, 38801666 edges, 10329 markings/sec, 880 secs
lola: 8120125 markings, 39105389 edges, 10322 markings/sec, 885 secs
lola: 8173459 markings, 39397650 edges, 10667 markings/sec, 890 secs
lola: 8226526 markings, 39699330 edges, 10613 markings/sec, 895 secs
lola: 8287164 markings, 40015312 edges, 12128 markings/sec, 900 secs
lola: 8345378 markings, 40314718 edges, 11643 markings/sec, 905 secs
lola: 8387836 markings, 40508225 edges, 8492 markings/sec, 910 secs
lola: 8427363 markings, 40679577 edges, 7905 markings/sec, 915 secs
lola: 8466163 markings, 40852163 edges, 7760 markings/sec, 920 secs
lola: 8511235 markings, 41059554 edges, 9014 markings/sec, 925 secs
lola: 8565240 markings, 41322978 edges, 10801 markings/sec, 930 secs
lola: 8619633 markings, 41590474 edges, 10879 markings/sec, 935 secs
lola: 8672205 markings, 41876322 edges, 10514 markings/sec, 940 secs
lola: 8724790 markings, 42158373 edges, 10517 markings/sec, 945 secs
lola: 8771765 markings, 42398343 edges, 9395 markings/sec, 950 secs
lola: 8813212 markings, 42603752 edges, 8289 markings/sec, 955 secs
lola: 8855056 markings, 42809432 edges, 8369 markings/sec, 960 secs
lola: 8896778 markings, 43007191 edges, 8344 markings/sec, 965 secs
lola: 8938483 markings, 43196989 edges, 8341 markings/sec, 970 secs
lola: 8980482 markings, 43381953 edges, 8400 markings/sec, 975 secs
lola: 9025282 markings, 43592786 edges, 8960 markings/sec, 980 secs
lola: 9078880 markings, 43860067 edges, 10720 markings/sec, 985 secs
lola: 9132869 markings, 44129511 edges, 10798 markings/sec, 990 secs
lola: 9187819 markings, 44386036 edges, 10990 markings/sec, 995 secs
lola: 9243219 markings, 44626739 edges, 11080 markings/sec, 1000 secs
lola: 9291463 markings, 44835509 edges, 9649 markings/sec, 1005 secs
lola: 9330205 markings, 44994620 edges, 7748 markings/sec, 1010 secs
lola: 9369755 markings, 45146557 edges, 7910 markings/sec, 1015 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown no no unknown no no unknown no no
lola: memory consumption: 10070884 KB
lola: time consumption: 2547 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 13 will run for 1023 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F ((((p71 <= 0) OR (p89 <= 0) OR (p333 <= 0)) AND ((p129 <= 0) OR (p161 <= 0) OR (p393 <= 0)))) AND (((p1 <= 0) OR (p93 <= 0) OR (p339 <= 0)) OR (((p71 <= 0) OR (p89 <= 0) OR (p333 <= 0)) AND ((p129 <= 0) OR (p161 <= 0) OR (p393 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F ((((p71 <= 0) OR (p89 <= 0) OR (p333 <= 0)) AND ((p129 <= 0) OR (p161 <= 0) OR (p393 <= 0)))) AND (((p1 <= 0) OR (p93 <= 0) OR (p339 <= 0)) OR (((p71 <= 0) OR (p89 <= 0) OR (p333 <= 0)) AND ((p129 <= 0) OR (p161 <= 0) OR (p393 <= 0)))))))
lola: processed formula length: 257
lola: 99 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 30871 markings, 113195 edges, 6174 markings/sec, 0 secs
lola: 61540 markings, 228433 edges, 6134 markings/sec, 5 secs
lola: 92659 markings, 347907 edges, 6224 markings/sec, 10 secs
lola: 123534 markings, 460938 edges, 6175 markings/sec, 15 secs
lola: 174328 markings, 666319 edges, 10159 markings/sec, 20 secs
lola: 228828 markings, 886773 edges, 10900 markings/sec, 25 secs
lola: 282713 markings, 1112133 edges, 10777 markings/sec, 30 secs
lola: 335805 markings, 1352833 edges, 10618 markings/sec, 35 secs
lola: 388052 markings, 1593242 edges, 10449 markings/sec, 40 secs
lola: 426991 markings, 1748847 edges, 7788 markings/sec, 45 secs
lola: 466578 markings, 1911220 edges, 7917 markings/sec, 50 secs
lola: 506659 markings, 2082096 edges, 8016 markings/sec, 55 secs
lola: 546091 markings, 2245515 edges, 7886 markings/sec, 60 secs
lola: 584922 markings, 2424192 edges, 7766 markings/sec, 65 secs
lola: 623596 markings, 2602312 edges, 7735 markings/sec, 70 secs
lola: 667482 markings, 2799722 edges, 8777 markings/sec, 75 secs
lola: 719234 markings, 3061343 edges, 10350 markings/sec, 80 secs
lola: 771576 markings, 3327764 edges, 10468 markings/sec, 85 secs
lola: 825559 markings, 3568251 edges, 10797 markings/sec, 90 secs
lola: 878998 markings, 3811520 edges, 10688 markings/sec, 95 secs
lola: 923468 markings, 3998720 edges, 8894 markings/sec, 100 secs
lola: 954564 markings, 4130322 edges, 6219 markings/sec, 105 secs
lola: 985807 markings, 4258175 edges, 6249 markings/sec, 110 secs
lola: 1016896 markings, 4390847 edges, 6218 markings/sec, 115 secs
lola: 1047676 markings, 4519677 edges, 6156 markings/sec, 120 secs
lola: 1078948 markings, 4655933 edges, 6254 markings/sec, 125 secs
lola: 1110503 markings, 4791887 edges, 6311 markings/sec, 130 secs
lola: 1141579 markings, 4924756 edges, 6215 markings/sec, 135 secs
lola: 1178268 markings, 5099117 edges, 7338 markings/sec, 140 secs
lola: 1230871 markings, 5349675 edges, 10521 markings/sec, 145 secs
lola: 1283977 markings, 5600774 edges, 10621 markings/sec, 150 secs
lola: 1335379 markings, 5869237 edges, 10280 markings/sec, 155 secs
lola: 1386616 markings, 6141594 edges, 10247 markings/sec, 160 secs
lola: 1434964 markings, 6395200 edges, 9670 markings/sec, 165 secs
lola: 1473761 markings, 6584633 edges, 7759 markings/sec, 170 secs
lola: 1513249 markings, 6781059 edges, 7898 markings/sec, 175 secs
lola: 1552421 markings, 6970375 edges, 7834 markings/sec, 180 secs
lola: 1591123 markings, 7151094 edges, 7740 markings/sec, 185 secs
lola: 1630214 markings, 7320429 edges, 7818 markings/sec, 190 secs
lola: 1668987 markings, 7488820 edges, 7755 markings/sec, 195 secs
lola: 1713433 markings, 7708392 edges, 8889 markings/sec, 200 secs
lola: 1765926 markings, 7958308 edges, 10499 markings/sec, 205 secs
lola: 1818420 markings, 8213032 edges, 10499 markings/sec, 210 secs
lola: 1872422 markings, 8448829 edges, 10800 markings/sec, 215 secs
lola: 1926310 markings, 8680485 edges, 10778 markings/sec, 220 secs
lola: 1968518 markings, 8868782 edges, 8442 markings/sec, 225 secs
lola: 1999670 markings, 8985966 edges, 6230 markings/sec, 230 secs
lola: 2031129 markings, 9113359 edges, 6292 markings/sec, 235 secs
lola: 2062608 markings, 9228875 edges, 6296 markings/sec, 240 secs
lola: 2094181 markings, 9361406 edges, 6315 markings/sec, 245 secs
lola: 2125694 markings, 9477354 edges, 6303 markings/sec, 250 secs
lola: 2157373 markings, 9602979 edges, 6336 markings/sec, 255 secs
lola: 2188636 markings, 9718345 edges, 6253 markings/sec, 260 secs
lola: 2230931 markings, 9901704 edges, 8459 markings/sec, 265 secs
lola: 2284065 markings, 10123921 edges, 10627 markings/sec, 270 secs
lola: 2337386 markings, 10348765 edges, 10664 markings/sec, 275 secs
lola: 2389253 markings, 10594041 edges, 10373 markings/sec, 280 secs
lola: 2440911 markings, 10832064 edges, 10332 markings/sec, 285 secs
lola: 2485204 markings, 11045866 edges, 8859 markings/sec, 290 secs
lola: 2524168 markings, 11209430 edges, 7793 markings/sec, 295 secs
lola: 2563005 markings, 11373694 edges, 7767 markings/sec, 300 secs
lola: 2601420 markings, 11546260 edges, 7683 markings/sec, 305 secs
lola: 2640061 markings, 11728868 edges, 7728 markings/sec, 310 secs
lola: 2679116 markings, 11917468 edges, 7811 markings/sec, 315 secs
lola: 2718002 markings, 12101016 edges, 7777 markings/sec, 320 secs
lola: 2764031 markings, 12336865 edges, 9206 markings/sec, 325 secs
lola: 2814371 markings, 12598009 edges, 10068 markings/sec, 330 secs
lola: 2865272 markings, 12856385 edges, 10180 markings/sec, 335 secs
lola: 2917583 markings, 13099504 edges, 10462 markings/sec, 340 secs
lola: 2969694 markings, 13337170 edges, 10422 markings/sec, 345 secs
lola: 3009058 markings, 13525573 edges, 7873 markings/sec, 350 secs
lola: 3040390 markings, 13656003 edges, 6266 markings/sec, 355 secs
lola: 3072060 markings, 13794893 edges, 6334 markings/sec, 360 secs
lola: 3103477 markings, 13927713 edges, 6283 markings/sec, 365 secs
lola: 3134926 markings, 14067640 edges, 6290 markings/sec, 370 secs
lola: 3166379 markings, 14190998 edges, 6291 markings/sec, 375 secs
lola: 3197645 markings, 14320091 edges, 6253 markings/sec, 380 secs
lola: 3228979 markings, 14446146 edges, 6267 markings/sec, 385 secs
lola: 3273196 markings, 14644625 edges, 8843 markings/sec, 390 secs
lola: 3325819 markings, 14881161 edges, 10525 markings/sec, 395 secs
lola: 3378574 markings, 15120858 edges, 10551 markings/sec, 400 secs
lola: 3430032 markings, 15377222 edges, 10292 markings/sec, 405 secs
lola: 3480973 markings, 15625489 edges, 10188 markings/sec, 410 secs
lola: 3524453 markings, 15844097 edges, 8696 markings/sec, 415 secs
lola: 3562882 markings, 16011807 edges, 7686 markings/sec, 420 secs
lola: 3601097 markings, 16178845 edges, 7643 markings/sec, 425 secs
lola: 3639496 markings, 16355278 edges, 7680 markings/sec, 430 secs
lola: 3679440 markings, 16516778 edges, 7989 markings/sec, 435 secs
lola: 3718915 markings, 16680258 edges, 7895 markings/sec, 440 secs
lola: 3757932 markings, 16838465 edges, 7803 markings/sec, 445 secs
lola: 3807683 markings, 17061286 edges, 9950 markings/sec, 450 secs
lola: 3860078 markings, 17299974 edges, 10479 markings/sec, 455 secs
lola: 3912965 markings, 17537877 edges, 10577 markings/sec, 460 secs
lola: 3967213 markings, 17751621 edges, 10850 markings/sec, 465 secs
lola: 4020424 markings, 17967833 edges, 10642 markings/sec, 470 secs
lola: 4053974 markings, 18097807 edges, 6710 markings/sec, 475 secs
lola: 4084971 markings, 18208954 edges, 6199 markings/sec, 480 secs
lola: 4116080 markings, 18322623 edges, 6222 markings/sec, 485 secs
lola: 4147337 markings, 18440990 edges, 6251 markings/sec, 490 secs
lola: 4184614 markings, 18603635 edges, 7455 markings/sec, 495 secs
lola: 4222305 markings, 18771865 edges, 7538 markings/sec, 500 secs
lola: 4259624 markings, 18937232 edges, 7464 markings/sec, 505 secs
lola: 4300487 markings, 19129073 edges, 8173 markings/sec, 510 secs
lola: 4350740 markings, 19386536 edges, 10051 markings/sec, 515 secs
lola: 4402679 markings, 19644154 edges, 10388 markings/sec, 520 secs
lola: 4453341 markings, 19916486 edges, 10132 markings/sec, 525 secs
lola: 4503759 markings, 20186342 edges, 10084 markings/sec, 530 secs
lola: 4552651 markings, 20460195 edges, 9778 markings/sec, 535 secs
lola: 4592721 markings, 20665612 edges, 8014 markings/sec, 540 secs
lola: 4633634 markings, 20863573 edges, 8183 markings/sec, 545 secs
lola: 4674276 markings, 21076597 edges, 8128 markings/sec, 550 secs
lola: 4715400 markings, 21271019 edges, 8225 markings/sec, 555 secs
lola: 4756583 markings, 21451836 edges, 8237 markings/sec, 560 secs
lola: 4797502 markings, 21646586 edges, 8184 markings/sec, 565 secs
lola: 4844176 markings, 21876927 edges, 9335 markings/sec, 570 secs
lola: 4895270 markings, 22128853 edges, 10219 markings/sec, 575 secs
lola: 4946588 markings, 22393077 edges, 10264 markings/sec, 580 secs
lola: 4999468 markings, 22639411 edges, 10576 markings/sec, 585 secs
lola: 5051828 markings, 22872241 edges, 10472 markings/sec, 590 secs
lola: 5096861 markings, 23072245 edges, 9007 markings/sec, 595 secs
lola: 5135358 markings, 23233901 edges, 7699 markings/sec, 600 secs
lola: 5173272 markings, 23381175 edges, 7583 markings/sec, 605 secs
lola: 5211544 markings, 23541773 edges, 7654 markings/sec, 610 secs
lola: 5249694 markings, 23712666 edges, 7630 markings/sec, 615 secs
lola: 5288899 markings, 23874422 edges, 7841 markings/sec, 620 secs
lola: 5327329 markings, 24049348 edges, 7686 markings/sec, 625 secs
lola: 5373808 markings, 24267402 edges, 9296 markings/sec, 630 secs
lola: 5425982 markings, 24509462 edges, 10435 markings/sec, 635 secs
lola: 5477799 markings, 24760288 edges, 10363 markings/sec, 640 secs
lola: 5527833 markings, 25030412 edges, 10007 markings/sec, 645 secs
lola: 5578060 markings, 25289781 edges, 10045 markings/sec, 650 secs
lola: 5622486 markings, 25517097 edges, 8885 markings/sec, 655 secs
lola: 5662968 markings, 25713943 edges, 8096 markings/sec, 660 secs
lola: 5704139 markings, 25908152 edges, 8234 markings/sec, 665 secs
lola: 5744793 markings, 26112595 edges, 8131 markings/sec, 670 secs
lola: 5784994 markings, 26332684 edges, 8040 markings/sec, 675 secs
lola: 5825530 markings, 26538939 edges, 8107 markings/sec, 680 secs
lola: 5865678 markings, 26755076 edges, 8030 markings/sec, 685 secs
lola: 5913369 markings, 27032958 edges, 9538 markings/sec, 690 secs
lola: 5963208 markings, 27308956 edges, 9968 markings/sec, 695 secs
lola: 6012789 markings, 27583883 edges, 9916 markings/sec, 700 secs
lola: 6063999 markings, 27847114 edges, 10242 markings/sec, 705 secs
lola: 6113633 markings, 28110447 edges, 9927 markings/sec, 710 secs
lola: 6154148 markings, 28310411 edges, 8103 markings/sec, 715 secs
lola: 6191847 markings, 28487205 edges, 7540 markings/sec, 720 secs
lola: 6229537 markings, 28664249 edges, 7538 markings/sec, 725 secs
lola: 6273407 markings, 28885352 edges, 8774 markings/sec, 730 secs
lola: 6329330 markings, 29178639 edges, 11185 markings/sec, 735 secs
lola: 6385673 markings, 29485103 edges, 11269 markings/sec, 740 secs
lola: 6435408 markings, 29780251 edges, 9947 markings/sec, 745 secs
lola: 6486283 markings, 30067919 edges, 10175 markings/sec, 750 secs
lola: 6535545 markings, 30363180 edges, 9852 markings/sec, 755 secs
lola: 6584121 markings, 30669609 edges, 9715 markings/sec, 760 secs
lola: 6632426 markings, 30979024 edges, 9661 markings/sec, 765 secs
lola: 6684443 markings, 31293100 edges, 10403 markings/sec, 770 secs
lola: 6739634 markings, 31609424 edges, 11038 markings/sec, 775 secs
lola: 6793597 markings, 31915209 edges, 10793 markings/sec, 780 secs
lola: 6848405 markings, 32210138 edges, 10962 markings/sec, 785 secs
lola: 6904886 markings, 32520435 edges, 11296 markings/sec, 790 secs
lola: 6955131 markings, 32815434 edges, 10049 markings/sec, 795 secs
lola: 7005853 markings, 33107484 edges, 10144 markings/sec, 800 secs
lola: 7055779 markings, 33392766 edges, 9985 markings/sec, 805 secs
lola: 7107100 markings, 33670645 edges, 10264 markings/sec, 810 secs
lola: 7158602 markings, 33951758 edges, 10300 markings/sec, 815 secs
lola: 7215113 markings, 34237025 edges, 11302 markings/sec, 820 secs
lola: 7273321 markings, 34516162 edges, 11642 markings/sec, 825 secs
lola: 7330223 markings, 34792704 edges, 11380 markings/sec, 830 secs
lola: 7388887 markings, 35061076 edges, 11733 markings/sec, 835 secs
lola: 7447343 markings, 35345566 edges, 11691 markings/sec, 840 secs
lola: 7499690 markings, 35622356 edges, 10469 markings/sec, 845 secs
lola: 7551910 markings, 35894139 edges, 10444 markings/sec, 850 secs
lola: 7602897 markings, 36175876 edges, 10197 markings/sec, 855 secs
lola: 7654302 markings, 36462393 edges, 10281 markings/sec, 860 secs
lola: 7706088 markings, 36755591 edges, 10357 markings/sec, 865 secs
lola: 7763806 markings, 37060418 edges, 11544 markings/sec, 870 secs
lola: 7819710 markings, 37352477 edges, 11181 markings/sec, 875 secs
lola: 7874813 markings, 37657727 edges, 11021 markings/sec, 880 secs
lola: 7930686 markings, 37967031 edges, 11175 markings/sec, 885 secs
lola: 7983218 markings, 38280825 edges, 10506 markings/sec, 890 secs
lola: 8033152 markings, 38582609 edges, 9987 markings/sec, 895 secs
lola: 8082191 markings, 38889051 edges, 9808 markings/sec, 900 secs
lola: 8133032 markings, 39177565 edges, 10168 markings/sec, 905 secs
lola: 8184586 markings, 39463822 edges, 10311 markings/sec, 910 secs
lola: 8237433 markings, 39755660 edges, 10569 markings/sec, 915 secs
lola: 8295605 markings, 40053576 edges, 11634 markings/sec, 920 secs
lola: 8351905 markings, 40345529 edges, 11260 markings/sec, 925 secs
lola: 8391707 markings, 40526410 edges, 7960 markings/sec, 930 secs
lola: 8430749 markings, 40694592 edges, 7808 markings/sec, 935 secs
lola: 8468460 markings, 40862678 edges, 7542 markings/sec, 940 secs
lola: 8513368 markings, 41069623 edges, 8982 markings/sec, 945 secs
lola: 8565696 markings, 41325003 edges, 10466 markings/sec, 950 secs
lola: 8618267 markings, 41584073 edges, 10514 markings/sec, 955 secs
lola: 8669487 markings, 41862628 edges, 10244 markings/sec, 960 secs
lola: 8720658 markings, 42133495 edges, 10234 markings/sec, 965 secs
lola: 8767280 markings, 42375817 edges, 9324 markings/sec, 970 secs
lola: 8807901 markings, 42577703 edges, 8124 markings/sec, 975 secs
lola: 8849311 markings, 42777226 edges, 8282 markings/sec, 980 secs
lola: 8890812 markings, 42981498 edges, 8300 markings/sec, 985 secs
lola: 8932264 markings, 43171854 edges, 8290 markings/sec, 990 secs
lola: 8973668 markings, 43348662 edges, 8281 markings/sec, 995 secs
lola: 9015641 markings, 43545900 edges, 8395 markings/sec, 1000 secs
lola: 9067287 markings, 43804657 edges, 10329 markings/sec, 1005 secs
lola: 9119421 markings, 44063891 edges, 10427 markings/sec, 1010 secs
lola: 9172617 markings, 44313132 edges, 10639 markings/sec, 1015 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown no no unknown no no unknown no no
lola: memory consumption: 9895748 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown no no unknown no no unknown no no
lola:
preliminary result: unknown unknown unknown unknown no unknown no no unknown no no unknown no no
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: memory consumption: 3556 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown no unknown no no unknown no no unknown no no
lola: memory consumption: 5600 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Dekker-PT-100"
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 Dekker-PT-100, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r075-tall-162039097600394"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-100.tgz
mv Dekker-PT-100 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 ;