About the Execution of 2020-gold for ShieldIIPs-PT-004A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16253.924 | 3600000.00 | 3560731.00 | 43822.20 | FFFFFF?FF?FFT??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r227-tall-162098230800106.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 ShieldIIPs-PT-004A, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098230800106
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 416K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 109K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 17:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 17:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 34K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPs-PT-004A-00
FORMULA_NAME ShieldIIPs-PT-004A-01
FORMULA_NAME ShieldIIPs-PT-004A-02
FORMULA_NAME ShieldIIPs-PT-004A-03
FORMULA_NAME ShieldIIPs-PT-004A-04
FORMULA_NAME ShieldIIPs-PT-004A-05
FORMULA_NAME ShieldIIPs-PT-004A-06
FORMULA_NAME ShieldIIPs-PT-004A-07
FORMULA_NAME ShieldIIPs-PT-004A-08
FORMULA_NAME ShieldIIPs-PT-004A-09
FORMULA_NAME ShieldIIPs-PT-004A-10
FORMULA_NAME ShieldIIPs-PT-004A-11
FORMULA_NAME ShieldIIPs-PT-004A-12
FORMULA_NAME ShieldIIPs-PT-004A-13
FORMULA_NAME ShieldIIPs-PT-004A-14
FORMULA_NAME ShieldIIPs-PT-004A-15
=== Now, execution of the tool begins
BK_START 1621124714734
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 00:25:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-16 00:25:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 00:25:16] [INFO ] Load time of PNML (sax parser for PT used): 45 ms
[2021-05-16 00:25:16] [INFO ] Transformed 103 places.
[2021-05-16 00:25:16] [INFO ] Transformed 99 transitions.
[2021-05-16 00:25:16] [INFO ] Found NUPN structural information;
[2021-05-16 00:25:16] [INFO ] Parsed PT model containing 103 places and 99 transitions in 83 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 17 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 415 resets, run finished after 356 ms. (steps per millisecond=280 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 99 rows 103 cols
[2021-05-16 00:25:16] [INFO ] Computed 37 place invariants in 6 ms
[2021-05-16 00:25:16] [INFO ] [Real]Absence check using 37 positive place invariants in 13 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2021-05-16 00:25:17] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-16 00:25:17] [INFO ] Flatten gal took : 40 ms
FORMULA ShieldIIPs-PT-004A-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-004A-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-004A-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 00:25:17] [INFO ] Applying decomposition
[2021-05-16 00:25:17] [INFO ] Flatten gal took : 25 ms
[2021-05-16 00:25:17] [INFO ] Decomposing Gal with order
[2021-05-16 00:25:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 00:25:17] [INFO ] Removed a total of 68 redundant transitions.
[2021-05-16 00:25:17] [INFO ] Flatten gal took : 40 ms
[2021-05-16 00:25:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 48 labels/synchronizations in 7 ms.
[2021-05-16 00:25:17] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-16 00:25:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 4 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldIIPs-PT-004A @ 3570 seconds
FORMULA ShieldIIPs-PT-004A-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004A-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004A-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004A-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004A-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004A-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004A-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004A-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ShieldIIPs-PT-004A
{
"exit":
{
"memory": 4298644,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"files":
{
"JSON": "LTLFireability.json"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 1,
"X": 2,
"aconj": 4,
"adisj": 1,
"aneg": 0,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 10,
"visible_transitions": 0
},
"processed": "((X (F (((1 <= p56) AND (1 <= p67)))) OR F (((1 <= p86) AND (1 <= p90) AND (1 <= p101)))) U X ((((1 <= p13) AND (1 <= p23) AND (1 <= p25)) OR ((1 <= p81) AND (1 <= p91)))))",
"processed_size": 173,
"rewrites": 71
},
"result":
{
"preliminary_value": "no no no no no unknown unknown no no yes unknown unknown unknown "
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 202/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 103
lola: finding significant places
lola: 103 places, 99 transitions, 66 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p98 <= 1)
lola: LP says that atomic proposition is always true: (p100 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p98 <= 1)
lola: LP says that atomic proposition is always true: (p100 <= 1)
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p102 <= 1)
lola: LP says that atomic proposition is always true: (p28 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p28 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p52 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p41 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p42 <= 1)
lola: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p102 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p50 <= 1)
lola: LP says that atomic proposition is always true: (p8 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p6 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p6 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p6 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p52 <= 1)
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p102 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p56 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p13 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p81 <= 1)
lola: LP says that atomic proposition is always true: (p91 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p53 <= 1)
lola: LP says that atomic proposition is always true: (p74 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p77 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p18 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p18 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p81 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p4 <= 1)
lola: LP says that atomic proposition is always true: (p19 <= 1)
lola: LP says that atomic proposition is always true: (p4 <= 1)
lola: LP says that atomic proposition is always true: (p19 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p26 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: (F (G (((1 <= p86) AND (1 <= p92) AND (1 <= p101)))) AND (F (((p88 <= 0) OR (p98 <= 0) OR (p100 <= 0))) U (X (((1 <= p88) AND (1 <= p98) AND (1 <= p100))) AND F (((1 <= p86) AND (1 <= p92) AND (1 <= p101)))))) : (X ((G (((1 <= p11) AND (1 <= p15) AND (1 <= p27))) AND ((1 <= p96)))) OR X ((((F (((1 <= p86) AND (1 <= p90) AND (1 <= p102))) AND ((1 <= p28))) AND ((1 <= p49))) OR G (((p28 <= 0) OR (p49 <= 0)))))) : X (NOT(F ((G (((1 <= p57) AND (1 <= p59) AND (1 <= p38) AND (1 <= p48) AND (1 <= p52) AND (1 <= p31) AND (1 <= p41))) U X (F (((1 <= p36) AND (1 <= p42) AND (1 <= p51)))))))) : F (G ((((p88 <= 0) OR (p96 <= 0) OR (p102 <= 0) OR (p38 <= 0) OR (p48 <= 0) OR (p50 <= 0)) U (((1 <= p8) AND (1 <= p23)) U (((1 <= p6) AND (1 <= p17)) U (((1 <= p6) AND (1 <= p17)) U X (((1 <= p6) AND (1 <= p17))))))))) : (F ((NOT(F (((1 <= p71)))) AND NOT(X (F (((1 <= p36) AND (1 <= p40) AND (1 <= p52))))))) AND (NOT(G (F (((1 <= p86) AND (1 <= p92) AND (1 <= p102))))) OR ((p71 <= 0)))) : ((X (F (((1 <= p56) AND (1 <= p67)))) OR F (((1 <= p86) AND (1 <= p90) AND (1 <= p101)))) U X ((((1 <= p13) AND (1 <= p23) AND (1 <= p25)) OR ((1 <= p81) AND (1 <= p91))))) : (F (((1 <= p2) AND (1 <= p10))) AND (((p53 <= 0) OR (p74 <= 0)) OR ((((1 <= p2) AND (1 <= p10)) U ((1 <= p97))) AND X (((1 <= p97)))))) : F (G ((F (X (((1 <= p55) AND (1 <= p68)))) AND F (((1 <= p61) AND (1 <= p65) AND (1 <= p77)))))) : X (G ((NOT(X (NOT(X (G ((((p21 <= 0)) AND ((p5 <= 0) OR (p18 <= 0)))))))) AND ((p5 <= 0) OR (p18 <= 0))))) : (NOT(X (F (X (((1 <= p11) AND (1 <= p15) AND (1 <= p27)))))) OR NOT((X ((((1 <= p11) AND (1 <= p15) AND (1 <= p27)) U ((1 <= p36) AND (1 <= p40) AND (1 <= p51)))) U ((1 <= p65))))) : F (NOT(((((p81 <= 0) OR (p92 <= 0)) AND ((p61 <= 0) OR (p67 <= 0) OR (p76 <= 0))) U X ((((X (((1 <= p61) AND (1 <= p67) AND (1 <= p76))) AND ((1 <= p36))) AND ((1 <= p40))) AND ((1 <= p51))))))) : (F (X (F (((F (G (((1 <= p76)))) AND ((1 <= p4))) AND ((1 <= p19)))))) AND F (((1 <= p4) AND (1 <= p19)))) : (X (G ((G (NOT(F (((1 <= p22) AND ((p75 <= 0)))))) AND F (((1 <= p26)))))) U G (((1 <= p22))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:335
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (G (((1 <= p86) AND (1 <= p92) AND (1 <= p101)))) AND (F (((p88 <= 0) OR (p98 <= 0) OR (p100 <= 0))) U (X (((1 <= p88) AND (1 <= p98) AND (1 <= p100))) AND F (((1 <= p86) AND (1 <= p92) AND (1 <= p101))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p86) AND (1 <= p92) AND (1 <= p101))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((1 <= p86) AND (1 <= p92) AND (1 <= p101))))
lola: processed formula length: 51
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 412 markings, 413 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((G (((1 <= p11) AND (1 <= p15) AND (1 <= p27))) AND ((1 <= p96))) OR ((F (((1 <= p86) AND (1 <= p90) AND (1 <= p102))) AND (((1 <= p28)) AND ((1 <= p49)))) OR G (((p28 <= 0) OR (p49 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((G (((1 <= p11) AND (1 <= p15) AND (1 <= p27))) AND ((1 <= p96))) OR ((F (((1 <= p86) AND (1 <= p90) AND (1 <= p102))) AND (((1 <= p28)) AND ((1 <= p49)))) OR G (((p28 <= 0) OR (p49 <= 0))))))
lola: processed formula length: 197
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 368 markings, 368 edges
lola: ========================================
lola: subprocess 2 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X (G (((p36 <= 0) OR (p42 <= 0) OR (p51 <= 0)))) AND (F (((p57 <= 0) OR (p59 <= 0) OR (p38 <= 0) OR (p48 <= 0) OR (p52 <= 0) OR (p31 <= 0) OR (p41 <= 0))) OR X (G (((p36 <= 0) OR (p42 <= 0) OR (p51 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X (G (((p36 <= 0) OR (p42 <= 0) OR (p51 <= 0)))) AND (F (((p57 <= 0) OR (p59 <= 0) OR (p38 <= 0) OR (p48 <= 0) OR (p52 <= 0) OR (p31 <= 0) OR (p41 <= 0))) OR X (G (((p36 <= 0) OR (p42 <= 0) OR (p51 <= 0))))))))
lola: processed formula length: 227
lola: 71 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: 367 markings, 367 edges
lola: ========================================
lola: subprocess 3 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (((1 <= p6) AND (1 <= p17))) AND (((p88 <= 0) OR (p96 <= 0) OR (p102 <= 0) OR (p38 <= 0) OR (p48 <= 0) OR (p50 <= 0)) OR (((1 <= p8) AND (1 <= p23)) U (((1 <= p6) AND (1 <= p17)) U (((1 <= p6) AND (1 <= p17)) U X (((1 <= p6) AND (1 <= p17))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (((1 <= p6) AND (1 <= p17))) AND (((p88 <= 0) OR (p96 <= 0) OR (p102 <= 0) OR (p38 <= 0) OR (p48 <= 0) OR (p50 <= 0)) OR (((1 <= p8) AND (1 <= p23)) U (((1 <= p6) AND (1 <= p17)) U (((1 <= p6) AND (1 <= p17)) U X (((1 <= p6) AND (1 <= p17))))))))))
lola: processed formula length: 262
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1132088 markings, 4567337 edges, 226418 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2045798 markings, 8346650 edges
lola: ========================================
lola: subprocess 4 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((G (((p71 <= 0))) AND X (G (((p36 <= 0) OR (p40 <= 0) OR (p52 <= 0)))))) AND (F (G (((p86 <= 0) OR (p92 <= 0) OR (p102 <= 0)))) OR ((p71 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (((p71 <= 0))) AND X (G (((p36 <= 0) OR (p40 <= 0) OR (p52 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((p71 <= 0))) AND X (G (((p36 <= 0) OR (p40 <= 0) OR (p52 <= 0))))))
lola: processed formula length: 77
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 709 markings, 887 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 5 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (F (((1 <= p56) AND (1 <= p67)))) OR F (((1 <= p86) AND (1 <= p90) AND (1 <= p101)))) U X ((((1 <= p13) AND (1 <= p23) AND (1 <= p25)) OR ((1 <= p81) AND (1 <= p91)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((X (F (((1 <= p56) AND (1 <= p67)))) OR F (((1 <= p86) AND (1 <= p90) AND (1 <= p101)))) U X ((((1 <= p13) AND (1 <= p23) AND (1 <= p25)) OR ((1 <= p81) AND (1 <= p91)))))
lola: processed formula length: 173
lola: 71 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: 1401787 markings, 4355668 edges, 280357 markings/sec, 0 secs
lola: 2557690 markings, 8346454 edges, 231181 markings/sec, 5 secs
lola: 3603556 markings, 12063944 edges, 209173 markings/sec, 10 secs
lola: 4707182 markings, 15817668 edges, 220725 markings/sec, 15 secs
lola: 5830886 markings, 19623021 edges, 224741 markings/sec, 20 secs
lola: 6802620 markings, 23169960 edges, 194347 markings/sec, 25 secs
lola: 7806897 markings, 26669524 edges, 200855 markings/sec, 30 secs
lola: 8812594 markings, 30186605 edges, 201139 markings/sec, 35 secs
lola: 9802021 markings, 33765887 edges, 197885 markings/sec, 40 secs
lola: 10751158 markings, 37084721 edges, 189827 markings/sec, 45 secs
lola: 11649105 markings, 40420213 edges, 179589 markings/sec, 50 secs
lola: 12610265 markings, 43725647 edges, 192232 markings/sec, 55 secs
lola: 13574428 markings, 47056145 edges, 192833 markings/sec, 60 secs
lola: 14607117 markings, 50514354 edges, 206538 markings/sec, 65 secs
lola: 15542775 markings, 53875398 edges, 187132 markings/sec, 70 secs
lola: 16478797 markings, 57285056 edges, 187204 markings/sec, 75 secs
lola: 17356607 markings, 60602773 edges, 175562 markings/sec, 80 secs
lola: 18203274 markings, 63772033 edges, 169333 markings/sec, 85 secs
lola: 19014429 markings, 66808078 edges, 162231 markings/sec, 90 secs
lola: 19968158 markings, 70223829 edges, 190746 markings/sec, 95 secs
lola: 20919519 markings, 73672006 edges, 190272 markings/sec, 100 secs
lola: 21829331 markings, 77070173 edges, 181962 markings/sec, 105 secs
lola: 22673093 markings, 80341459 edges, 168752 markings/sec, 110 secs
lola: 23469156 markings, 83468400 edges, 159213 markings/sec, 115 secs
lola: 24365668 markings, 86712617 edges, 179302 markings/sec, 120 secs
lola: 25311674 markings, 89962360 edges, 189201 markings/sec, 125 secs
lola: 26134492 markings, 93033229 edges, 164564 markings/sec, 130 secs
lola: 27014182 markings, 96247870 edges, 175938 markings/sec, 135 secs
lola: 27972533 markings, 99579337 edges, 191670 markings/sec, 140 secs
lola: 28798814 markings, 102570836 edges, 165256 markings/sec, 145 secs
lola: 29589497 markings, 105547927 edges, 158137 markings/sec, 150 secs
lola: 30405316 markings, 108581796 edges, 163164 markings/sec, 155 secs
lola: 31196606 markings, 111634640 edges, 158258 markings/sec, 160 secs
lola: 31974733 markings, 114775051 edges, 155625 markings/sec, 165 secs
lola: 32803066 markings, 117840383 edges, 165667 markings/sec, 170 secs
lola: 33567437 markings, 120735447 edges, 152874 markings/sec, 175 secs
lola: 34459522 markings, 123860312 edges, 178417 markings/sec, 180 secs
lola: 35298319 markings, 126984022 edges, 167759 markings/sec, 185 secs
lola: 36185499 markings, 130186363 edges, 177436 markings/sec, 190 secs
lola: 36986459 markings, 133239281 edges, 160192 markings/sec, 195 secs
lola: 37821340 markings, 136391149 edges, 166976 markings/sec, 200 secs
lola: 38614625 markings, 139438190 edges, 158657 markings/sec, 205 secs
lola: 39543044 markings, 142824361 edges, 185684 markings/sec, 210 secs
lola: 40563782 markings, 146377111 edges, 204148 markings/sec, 215 secs
lola: 41581110 markings, 149934119 edges, 203466 markings/sec, 220 secs
lola: 42622267 markings, 153564232 edges, 208231 markings/sec, 225 secs
lola: 43512867 markings, 156851842 edges, 178120 markings/sec, 230 secs
lola: 44409680 markings, 160138195 edges, 179363 markings/sec, 235 secs
lola: 45454117 markings, 163815363 edges, 208887 markings/sec, 240 secs
lola: 46267961 markings, 167227845 edges, 162769 markings/sec, 245 secs
lola: 47153898 markings, 170585011 edges, 177187 markings/sec, 250 secs
lola: 48047819 markings, 174016627 edges, 178784 markings/sec, 255 secs
lola: 48967376 markings, 177451189 edges, 183911 markings/sec, 260 secs
lola: 49928604 markings, 181095637 edges, 192246 markings/sec, 265 secs
lola: 50833743 markings, 184582882 edges, 181028 markings/sec, 270 secs
lola: 51715675 markings, 187939598 edges, 176386 markings/sec, 275 secs
lola: 52561557 markings, 191266742 edges, 169176 markings/sec, 280 secs
lola: 53407983 markings, 194414464 edges, 169285 markings/sec, 285 secs
lola: 54189771 markings, 197511376 edges, 156358 markings/sec, 290 secs
lola: 54996824 markings, 200681190 edges, 161411 markings/sec, 295 secs
lola: 55901567 markings, 204086514 edges, 180949 markings/sec, 300 secs
lola: 56703656 markings, 207254683 edges, 160418 markings/sec, 305 secs
lola: 57556405 markings, 210450559 edges, 170550 markings/sec, 310 secs
lola: 58278778 markings, 213365822 edges, 144475 markings/sec, 315 secs
lola: 59192485 markings, 217051526 edges, 182741 markings/sec, 320 secs
lola: 60010685 markings, 220274565 edges, 163640 markings/sec, 325 secs
lola: 60774997 markings, 223374545 edges, 152862 markings/sec, 330 secs
lola: 61540317 markings, 226438660 edges, 153064 markings/sec, 335 secs
lola: 62291384 markings, 229472717 edges, 150213 markings/sec, 340 secs
lola: 62973910 markings, 232351840 edges, 136505 markings/sec, 345 secs
lola: 63699507 markings, 235228693 edges, 145119 markings/sec, 350 secs
lola: 64487911 markings, 238382438 edges, 157681 markings/sec, 355 secs
lola: 65324301 markings, 241621322 edges, 167278 markings/sec, 360 secs
lola: 66003177 markings, 244632338 edges, 135775 markings/sec, 365 secs
lola: 66692517 markings, 247554036 edges, 137868 markings/sec, 370 secs
lola: 67528744 markings, 250762629 edges, 167245 markings/sec, 375 secs
lola: 68297222 markings, 253889602 edges, 153696 markings/sec, 380 secs
lola: 69174923 markings, 257183314 edges, 175540 markings/sec, 385 secs
lola: 69999990 markings, 260401370 edges, 165013 markings/sec, 390 secs
lola: 70853735 markings, 263680134 edges, 170749 markings/sec, 395 secs
lola: 71704868 markings, 266956822 edges, 170227 markings/sec, 400 secs
lola: 72500923 markings, 270190952 edges, 159211 markings/sec, 405 secs
lola: 73282851 markings, 273295700 edges, 156386 markings/sec, 410 secs
lola: 74056451 markings, 276308172 edges, 154720 markings/sec, 415 secs
lola: 74793146 markings, 279282387 edges, 147339 markings/sec, 420 secs
lola: 75732470 markings, 282610435 edges, 187865 markings/sec, 425 secs
lola: 76598219 markings, 285811878 edges, 173150 markings/sec, 430 secs
lola: 77511096 markings, 289252915 edges, 182575 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 11300912 KB
lola: time consumption: 457 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p2) AND (1 <= p10))) AND (((p53 <= 0) OR (p74 <= 0)) OR ((((1 <= p2) AND (1 <= p10)) U ((1 <= p97))) AND X (((1 <= p97))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p2) AND (1 <= p10)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p2 <= 0) OR (p10 <= 0))
lola: processed formula length: 26
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 1994264 markings, 3461372 edges, 398853 markings/sec, 0 secs
lola: 3851302 markings, 6646038 edges, 371408 markings/sec, 5 secs
lola: 5787014 markings, 9809218 edges, 387142 markings/sec, 10 secs
lola: 7690639 markings, 12963797 edges, 380725 markings/sec, 15 secs
lola: 9520971 markings, 16093552 edges, 366066 markings/sec, 20 secs
lola: 11368579 markings, 19153513 edges, 369522 markings/sec, 25 secs
lola: 13207005 markings, 22211632 edges, 367685 markings/sec, 30 secs
lola: 14908599 markings, 25108448 edges, 340319 markings/sec, 35 secs
lola: 16631403 markings, 27954095 edges, 344561 markings/sec, 40 secs
lola: 18312876 markings, 30793501 edges, 336295 markings/sec, 45 secs
lola: 19997597 markings, 33630757 edges, 336944 markings/sec, 50 secs
lola: 21648671 markings, 36349846 edges, 330215 markings/sec, 55 secs
lola: 23437772 markings, 39376421 edges, 357820 markings/sec, 60 secs
lola: 25216864 markings, 42348971 edges, 355818 markings/sec, 65 secs
lola: 27030945 markings, 45368770 edges, 362816 markings/sec, 70 secs
lola: 28871662 markings, 48364281 edges, 368143 markings/sec, 75 secs
lola: 30464116 markings, 51091610 edges, 318491 markings/sec, 80 secs
lola: 32087739 markings, 53816810 edges, 324725 markings/sec, 85 secs
lola: 33767135 markings, 56678224 edges, 335879 markings/sec, 90 secs
lola: 35470299 markings, 59573243 edges, 340633 markings/sec, 95 secs
lola: 37166842 markings, 62433030 edges, 339309 markings/sec, 100 secs
lola: 38787578 markings, 65101222 edges, 324147 markings/sec, 105 secs
lola: 40369121 markings, 67739077 edges, 316309 markings/sec, 110 secs
lola: 42151430 markings, 70635967 edges, 356462 markings/sec, 115 secs
lola: 43742111 markings, 73332571 edges, 318136 markings/sec, 120 secs
lola: 45327989 markings, 76021137 edges, 317176 markings/sec, 125 secs
lola: 47342022 markings, 79062886 edges, 402807 markings/sec, 130 secs
lola: 49141828 markings, 81934349 edges, 359961 markings/sec, 135 secs
lola: 50762950 markings, 84660026 edges, 324224 markings/sec, 140 secs
lola: 52349446 markings, 87391022 edges, 317299 markings/sec, 145 secs
lola: 53844071 markings, 90049703 edges, 298925 markings/sec, 150 secs
lola: 55464735 markings, 92739206 edges, 324133 markings/sec, 155 secs
lola: 57071897 markings, 95409208 edges, 321432 markings/sec, 160 secs
lola: 58632771 markings, 97993424 edges, 312175 markings/sec, 165 secs
lola: 60217626 markings, 100601430 edges, 316971 markings/sec, 170 secs
lola: 61778460 markings, 103259484 edges, 312167 markings/sec, 175 secs
lola: 63253580 markings, 105810015 edges, 295024 markings/sec, 180 secs
lola: 64863123 markings, 108440756 edges, 321909 markings/sec, 185 secs
lola: 66555487 markings, 110944842 edges, 338473 markings/sec, 190 secs
lola: 68247837 markings, 113513014 edges, 338470 markings/sec, 195 secs
lola: 69868838 markings, 116223811 edges, 324200 markings/sec, 200 secs
lola: 71424307 markings, 118875649 edges, 311094 markings/sec, 205 secs
lola: 73065675 markings, 121522625 edges, 328274 markings/sec, 210 secs
lola: 74722227 markings, 124188857 edges, 331310 markings/sec, 215 secs
lola: 76355803 markings, 126887822 edges, 326715 markings/sec, 220 secs
lola: 77888659 markings, 129467541 edges, 306571 markings/sec, 225 secs
lola: 79461644 markings, 132068401 edges, 314597 markings/sec, 230 secs
lola: 80962390 markings, 134615104 edges, 300149 markings/sec, 235 secs
lola: 82395625 markings, 137084814 edges, 286647 markings/sec, 240 secs
lola: 84119348 markings, 139808336 edges, 344745 markings/sec, 245 secs
lola: 85862668 markings, 142567551 edges, 348664 markings/sec, 250 secs
lola: 87359744 markings, 145124777 edges, 299415 markings/sec, 255 secs
lola: 88940251 markings, 147797916 edges, 316101 markings/sec, 260 secs
lola: 90519832 markings, 150379262 edges, 315916 markings/sec, 265 secs
lola: 91984558 markings, 152827344 edges, 292945 markings/sec, 270 secs
lola: 93492236 markings, 155289932 edges, 301536 markings/sec, 275 secs
lola: 95055163 markings, 157860131 edges, 312585 markings/sec, 280 secs
lola: 96542164 markings, 160428979 edges, 297400 markings/sec, 285 secs
lola: 98089122 markings, 162949409 edges, 309392 markings/sec, 290 secs
lola: 99846914 markings, 165823605 edges, 351558 markings/sec, 295 secs
lola: 101592327 markings, 168649677 edges, 349083 markings/sec, 300 secs
lola: 103119607 markings, 171235471 edges, 305456 markings/sec, 305 secs
lola: 104652809 markings, 173727537 edges, 306640 markings/sec, 310 secs
lola: 106211076 markings, 176264341 edges, 311653 markings/sec, 315 secs
lola: 107687617 markings, 178743970 edges, 295308 markings/sec, 320 secs
lola: 109311623 markings, 181335357 edges, 324801 markings/sec, 325 secs
lola: 110934770 markings, 183934312 edges, 324629 markings/sec, 330 secs
lola: 112490997 markings, 186535657 edges, 311245 markings/sec, 335 secs
lola: 113989783 markings, 189022098 edges, 299757 markings/sec, 340 secs
lola: 115516662 markings, 191532790 edges, 305376 markings/sec, 345 secs
lola: 117110788 markings, 194172435 edges, 318825 markings/sec, 350 secs
lola: 118801920 markings, 196934530 edges, 338226 markings/sec, 355 secs
lola: 120398950 markings, 199616030 edges, 319406 markings/sec, 360 secs
lola: 122006025 markings, 202270912 edges, 321415 markings/sec, 365 secs
lola: 123645792 markings, 204905942 edges, 327953 markings/sec, 370 secs
lola: 125218843 markings, 207486138 edges, 314610 markings/sec, 375 secs
lola: 126848301 markings, 210081232 edges, 325892 markings/sec, 380 secs
lola: 128494790 markings, 212732914 edges, 329298 markings/sec, 385 secs
lola: 130092641 markings, 215349697 edges, 319570 markings/sec, 390 secs
lola: 131870272 markings, 218217918 edges, 355526 markings/sec, 395 secs
lola: 133526692 markings, 220860210 edges, 331284 markings/sec, 400 secs
lola: 135190870 markings, 223556802 edges, 332836 markings/sec, 405 secs
lola: 136712581 markings, 226149783 edges, 304342 markings/sec, 410 secs
lola: 138191563 markings, 228660511 edges, 295796 markings/sec, 415 secs
lola: 139763820 markings, 231225531 edges, 314451 markings/sec, 420 secs
lola: 141250042 markings, 233753967 edges, 297244 markings/sec, 425 secs
lola: 142813925 markings, 236249651 edges, 312777 markings/sec, 430 secs
lola: 144316579 markings, 238743427 edges, 300531 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5152360 KB
lola: time consumption: 901 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5152360 KB
lola: time consumption: 901 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 7 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((X (F (((1 <= p55) AND (1 <= p68)))) AND F (((1 <= p61) AND (1 <= p65) AND (1 <= p77))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X (F (((1 <= p55) AND (1 <= p68)))) AND F (((1 <= p61) AND (1 <= p65) AND (1 <= p77))))))
lola: processed formula length: 96
lola: 71 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: 409 markings, 410 edges
lola: ========================================
lola: subprocess 8 will run for 533 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X (X (G ((((p21 <= 0)) AND ((p5 <= 0) OR (p18 <= 0)))))) AND ((p5 <= 0) OR (p18 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X (X (G ((((p21 <= 0)) AND ((p5 <= 0) OR (p18 <= 0)))))) AND ((p5 <= 0) OR (p18 <= 0)))))
lola: processed formula length: 98
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 367 markings, 367 edges
lola: ========================================
lola: subprocess 9 will run for 667 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (G (((p11 <= 0) OR (p15 <= 0) OR (p27 <= 0))))) OR (X ((((p11 <= 0) OR (p15 <= 0) OR (p27 <= 0)) R ((p36 <= 0) OR (p40 <= 0) OR (p51 <= 0)))) R ((p65 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 667 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((((p11 <= 0) OR (p15 <= 0) OR (p27 <= 0)) R ((p36 <= 0) OR (p40 <= 0) OR (p51 <= 0)))) R ((p65 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X ((((p11 <= 0) OR (p15 <= 0) OR (p27 <= 0)) R ((p36 <= 0) OR (p40 <= 0) OR (p51 <= 0)))) R ((p65 <= 0)))
lola: processed formula length: 110
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 10 will run for 889 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((((1 <= p81) AND (1 <= p92)) OR ((1 <= p61) AND (1 <= p67) AND (1 <= p76))) R X ((X (((p61 <= 0) OR (p67 <= 0) OR (p76 <= 0))) OR (((p36 <= 0)) OR (((p40 <= 0)) OR ((p51 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((((1 <= p81) AND (1 <= p92)) OR ((1 <= p61) AND (1 <= p67) AND (1 <= p76))) R X ((X (((p61 <= 0) OR (p67 <= 0) OR (p76 <= 0))) OR (((p36 <= 0)) OR (((p40 <= 0)) OR ((p51 <= 0))))))))
lola: processed formula length: 189
lola: 71 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: 1441986 markings, 4199915 edges, 288397 markings/sec, 0 secs
lola: 2719214 markings, 8138480 edges, 255446 markings/sec, 5 secs
lola: 3890699 markings, 11899172 edges, 234297 markings/sec, 10 secs
lola: 5128073 markings, 15802160 edges, 247475 markings/sec, 15 secs
lola: 6313464 markings, 19343541 edges, 237078 markings/sec, 20 secs
lola: 7388164 markings, 22717269 edges, 214940 markings/sec, 25 secs
lola: 8542953 markings, 26064810 edges, 230958 markings/sec, 30 secs
lola: 9573408 markings, 29237887 edges, 206091 markings/sec, 35 secs
lola: 10872380 markings, 32532207 edges, 259794 markings/sec, 40 secs
lola: 12146165 markings, 35674331 edges, 254757 markings/sec, 45 secs
lola: 13034997 markings, 38685626 edges, 177766 markings/sec, 50 secs
lola: 14216060 markings, 42001881 edges, 236213 markings/sec, 55 secs
lola: 15423242 markings, 45471916 edges, 241436 markings/sec, 60 secs
lola: 16534520 markings, 48696654 edges, 222256 markings/sec, 65 secs
lola: 17621383 markings, 51920065 edges, 217373 markings/sec, 70 secs
lola: 18621686 markings, 55116447 edges, 200061 markings/sec, 75 secs
lola: 19744437 markings, 58382944 edges, 224550 markings/sec, 80 secs
lola: 20895569 markings, 61508542 edges, 230226 markings/sec, 85 secs
lola: 21934162 markings, 64668519 edges, 207719 markings/sec, 90 secs
lola: 23149893 markings, 68174895 edges, 243146 markings/sec, 95 secs
lola: 24219617 markings, 71537143 edges, 213945 markings/sec, 100 secs
lola: 25284581 markings, 74637986 edges, 212993 markings/sec, 105 secs
lola: 26128323 markings, 77530519 edges, 168748 markings/sec, 110 secs
lola: 27033015 markings, 80476237 edges, 180938 markings/sec, 115 secs
lola: 27970609 markings, 83578305 edges, 187519 markings/sec, 120 secs
lola: 28906241 markings, 86544975 edges, 187126 markings/sec, 125 secs
lola: 29824288 markings, 89630730 edges, 183609 markings/sec, 130 secs
lola: 30810955 markings, 92753026 edges, 197333 markings/sec, 135 secs
lola: 31778741 markings, 95938156 edges, 193557 markings/sec, 140 secs
lola: 32721709 markings, 99130491 edges, 188594 markings/sec, 145 secs
lola: 33604217 markings, 102145284 edges, 176502 markings/sec, 150 secs
lola: 34815941 markings, 105706657 edges, 242345 markings/sec, 155 secs
lola: 36079099 markings, 109248236 edges, 252632 markings/sec, 160 secs
lola: 37178678 markings, 112667972 edges, 219916 markings/sec, 165 secs
lola: 38199628 markings, 115967713 edges, 204190 markings/sec, 170 secs
lola: 39393492 markings, 119551014 edges, 238773 markings/sec, 175 secs
lola: 40507529 markings, 123117399 edges, 222807 markings/sec, 180 secs
lola: 41555807 markings, 126472530 edges, 209656 markings/sec, 185 secs
lola: 42513155 markings, 129585970 edges, 191470 markings/sec, 190 secs
lola: 43468966 markings, 132833988 edges, 191162 markings/sec, 195 secs
lola: 44303326 markings, 136008827 edges, 166872 markings/sec, 200 secs
lola: 45210983 markings, 139127924 edges, 181531 markings/sec, 205 secs
lola: 46043439 markings, 142159572 edges, 166491 markings/sec, 210 secs
lola: 46984250 markings, 145497981 edges, 188162 markings/sec, 215 secs
lola: 47825076 markings, 148643993 edges, 168165 markings/sec, 220 secs
lola: 48708444 markings, 151618678 edges, 176674 markings/sec, 225 secs
lola: 49570724 markings, 154577121 edges, 172456 markings/sec, 230 secs
lola: 50491998 markings, 157777755 edges, 184255 markings/sec, 235 secs
lola: 51300271 markings, 160728818 edges, 161655 markings/sec, 240 secs
lola: 52178510 markings, 163885962 edges, 175648 markings/sec, 245 secs
lola: 53175890 markings, 167377866 edges, 199476 markings/sec, 250 secs
lola: 54084112 markings, 170620289 edges, 181644 markings/sec, 255 secs
lola: 55046125 markings, 174076789 edges, 192403 markings/sec, 260 secs
lola: 56021500 markings, 177496313 edges, 195075 markings/sec, 265 secs
lola: 56969096 markings, 180745663 edges, 189519 markings/sec, 270 secs
lola: 57962726 markings, 183991909 edges, 198726 markings/sec, 275 secs
lola: 59072025 markings, 186973665 edges, 221860 markings/sec, 280 secs
lola: 60135928 markings, 189864980 edges, 212781 markings/sec, 285 secs
lola: 61233613 markings, 192957419 edges, 219537 markings/sec, 290 secs
lola: 62148148 markings, 195887127 edges, 182907 markings/sec, 295 secs
lola: 63100492 markings, 198940315 edges, 190469 markings/sec, 300 secs
lola: 64162732 markings, 202108899 edges, 212448 markings/sec, 305 secs
lola: 65226510 markings, 205436177 edges, 212756 markings/sec, 310 secs
lola: 66027532 markings, 208398376 edges, 160204 markings/sec, 315 secs
lola: 66793428 markings, 211416087 edges, 153179 markings/sec, 320 secs
lola: 67563685 markings, 214279651 edges, 154051 markings/sec, 325 secs
lola: 68372746 markings, 217358060 edges, 161812 markings/sec, 330 secs
lola: 69190922 markings, 220519738 edges, 163635 markings/sec, 335 secs
lola: 70131986 markings, 223799832 edges, 188213 markings/sec, 340 secs
lola: 71108791 markings, 227095704 edges, 195361 markings/sec, 345 secs
lola: 72040947 markings, 230219553 edges, 186431 markings/sec, 350 secs
lola: 73006529 markings, 233414339 edges, 193116 markings/sec, 355 secs
lola: 73856978 markings, 236304967 edges, 170090 markings/sec, 360 secs
lola: 74724002 markings, 239277999 edges, 173405 markings/sec, 365 secs
lola: 75464188 markings, 242022441 edges, 148037 markings/sec, 370 secs
lola: 76220337 markings, 244844131 edges, 151230 markings/sec, 375 secs
lola: 77005709 markings, 247700704 edges, 157074 markings/sec, 380 secs
lola: 78089408 markings, 250638817 edges, 216740 markings/sec, 385 secs
lola: 79160658 markings, 253477355 edges, 214250 markings/sec, 390 secs
lola: 80210132 markings, 256511009 edges, 209895 markings/sec, 395 secs
lola: 81235645 markings, 259309349 edges, 205103 markings/sec, 400 secs
lola: 82263822 markings, 262277046 edges, 205635 markings/sec, 405 secs
lola: 83299922 markings, 265166737 edges, 207220 markings/sec, 410 secs
lola: 84262587 markings, 268251269 edges, 192533 markings/sec, 415 secs
lola: 85155773 markings, 271439328 edges, 178637 markings/sec, 420 secs
lola: 86036644 markings, 274409871 edges, 176174 markings/sec, 425 secs
lola: 87324716 markings, 277307814 edges, 257614 markings/sec, 430 secs
lola: 88337354 markings, 280364196 edges, 202528 markings/sec, 435 secs
lola: 89165144 markings, 283278367 edges, 165558 markings/sec, 440 secs
lola: 90148119 markings, 286200578 edges, 196595 markings/sec, 445 secs
lola: 90905234 markings, 289075865 edges, 151423 markings/sec, 450 secs
lola: 91847645 markings, 291995170 edges, 188482 markings/sec, 455 secs
lola: 92862352 markings, 295193146 edges, 202941 markings/sec, 460 secs
lola: 93824616 markings, 298300179 edges, 192453 markings/sec, 465 secs
lola: 94738364 markings, 301414790 edges, 182750 markings/sec, 470 secs
lola: 95868238 markings, 304279408 edges, 225975 markings/sec, 475 secs
lola: 96833231 markings, 307408239 edges, 192999 markings/sec, 480 secs
lola: 97665756 markings, 310360964 edges, 166505 markings/sec, 485 secs
lola: 98543551 markings, 313657370 edges, 175559 markings/sec, 490 secs
lola: 99308485 markings, 316527464 edges, 152987 markings/sec, 495 secs
lola: 100229691 markings, 319646560 edges, 184241 markings/sec, 500 secs
lola: 101077378 markings, 322544836 edges, 169537 markings/sec, 505 secs
lola: 102119365 markings, 325465397 edges, 208397 markings/sec, 510 secs
lola: 102911174 markings, 328462219 edges, 158362 markings/sec, 515 secs
lola: 103757035 markings, 331209421 edges, 169172 markings/sec, 520 secs
lola: 104790822 markings, 334491015 edges, 206757 markings/sec, 525 secs
lola: 105808674 markings, 337633618 edges, 203570 markings/sec, 530 secs
lola: 106639870 markings, 340737765 edges, 166239 markings/sec, 535 secs
lola: 107637541 markings, 343738801 edges, 199534 markings/sec, 540 secs
lola: 108893977 markings, 346481408 edges, 251287 markings/sec, 545 secs
lola: 110078035 markings, 349197019 edges, 236812 markings/sec, 550 secs
lola: 111164241 markings, 351718846 edges, 217241 markings/sec, 555 secs
lola: 112058655 markings, 353997802 edges, 178883 markings/sec, 560 secs
lola: 112783658 markings, 355787340 edges, 145001 markings/sec, 565 secs
lola: 113720323 markings, 358133199 edges, 187333 markings/sec, 570 secs
lola: 114559908 markings, 360447814 edges, 167917 markings/sec, 575 secs
lola: 115435611 markings, 362832892 edges, 175141 markings/sec, 580 secs
lola: 116196579 markings, 364862898 edges, 152194 markings/sec, 585 secs
lola: 117041482 markings, 367282850 edges, 168981 markings/sec, 590 secs
lola: 117804599 markings, 369340194 edges, 152623 markings/sec, 595 secs
lola: 118606622 markings, 371436099 edges, 160405 markings/sec, 600 secs
lola: 119354176 markings, 373778803 edges, 149511 markings/sec, 605 secs
lola: 120035415 markings, 376179917 edges, 136248 markings/sec, 610 secs
lola: 120644358 markings, 378474196 edges, 121789 markings/sec, 615 secs
lola: 121289358 markings, 380968059 edges, 129000 markings/sec, 620 secs
lola: 122019340 markings, 383510447 edges, 145996 markings/sec, 625 secs
lola: 122838195 markings, 386160312 edges, 163771 markings/sec, 630 secs
lola: 123613502 markings, 388845159 edges, 155061 markings/sec, 635 secs
lola: 124231853 markings, 390952665 edges, 123670 markings/sec, 640 secs
lola: 125033617 markings, 393697033 edges, 160353 markings/sec, 645 secs
lola: 125846445 markings, 396091781 edges, 162566 markings/sec, 650 secs
lola: 126601057 markings, 398258572 edges, 150922 markings/sec, 655 secs
lola: 127330962 markings, 400704185 edges, 145981 markings/sec, 660 secs
lola: 128034227 markings, 403136395 edges, 140653 markings/sec, 665 secs
lola: 128898271 markings, 405750860 edges, 172809 markings/sec, 670 secs
lola: 129623022 markings, 408320737 edges, 144950 markings/sec, 675 secs
lola: 130607294 markings, 410722186 edges, 196854 markings/sec, 680 secs
lola: 131588167 markings, 413050850 edges, 196175 markings/sec, 685 secs
lola: 132435988 markings, 415197734 edges, 169564 markings/sec, 690 secs
lola: 133223639 markings, 417828064 edges, 157530 markings/sec, 695 secs
lola: 133910679 markings, 420194482 edges, 137408 markings/sec, 700 secs
lola: 134743238 markings, 422320604 edges, 166512 markings/sec, 705 secs
lola: 135464781 markings, 424881612 edges, 144309 markings/sec, 710 secs
lola: 136081215 markings, 426781061 edges, 123287 markings/sec, 715 secs
lola: 136915432 markings, 429484666 edges, 166843 markings/sec, 720 secs
lola: 137491631 markings, 431290900 edges, 115240 markings/sec, 725 secs
lola: 137843714 markings, 432471607 edges, 70417 markings/sec, 730 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 965 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F ((F (G (((1 <= p76)))) AND (((1 <= p4)) AND ((1 <= p19)))))) AND F (((1 <= p4) AND (1 <= p19))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 965 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p4) AND (1 <= p19)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p4 <= 0) OR (p19 <= 0))
lola: processed formula length: 26
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 2248232 markings, 3685866 edges, 449646 markings/sec, 0 secs
lola: 4318822 markings, 7104499 edges, 414118 markings/sec, 5 secs
lola: 6321512 markings, 10423026 edges, 400538 markings/sec, 10 secs
lola: 8366343 markings, 13810822 edges, 408966 markings/sec, 15 secs
lola: 10348582 markings, 17097157 edges, 396448 markings/sec, 20 secs
lola: 12357126 markings, 20339722 edges, 401709 markings/sec, 25 secs
lola: 14287134 markings, 23551050 edges, 386002 markings/sec, 30 secs
lola: 16155776 markings, 26600613 edges, 373728 markings/sec, 35 secs
lola: 18048548 markings, 29643750 edges, 378554 markings/sec, 40 secs
lola: 19983418 markings, 32805001 edges, 386974 markings/sec, 45 secs
lola: 21744923 markings, 35784618 edges, 352301 markings/sec, 50 secs
lola: 23621963 markings, 38822546 edges, 375408 markings/sec, 55 secs
lola: 25323039 markings, 41601903 edges, 340215 markings/sec, 60 secs
lola: 27157175 markings, 44635697 edges, 366827 markings/sec, 65 secs
lola: 28911450 markings, 47462590 edges, 350855 markings/sec, 70 secs
lola: 30596088 markings, 50213291 edges, 336928 markings/sec, 75 secs
lola: 32491306 markings, 53326047 edges, 379044 markings/sec, 80 secs
lola: 34335615 markings, 56335509 edges, 368862 markings/sec, 85 secs
lola: 36147832 markings, 59263658 edges, 362443 markings/sec, 90 secs
lola: 37855397 markings, 62076495 edges, 341513 markings/sec, 95 secs
lola: 39549676 markings, 64851771 edges, 338856 markings/sec, 100 secs
lola: 41202155 markings, 67692869 edges, 330496 markings/sec, 105 secs
lola: 43041650 markings, 70795788 edges, 367899 markings/sec, 110 secs
lola: 44855232 markings, 73820243 edges, 362716 markings/sec, 115 secs
lola: 46573406 markings, 76665568 edges, 343635 markings/sec, 120 secs
lola: 48314162 markings, 79537416 edges, 348151 markings/sec, 125 secs
lola: 50119727 markings, 82701507 edges, 361113 markings/sec, 130 secs
lola: 52110019 markings, 86105134 edges, 398058 markings/sec, 135 secs
lola: 54135583 markings, 89482253 edges, 405113 markings/sec, 140 secs
lola: 56117925 markings, 92780049 edges, 396468 markings/sec, 145 secs
lola: 58157027 markings, 96173625 edges, 407820 markings/sec, 150 secs
lola: 60002946 markings, 99356061 edges, 369184 markings/sec, 155 secs
lola: 61937172 markings, 102534580 edges, 386845 markings/sec, 160 secs
lola: 63764752 markings, 105688497 edges, 365516 markings/sec, 165 secs
lola: 65609980 markings, 108666370 edges, 369046 markings/sec, 170 secs
lola: 67417655 markings, 111671222 edges, 361535 markings/sec, 175 secs
lola: 69153150 markings, 114649147 edges, 347099 markings/sec, 180 secs
lola: 70942269 markings, 117592680 edges, 357824 markings/sec, 185 secs
lola: 72801747 markings, 120732746 edges, 371896 markings/sec, 190 secs
lola: 74674649 markings, 123858188 edges, 374580 markings/sec, 195 secs
lola: 76585875 markings, 127044466 edges, 382245 markings/sec, 200 secs
lola: 78522549 markings, 130185354 edges, 387335 markings/sec, 205 secs
lola: 80216574 markings, 133093394 edges, 338805 markings/sec, 210 secs
lola: 81931906 markings, 135994597 edges, 343066 markings/sec, 215 secs
lola: 83753471 markings, 139101269 edges, 364313 markings/sec, 220 secs
lola: 85538453 markings, 142127716 edges, 356996 markings/sec, 225 secs
lola: 87274183 markings, 145083731 edges, 347146 markings/sec, 230 secs
lola: 89018765 markings, 147925031 edges, 348916 markings/sec, 235 secs
lola: 90796734 markings, 150822275 edges, 355594 markings/sec, 240 secs
lola: 92629620 markings, 153845176 edges, 366577 markings/sec, 245 secs
lola: 94251810 markings, 156636660 edges, 324438 markings/sec, 250 secs
lola: 96273937 markings, 159739707 edges, 404425 markings/sec, 255 secs
lola: 98168415 markings, 162731119 edges, 378896 markings/sec, 260 secs
lola: 99862250 markings, 165587694 edges, 338767 markings/sec, 265 secs
lola: 101570057 markings, 168485224 edges, 341561 markings/sec, 270 secs
lola: 103147867 markings, 171284071 edges, 315562 markings/sec, 275 secs
lola: 104850258 markings, 174122286 edges, 340478 markings/sec, 280 secs
lola: 106563494 markings, 176972506 edges, 342647 markings/sec, 285 secs
lola: 108201558 markings, 179697856 edges, 327613 markings/sec, 290 secs
lola: 109885977 markings, 182463723 edges, 336884 markings/sec, 295 secs
lola: 111494577 markings, 185222907 edges, 321720 markings/sec, 300 secs
lola: 113111312 markings, 187984828 edges, 323347 markings/sec, 305 secs
lola: 114877897 markings, 190751593 edges, 353317 markings/sec, 310 secs
lola: 116692129 markings, 193432174 edges, 362846 markings/sec, 315 secs
lola: 118464831 markings, 196279514 edges, 354540 markings/sec, 320 secs
lola: 120182447 markings, 199170759 edges, 343523 markings/sec, 325 secs
lola: 121830116 markings, 201955861 edges, 329534 markings/sec, 330 secs
lola: 123622118 markings, 204772867 edges, 358400 markings/sec, 335 secs
lola: 125321672 markings, 207569308 edges, 339911 markings/sec, 340 secs
lola: 126965219 markings, 210320371 edges, 328709 markings/sec, 345 secs
lola: 128577712 markings, 213012711 edges, 322499 markings/sec, 350 secs
lola: 130187784 markings, 215719253 edges, 322014 markings/sec, 355 secs
lola: 131660093 markings, 218316496 edges, 294462 markings/sec, 360 secs
lola: 133477113 markings, 221147778 edges, 363404 markings/sec, 365 secs
lola: 135257770 markings, 223980234 edges, 356131 markings/sec, 370 secs
lola: 136826291 markings, 226652799 edges, 313704 markings/sec, 375 secs
lola: 138447443 markings, 229390665 edges, 324230 markings/sec, 380 secs
lola: 140076050 markings, 232058192 edges, 325721 markings/sec, 385 secs
lola: 141625463 markings, 234632737 edges, 309883 markings/sec, 390 secs
lola: 143189393 markings, 237191374 edges, 312786 markings/sec, 395 secs
lola: 144802860 markings, 239869368 edges, 322693 markings/sec, 400 secs
lola: 146351482 markings, 242547517 edges, 309724 markings/sec, 405 secs
lola: 148069629 markings, 245232012 edges, 343629 markings/sec, 410 secs
lola: 149889096 markings, 248296468 edges, 363893 markings/sec, 415 secs
lola: 151629423 markings, 251125603 edges, 348065 markings/sec, 420 secs
lola: 153257617 markings, 253857358 edges, 325639 markings/sec, 425 secs
lola: 154871418 markings, 256449830 edges, 322760 markings/sec, 430 secs
lola: 156470853 markings, 259127463 edges, 319887 markings/sec, 435 secs
lola: 158009359 markings, 261699045 edges, 307701 markings/sec, 440 secs
lola: 159784390 markings, 264444973 edges, 355006 markings/sec, 445 secs
lola: 161391977 markings, 267122817 edges, 321517 markings/sec, 450 secs
lola: 162971703 markings, 269742567 edges, 315945 markings/sec, 455 secs
lola: 164528049 markings, 272311436 edges, 311269 markings/sec, 460 secs
lola: 166148696 markings, 274976551 edges, 324129 markings/sec, 465 secs
lola: 167926785 markings, 277855323 edges, 355618 markings/sec, 470 secs
lola: 169587097 markings, 280702726 edges, 332062 markings/sec, 475 secs
lola: 171314504 markings, 283529942 edges, 345481 markings/sec, 480 secs
lola: 173028661 markings, 286296855 edges, 342831 markings/sec, 485 secs
lola: 174695772 markings, 289021299 edges, 333422 markings/sec, 490 secs
lola: 176394825 markings, 291734192 edges, 339811 markings/sec, 495 secs
lola: 178075667 markings, 294449550 edges, 336168 markings/sec, 500 secs
lola: 179729490 markings, 297122152 edges, 330765 markings/sec, 505 secs
lola: 181508639 markings, 300018911 edges, 355830 markings/sec, 510 secs
lola: 183162811 markings, 302662950 edges, 330834 markings/sec, 515 secs
lola: 184834524 markings, 305402381 edges, 334343 markings/sec, 520 secs
lola: 186419170 markings, 308075135 edges, 316929 markings/sec, 525 secs
lola: 187992625 markings, 310761715 edges, 314691 markings/sec, 530 secs
lola: 189656282 markings, 313458934 edges, 332731 markings/sec, 535 secs
lola: 191202027 markings, 316077694 edges, 309149 markings/sec, 540 secs
lola: 192810302 markings, 318639121 edges, 321655 markings/sec, 545 secs
lola: 194309921 markings, 321187914 edges, 299924 markings/sec, 550 secs
lola: 195896235 markings, 323756772 edges, 317263 markings/sec, 555 secs
lola: 197475786 markings, 326401890 edges, 315910 markings/sec, 560 secs
lola: 199087341 markings, 329032881 edges, 322311 markings/sec, 565 secs
lola: 200651258 markings, 331559603 edges, 312783 markings/sec, 570 secs
lola: 202251718 markings, 334243803 edges, 320092 markings/sec, 575 secs
lola: 203856257 markings, 337001753 edges, 320908 markings/sec, 580 secs
lola: 205389851 markings, 339673187 edges, 306719 markings/sec, 585 secs
lola: 207051256 markings, 342479932 edges, 332281 markings/sec, 590 secs
lola: 208757871 markings, 345307270 edges, 341323 markings/sec, 595 secs
lola: 210553244 markings, 348228745 edges, 359075 markings/sec, 600 secs
lola: 212298728 markings, 351101256 edges, 349097 markings/sec, 605 secs
lola: 214005787 markings, 353893159 edges, 341412 markings/sec, 610 secs
lola: 215687626 markings, 356652771 edges, 336368 markings/sec, 615 secs
lola: 217288493 markings, 359267041 edges, 320173 markings/sec, 620 secs
lola: 218987621 markings, 361932525 edges, 339826 markings/sec, 625 secs
lola: 220597009 markings, 364581378 edges, 321878 markings/sec, 630 secs
lola: 222212781 markings, 367179773 edges, 323154 markings/sec, 635 secs
lola: 223773917 markings, 369697767 edges, 312227 markings/sec, 640 secs
lola: 225428929 markings, 372331610 edges, 331002 markings/sec, 645 secs
lola: 227003241 markings, 374865544 edges, 314862 markings/sec, 650 secs
lola: 228647239 markings, 377507756 edges, 328800 markings/sec, 655 secs
lola: 230293197 markings, 380116216 edges, 329192 markings/sec, 660 secs
lola: 231939373 markings, 382711433 edges, 329235 markings/sec, 665 secs
lola: 233558379 markings, 385312708 edges, 323801 markings/sec, 670 secs
lola: 235123340 markings, 387839130 edges, 312992 markings/sec, 675 secs
lola: 236623979 markings, 390392159 edges, 300128 markings/sec, 680 secs
lola: 238273732 markings, 393256123 edges, 329951 markings/sec, 685 secs
lola: 239885955 markings, 395955119 edges, 322445 markings/sec, 690 secs
lola: 241462147 markings, 398548940 edges, 315238 markings/sec, 695 secs
lola: 242973324 markings, 401040385 edges, 302235 markings/sec, 700 secs
lola: 244536758 markings, 403584598 edges, 312687 markings/sec, 705 secs
lola: 245994555 markings, 406049986 edges, 291559 markings/sec, 710 secs
lola: 247596096 markings, 408812072 edges, 320308 markings/sec, 715 secs
lola: 249162194 markings, 411438843 edges, 313220 markings/sec, 720 secs
lola: 250668727 markings, 413909676 edges, 301307 markings/sec, 725 secs
lola: 252408047 markings, 416826480 edges, 347864 markings/sec, 730 secs
lola: 254187373 markings, 419781260 edges, 355865 markings/sec, 735 secs
lola: 255923055 markings, 422664569 edges, 347136 markings/sec, 740 secs
lola: 257646580 markings, 425502589 edges, 344705 markings/sec, 745 secs
lola: 259397963 markings, 428341872 edges, 350277 markings/sec, 750 secs
lola: 261080536 markings, 431123286 edges, 336515 markings/sec, 755 secs
lola: 262719471 markings, 433819743 edges, 327787 markings/sec, 760 secs
lola: 264339439 markings, 436450649 edges, 323994 markings/sec, 765 secs
lola: 266013031 markings, 439190417 edges, 334718 markings/sec, 770 secs
lola: 267642192 markings, 441856868 edges, 325832 markings/sec, 775 secs
lola: 269228305 markings, 444477850 edges, 317223 markings/sec, 780 secs
lola: 270947025 markings, 447426968 edges, 343744 markings/sec, 785 secs
lola: 272687179 markings, 450306506 edges, 348031 markings/sec, 790 secs
lola: 274425395 markings, 453203300 edges, 347643 markings/sec, 795 secs
lola: 276080805 markings, 455934155 edges, 331082 markings/sec, 800 secs
lola: 277693812 markings, 458633470 edges, 322601 markings/sec, 805 secs
lola: 279280965 markings, 461275935 edges, 317431 markings/sec, 810 secs
lola: 281024305 markings, 464147997 edges, 348668 markings/sec, 815 secs
lola: 282739189 markings, 466951216 edges, 342977 markings/sec, 820 secs
lola: 284284992 markings, 469562004 edges, 309161 markings/sec, 825 secs
lola: 285941811 markings, 472345525 edges, 331364 markings/sec, 830 secs
lola: 287522311 markings, 474971450 edges, 316100 markings/sec, 835 secs
lola: 289181262 markings, 477663666 edges, 331790 markings/sec, 840 secs
lola: 290983754 markings, 480467623 edges, 360498 markings/sec, 845 secs
lola: 292595672 markings, 483134142 edges, 322384 markings/sec, 850 secs
lola: 294111549 markings, 485746342 edges, 303175 markings/sec, 855 secs
lola: 295695459 markings, 488357667 edges, 316782 markings/sec, 860 secs
lola: 297277976 markings, 490969170 edges, 316503 markings/sec, 865 secs
lola: 298914288 markings, 493489725 edges, 327262 markings/sec, 870 secs
lola: 300543805 markings, 496058260 edges, 325903 markings/sec, 875 secs
lola: 302147332 markings, 498683507 edges, 320705 markings/sec, 880 secs
lola: 303783580 markings, 501327902 edges, 327250 markings/sec, 885 secs
lola: 305353969 markings, 503913704 edges, 314078 markings/sec, 890 secs
lola: 306933250 markings, 506491430 edges, 315856 markings/sec, 895 secs
lola: 308558476 markings, 509112944 edges, 325045 markings/sec, 900 secs
lola: 310099820 markings, 511687013 edges, 308269 markings/sec, 905 secs
lola: 311652127 markings, 514217365 edges, 310461 markings/sec, 910 secs
lola: 313219672 markings, 516811134 edges, 313509 markings/sec, 915 secs
lola: 314947686 markings, 519519068 edges, 345603 markings/sec, 920 secs
lola: 316574056 markings, 522161801 edges, 325274 markings/sec, 925 secs
lola: 318124823 markings, 524654909 edges, 310153 markings/sec, 930 secs
lola: 319679273 markings, 527188243 edges, 310890 markings/sec, 935 secs
lola: 321302157 markings, 529783029 edges, 324577 markings/sec, 940 secs
lola: 322868358 markings, 532344570 edges, 313240 markings/sec, 945 secs
lola: 324525698 markings, 534995419 edges, 331468 markings/sec, 950 secs
lola: 326129333 markings, 537622400 edges, 320727 markings/sec, 955 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no unknown unknown no no yes unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no unknown unknown no no yes unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no unknown unknown no no yes unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no no no no unknown unknown no no yes unknown unknown unknown
lola: memory consumption: 3344 KB
lola: time consumption: 2604 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 12 will run for 966 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G ((G (((p22 <= 0) OR ((1 <= p75)))) AND F (((1 <= p26)))))) U G (((1 <= p22))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (G ((G (((p22 <= 0) OR ((1 <= p75)))) AND F (((1 <= p26)))))) U G (((1 <= p22))))
lola: processed formula length: 85
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1318160 markings, 4500020 edges, 263632 markings/sec, 0 secs
lola: 2490902 markings, 9012305 edges, 234548 markings/sec, 5 secs
lola: 3620409 markings, 13472812 edges, 225901 markings/sec, 10 secs
lola: 4757341 markings, 17832798 edges, 227386 markings/sec, 15 secs
lola: 5753911 markings, 21593824 edges, 199314 markings/sec, 20 secs
lola: 6753000 markings, 25489756 edges, 199818 markings/sec, 25 secs
lola: 7762231 markings, 29660601 edges, 201846 markings/sec, 30 secs
lola: 8762029 markings, 33658546 edges, 199960 markings/sec, 35 secs
lola: 9711266 markings, 37626277 edges, 189847 markings/sec, 40 secs
lola: 10666971 markings, 41664396 edges, 191141 markings/sec, 45 secs
lola: 11595856 markings, 45626745 edges, 185777 markings/sec, 50 secs
lola: 12590011 markings, 49714936 edges, 198831 markings/sec, 55 secs
lola: 13623976 markings, 54023593 edges, 206793 markings/sec, 60 secs
lola: 14555411 markings, 57858408 edges, 186287 markings/sec, 65 secs
lola: 15468607 markings, 61812251 edges, 182639 markings/sec, 70 secs
lola: 16378374 markings, 65870204 edges, 181953 markings/sec, 75 secs
lola: 17330014 markings, 69909347 edges, 190328 markings/sec, 80 secs
lola: 18325258 markings, 73995759 edges, 199049 markings/sec, 85 secs
lola: 19258868 markings, 77869577 edges, 186722 markings/sec, 90 secs
lola: 20128262 markings, 81753393 edges, 173879 markings/sec, 95 secs
lola: 21031469 markings, 85581498 edges, 180641 markings/sec, 100 secs
lola: 21949702 markings, 89135519 edges, 183647 markings/sec, 105 secs
lola: 22892396 markings, 92836917 edges, 188539 markings/sec, 110 secs
lola: 23994199 markings, 97045209 edges, 220361 markings/sec, 115 secs
lola: 25008085 markings, 101054996 edges, 202777 markings/sec, 120 secs
lola: 25959406 markings, 104994608 edges, 190264 markings/sec, 125 secs
lola: 26861126 markings, 108872387 edges, 180344 markings/sec, 130 secs
lola: 27713354 markings, 112712387 edges, 170446 markings/sec, 135 secs
lola: 28609414 markings, 116627196 edges, 179212 markings/sec, 140 secs
lola: 29539772 markings, 120613076 edges, 186072 markings/sec, 145 secs
lola: 30420796 markings, 124401363 edges, 176205 markings/sec, 150 secs
lola: 31271092 markings, 127991875 edges, 170059 markings/sec, 155 secs
lola: 32109937 markings, 131488316 edges, 167769 markings/sec, 160 secs
lola: 32948930 markings, 135151638 edges, 167799 markings/sec, 165 secs
lola: 33812244 markings, 138878504 edges, 172663 markings/sec, 170 secs
lola: 34609072 markings, 142443144 edges, 159366 markings/sec, 175 secs
lola: 35404615 markings, 146122618 edges, 159109 markings/sec, 180 secs
lola: 36265680 markings, 149833263 edges, 172213 markings/sec, 185 secs
lola: 37094858 markings, 153587612 edges, 165836 markings/sec, 190 secs
lola: 37933083 markings, 157393493 edges, 167645 markings/sec, 195 secs
lola: 38712879 markings, 160913230 edges, 155959 markings/sec, 200 secs
lola: 39506682 markings, 164579048 edges, 158761 markings/sec, 205 secs
lola: 40300074 markings, 168325257 edges, 158678 markings/sec, 210 secs
lola: 41132121 markings, 172019884 edges, 166409 markings/sec, 215 secs
lola: 41972161 markings, 175813246 edges, 168008 markings/sec, 220 secs
lola: 42761023 markings, 179394286 edges, 157772 markings/sec, 225 secs
lola: 43504014 markings, 182852291 edges, 148598 markings/sec, 230 secs
lola: 44335275 markings, 186341751 edges, 166252 markings/sec, 235 secs
lola: 45173516 markings, 189775584 edges, 167648 markings/sec, 240 secs
lola: 45916684 markings, 192984813 edges, 148634 markings/sec, 245 secs
lola: 46703470 markings, 196130170 edges, 157357 markings/sec, 250 secs
lola: 47535827 markings, 199566241 edges, 166471 markings/sec, 255 secs
lola: 48332576 markings, 202984036 edges, 159350 markings/sec, 260 secs
lola: 49108982 markings, 206386113 edges, 155281 markings/sec, 265 secs
lola: 49975089 markings, 210017966 edges, 173221 markings/sec, 270 secs
lola: 50811821 markings, 213682573 edges, 167346 markings/sec, 275 secs
lola: 51636627 markings, 217315156 edges, 164961 markings/sec, 280 secs
lola: 52472984 markings, 221175220 edges, 167271 markings/sec, 285 secs
lola: 53282427 markings, 224859866 edges, 161889 markings/sec, 290 secs
lola: 54022089 markings, 228268082 edges, 147932 markings/sec, 295 secs
lola: 54937365 markings, 232140332 edges, 183055 markings/sec, 300 secs
lola: 55921602 markings, 236091178 edges, 196847 markings/sec, 305 secs
lola: 56907302 markings, 240135158 edges, 197140 markings/sec, 310 secs
lola: 57788211 markings, 243739223 edges, 176182 markings/sec, 315 secs
lola: 58736100 markings, 247630906 edges, 189578 markings/sec, 320 secs
lola: 59563209 markings, 251324170 edges, 165422 markings/sec, 325 secs
lola: 60444995 markings, 255153188 edges, 176357 markings/sec, 330 secs
lola: 61280008 markings, 258954551 edges, 167003 markings/sec, 335 secs
lola: 62107742 markings, 262659617 edges, 165547 markings/sec, 340 secs
lola: 62928741 markings, 266450948 edges, 164200 markings/sec, 345 secs
lola: 63727500 markings, 270068718 edges, 159752 markings/sec, 350 secs
lola: 64509798 markings, 273513145 edges, 156460 markings/sec, 355 secs
lola: 65300071 markings, 276935676 edges, 158055 markings/sec, 360 secs
lola: 66038438 markings, 280374485 edges, 147673 markings/sec, 365 secs
lola: 66915755 markings, 284019086 edges, 175463 markings/sec, 370 secs
lola: 67769065 markings, 287724173 edges, 170662 markings/sec, 375 secs
lola: 68581091 markings, 291427116 edges, 162405 markings/sec, 380 secs
lola: 69342676 markings, 294703492 edges, 152317 markings/sec, 385 secs
lola: 70165693 markings, 298250516 edges, 164603 markings/sec, 390 secs
lola: 70912294 markings, 301753945 edges, 149320 markings/sec, 395 secs
lola: 71707357 markings, 305336656 edges, 159013 markings/sec, 400 secs
lola: 72429112 markings, 308823166 edges, 144351 markings/sec, 405 secs
lola: 73130134 markings, 312240321 edges, 140204 markings/sec, 410 secs
lola: 73873175 markings, 315809361 edges, 148608 markings/sec, 415 secs
lola: 74601567 markings, 319300990 edges, 145678 markings/sec, 420 secs
lola: 75285093 markings, 322562953 edges, 136705 markings/sec, 425 secs
lola: 76062956 markings, 325967728 edges, 155573 markings/sec, 430 secs
lola: 76781724 markings, 329104336 edges, 143754 markings/sec, 435 secs
lola: 77545792 markings, 332355201 edges, 152814 markings/sec, 440 secs
lola: 78318743 markings, 335813078 edges, 154590 markings/sec, 445 secs
lola: 79295155 markings, 339789946 edges, 195282 markings/sec, 450 secs
lola: 80207278 markings, 343952084 edges, 182425 markings/sec, 455 secs
lola: 81086038 markings, 348055716 edges, 175752 markings/sec, 460 secs
lola: 81999219 markings, 351919913 edges, 182636 markings/sec, 465 secs
lola: 82882654 markings, 355870268 edges, 176687 markings/sec, 470 secs
lola: 83637492 markings, 359692657 edges, 150968 markings/sec, 475 secs
lola: 84448880 markings, 363426563 edges, 162278 markings/sec, 480 secs
lola: 85249291 markings, 367006742 edges, 160082 markings/sec, 485 secs
lola: 86065401 markings, 370840115 edges, 163222 markings/sec, 490 secs
lola: 86831956 markings, 374542698 edges, 153311 markings/sec, 495 secs
lola: 87551225 markings, 378119610 edges, 143854 markings/sec, 500 secs
lola: 88358595 markings, 381750741 edges, 161474 markings/sec, 505 secs
lola: 89190971 markings, 385614161 edges, 166475 markings/sec, 510 secs
lola: 89992249 markings, 389531059 edges, 160256 markings/sec, 515 secs
lola: 90746555 markings, 393188813 edges, 150861 markings/sec, 520 secs
lola: 91571929 markings, 396854894 edges, 165075 markings/sec, 525 secs
lola: 92312936 markings, 400562369 edges, 148201 markings/sec, 530 secs
lola: 93018767 markings, 404247343 edges, 141166 markings/sec, 535 secs
lola: 93760848 markings, 407806529 edges, 148416 markings/sec, 540 secs
lola: 94476493 markings, 411154859 edges, 143129 markings/sec, 545 secs
lola: 95416101 markings, 415117303 edges, 187922 markings/sec, 550 secs
lola: 96327607 markings, 418901591 edges, 182301 markings/sec, 555 secs
lola: 97153580 markings, 422651509 edges, 165195 markings/sec, 560 secs
lola: 98086160 markings, 426441886 edges, 186516 markings/sec, 565 secs
lola: 98967694 markings, 430287765 edges, 176307 markings/sec, 570 secs
lola: 99831259 markings, 434088146 edges, 172713 markings/sec, 575 secs
lola: 100696180 markings, 437773321 edges, 172984 markings/sec, 580 secs
lola: 101695347 markings, 441852227 edges, 199833 markings/sec, 585 secs
lola: 102628523 markings, 445818214 edges, 186635 markings/sec, 590 secs
lola: 103606507 markings, 449544892 edges, 195597 markings/sec, 595 secs
lola: 104532814 markings, 453238277 edges, 185261 markings/sec, 600 secs
lola: 105477965 markings, 457071379 edges, 189030 markings/sec, 605 secs
lola: 106348278 markings, 460462686 edges, 174063 markings/sec, 610 secs
lola: 107202570 markings, 464039907 edges, 170858 markings/sec, 615 secs
lola: 108105395 markings, 467924480 edges, 180565 markings/sec, 620 secs
lola: 108988661 markings, 471736206 edges, 176653 markings/sec, 625 secs
lola: 109771684 markings, 475330068 edges, 156605 markings/sec, 630 secs
lola: 110652226 markings, 479198604 edges, 176108 markings/sec, 635 secs
lola: 111402775 markings, 482256189 edges, 150110 markings/sec, 640 secs
lola: 112090202 markings, 484958231 edges, 137485 markings/sec, 645 secs
lola: 112768265 markings, 487688632 edges, 135613 markings/sec, 650 secs
lola: 113513234 markings, 490738586 edges, 148994 markings/sec, 655 secs
lola: 114207633 markings, 493755420 edges, 138880 markings/sec, 660 secs
lola: 114909525 markings, 496828645 edges, 140378 markings/sec, 665 secs
lola: 115683690 markings, 500162488 edges, 154833 markings/sec, 670 secs
lola: 116454880 markings, 503671756 edges, 154238 markings/sec, 675 secs
lola: 117264893 markings, 507319329 edges, 162003 markings/sec, 680 secs
lola: 117955266 markings, 510272862 edges, 138075 markings/sec, 685 secs
lola: 118552528 markings, 512919794 edges, 119452 markings/sec, 690 secs
lola: 119289933 markings, 516242110 edges, 147481 markings/sec, 695 secs
lola: 120037634 markings, 519555317 edges, 149540 markings/sec, 700 secs
lola: 120800438 markings, 523244007 edges, 152561 markings/sec, 705 secs
lola: 121432816 markings, 526286946 edges, 126476 markings/sec, 710 secs
lola: 122208350 markings, 529918584 edges, 155107 markings/sec, 715 secs
lola: 122937157 markings, 533068583 edges, 145761 markings/sec, 720 secs
lola: 123616513 markings, 535881446 edges, 135871 markings/sec, 725 secs
lola: 124265604 markings, 538557092 edges, 129818 markings/sec, 730 secs
lola: 124947246 markings, 541366517 edges, 136328 markings/sec, 735 secs
lola: 125636742 markings, 544251017 edges, 137899 markings/sec, 740 secs
lola: 126399131 markings, 547496032 edges, 152478 markings/sec, 745 secs
lola: 127261046 markings, 551358878 edges, 172383 markings/sec, 750 secs
lola: 127959616 markings, 554491556 edges, 139714 markings/sec, 755 secs
lola: 128622493 markings, 557153782 edges, 132575 markings/sec, 760 secs
lola: 129319894 markings, 560152825 edges, 139480 markings/sec, 765 secs
lola: 130053869 markings, 563253398 edges, 146795 markings/sec, 770 secs
lola: 130831919 markings, 566770948 edges, 155610 markings/sec, 775 secs
lola: 131459919 markings, 569664905 edges, 125600 markings/sec, 780 secs
lola: 132174204 markings, 573023031 edges, 142857 markings/sec, 785 secs
lola: 132936253 markings, 576696222 edges, 152410 markings/sec, 790 secs
lola: 133628402 markings, 579684589 edges, 138430 markings/sec, 795 secs
lola: 134283476 markings, 582468843 edges, 131015 markings/sec, 800 secs
lola: 134721779 markings, 584525576 edges, 87661 markings/sec, 805 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: ((X (F (((1 <= p56) AND (1 <= p67)))) OR F (((1 <= p86) AND (1 <= p90) AND (1 <= p101)))) U X ((((1 <= p13) AND (1 <= p23) AND (1 <= p25)) OR ((1 <= p81) AND (1 <= p91)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((X (F (((1 <= p56) AND (1 <= p67)))) OR F (((1 <= p86) AND (1 <= p90) AND (1 <= p101)))) U X ((((1 <= p13) AND (1 <= p23) AND (1 <= p25)) OR ((1 <= p81) AND (1 <= p91)))))
lola: processed formula length: 173
lola: 71 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: 1367006 markings, 4231539 edges, 273401 markings/sec, 0 secs
lola: 2546602 markings, 8307932 edges, 235919 markings/sec, 5 secs
lola: 3636442 markings, 12189671 edges, 217968 markings/sec, 10 secs
lola: 4779922 markings, 16055793 edges, 228696 markings/sec, 15 secs
lola: 5934763 markings, 19991776 edges, 230968 markings/sec, 20 secs
lola: 6923959 markings, 23639818 edges, 197839 markings/sec, 25 secs
lola: 8027054 markings, 27388985 edges, 220619 markings/sec, 30 secs
lola: 9089209 markings, 31107784 edges, 212431 markings/sec, 35 secs
lola: 10083732 markings, 34768238 edges, 198905 markings/sec, 40 secs
lola: 11060095 markings, 38292900 edges, 195273 markings/sec, 45 secs
lola: 12052520 markings, 41863541 edges, 198485 markings/sec, 50 secs
lola: 13065142 markings, 45300817 edges, 202524 markings/sec, 55 secs
lola: 14162367 markings, 48958648 edges, 219445 markings/sec, 60 secs
lola: 15186733 markings, 52610006 edges, 204873 markings/sec, 65 secs
lola: 16158152 markings, 56108527 edges, 194284 markings/sec, 70 secs
lola: 17091264 markings, 59655307 edges, 186622 markings/sec, 75 secs
lola: 18015821 markings, 63057450 edges, 184911 markings/sec, 80 secs
lola: 18869701 markings, 66288712 edges, 170776 markings/sec, 85 secs
lola: 19833080 markings, 69767021 edges, 192676 markings/sec, 90 secs
lola: 20837300 markings, 73384149 edges, 200844 markings/sec, 95 secs
lola: 21808914 markings, 76998023 edges, 194323 markings/sec, 100 secs
lola: 22698142 markings, 80431234 edges, 177846 markings/sec, 105 secs
lola: 23525748 markings, 83695661 edges, 165521 markings/sec, 110 secs
lola: 24468350 markings, 87046863 edges, 188520 markings/sec, 115 secs
lola: 25417806 markings, 90366921 edges, 189891 markings/sec, 120 secs
lola: 26296563 markings, 93637337 edges, 175751 markings/sec, 125 secs
lola: 27215209 markings, 96959243 edges, 183729 markings/sec, 130 secs
lola: 28192604 markings, 100331208 edges, 195479 markings/sec, 135 secs
lola: 29035980 markings, 103501414 edges, 168675 markings/sec, 140 secs
lola: 29883619 markings, 106610279 edges, 169528 markings/sec, 145 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no no unknown unknown no no yes unknown unknown unknown
lola:
preliminary result: no no no no no unknown unknown no no yes unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no unknown unknown no no yes unknown unknown unknown
lola: memory consumption: 4297972 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no unknown unknown no no yes unknown unknown unknown
lola: memory consumption: 4297972 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 4298644 KB
lola: time consumption: 3570 seconds
lola: writing JSON to LTLFireability.json
lola: print data as JSON (--json)
lola: closed JSON file LTLFireability.json
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPs-PT-004A"
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 ShieldIIPs-PT-004A, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r227-tall-162098230800106"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-004A.tgz
mv ShieldIIPs-PT-004A 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 ;