About the Execution of 2020-gold for HouseConstruction-PT-00200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16255.579 | 3600000.00 | 3583473.00 | 52219.40 | FTTFT?TFTFF??FT? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r132-tall-162075428200094.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is HouseConstruction-PT-00200, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-162075428200094
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 113K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 11:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 11:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 22 21:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 22 21:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 6 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 13K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME HouseConstruction-PT-00200-00
FORMULA_NAME HouseConstruction-PT-00200-01
FORMULA_NAME HouseConstruction-PT-00200-02
FORMULA_NAME HouseConstruction-PT-00200-03
FORMULA_NAME HouseConstruction-PT-00200-04
FORMULA_NAME HouseConstruction-PT-00200-05
FORMULA_NAME HouseConstruction-PT-00200-06
FORMULA_NAME HouseConstruction-PT-00200-07
FORMULA_NAME HouseConstruction-PT-00200-08
FORMULA_NAME HouseConstruction-PT-00200-09
FORMULA_NAME HouseConstruction-PT-00200-10
FORMULA_NAME HouseConstruction-PT-00200-11
FORMULA_NAME HouseConstruction-PT-00200-12
FORMULA_NAME HouseConstruction-PT-00200-13
FORMULA_NAME HouseConstruction-PT-00200-14
FORMULA_NAME HouseConstruction-PT-00200-15
=== Now, execution of the tool begins
BK_START 1620901262987
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-13 10:21:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-13 10:21:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 10:21:04] [INFO ] Load time of PNML (sax parser for PT used): 25 ms
[2021-05-13 10:21:04] [INFO ] Transformed 26 places.
[2021-05-13 10:21:04] [INFO ] Transformed 18 transitions.
[2021-05-13 10:21:04] [INFO ] Parsed PT model containing 26 places and 18 transitions in 61 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 14 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100125 steps, including 27 resets, run finished after 59 ms. (steps per millisecond=1697 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1]
// Phase 1: matrix 18 rows 26 cols
[2021-05-13 10:21:04] [INFO ] Computed 8 place invariants in 4 ms
[2021-05-13 10:21:04] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 12 ms returned sat
[2021-05-13 10:21:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 10:21:04] [INFO ] [Real]Absence check using state equation in 14 ms returned sat
[2021-05-13 10:21:04] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 6 ms.
[2021-05-13 10:21:04] [INFO ] Added : 10 causal constraints over 2 iterations in 23 ms. Result :sat
[2021-05-13 10:21:04] [INFO ] [Real]Absence check using 0 positive and 8 generalized place invariants in 4 ms returned sat
[2021-05-13 10:21:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 10:21:04] [INFO ] [Real]Absence check using state equation in 11 ms returned sat
[2021-05-13 10:21:04] [INFO ] Computed and/alt/rep : 17/25/17 causal constraints in 9 ms.
[2021-05-13 10:21:04] [INFO ] Added : 13 causal constraints over 3 iterations in 24 ms. Result :sat
[2021-05-13 10:21:05] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-05-13 10:21:05] [INFO ] Flatten gal took : 22 ms
FORMULA HouseConstruction-PT-00200-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HouseConstruction-PT-00200-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-13 10:21:05] [INFO ] Flatten gal took : 5 ms
[2021-05-13 10:21:05] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-13 10:21:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 0 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ HouseConstruction-PT-00200 @ 3570 seconds
FORMULA HouseConstruction-PT-00200-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00200-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00200-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00200-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00200-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00200-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00200-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00200-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00200-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA HouseConstruction-PT-00200-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ HouseConstruction-PT-00200
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu May 13 10:21:06 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 3,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(((p4 <= 0) R (((p10 <= 0) OR (p11 <= 0)) R (p14 <= 0))) R X ((X ((1 <= p4)) U ((1 <= p10) AND (1 <= p11)))))",
"processed_size": 110,
"rewrites": 84
},
"result":
{
"edges": 3601,
"markings": 3601,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 15
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 2,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X ((F ((((p3 <= 0) OR (p7 <= 0)) OR (p4 <= 0))) OR X (G (((1 <= p16) AND (1 <= p17))))))",
"processed_size": 89,
"rewrites": 84
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X ((X (G ((1 <= p8))) OR F (((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0)))))",
"processed_size": 72,
"rewrites": 84
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (((p25 <= 0) OR (X ((((1 <= p25) AND (1 <= p2)) U (1 <= p25))) AND F ((1 <= p25)))))",
"processed_size": 86,
"rewrites": 84
},
"result":
{
"edges": 3601,
"markings": 3601,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 4,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 2,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "(((1 <= p22) AND (1 <= p23)) U X (((((1 <= p22) AND (1 <= p23)) U (1 <= p14)) U (((p6 <= 0) R ((p22 <= 0) OR (p23 <= 0))) U (1 <= p5)))))",
"processed_size": 138,
"rewrites": 84
},
"result":
{
"edges": 482388,
"markings": 161599,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 401
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G (F ((G ((1 <= p8)) OR (X ((1 <= p1)) OR ((1 <= p18) OR (1 <= p1))))))",
"processed_size": 71,
"rewrites": 84
},
"result":
{
"edges": 83771,
"markings": 37294,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 458
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (((1 <= p4) U (1 <= p15)))",
"processed_size": 28,
"rewrites": 84
},
"result":
{
"edges": 3601,
"markings": 3601,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 535
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 4,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 4,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((X ((G (((1 <= p3) AND (1 <= p7))) OR (G (((G ((1 <= p19)) OR (1 <= p19)) AND ((1 <= p3) AND (1 <= p7)))) AND F (G (((1 <= p3) AND (1 <= p7))))))) AND ((1 <= p3) AND (1 <= p7))))",
"processed_size": 181,
"rewrites": 84
},
"result":
{
"edges": 3601,
"markings": 3601,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 12
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 642
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((G (F ((1 <= p2))) AND (G ((p19 <= 0)) OR (p18 <= 0))))",
"processed_size": 58,
"rewrites": 84
},
"result":
{
"edges": 4406080,
"markings": 2283546,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 855
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "X (X (F ((G ((p6 <= 0)) OR ((1 <= p1) OR (((1 <= p10) AND (1 <= p11)) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))))))",
"processed_size": 120,
"rewrites": 84
},
"result":
{
"edges": 30,
"markings": 27,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 16069608,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "((* R (* R *)) R X((X(**) U **))) : X((F((* OR *)) OR X(G(**)))) : X((X(G(**)) OR F(*))) : G((** OR (X((** U **)) AND F(**)))) : (X(**) OR (X(X(*)) U **)) : (** U X(((** U **) U ((* R *) U **)))) : G(F((G(**) OR (X(**) OR (** OR **))))) : X((** U **)) : X((X((G(**) OR (G(((G(**) OR **) AND (** AND **))) AND F(G(**))))) AND **)) : F(G((* AND *))) : F(G((G(**) OR X(**)))) : X((G(F(**)) AND (G(*) OR *))) : X(X(F((G(*) OR (** OR (** OR **)))))) : G((G((F(*) AND *)) OR (F(G((F(*) AND *))) AND F(G((F(**) OR **))))))"
},
"net":
{
"arcs": 51,
"conflict_clusters": 18,
"places": 26,
"places_significant": 18,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"interim_value": "no yes yes no unknown yes no no no unknown unknown no yes unknown ",
"preliminary_value": "no yes yes no unknown yes no no no unknown unknown no yes unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 44/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 832
lola: finding significant places
lola: 26 places, 18 transitions, 18 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: NOT((((1 <= p4) U (((1 <= p10) AND (1 <= p11)) U (1 <= p14))) U NOT(X ((X ((1 <= p4)) U ((1 <= p10) AND (1 <= p11))))))) : X (((NOT(G (((1 <= p3) AND (1 <= p7)))) OR NOT(G ((1 <= p4)))) OR NOT(F (NOT(X (G (((1 <= p16) AND (1 <= p17))))))))) : X ((X (G ((1 <= p8))) OR NOT(G (((1 <= p9) AND (1 <= p12) AND (1 <= p13)))))) : G (((p25 <= 0) OR (X ((((1 <= p25) AND (1 <= p2)) U (1 <= p25))) AND F ((1 <= p25))))) : (X (((1 <= p10) AND (1 <= p11))) OR (NOT(X (X ((1 <= p14)))) U ((1 <= p9) AND (1 <= p12) AND (1 <= p13)))) : (((1 <= p22) AND (1 <= p23)) U X (((((1 <= p22) AND (1 <= p23)) U (1 <= p14)) U (NOT(((1 <= p6) U ((1 <= p22) AND (1 <= p23)))) U (1 <= p5))))) : F (G (X ((F (G ((1 <= p8))) OR F (((X ((1 <= p1)) OR (1 <= p18)) OR (1 <= p1))))))) : X (((1 <= p4) U (1 <= p15))) : (X (X ((G ((((G ((1 <= p19)) OR (1 <= p19)) AND (1 <= p3)) AND (1 <= p7))) U G (((1 <= p3) AND (1 <= p7)))))) AND X (((1 <= p3) AND (1 <= p7)))) : NOT(G (X (((X (((1 <= p1) U ((1 <= p22) AND (1 <= p23)))) U F (((1 <= p9) AND (1 <= p12) AND (1 <= p13)))) OR F (((1 <= p9) AND (1 <= p12) AND (1 <= p13) AND (1 <= p22) AND (1 <= p23))))))) : G ((((1 <= p8) AND (1 <= p9) AND (1 <= p12) AND (1 <= p13)) U F (G ((G ((p6 <= 0)) OR X (((1 <= p8) AND (1 <= p9) AND (1 <= p12) AND (1 <= p13)))))))) : NOT(X ((F (NOT(G (F ((1 <= p2))))) OR (F ((1 <= p19)) AND (1 <= p18))))) : F (X (F (X ((((NOT(F ((1 <= p6))) OR (1 <= p1)) OR ((1 <= p10) AND (1 <= p11))) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))))) : G ((F (G ((F (((1 <= p3) AND (1 <= p7))) OR (1 <= p5)))) U NOT(F ((G (((1 <= p20) AND (1 <= p21) AND (1 <= p24))) OR (1 <= p5))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p4 <= 0) R (((p10 <= 0) OR (p11 <= 0)) R (p14 <= 0))) R X ((X ((1 <= p4)) U ((1 <= p10) AND (1 <= p11)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((p4 <= 0) R (((p10 <= 0) OR (p11 <= 0)) R (p14 <= 0))) R X ((X ((1 <= p4)) U ((1 <= p10) AND (1 <= p11)))))
lola: processed formula length: 110
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 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: 3601 markings, 3601 edges
lola: ========================================
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F ((((p3 <= 0) OR (p7 <= 0)) OR (p4 <= 0))) OR X (G (((1 <= p16) AND (1 <= p17))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F ((((p3 <= 0) OR (p7 <= 0)) OR (p4 <= 0))) OR X (G (((1 <= p16) AND (1 <= p17))))))
lola: processed formula length: 89
lola: 84 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 2 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (G ((1 <= p8))) OR F (((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (G ((1 <= p8))) OR F (((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0)))))
lola: processed formula length: 72
lola: 84 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 3 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p25 <= 0) OR (X ((((1 <= p25) AND (1 <= p2)) U (1 <= p25))) AND F ((1 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p25 <= 0) OR (X ((((1 <= p25) AND (1 <= p2)) U (1 <= p25))) AND F ((1 <= p25)))))
lola: processed formula length: 86
lola: 84 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: 3601 markings, 3601 edges
lola: ========================================
lola: subprocess 4 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (((1 <= p10) AND (1 <= p11))) OR (X (X ((p14 <= 0))) U ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p10) AND (1 <= p11)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p10) AND (1 <= p11)))
lola: processed formula length: 31
lola: 84 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: 3601 markings, 3601 edges
lola: ========================================
lola: subprocess 5 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X ((p14 <= 0))) U ((1 <= p9) AND (1 <= p12) AND (1 <= p13)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (X ((p14 <= 0))) U ((1 <= p9) AND (1 <= p12) AND (1 <= p13)))
lola: processed formula length: 64
lola: 84 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: 2443644 markings, 7915827 edges, 488729 markings/sec, 0 secs
lola: 4679826 markings, 15664788 edges, 447236 markings/sec, 5 secs
lola: 6708549 markings, 23079890 edges, 405745 markings/sec, 10 secs
lola: 8882145 markings, 30657540 edges, 434719 markings/sec, 15 secs
lola: 10888349 markings, 37997220 edges, 401241 markings/sec, 20 secs
lola: 12816913 markings, 45301790 edges, 385713 markings/sec, 25 secs
lola: 14954537 markings, 52773626 edges, 427525 markings/sec, 30 secs
lola: 16920237 markings, 59905368 edges, 393140 markings/sec, 35 secs
lola: 18710826 markings, 66829906 edges, 358118 markings/sec, 40 secs
lola: 20475855 markings, 73792453 edges, 353006 markings/sec, 45 secs
lola: 22437068 markings, 81008864 edges, 392243 markings/sec, 50 secs
lola: 24556872 markings, 88394831 edges, 423961 markings/sec, 55 secs
lola: 26424557 markings, 95414791 edges, 373537 markings/sec, 60 secs
lola: 28382090 markings, 102596974 edges, 391507 markings/sec, 65 secs
lola: 30199364 markings, 109638823 edges, 363455 markings/sec, 70 secs
lola: 31959967 markings, 116576138 edges, 352121 markings/sec, 75 secs
lola: 33627722 markings, 123400887 edges, 333551 markings/sec, 80 secs
lola: 35401523 markings, 130351191 edges, 354760 markings/sec, 85 secs
lola: 37387530 markings, 137533475 edges, 397201 markings/sec, 90 secs
lola: 39452173 markings, 144769377 edges, 412929 markings/sec, 95 secs
lola: 41329157 markings, 151722100 edges, 375397 markings/sec, 100 secs
lola: 43133386 markings, 158636630 edges, 360846 markings/sec, 105 secs
lola: 45027778 markings, 165576254 edges, 378878 markings/sec, 110 secs
lola: 46779097 markings, 172342067 edges, 350264 markings/sec, 115 secs
lola: 48467414 markings, 178992617 edges, 337663 markings/sec, 120 secs
lola: 50075544 markings, 185486258 edges, 321626 markings/sec, 125 secs
lola: 51752257 markings, 192095608 edges, 335343 markings/sec, 130 secs
lola: 53377819 markings, 198674458 edges, 325112 markings/sec, 135 secs
lola: 54930389 markings, 205234213 edges, 310514 markings/sec, 140 secs
lola: 56686831 markings, 212059634 edges, 351288 markings/sec, 145 secs
lola: 58550464 markings, 219020916 edges, 372727 markings/sec, 150 secs
lola: 60667248 markings, 226994058 edges, 423357 markings/sec, 155 secs
lola: 62692001 markings, 234134679 edges, 404951 markings/sec, 160 secs
lola: 64653568 markings, 241191602 edges, 392313 markings/sec, 165 secs
lola: 66410397 markings, 247989912 edges, 351366 markings/sec, 170 secs
lola: 68102932 markings, 254643477 edges, 338507 markings/sec, 175 secs
lola: 70001807 markings, 261568751 edges, 379775 markings/sec, 180 secs
lola: 71785420 markings, 268412152 edges, 356723 markings/sec, 185 secs
lola: 73456313 markings, 275062844 edges, 334179 markings/sec, 190 secs
lola: 75144542 markings, 281682757 edges, 337646 markings/sec, 195 secs
lola: 76762356 markings, 288208975 edges, 323563 markings/sec, 200 secs
lola: 78435345 markings, 294822429 edges, 334598 markings/sec, 205 secs
lola: 79984059 markings, 301358676 edges, 309743 markings/sec, 210 secs
lola: 81718455 markings, 308156722 edges, 346879 markings/sec, 215 secs
lola: 83357012 markings, 314766490 edges, 327711 markings/sec, 220 secs
lola: 84918843 markings, 321296662 edges, 312366 markings/sec, 225 secs
lola: 86429851 markings, 327791139 edges, 302202 markings/sec, 230 secs
lola: 88122756 markings, 334549766 edges, 338581 markings/sec, 235 secs
lola: 89771273 markings, 341113031 edges, 329703 markings/sec, 240 secs
lola: 91634886 markings, 348055356 edges, 372723 markings/sec, 245 secs
lola: 93453962 markings, 354886234 edges, 363815 markings/sec, 250 secs
lola: 95223325 markings, 361667988 edges, 353873 markings/sec, 255 secs
lola: 97134472 markings, 368577855 edges, 382229 markings/sec, 260 secs
lola: 99193558 markings, 375701748 edges, 411817 markings/sec, 265 secs
lola: 100983555 markings, 382485728 edges, 357999 markings/sec, 270 secs
lola: 102688535 markings, 389095110 edges, 340996 markings/sec, 275 secs
lola: 104380712 markings, 395674419 edges, 338435 markings/sec, 280 secs
lola: 105948439 markings, 402116387 edges, 313545 markings/sec, 285 secs
lola: 107791548 markings, 408834761 edges, 368622 markings/sec, 290 secs
lola: 109474707 markings, 415347652 edges, 336632 markings/sec, 295 secs
lola: 111109001 markings, 421766395 edges, 326859 markings/sec, 300 secs
lola: 112752663 markings, 428125944 edges, 328732 markings/sec, 305 secs
lola: 114185178 markings, 434094633 edges, 286503 markings/sec, 310 secs
lola: 115776517 markings, 440264215 edges, 318268 markings/sec, 315 secs
lola: 117006769 markings, 445224380 edges, 246050 markings/sec, 320 secs
lola: 118394736 markings, 451092571 edges, 277593 markings/sec, 325 secs
lola: 120041736 markings, 457506495 edges, 329400 markings/sec, 330 secs
lola: 120921445 markings, 461077455 edges, 175942 markings/sec, 335 secs
lola: 122186654 markings, 466229216 edges, 253042 markings/sec, 340 secs
lola: 123532321 markings, 471918961 edges, 269133 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes yes no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 792 KB
lola: time consumption: 359 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p22) AND (1 <= p23)) U X (((((1 <= p22) AND (1 <= p23)) U (1 <= p14)) U (((p6 <= 0) R ((p22 <= 0) OR (p23 <= 0))) U (1 <= p5)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p22) AND (1 <= p23)) U X (((((1 <= p22) AND (1 <= p23)) U (1 <= p14)) U (((p6 <= 0) R ((p22 <= 0) OR (p23 <= 0))) U (1 <= p5)))))
lola: processed formula length: 138
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 161599 markings, 482388 edges
lola: ========================================
lola: subprocess 6 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G ((1 <= p8)) OR (X ((1 <= p1)) OR ((1 <= p18) OR (1 <= p1))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G ((1 <= p8)) OR (X ((1 <= p1)) OR ((1 <= p18) OR (1 <= p1))))))
lola: processed formula length: 71
lola: 84 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: 37294 markings, 83771 edges
lola: ========================================
lola: subprocess 7 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p4) U (1 <= p15)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p4) U (1 <= p15)))
lola: processed formula length: 28
lola: 84 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: 3601 markings, 3601 edges
lola: ========================================
lola: subprocess 8 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((G (((1 <= p3) AND (1 <= p7))) OR (G (((G ((1 <= p19)) OR (1 <= p19)) AND ((1 <= p3) AND (1 <= p7)))) AND F (G (((1 <= p3) AND (1 <= p7))))))) AND ((1 <= p3) AND (1 <= p7))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((G (((1 <= p3) AND (1 <= p7))) OR (G (((G ((1 <= p19)) OR (1 <= p19)) AND ((1 <= p3) AND (1 <= p7)))) AND F (G (((1 <= p3) AND (1 <= p7))))))) AND ((1 <= p3) AND (1 <= p7))))
lola: processed formula length: 181
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3601 markings, 3601 edges
lola: ========================================
lola: subprocess 9 will run for 642 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((G ((p6 <= 0)) OR X (((1 <= p8) AND (1 <= p9) AND (1 <= p12) AND (1 <= p13))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((G ((p6 <= 0)) OR X (((1 <= p8) AND (1 <= p9) AND (1 <= p12) AND (1 <= p13))))))
lola: processed formula length: 86
lola: 84 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: 693280 markings, 9409237 edges, 138656 markings/sec, 0 secs
lola: 1282124 markings, 18569306 edges, 117769 markings/sec, 5 secs
lola: 1848757 markings, 27712858 edges, 113327 markings/sec, 10 secs
lola: 2441478 markings, 36868355 edges, 118544 markings/sec, 15 secs
lola: 2973080 markings, 45859147 edges, 106320 markings/sec, 20 secs
lola: 3497988 markings, 54867167 edges, 104982 markings/sec, 25 secs
lola: 4038265 markings, 63706289 edges, 108055 markings/sec, 30 secs
lola: 4613194 markings, 72353974 edges, 114986 markings/sec, 35 secs
lola: 5116878 markings, 81010124 edges, 100737 markings/sec, 40 secs
lola: 5698013 markings, 89660679 edges, 116227 markings/sec, 45 secs
lola: 6240438 markings, 98499138 edges, 108485 markings/sec, 50 secs
lola: 6731423 markings, 107291414 edges, 98197 markings/sec, 55 secs
lola: 7216027 markings, 116026690 edges, 96921 markings/sec, 60 secs
lola: 7673843 markings, 124616874 edges, 91563 markings/sec, 65 secs
lola: 8084520 markings, 133264592 edges, 82135 markings/sec, 70 secs
lola: 8555692 markings, 141925616 edges, 94234 markings/sec, 75 secs
lola: 9012629 markings, 150497315 edges, 91387 markings/sec, 80 secs
lola: 9486357 markings, 158942349 edges, 94746 markings/sec, 85 secs
lola: 9914434 markings, 167330892 edges, 85615 markings/sec, 90 secs
lola: 10355956 markings, 175690167 edges, 88304 markings/sec, 95 secs
lola: 10930810 markings, 184729610 edges, 114971 markings/sec, 100 secs
lola: 11427192 markings, 193681369 edges, 99276 markings/sec, 105 secs
lola: 11883292 markings, 202516800 edges, 91220 markings/sec, 110 secs
lola: 12367863 markings, 211263111 edges, 96914 markings/sec, 115 secs
lola: 12822533 markings, 219905305 edges, 90934 markings/sec, 120 secs
lola: 13368370 markings, 228801635 edges, 109167 markings/sec, 125 secs
lola: 13851408 markings, 237562919 edges, 96608 markings/sec, 130 secs
lola: 14374908 markings, 246303493 edges, 104700 markings/sec, 135 secs
lola: 14918638 markings, 255106008 edges, 108746 markings/sec, 140 secs
lola: 15410578 markings, 263771109 edges, 98388 markings/sec, 145 secs
lola: 15894337 markings, 272388350 edges, 96752 markings/sec, 150 secs
lola: 16344956 markings, 280956603 edges, 90124 markings/sec, 155 secs
lola: 16824420 markings, 289349966 edges, 95893 markings/sec, 160 secs
lola: 17259018 markings, 297736406 edges, 86920 markings/sec, 165 secs
lola: 17685061 markings, 306029684 edges, 85209 markings/sec, 170 secs
lola: 18195303 markings, 314781622 edges, 102048 markings/sec, 175 secs
lola: 18629110 markings, 323518432 edges, 86761 markings/sec, 180 secs
lola: 19042196 markings, 332058138 edges, 82617 markings/sec, 185 secs
lola: 19437673 markings, 340581522 edges, 79095 markings/sec, 190 secs
lola: 19898878 markings, 349260425 edges, 92241 markings/sec, 195 secs
lola: 20310776 markings, 357777559 edges, 82380 markings/sec, 200 secs
lola: 20783401 markings, 366462746 edges, 94525 markings/sec, 205 secs
lola: 21303865 markings, 374946904 edges, 104093 markings/sec, 210 secs
lola: 21785410 markings, 383271468 edges, 96309 markings/sec, 215 secs
lola: 22229664 markings, 391441806 edges, 88851 markings/sec, 220 secs
lola: 22734791 markings, 399897648 edges, 101025 markings/sec, 225 secs
lola: 23168957 markings, 408298919 edges, 86833 markings/sec, 230 secs
lola: 23604753 markings, 416689672 edges, 87159 markings/sec, 235 secs
lola: 24053380 markings, 425067888 edges, 89725 markings/sec, 240 secs
lola: 24567424 markings, 433242380 edges, 102809 markings/sec, 245 secs
lola: 25068202 markings, 441306337 edges, 100156 markings/sec, 250 secs
lola: 25523624 markings, 449413703 edges, 91084 markings/sec, 255 secs
lola: 26043031 markings, 457656540 edges, 103881 markings/sec, 260 secs
lola: 26524158 markings, 465862920 edges, 96225 markings/sec, 265 secs
lola: 27004684 markings, 473950709 edges, 96105 markings/sec, 270 secs
lola: 27490012 markings, 482378100 edges, 97066 markings/sec, 275 secs
lola: 27941745 markings, 490643063 edges, 90347 markings/sec, 280 secs
lola: 28407674 markings, 498834517 edges, 93186 markings/sec, 285 secs
lola: 28831278 markings, 506782875 edges, 84721 markings/sec, 290 secs
lola: 29276788 markings, 514994710 edges, 89102 markings/sec, 295 secs
lola: 29677613 markings, 523179271 edges, 80165 markings/sec, 300 secs
lola: 30109780 markings, 531128068 edges, 86433 markings/sec, 305 secs
lola: 30547771 markings, 539116949 edges, 87598 markings/sec, 310 secs
lola: 30998516 markings, 547183973 edges, 90149 markings/sec, 315 secs
lola: 31535768 markings, 555253811 edges, 107450 markings/sec, 320 secs
lola: 32170777 markings, 564026487 edges, 127002 markings/sec, 325 secs
lola: 32672994 markings, 572502030 edges, 100443 markings/sec, 330 secs
lola: 33152725 markings, 581230389 edges, 95946 markings/sec, 335 secs
lola: 33619409 markings, 589708007 edges, 93337 markings/sec, 340 secs
lola: 34045254 markings, 597841051 edges, 85169 markings/sec, 345 secs
lola: 34431493 markings, 605963073 edges, 77248 markings/sec, 350 secs
lola: 34868707 markings, 613958894 edges, 87443 markings/sec, 355 secs
lola: 35279641 markings, 621727609 edges, 82187 markings/sec, 360 secs
lola: 35720904 markings, 629459150 edges, 88253 markings/sec, 365 secs
lola: 36127060 markings, 637227531 edges, 81231 markings/sec, 370 secs
lola: 36509092 markings, 644960232 edges, 76406 markings/sec, 375 secs
lola: 37014587 markings, 653433541 edges, 101099 markings/sec, 380 secs
lola: 37446961 markings, 662021713 edges, 86475 markings/sec, 385 secs
lola: 37854970 markings, 670594043 edges, 81602 markings/sec, 390 secs
lola: 38228019 markings, 678892502 edges, 74610 markings/sec, 395 secs
lola: 38618732 markings, 686913416 edges, 78143 markings/sec, 400 secs
lola: 38994139 markings, 695000481 edges, 75081 markings/sec, 405 secs
lola: 39429777 markings, 703288081 edges, 87128 markings/sec, 410 secs
lola: 39832807 markings, 711698040 edges, 80606 markings/sec, 415 secs
lola: 40217068 markings, 719647529 edges, 76852 markings/sec, 420 secs
lola: 40651034 markings, 727855893 edges, 86793 markings/sec, 425 secs
lola: 41102011 markings, 736320015 edges, 90195 markings/sec, 430 secs
lola: 41526142 markings, 744675175 edges, 84826 markings/sec, 435 secs
lola: 41932619 markings, 753046352 edges, 81295 markings/sec, 440 secs
lola: 42314277 markings, 761152164 edges, 76332 markings/sec, 445 secs
lola: 42696829 markings, 769125829 edges, 76510 markings/sec, 450 secs
lola: 43090285 markings, 777103060 edges, 78691 markings/sec, 455 secs
lola: 43463514 markings, 785197096 edges, 74646 markings/sec, 460 secs
lola: 43813942 markings, 793051362 edges, 70086 markings/sec, 465 secs
lola: 44231407 markings, 801026013 edges, 83493 markings/sec, 470 secs
lola: 44618572 markings, 809461773 edges, 77433 markings/sec, 475 secs
lola: 44974513 markings, 817741543 edges, 71188 markings/sec, 480 secs
lola: 45321775 markings, 825767839 edges, 69452 markings/sec, 485 secs
lola: 45657344 markings, 833874401 edges, 67114 markings/sec, 490 secs
lola: 46033540 markings, 841988286 edges, 75239 markings/sec, 495 secs
lola: 46392775 markings, 850158825 edges, 71847 markings/sec, 500 secs
lola: 46750278 markings, 858152294 edges, 71501 markings/sec, 505 secs
lola: 47153803 markings, 866455011 edges, 80705 markings/sec, 510 secs
lola: 47585917 markings, 874714529 edges, 86423 markings/sec, 515 secs
lola: 47990969 markings, 882813756 edges, 81010 markings/sec, 520 secs
lola: 48393675 markings, 890939749 edges, 80541 markings/sec, 525 secs
lola: 48790557 markings, 899007408 edges, 79376 markings/sec, 530 secs
lola: 49208474 markings, 907396857 edges, 83583 markings/sec, 535 secs
lola: 49568556 markings, 915487796 edges, 72016 markings/sec, 540 secs
lola: 49953705 markings, 923688647 edges, 77030 markings/sec, 545 secs
lola: 50334149 markings, 931840235 edges, 76089 markings/sec, 550 secs
lola: 50772397 markings, 939968416 edges, 87650 markings/sec, 555 secs
lola: 51188442 markings, 947862564 edges, 83209 markings/sec, 560 secs
lola: 51592770 markings, 955739610 edges, 80866 markings/sec, 565 secs
lola: 51997506 markings, 963776510 edges, 80947 markings/sec, 570 secs
lola: 52445847 markings, 971889111 edges, 89668 markings/sec, 575 secs
lola: 52846178 markings, 979801609 edges, 80066 markings/sec, 580 secs
lola: 53242679 markings, 987484292 edges, 79300 markings/sec, 585 secs
lola: 53667582 markings, 995587891 edges, 84981 markings/sec, 590 secs
lola: 54023435 markings, 1003402814 edges, 71171 markings/sec, 595 secs
lola: 54411010 markings, 1011297512 edges, 77515 markings/sec, 600 secs
lola: 54816097 markings, 1019317843 edges, 81017 markings/sec, 605 secs
lola: 55180059 markings, 1027145882 edges, 72792 markings/sec, 610 secs
lola: 55565643 markings, 1035193324 edges, 77117 markings/sec, 615 secs
lola: 55910958 markings, 1043144767 edges, 69063 markings/sec, 620 secs
lola: 56280831 markings, 1051072445 edges, 73975 markings/sec, 625 secs
lola: 56662840 markings, 1058835967 edges, 76402 markings/sec, 630 secs
lola: 57025409 markings, 1066663155 edges, 72514 markings/sec, 635 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes yes no unknown yes no no no unknown unknown unknown unknown unknown
lola: memory consumption: 7913288 KB
lola: time consumption: 1002 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 10 will run for 642 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G (F ((1 <= p2))) AND (G ((p19 <= 0)) OR (p18 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G (F ((1 <= p2))) AND (G ((p19 <= 0)) OR (p18 <= 0))))
lola: processed formula length: 58
lola: 84 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: 2283546 markings, 4406080 edges
lola: ========================================
lola: subprocess 11 will run for 855 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (F ((G ((p6 <= 0)) OR ((1 <= p1) OR (((1 <= p10) AND (1 <= p11)) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (F ((G ((p6 <= 0)) OR ((1 <= p1) OR (((1 <= p10) AND (1 <= p11)) OR ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))))))
lola: processed formula length: 120
lola: 84 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 27 markings, 30 edges
lola: ========================================
lola: subprocess 12 will run for 1282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0)) AND ((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0) OR (p22 <= 0) OR (p23 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0)) AND ((p9 <= 0) OR (p12 <= 0) OR (p13 <= 0) OR (p22 <= 0) OR (p23 <= 0)))))
lola: processed formula length: 127
lola: 84 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: 826898 markings, 7742036 edges, 165380 markings/sec, 0 secs
lola: 1566396 markings, 15358642 edges, 147900 markings/sec, 5 secs
lola: 2300183 markings, 22984223 edges, 146757 markings/sec, 10 secs
lola: 2952549 markings, 30219104 edges, 130473 markings/sec, 15 secs
lola: 3571630 markings, 37541354 edges, 123816 markings/sec, 20 secs
lola: 4246115 markings, 44869926 edges, 134897 markings/sec, 25 secs
lola: 4887732 markings, 52115116 edges, 128323 markings/sec, 30 secs
lola: 5542794 markings, 59211874 edges, 131012 markings/sec, 35 secs
lola: 6236620 markings, 66845825 edges, 138765 markings/sec, 40 secs
lola: 6841182 markings, 74207370 edges, 120912 markings/sec, 45 secs
lola: 7437917 markings, 81511644 edges, 119347 markings/sec, 50 secs
lola: 8061935 markings, 88646934 edges, 124804 markings/sec, 55 secs
lola: 8673719 markings, 95766468 edges, 122357 markings/sec, 60 secs
lola: 9340593 markings, 102892903 edges, 133375 markings/sec, 65 secs
lola: 9973583 markings, 110050603 edges, 126598 markings/sec, 70 secs
lola: 10562513 markings, 116943401 edges, 117786 markings/sec, 75 secs
lola: 11148747 markings, 123981442 edges, 117247 markings/sec, 80 secs
lola: 11695470 markings, 130877424 edges, 109345 markings/sec, 85 secs
lola: 12263868 markings, 137785443 edges, 113680 markings/sec, 90 secs
lola: 12832130 markings, 144711071 edges, 113652 markings/sec, 95 secs
lola: 13388069 markings, 151756947 edges, 111188 markings/sec, 100 secs
lola: 13891897 markings, 158646626 edges, 100766 markings/sec, 105 secs
lola: 14419912 markings, 165470333 edges, 105603 markings/sec, 110 secs
lola: 14944808 markings, 172160937 edges, 104979 markings/sec, 115 secs
lola: 15579498 markings, 179192240 edges, 126938 markings/sec, 120 secs
lola: 16187089 markings, 186242020 edges, 121518 markings/sec, 125 secs
lola: 16745516 markings, 193113353 edges, 111685 markings/sec, 130 secs
lola: 17307182 markings, 200016304 edges, 112333 markings/sec, 135 secs
lola: 17834743 markings, 206939934 edges, 105512 markings/sec, 140 secs
lola: 18371694 markings, 213693112 edges, 107390 markings/sec, 145 secs
lola: 18985728 markings, 220607654 edges, 122807 markings/sec, 150 secs
lola: 19546639 markings, 227377248 edges, 112182 markings/sec, 155 secs
lola: 20122342 markings, 234120989 edges, 115141 markings/sec, 160 secs
lola: 20702645 markings, 240874912 edges, 116061 markings/sec, 165 secs
lola: 21240746 markings, 247465260 edges, 107620 markings/sec, 170 secs
lola: 21816838 markings, 254097841 edges, 115218 markings/sec, 175 secs
lola: 22474905 markings, 261426051 edges, 131613 markings/sec, 180 secs
lola: 23096881 markings, 268896438 edges, 124395 markings/sec, 185 secs
lola: 23701888 markings, 276090544 edges, 121001 markings/sec, 190 secs
lola: 24238040 markings, 282948680 edges, 107230 markings/sec, 195 secs
lola: 24834689 markings, 290120313 edges, 119330 markings/sec, 200 secs
lola: 25378615 markings, 297212897 edges, 108785 markings/sec, 205 secs
lola: 25888292 markings, 304170954 edges, 101935 markings/sec, 210 secs
lola: 26386936 markings, 310886712 edges, 99729 markings/sec, 215 secs
lola: 26848791 markings, 317441116 edges, 92371 markings/sec, 220 secs
lola: 27418132 markings, 324530725 edges, 113868 markings/sec, 225 secs
lola: 27929910 markings, 331379222 edges, 102356 markings/sec, 230 secs
lola: 28421459 markings, 338001824 edges, 98310 markings/sec, 235 secs
lola: 28933654 markings, 344667576 edges, 102439 markings/sec, 240 secs
lola: 29451448 markings, 351310442 edges, 103559 markings/sec, 245 secs
lola: 30002767 markings, 357881628 edges, 110264 markings/sec, 250 secs
lola: 30626681 markings, 364995317 edges, 124783 markings/sec, 255 secs
lola: 31196139 markings, 371785302 edges, 113892 markings/sec, 260 secs
lola: 31690571 markings, 378377393 edges, 98886 markings/sec, 265 secs
lola: 32217418 markings, 385016359 edges, 105369 markings/sec, 270 secs
lola: 32744004 markings, 391461100 edges, 105317 markings/sec, 275 secs
lola: 33357016 markings, 398556187 edges, 122602 markings/sec, 280 secs
lola: 34024907 markings, 405697319 edges, 133578 markings/sec, 285 secs
lola: 34625886 markings, 412653364 edges, 120196 markings/sec, 290 secs
lola: 35235376 markings, 419694633 edges, 121898 markings/sec, 295 secs
lola: 35792711 markings, 426664007 edges, 111467 markings/sec, 300 secs
lola: 36431111 markings, 434709075 edges, 127680 markings/sec, 305 secs
lola: 36947652 markings, 441483368 edges, 103308 markings/sec, 310 secs
lola: 37462363 markings, 448088911 edges, 102942 markings/sec, 315 secs
lola: 37987117 markings, 454603008 edges, 104951 markings/sec, 320 secs
lola: 38485435 markings, 461053525 edges, 99664 markings/sec, 325 secs
lola: 39019266 markings, 467634607 edges, 106766 markings/sec, 330 secs
lola: 39525440 markings, 474052249 edges, 101235 markings/sec, 335 secs
lola: 40093374 markings, 480967695 edges, 113587 markings/sec, 340 secs
lola: 40615379 markings, 487778039 edges, 104401 markings/sec, 345 secs
lola: 41102736 markings, 494448013 edges, 97471 markings/sec, 350 secs
lola: 41557827 markings, 500913776 edges, 91018 markings/sec, 355 secs
lola: 42029304 markings, 507347180 edges, 94295 markings/sec, 360 secs
lola: 42455577 markings, 513614459 edges, 85255 markings/sec, 365 secs
lola: 42927578 markings, 520086132 edges, 94400 markings/sec, 370 secs
lola: 43474075 markings, 526897528 edges, 109299 markings/sec, 375 secs
lola: 43960176 markings, 533476920 edges, 97220 markings/sec, 380 secs
lola: 44447616 markings, 540026335 edges, 97488 markings/sec, 385 secs
lola: 44971966 markings, 546586933 edges, 104870 markings/sec, 390 secs
lola: 45466180 markings, 553047985 edges, 98843 markings/sec, 395 secs
lola: 45946113 markings, 559408036 edges, 95987 markings/sec, 400 secs
lola: 46391425 markings, 565757590 edges, 89062 markings/sec, 405 secs
lola: 46978163 markings, 572793945 edges, 117348 markings/sec, 410 secs
lola: 47505913 markings, 579762786 edges, 105550 markings/sec, 415 secs
lola: 47999665 markings, 586433911 edges, 98750 markings/sec, 420 secs
lola: 48483536 markings, 593005579 edges, 96774 markings/sec, 425 secs
lola: 48923959 markings, 599271477 edges, 88085 markings/sec, 430 secs
lola: 49423776 markings, 606064182 edges, 99963 markings/sec, 435 secs
lola: 49862208 markings, 612550742 edges, 87686 markings/sec, 440 secs
lola: 50270310 markings, 618780606 edges, 81620 markings/sec, 445 secs
lola: 50734841 markings, 625342307 edges, 92906 markings/sec, 450 secs
lola: 51176104 markings, 631713063 edges, 88253 markings/sec, 455 secs
lola: 51632243 markings, 638089612 edges, 91228 markings/sec, 460 secs
lola: 52111177 markings, 644615910 edges, 95787 markings/sec, 465 secs
lola: 52612258 markings, 651172752 edges, 100216 markings/sec, 470 secs
lola: 53092993 markings, 657701085 edges, 96147 markings/sec, 475 secs
lola: 53554050 markings, 664168856 edges, 92211 markings/sec, 480 secs
lola: 54056135 markings, 670726484 edges, 100417 markings/sec, 485 secs
lola: 54643167 markings, 677669924 edges, 117406 markings/sec, 490 secs
lola: 55245932 markings, 684638177 edges, 120553 markings/sec, 495 secs
lola: 55814626 markings, 691439071 edges, 113739 markings/sec, 500 secs
lola: 56341106 markings, 697993648 edges, 105296 markings/sec, 505 secs
lola: 56893156 markings, 704868685 edges, 110410 markings/sec, 510 secs
lola: 57400269 markings, 711442786 edges, 101423 markings/sec, 515 secs
lola: 57943134 markings, 718069972 edges, 108573 markings/sec, 520 secs
lola: 58469923 markings, 724806586 edges, 105358 markings/sec, 525 secs
lola: 58953682 markings, 731429824 edges, 96752 markings/sec, 530 secs
lola: 59462026 markings, 738024122 edges, 101669 markings/sec, 535 secs
lola: 59952406 markings, 744472797 edges, 98076 markings/sec, 540 secs
lola: 60426312 markings, 750843619 edges, 94781 markings/sec, 545 secs
lola: 60914060 markings, 757330521 edges, 97550 markings/sec, 550 secs
lola: 61431452 markings, 763951752 edges, 103478 markings/sec, 555 secs
lola: 61956798 markings, 770782120 edges, 105069 markings/sec, 560 secs
lola: 62432627 markings, 777259724 edges, 95166 markings/sec, 565 secs
lola: 62911726 markings, 783811169 edges, 95820 markings/sec, 570 secs
lola: 63361121 markings, 790268896 edges, 89879 markings/sec, 575 secs
lola: 63795309 markings, 796576460 edges, 86838 markings/sec, 580 secs
lola: 64255596 markings, 802873262 edges, 92057 markings/sec, 585 secs
lola: 64774717 markings, 809476007 edges, 103824 markings/sec, 590 secs
lola: 65253347 markings, 815967512 edges, 95726 markings/sec, 595 secs
lola: 65808968 markings, 822744487 edges, 111124 markings/sec, 600 secs
lola: 66393621 markings, 829496999 edges, 116931 markings/sec, 605 secs
lola: 66928385 markings, 836098509 edges, 106953 markings/sec, 610 secs
lola: 67447642 markings, 842556812 edges, 103851 markings/sec, 615 secs
lola: 67953209 markings, 848969125 edges, 101113 markings/sec, 620 secs
lola: 68464205 markings, 855526535 edges, 102199 markings/sec, 625 secs
lola: 68932100 markings, 861858628 edges, 93579 markings/sec, 630 secs
lola: 69409711 markings, 868215997 edges, 95522 markings/sec, 635 secs
lola: 69928068 markings, 874745364 edges, 103671 markings/sec, 640 secs
lola: 70510572 markings, 881267483 edges, 116501 markings/sec, 645 secs
lola: 71040607 markings, 887613062 edges, 106007 markings/sec, 650 secs
lola: 71552307 markings, 894021288 edges, 102340 markings/sec, 655 secs
lola: 72032776 markings, 900346276 edges, 96094 markings/sec, 660 secs
lola: 72542446 markings, 906727798 edges, 101934 markings/sec, 665 secs
lola: 73054496 markings, 913106416 edges, 102410 markings/sec, 670 secs
lola: 73504054 markings, 919256218 edges, 89912 markings/sec, 675 secs
lola: 73983884 markings, 925605888 edges, 95966 markings/sec, 680 secs
lola: 74530037 markings, 931990669 edges, 109231 markings/sec, 685 secs
lola: 75039352 markings, 938279618 edges, 101863 markings/sec, 690 secs
lola: 75535470 markings, 944537386 edges, 99224 markings/sec, 695 secs
lola: 76182008 markings, 951828920 edges, 129308 markings/sec, 700 secs
lola: 76795971 markings, 959183884 edges, 122793 markings/sec, 705 secs
lola: 77397108 markings, 966374723 edges, 120227 markings/sec, 710 secs
lola: 77931975 markings, 973164063 edges, 106973 markings/sec, 715 secs
lola: 78523341 markings, 980402199 edges, 118273 markings/sec, 720 secs
lola: 79050237 markings, 987433281 edges, 105379 markings/sec, 725 secs
lola: 79540112 markings, 994122614 edges, 97975 markings/sec, 730 secs
lola: 80065009 markings, 1000926586 edges, 104979 markings/sec, 735 secs
lola: 80598382 markings, 1007719112 edges, 106675 markings/sec, 740 secs
lola: 81139664 markings, 1014416539 edges, 108256 markings/sec, 745 secs
lola: 81657777 markings, 1021196751 edges, 103623 markings/sec, 750 secs
lola: 82155870 markings, 1027923657 edges, 99619 markings/sec, 755 secs
lola: 82612757 markings, 1034368317 edges, 91377 markings/sec, 760 secs
lola: 83116566 markings, 1040955821 edges, 100762 markings/sec, 765 secs
lola: 83684424 markings, 1047995909 edges, 113572 markings/sec, 770 secs
lola: 84245306 markings, 1055125849 edges, 112176 markings/sec, 775 secs
lola: 84741873 markings, 1061958948 edges, 99313 markings/sec, 780 secs
lola: 85248395 markings, 1068680648 edges, 101304 markings/sec, 785 secs
lola: 85689639 markings, 1075008368 edges, 88249 markings/sec, 790 secs
lola: 86194127 markings, 1081767219 edges, 100898 markings/sec, 795 secs
lola: 86660364 markings, 1088484319 edges, 93247 markings/sec, 800 secs
lola: 87088755 markings, 1094911315 edges, 85678 markings/sec, 805 secs
lola: 87525219 markings, 1101315688 edges, 87293 markings/sec, 810 secs
lola: 87969136 markings, 1107805822 edges, 88783 markings/sec, 815 secs
lola: 88426617 markings, 1114228708 edges, 91496 markings/sec, 820 secs
lola: 88862421 markings, 1120535512 edges, 87161 markings/sec, 825 secs
lola: 89347957 markings, 1127193813 edges, 97107 markings/sec, 830 secs
lola: 89773313 markings, 1133440410 edges, 85071 markings/sec, 835 secs
lola: 90173533 markings, 1139708518 edges, 80044 markings/sec, 840 secs
lola: 90586548 markings, 1145986503 edges, 82603 markings/sec, 845 secs
lola: 91030477 markings, 1152411630 edges, 88786 markings/sec, 850 secs
lola: 91531447 markings, 1159179956 edges, 100194 markings/sec, 855 secs
lola: 92062770 markings, 1166080804 edges, 106265 markings/sec, 860 secs
lola: 92541373 markings, 1172600602 edges, 95721 markings/sec, 865 secs
lola: 93024550 markings, 1179212902 edges, 96635 markings/sec, 870 secs
lola: 93476743 markings, 1185709870 edges, 90439 markings/sec, 875 secs
lola: 93913950 markings, 1192076517 edges, 87441 markings/sec, 880 secs
lola: 94378740 markings, 1198511603 edges, 92958 markings/sec, 885 secs
lola: 94817769 markings, 1204840143 edges, 87806 markings/sec, 890 secs
lola: 95221533 markings, 1210997620 edges, 80753 markings/sec, 895 secs
lola: 95689035 markings, 1217525854 edges, 93500 markings/sec, 900 secs
lola: 96192477 markings, 1224081718 edges, 100688 markings/sec, 905 secs
lola: 96646525 markings, 1230346368 edges, 90810 markings/sec, 910 secs
lola: 97080877 markings, 1236494576 edges, 86870 markings/sec, 915 secs
lola: 97576543 markings, 1242919471 edges, 99133 markings/sec, 920 secs
lola: 98045972 markings, 1249197661 edges, 93886 markings/sec, 925 secs
lola: 98487519 markings, 1255349888 edges, 88309 markings/sec, 930 secs
lola: 98932168 markings, 1261485919 edges, 88930 markings/sec, 935 secs
lola: 99453148 markings, 1267755563 edges, 104196 markings/sec, 940 secs
lola: 99921566 markings, 1273899638 edges, 93684 markings/sec, 945 secs
lola: 100541736 markings, 1280941369 edges, 124034 markings/sec, 950 secs
lola: 101135308 markings, 1288010249 edges, 118714 markings/sec, 955 secs
lola: 101664249 markings, 1294895099 edges, 105788 markings/sec, 960 secs
lola: 102198795 markings, 1301576038 edges, 106909 markings/sec, 965 secs
lola: 102762945 markings, 1308470909 edges, 112830 markings/sec, 970 secs
lola: 103258737 markings, 1315082985 edges, 99158 markings/sec, 975 secs
lola: 103748266 markings, 1321737206 edges, 97906 markings/sec, 980 secs
lola: 104196982 markings, 1328256739 edges, 89743 markings/sec, 985 secs
lola: 104666116 markings, 1334804481 edges, 93827 markings/sec, 990 secs
lola: 105188297 markings, 1341566288 edges, 104436 markings/sec, 995 secs
lola: 105677261 markings, 1348175465 edges, 97793 markings/sec, 1000 secs
lola: 106133790 markings, 1354627083 edges, 91306 markings/sec, 1005 secs
lola: 106642955 markings, 1361213103 edges, 101833 markings/sec, 1010 secs
lola: 107147883 markings, 1367632452 edges, 100986 markings/sec, 1015 secs
lola: 107683052 markings, 1374195044 edges, 107034 markings/sec, 1020 secs
lola: 108271226 markings, 1381179006 edges, 117635 markings/sec, 1025 secs
lola: 108796804 markings, 1387979216 edges, 105116 markings/sec, 1030 secs
lola: 109338401 markings, 1394655760 edges, 108319 markings/sec, 1035 secs
lola: 109989414 markings, 1401692932 edges, 130203 markings/sec, 1040 secs
lola: 110572910 markings, 1408451695 edges, 116699 markings/sec, 1045 secs
lola: 111162931 markings, 1415277538 edges, 118004 markings/sec, 1050 secs
lola: 111693133 markings, 1421986443 edges, 106040 markings/sec, 1055 secs
lola: 112233217 markings, 1428566839 edges, 108017 markings/sec, 1060 secs
lola: 112732991 markings, 1435041110 edges, 99955 markings/sec, 1065 secs
lola: 113218349 markings, 1441428996 edges, 97072 markings/sec, 1070 secs
lola: 113717503 markings, 1447811788 edges, 99831 markings/sec, 1075 secs
lola: 114236846 markings, 1454224663 edges, 103869 markings/sec, 1080 secs
lola: 114744883 markings, 1460661158 edges, 101607 markings/sec, 1085 secs
lola: 115243941 markings, 1467114588 edges, 99812 markings/sec, 1090 secs
lola: 115819949 markings, 1473964860 edges, 115202 markings/sec, 1095 secs
lola: 116351368 markings, 1480798081 edges, 106284 markings/sec, 1100 secs
lola: 116827884 markings, 1487326946 edges, 95303 markings/sec, 1105 secs
lola: 117309974 markings, 1493759689 edges, 96418 markings/sec, 1110 secs
lola: 117730619 markings, 1499855148 edges, 84129 markings/sec, 1115 secs
lola: 118261785 markings, 1506461123 edges, 106233 markings/sec, 1120 secs
lola: 118720514 markings, 1512393820 edges, 91746 markings/sec, 1125 secs
lola: 119213422 markings, 1518952642 edges, 98582 markings/sec, 1130 secs
lola: 119655733 markings, 1525028137 edges, 88462 markings/sec, 1135 secs
lola: 120055702 markings, 1530661548 edges, 79994 markings/sec, 1140 secs
lola: 120507700 markings, 1536910620 edges, 90400 markings/sec, 1145 secs
lola: 120932095 markings, 1542996613 edges, 84879 markings/sec, 1150 secs
lola: 121373103 markings, 1549140179 edges, 88202 markings/sec, 1155 secs
lola: 121850263 markings, 1555614599 edges, 95432 markings/sec, 1160 secs
lola: 122217237 markings, 1561025405 edges, 73395 markings/sec, 1165 secs
lola: 122582355 markings, 1566570261 edges, 73024 markings/sec, 1170 secs
lola: 123027349 markings, 1572669646 edges, 88999 markings/sec, 1175 secs
lola: 123439767 markings, 1578031734 edges, 82484 markings/sec, 1180 secs
lola: 123872978 markings, 1583943511 edges, 86642 markings/sec, 1185 secs
lola: 124317671 markings, 1589952572 edges, 88939 markings/sec, 1190 secs
lola: 124688391 markings, 1595271203 edges, 74144 markings/sec, 1195 secs
lola: 125121012 markings, 1601000703 edges, 86524 markings/sec, 1200 secs
lola: 125585765 markings, 1606979498 edges, 92951 markings/sec, 1205 secs
lola: 126061564 markings, 1613176051 edges, 95160 markings/sec, 1210 secs
lola: 126525377 markings, 1619287193 edges, 92763 markings/sec, 1215 secs
lola: 126954348 markings, 1625282797 edges, 85794 markings/sec, 1220 secs
lola: 127360880 markings, 1631248727 edges, 81306 markings/sec, 1225 secs
lola: 127778540 markings, 1637117380 edges, 83532 markings/sec, 1230 secs
lola: 128316866 markings, 1643678629 edges, 107665 markings/sec, 1235 secs
lola: 128789009 markings, 1649954034 edges, 94429 markings/sec, 1240 secs
lola: 129217915 markings, 1656099370 edges, 85781 markings/sec, 1245 secs
lola: 129657539 markings, 1662094406 edges, 87925 markings/sec, 1250 secs
lola: 130141378 markings, 1668382335 edges, 96768 markings/sec, 1255 secs
lola: 130678406 markings, 1674904378 edges, 107406 markings/sec, 1260 secs
lola: 131096008 markings, 1680358114 edges, 83520 markings/sec, 1265 secs
lola: 131582080 markings, 1686748326 edges, 97214 markings/sec, 1270 secs
lola: 131987410 markings, 1692332738 edges, 81066 markings/sec, 1275 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes yes no unknown yes no no no unknown unknown no yes unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 1282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G ((F (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) AND (p5 <= 0))) OR (F (G ((F (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) AND (p5 <= 0)))) AND F (G ((F (((1 <= p3) AND (1 <= p7))) OR (1 <= p5)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G ((F (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) AND (p5 <= 0))) OR (F (G ((F (((p20 <= 0) OR (p21 <= 0) OR (p24 <= 0))) AND (p5 <= 0)))) AND F (G ((F (((1 <= p3) AND (1 <= p7))) OR (1 <= p5)))))))
lola: processed formula length: 205
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 18 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: 1073870 markings, 7274084 edges, 214774 markings/sec, 0 secs
lola: 2096719 markings, 14424657 edges, 204570 markings/sec, 5 secs
lola: 3004079 markings, 21355921 edges, 181472 markings/sec, 10 secs
lola: 3908957 markings, 28150713 edges, 180976 markings/sec, 15 secs
lola: 4816875 markings, 34759803 edges, 181584 markings/sec, 20 secs
lola: 5730607 markings, 41572814 edges, 182746 markings/sec, 25 secs
lola: 6642972 markings, 48479159 edges, 182473 markings/sec, 30 secs
lola: 7477195 markings, 55155094 edges, 166845 markings/sec, 35 secs
lola: 8267811 markings, 61669548 edges, 158123 markings/sec, 40 secs
lola: 9077473 markings, 68194617 edges, 161932 markings/sec, 45 secs
lola: 9950727 markings, 74807267 edges, 174651 markings/sec, 50 secs
lola: 10806587 markings, 81381518 edges, 171172 markings/sec, 55 secs
lola: 11651151 markings, 87764913 edges, 168913 markings/sec, 60 secs
lola: 12474655 markings, 94154885 edges, 164701 markings/sec, 65 secs
lola: 13381968 markings, 100775494 edges, 181463 markings/sec, 70 secs
lola: 14220674 markings, 107425339 edges, 167741 markings/sec, 75 secs
lola: 15054334 markings, 113945143 edges, 166732 markings/sec, 80 secs
lola: 15923905 markings, 120655643 edges, 173914 markings/sec, 85 secs
lola: 16733093 markings, 127186842 edges, 161838 markings/sec, 90 secs
lola: 17505230 markings, 133511978 edges, 154427 markings/sec, 95 secs
lola: 18285080 markings, 139870844 edges, 155970 markings/sec, 100 secs
lola: 19045260 markings, 146184114 edges, 152036 markings/sec, 105 secs
lola: 19751884 markings, 152397208 edges, 141325 markings/sec, 110 secs
lola: 20489416 markings, 158519402 edges, 147506 markings/sec, 115 secs
lola: 21170787 markings, 164482582 edges, 136274 markings/sec, 120 secs
lola: 21897372 markings, 170530215 edges, 145317 markings/sec, 125 secs
lola: 22658384 markings, 176768757 edges, 152202 markings/sec, 130 secs
lola: 23377584 markings, 182911186 edges, 143840 markings/sec, 135 secs
lola: 24198290 markings, 189126465 edges, 164141 markings/sec, 140 secs
lola: 24953761 markings, 195103327 edges, 151094 markings/sec, 145 secs
lola: 25676282 markings, 201024946 edges, 144504 markings/sec, 150 secs
lola: 26412863 markings, 207030753 edges, 147316 markings/sec, 155 secs
lola: 27208606 markings, 213111847 edges, 159149 markings/sec, 160 secs
lola: 27965035 markings, 218994729 edges, 151286 markings/sec, 165 secs
lola: 28717642 markings, 224911249 edges, 150521 markings/sec, 170 secs
lola: 29425969 markings, 230665948 edges, 141665 markings/sec, 175 secs
lola: 30137173 markings, 236555030 edges, 142241 markings/sec, 180 secs
lola: 30921567 markings, 242484768 edges, 156879 markings/sec, 185 secs
lola: 31659881 markings, 248314176 edges, 147663 markings/sec, 190 secs
lola: 32559078 markings, 254872878 edges, 179839 markings/sec, 195 secs
lola: 33355838 markings, 261297364 edges, 159352 markings/sec, 200 secs
lola: 34142018 markings, 267612705 edges, 157236 markings/sec, 205 secs
lola: 34827853 markings, 273645480 edges, 137167 markings/sec, 210 secs
lola: 35565747 markings, 279585965 edges, 147579 markings/sec, 215 secs
lola: 36381252 markings, 285925348 edges, 163101 markings/sec, 220 secs
lola: 37248235 markings, 292724025 edges, 173397 markings/sec, 225 secs
lola: 38057680 markings, 299300008 edges, 161889 markings/sec, 230 secs
lola: 38820545 markings, 305611025 edges, 152573 markings/sec, 235 secs
lola: 39636003 markings, 312176147 edges, 163092 markings/sec, 240 secs
lola: 40365952 markings, 318450794 edges, 145990 markings/sec, 245 secs
lola: 41108484 markings, 324773993 edges, 148506 markings/sec, 250 secs
lola: 41830123 markings, 330889774 edges, 144328 markings/sec, 255 secs
lola: 42534738 markings, 337003641 edges, 140923 markings/sec, 260 secs
lola: 43263452 markings, 343059886 edges, 145743 markings/sec, 265 secs
lola: 44030476 markings, 349495620 edges, 153405 markings/sec, 270 secs
lola: 44775733 markings, 355781259 edges, 149051 markings/sec, 275 secs
lola: 45471503 markings, 361842496 edges, 139154 markings/sec, 280 secs
lola: 46144490 markings, 367775716 edges, 134597 markings/sec, 285 secs
lola: 46810085 markings, 373781613 edges, 133119 markings/sec, 290 secs
lola: 47485076 markings, 379907066 edges, 134998 markings/sec, 295 secs
lola: 48224095 markings, 386181396 edges, 147804 markings/sec, 300 secs
lola: 48918038 markings, 392143853 edges, 138789 markings/sec, 305 secs
lola: 49569928 markings, 397976490 edges, 130378 markings/sec, 310 secs
lola: 50259685 markings, 404029959 edges, 137951 markings/sec, 315 secs
lola: 50884603 markings, 409914961 edges, 124984 markings/sec, 320 secs
lola: 51608885 markings, 416034254 edges, 144856 markings/sec, 325 secs
lola: 52300889 markings, 421990444 edges, 138401 markings/sec, 330 secs
lola: 53007104 markings, 427974931 edges, 141243 markings/sec, 335 secs
lola: 53781825 markings, 434526438 edges, 154944 markings/sec, 340 secs
lola: 54464293 markings, 440709350 edges, 136494 markings/sec, 345 secs
lola: 55136249 markings, 446787652 edges, 134391 markings/sec, 350 secs
lola: 56024007 markings, 453506286 edges, 177552 markings/sec, 355 secs
lola: 56846186 markings, 459980974 edges, 164436 markings/sec, 360 secs
lola: 57629159 markings, 466369576 edges, 156595 markings/sec, 365 secs
lola: 58407905 markings, 472740945 edges, 155749 markings/sec, 370 secs
lola: 59159585 markings, 478916967 edges, 150336 markings/sec, 375 secs
lola: 59903080 markings, 485162552 edges, 148699 markings/sec, 380 secs
lola: 60648889 markings, 491476906 edges, 149162 markings/sec, 385 secs
lola: 61356299 markings, 497715735 edges, 141482 markings/sec, 390 secs
lola: 62152760 markings, 504156917 edges, 159292 markings/sec, 395 secs
lola: 62969002 markings, 510545438 edges, 163248 markings/sec, 400 secs
lola: 63759237 markings, 516684399 edges, 158047 markings/sec, 405 secs
lola: 64527632 markings, 522752037 edges, 153679 markings/sec, 410 secs
lola: 65253817 markings, 528647122 edges, 145237 markings/sec, 415 secs
lola: 65934348 markings, 534401278 edges, 136106 markings/sec, 420 secs
lola: 66670166 markings, 540262984 edges, 147164 markings/sec, 425 secs
lola: 67399506 markings, 546204653 edges, 145868 markings/sec, 430 secs
lola: 68090344 markings, 552061006 edges, 138168 markings/sec, 435 secs
lola: 68769349 markings, 558029525 edges, 135801 markings/sec, 440 secs
lola: 69474225 markings, 564138500 edges, 140975 markings/sec, 445 secs
lola: 70346642 markings, 570675475 edges, 174483 markings/sec, 450 secs
lola: 71128248 markings, 576866041 edges, 156321 markings/sec, 455 secs
lola: 71915461 markings, 583050054 edges, 157443 markings/sec, 460 secs
lola: 72628028 markings, 589092291 edges, 142513 markings/sec, 465 secs
lola: 73548515 markings, 595571602 edges, 184097 markings/sec, 470 secs
lola: 74358669 markings, 602044125 edges, 162031 markings/sec, 475 secs
lola: 75158226 markings, 608423874 edges, 159911 markings/sec, 480 secs
lola: 75880476 markings, 614632071 edges, 144450 markings/sec, 485 secs
lola: 76589646 markings, 620580426 edges, 141834 markings/sec, 490 secs
lola: 77336505 markings, 626626003 edges, 149372 markings/sec, 495 secs
lola: 78076134 markings, 632973042 edges, 147926 markings/sec, 500 secs
lola: 78743567 markings, 639021766 edges, 133487 markings/sec, 505 secs
lola: 79384279 markings, 644853609 edges, 128142 markings/sec, 510 secs
lola: 80119280 markings, 651019122 edges, 147000 markings/sec, 515 secs
lola: 80874984 markings, 657206741 edges, 151141 markings/sec, 520 secs
lola: 81570220 markings, 663197871 edges, 139047 markings/sec, 525 secs
lola: 82474221 markings, 670022664 edges, 180800 markings/sec, 530 secs
lola: 83292817 markings, 676552960 edges, 163719 markings/sec, 535 secs
lola: 84051294 markings, 682819608 edges, 151695 markings/sec, 540 secs
lola: 84831111 markings, 689090535 edges, 155963 markings/sec, 545 secs
lola: 85593076 markings, 695411610 edges, 152393 markings/sec, 550 secs
lola: 86297770 markings, 701550896 edges, 140939 markings/sec, 555 secs
lola: 87030483 markings, 707691897 edges, 146543 markings/sec, 560 secs
lola: 87719913 markings, 713621795 edges, 137886 markings/sec, 565 secs
lola: 88424416 markings, 719600398 edges, 140901 markings/sec, 570 secs
lola: 89164790 markings, 725656273 edges, 148075 markings/sec, 575 secs
lola: 89859474 markings, 731700742 edges, 138937 markings/sec, 580 secs
lola: 90594856 markings, 737833795 edges, 147076 markings/sec, 585 secs
lola: 91260934 markings, 743657797 edges, 133216 markings/sec, 590 secs
lola: 91903792 markings, 749418733 edges, 128572 markings/sec, 595 secs
lola: 92542900 markings, 755212892 edges, 127822 markings/sec, 600 secs
lola: 93188898 markings, 761058821 edges, 129200 markings/sec, 605 secs
lola: 93898505 markings, 767046291 edges, 141921 markings/sec, 610 secs
lola: 94573414 markings, 772840541 edges, 134982 markings/sec, 615 secs
lola: 95209546 markings, 778519117 edges, 127226 markings/sec, 620 secs
lola: 95862428 markings, 784240596 edges, 130576 markings/sec, 625 secs
lola: 96454123 markings, 789826114 edges, 118339 markings/sec, 630 secs
lola: 97146385 markings, 795716171 edges, 138452 markings/sec, 635 secs
lola: 97810001 markings, 801412989 edges, 132723 markings/sec, 640 secs
lola: 98447887 markings, 806986141 edges, 127577 markings/sec, 645 secs
lola: 99215656 markings, 813262488 edges, 153554 markings/sec, 650 secs
lola: 99878507 markings, 819141929 edges, 132570 markings/sec, 655 secs
lola: 100517823 markings, 824922971 edges, 127863 markings/sec, 660 secs
lola: 101225622 markings, 830993609 edges, 141560 markings/sec, 665 secs
lola: 101933568 markings, 837153448 edges, 141589 markings/sec, 670 secs
lola: 102622840 markings, 843245058 edges, 137854 markings/sec, 675 secs
lola: 103283189 markings, 849199238 edges, 132070 markings/sec, 680 secs
lola: 103926676 markings, 855024908 edges, 128697 markings/sec, 685 secs
lola: 104560611 markings, 860801456 edges, 126787 markings/sec, 690 secs
lola: 105165495 markings, 866472235 edges, 120977 markings/sec, 695 secs
lola: 105813684 markings, 872400032 edges, 129638 markings/sec, 700 secs
lola: 106429185 markings, 878226230 edges, 123100 markings/sec, 705 secs
lola: 107021888 markings, 883963765 edges, 118541 markings/sec, 710 secs
lola: 107680999 markings, 889869761 edges, 131822 markings/sec, 715 secs
lola: 108333725 markings, 895751207 edges, 130545 markings/sec, 720 secs
lola: 109013563 markings, 901471696 edges, 135968 markings/sec, 725 secs
lola: 109637165 markings, 907047746 edges, 124720 markings/sec, 730 secs
lola: 110274951 markings, 912606742 edges, 127557 markings/sec, 735 secs
lola: 110877324 markings, 918021368 edges, 120475 markings/sec, 740 secs
lola: 111445293 markings, 923427757 edges, 113594 markings/sec, 745 secs
lola: 112101852 markings, 929285290 edges, 131312 markings/sec, 750 secs
lola: 112717687 markings, 934796971 edges, 123167 markings/sec, 755 secs
lola: 113333485 markings, 940341455 edges, 123160 markings/sec, 760 secs
lola: 113908031 markings, 945790398 edges, 114909 markings/sec, 765 secs
lola: 114462847 markings, 951273109 edges, 110963 markings/sec, 770 secs
lola: 115048420 markings, 956902015 edges, 117115 markings/sec, 775 secs
lola: 115762085 markings, 962819544 edges, 142733 markings/sec, 780 secs
lola: 116380512 markings, 968146256 edges, 123685 markings/sec, 785 secs
lola: 117021651 markings, 973809610 edges, 128228 markings/sec, 790 secs
lola: 117637819 markings, 979316369 edges, 123234 markings/sec, 795 secs
lola: 118230172 markings, 984878347 edges, 118471 markings/sec, 800 secs
lola: 118970626 markings, 990705048 edges, 148091 markings/sec, 805 secs
lola: 119654977 markings, 996597327 edges, 136870 markings/sec, 810 secs
lola: 120267108 markings, 1002176165 edges, 122426 markings/sec, 815 secs
lola: 120877174 markings, 1007681244 edges, 122013 markings/sec, 820 secs
lola: 121455347 markings, 1012933870 edges, 115635 markings/sec, 825 secs
lola: 122053894 markings, 1018555421 edges, 119709 markings/sec, 830 secs
lola: 122644604 markings, 1023980462 edges, 118142 markings/sec, 835 secs
lola: 123264443 markings, 1029595532 edges, 123968 markings/sec, 840 secs
lola: 124085699 markings, 1035813444 edges, 164251 markings/sec, 845 secs
lola: 124832430 markings, 1041724585 edges, 149346 markings/sec, 850 secs
lola: 125548624 markings, 1047582098 edges, 143239 markings/sec, 855 secs
lola: 126265694 markings, 1053419009 edges, 143414 markings/sec, 860 secs
lola: 126965325 markings, 1059174824 edges, 139926 markings/sec, 865 secs
lola: 127619019 markings, 1064757701 edges, 130739 markings/sec, 870 secs
lola: 128318672 markings, 1070522232 edges, 139931 markings/sec, 875 secs
lola: 128957986 markings, 1076051737 edges, 127863 markings/sec, 880 secs
lola: 129628005 markings, 1081641986 edges, 134004 markings/sec, 885 secs
lola: 130309424 markings, 1087412434 edges, 136284 markings/sec, 890 secs
lola: 130994469 markings, 1093064262 edges, 137009 markings/sec, 895 secs
lola: 131632650 markings, 1098550920 edges, 127636 markings/sec, 900 secs
lola: 132230322 markings, 1103920688 edges, 119534 markings/sec, 905 secs
lola: 132910361 markings, 1109638825 edges, 136008 markings/sec, 910 secs
lola: 133584804 markings, 1115385576 edges, 134889 markings/sec, 915 secs
lola: 134222585 markings, 1121009921 edges, 127556 markings/sec, 920 secs
lola: 134868730 markings, 1126681687 edges, 129229 markings/sec, 925 secs
lola: 135476106 markings, 1132158350 edges, 121475 markings/sec, 930 secs
lola: 136114835 markings, 1137804300 edges, 127746 markings/sec, 935 secs
lola: 136835523 markings, 1143616263 edges, 144138 markings/sec, 940 secs
lola: 137472293 markings, 1149162450 edges, 127354 markings/sec, 945 secs
lola: 138114002 markings, 1154740589 edges, 128342 markings/sec, 950 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (X (((1 <= p10) AND (1 <= p11))) OR (X (X ((p14 <= 0))) U ((1 <= p9) AND (1 <= p12) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: X (((1 <= p10) AND (1 <= p11)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p10) AND (1 <= p11)))
lola: processed formula length: 31
lola: 84 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: 3601 markings, 3601 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (X (X ((p14 <= 0))) U ((1 <= p9) AND (1 <= p12) AND (1 <= p13)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (X ((p14 <= 0))) U ((1 <= p9) AND (1 <= p12) AND (1 <= p13)))
lola: processed formula length: 64
lola: 84 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: 2437091 markings, 7894049 edges, 487418 markings/sec, 0 secs
lola: 4672084 markings, 15636996 edges, 446999 markings/sec, 5 secs
lola: 6686837 markings, 22998852 edges, 402951 markings/sec, 10 secs
lola: 8856431 markings, 30553952 edges, 433919 markings/sec, 15 secs
lola: 10841657 markings, 37832201 edges, 397045 markings/sec, 20 secs
lola: 12758646 markings, 45094830 edges, 383398 markings/sec, 25 secs
lola: 14897004 markings, 52542421 edges, 427672 markings/sec, 30 secs
lola: 16847392 markings, 59642006 edges, 390078 markings/sec, 35 secs
lola: 18631933 markings, 66528938 edges, 356908 markings/sec, 40 secs
lola: 20382214 markings, 73443046 edges, 350056 markings/sec, 45 secs
lola: 22329035 markings, 80628658 edges, 389364 markings/sec, 50 secs
lola: 24444781 markings, 88010427 edges, 423149 markings/sec, 55 secs
lola: 26315547 markings, 95025362 edges, 374153 markings/sec, 60 secs
lola: 28277817 markings, 102202015 edges, 392454 markings/sec, 65 secs
lola: 30101071 markings, 109238864 edges, 364651 markings/sec, 70 secs
lola: 31860230 markings, 116185358 edges, 351832 markings/sec, 75 secs
lola: 33538417 markings, 123012463 edges, 335637 markings/sec, 80 secs
lola: 35315191 markings, 129977641 edges, 355355 markings/sec, 85 secs
lola: 37283798 markings, 137150626 edges, 393721 markings/sec, 90 secs
lola: 39340470 markings, 144396436 edges, 411334 markings/sec, 95 secs
lola: 41252844 markings, 151424329 edges, 382475 markings/sec, 100 secs
lola: 43039962 markings, 158312858 edges, 357424 markings/sec, 105 secs
lola: 44953435 markings, 165299020 edges, 382695 markings/sec, 110 secs
lola: 46716947 markings, 172093975 edges, 352702 markings/sec, 115 secs
lola: 48406648 markings, 178761850 edges, 337940 markings/sec, 120 secs
lola: 50029736 markings, 185293333 edges, 324618 markings/sec, 125 secs
lola: 51658155 markings, 191733425 edges, 325684 markings/sec, 130 secs
lola: 53191629 markings, 197919019 edges, 306695 markings/sec, 135 secs
lola: 54745897 markings, 204453846 edges, 310854 markings/sec, 140 secs
lola: 56459385 markings, 211142420 edges, 342698 markings/sec, 145 secs
lola: 58147590 markings, 217555958 edges, 337641 markings/sec, 150 secs
lola: 59907796 markings, 224081689 edges, 352041 markings/sec, 155 secs
lola: 61642044 markings, 230565940 edges, 346850 markings/sec, 160 secs
lola: 63637475 markings, 237432498 edges, 399086 markings/sec, 165 secs
lola: 65351384 markings, 243833387 edges, 342782 markings/sec, 170 secs
lola: 66985019 markings, 250115742 edges, 326727 markings/sec, 175 secs
lola: 68500866 markings, 256153508 edges, 303169 markings/sec, 180 secs
lola: 70274173 markings, 262635067 edges, 354661 markings/sec, 185 secs
lola: 71912462 markings, 268908256 edges, 327658 markings/sec, 190 secs
lola: 73454184 markings, 275055180 edges, 308344 markings/sec, 195 secs
lola: 75092089 markings, 281459783 edges, 327581 markings/sec, 200 secs
lola: 76682404 markings, 287923796 edges, 318063 markings/sec, 205 secs
lola: 78324201 markings, 294376344 edges, 328359 markings/sec, 210 secs
lola: 79842778 markings, 300733828 edges, 303715 markings/sec, 215 secs
lola: 81515480 markings, 307378604 edges, 334540 markings/sec, 220 secs
lola: 83118597 markings, 313794298 edges, 320623 markings/sec, 225 secs
lola: 84664597 markings, 320202257 edges, 309200 markings/sec, 230 secs
lola: 86160392 markings, 326620733 edges, 299159 markings/sec, 235 secs
lola: 87785496 markings, 333243243 edges, 325021 markings/sec, 240 secs
lola: 89445414 markings, 339783145 edges, 331984 markings/sec, 245 secs
lola: 91265959 markings, 346686690 edges, 364109 markings/sec, 250 secs
lola: 93127133 markings, 353612315 edges, 372235 markings/sec, 255 secs
lola: 94905057 markings, 360399111 edges, 355585 markings/sec, 260 secs
lola: 96775901 markings, 367327277 edges, 374169 markings/sec, 265 secs
lola: 98857745 markings, 374487596 edges, 416369 markings/sec, 270 secs
lola: 100672646 markings, 381274531 edges, 362980 markings/sec, 275 secs
lola: 102401872 markings, 387946395 edges, 345845 markings/sec, 280 secs
lola: 104090048 markings, 394542366 edges, 337635 markings/sec, 285 secs
lola: 105671561 markings, 401006098 edges, 316303 markings/sec, 290 secs
lola: 107491503 markings, 407730860 edges, 363988 markings/sec, 295 secs
lola: 109182262 markings, 414161111 edges, 338152 markings/sec, 300 secs
lola: 110833111 markings, 420603234 edges, 330170 markings/sec, 305 secs
lola: 112474935 markings, 427024331 edges, 328365 markings/sec, 310 secs
lola: 113959152 markings, 433140438 edges, 296843 markings/sec, 315 secs
lola: 115055725 markings, 437355596 edges, 219315 markings/sec, 320 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no unknown yes no no no unknown unknown no yes unknown
lola:
preliminary result: no yes yes no unknown yes no no no unknown unknown no yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no unknown yes no no no unknown unknown no yes unknown
lola: memory consumption: 16069608 KB
lola: memory consumption: 16069608 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no unknown yes no no no unknown unknown no yes unknown
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HouseConstruction-PT-00200"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is HouseConstruction-PT-00200, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r132-tall-162075428200094"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HouseConstruction-PT-00200.tgz
mv HouseConstruction-PT-00200 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 ;