About the Execution of 2020-gold for ShieldIIPs-PT-003B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16238.168 | 3600000.00 | 3590826.00 | 17046.80 | FTFFFT?FFF?FFFT? | 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-162098230800102.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-003B, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098230800102
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 416K
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 135K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K 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 2.8K Mar 28 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 28 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 17:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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 49K 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-003B-00
FORMULA_NAME ShieldIIPs-PT-003B-01
FORMULA_NAME ShieldIIPs-PT-003B-02
FORMULA_NAME ShieldIIPs-PT-003B-03
FORMULA_NAME ShieldIIPs-PT-003B-04
FORMULA_NAME ShieldIIPs-PT-003B-05
FORMULA_NAME ShieldIIPs-PT-003B-06
FORMULA_NAME ShieldIIPs-PT-003B-07
FORMULA_NAME ShieldIIPs-PT-003B-08
FORMULA_NAME ShieldIIPs-PT-003B-09
FORMULA_NAME ShieldIIPs-PT-003B-10
FORMULA_NAME ShieldIIPs-PT-003B-11
FORMULA_NAME ShieldIIPs-PT-003B-12
FORMULA_NAME ShieldIIPs-PT-003B-13
FORMULA_NAME ShieldIIPs-PT-003B-14
FORMULA_NAME ShieldIIPs-PT-003B-15
=== Now, execution of the tool begins
BK_START 1621123821099
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 00:10:22] [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:10:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 00:10:22] [INFO ] Load time of PNML (sax parser for PT used): 51 ms
[2021-05-16 00:10:22] [INFO ] Transformed 183 places.
[2021-05-16 00:10:22] [INFO ] Transformed 180 transitions.
[2021-05-16 00:10:22] [INFO ] Found NUPN structural information;
[2021-05-16 00:10:22] [INFO ] Parsed PT model containing 183 places and 180 transitions in 94 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 19 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 5128 steps, including 11 resets, run visited all 38 properties in 33 ms. (steps per millisecond=155 )
[2021-05-16 00:10:23] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2021-05-16 00:10:23] [INFO ] Flatten gal took : 53 ms
FORMULA ShieldIIPs-PT-003B-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-003B-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-003B-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-003B-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-003B-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 00:10:23] [INFO ] Applying decomposition
[2021-05-16 00:10:23] [INFO ] Flatten gal took : 18 ms
[2021-05-16 00:10:23] [INFO ] Decomposing Gal with order
[2021-05-16 00:10:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 00:10:23] [INFO ] Removed a total of 48 redundant transitions.
[2021-05-16 00:10:23] [INFO ] Flatten gal took : 42 ms
[2021-05-16 00:10:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 60 labels/synchronizations in 11 ms.
[2021-05-16 00:10:23] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-16 00:10:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 5 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldIIPs-PT-003B @ 3570 seconds
FORMULA ShieldIIPs-PT-003B-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-003B-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-003B-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-003B-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-003B-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-003B-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-003B-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-003B-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ShieldIIPs-PT-003B
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sun May 16 00:10:24 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X ((F (((p7 <= 0))) U G (((1 <= p7))))))",
"processed_size": 43,
"rewrites": 62
},
"result":
{
"edges": 652,
"markings": 651,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X ((F (G (((p178 <= 0)))) AND X (F ((G (((1 <= p178))) OR ((1 <= p175)))))))",
"processed_size": 76,
"rewrites": 62
},
"result":
{
"edges": 1657702,
"markings": 322808,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 3,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G ((F ((G (((1 <= p19))) AND ((1 <= p107)))) AND X (G (((p38 <= 0))))))",
"processed_size": 71,
"rewrites": 62
},
"result":
{
"edges": 649,
"markings": 649,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X ((F ((X (F (((1 <= p78)))) OR G (((1 <= p78))))) AND ((1 <= p55))))",
"processed_size": 69,
"rewrites": 62
},
"result":
{
"edges": 649,
"markings": 649,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (X ((G (((p88 <= 0) OR (p110 <= 0) OR (p121 <= 0))) OR ((1 <= p170)))))",
"processed_size": 75,
"rewrites": 62
},
"result":
{
"edges": 649,
"markings": 649,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (G (((p73 <= 0) OR (p115 <= 0))))",
"processed_size": 36,
"rewrites": 62
},
"result":
{
"edges": 649,
"markings": 649,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 712
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(F (((1 <= p36))) U (X (G (((1 <= p71)))) OR ((1 <= p71))))",
"processed_size": 59,
"rewrites": 62
},
"result":
{
"edges": 649,
"markings": 649,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 891
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 4,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (((X (((p31 <= 0))) AND G (F (((p69 <= 0))))) OR (((p93 <= 0)) AND ((p69 <= 0)))))",
"processed_size": 84,
"rewrites": 62
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 1672,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "X(X((F(*) U G(**)))) : X((F(G(*)) AND X(F((G(**) OR **))))) : (F(**) U (F(**) OR (** OR (G((** AND **)) AND F((F(**) OR **)))))) : G((F((G(**) AND **)) AND X(G(**)))) : X((F((X(F(**)) OR G(**))) AND **)) : G(F(*)) : X(X((G(**) OR **))) : X(G(*)) : (F(**) U (X(G(**)) OR **)) : X(((X(**) AND G(F(**))) OR **)) : G(F(((** U X(F(**))) AND (F(**) AND G(**)))))"
},
"net":
{
"arcs": 540,
"conflict_clusters": 129,
"places": 183,
"places_significant": 155,
"singleton_clusters": 0,
"transitions": 180
},
"result":
{
"interim_value": "no no unknown no no unknown no no no yes unknown ",
"preliminary_value": "no no unknown no no unknown no no no yes unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 363/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 183
lola: finding significant places
lola: 183 places, 180 transitions, 155 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p178 <= 1)
lola: LP says that atomic proposition is always true: (p178 <= 1)
lola: LP says that atomic proposition is always true: (p175 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p19 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p78 <= 1)
lola: LP says that atomic proposition is always true: (p78 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p112 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p73 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 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: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p105 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: X ((X (NOT(G (((1 <= p7))))) U G (X (G (((1 <= p7))))))) : NOT(X ((F (G (F (((1 <= p178))))) OR NOT(X ((F (G (((1 <= p178)))) OR F (((1 <= p175))))))))) : (F (((1 <= p40))) U ((G ((((1 <= p40)) OR ((1 <= p45)))) AND G (((1 <= p58)))) U (F (((1 <= p40))) OR ((1 <= p58))))) : G ((F ((G (((1 <= p19))) AND ((1 <= p107)))) AND G (X (((p38 <= 0)))))) : X ((NOT(G ((NOT(F (NOT(G (NOT(X (((1 <= p78)))))))) AND NOT(G (((1 <= p78))))))) AND ((1 <= p55)))) : F (X (G (NOT(G (((1 <= p112))))))) : X ((X (G (((p88 <= 0) OR (p110 <= 0) OR (p121 <= 0)))) OR X (((1 <= p170))))) : NOT(X (F (((1 <= p73) AND (1 <= p115))))) : ((((p71 <= 0)) U F (((1 <= p36)))) U (G (X (((1 <= p71)))) OR ((1 <= p71)))) : X (((X (((p31 <= 0))) AND G (F (((p69 <= 0))))) OR (((p93 <= 0)) AND ((p69 <= 0))))) : X (F (G (F ((((((1 <= p5) AND (1 <= p24)) U F (X (((1 <= p49))))) AND F (((1 <= p27) AND (1 <= p105)))) AND G (((1 <= p5) AND (1 <= p24))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:528
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:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((F (((p7 <= 0))) U G (((1 <= p7))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((F (((p7 <= 0))) U G (((1 <= p7))))))
lola: processed formula length: 43
lola: 62 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: 651 markings, 652 edges
lola: ========================================
lola: subprocess 1 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (G (((p178 <= 0)))) AND X (F ((G (((1 <= p178))) OR ((1 <= p175)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (G (((p178 <= 0)))) AND X (F ((G (((1 <= p178))) OR ((1 <= p175)))))))
lola: processed formula length: 76
lola: 62 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: 322808 markings, 1657702 edges
lola: ========================================
lola: subprocess 2 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((G (((1 <= p19))) AND ((1 <= p107)))) AND X (G (((p38 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((G (((1 <= p19))) AND ((1 <= p107)))) AND X (G (((p38 <= 0))))))
lola: processed formula length: 71
lola: 62 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: 649 markings, 649 edges
lola: ========================================
lola: subprocess 3 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F ((X (F (((1 <= p78)))) OR G (((1 <= p78))))) AND ((1 <= p55))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F ((X (F (((1 <= p78)))) OR G (((1 <= p78))))) AND ((1 <= p55))))
lola: processed formula length: 69
lola: 62 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: 649 markings, 649 edges
lola: ========================================
lola: subprocess 4 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((G (((p88 <= 0) OR (p110 <= 0) OR (p121 <= 0))) OR ((1 <= p170)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((G (((p88 <= 0) OR (p110 <= 0) OR (p121 <= 0))) OR ((1 <= p170)))))
lola: processed formula length: 75
lola: 62 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: 649 markings, 649 edges
lola: ========================================
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((p73 <= 0) OR (p115 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((p73 <= 0) OR (p115 <= 0))))
lola: processed formula length: 36
lola: 62 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: 649 markings, 649 edges
lola: ========================================
lola: subprocess 6 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p36))) U (X (G (((1 <= p71)))) OR ((1 <= p71))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F (((1 <= p36))) U (X (G (((1 <= p71)))) OR ((1 <= p71))))
lola: processed formula length: 59
lola: 62 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: 649 markings, 649 edges
lola: ========================================
lola: subprocess 7 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((X (((p31 <= 0))) AND G (F (((p69 <= 0))))) OR (((p93 <= 0)) AND ((p69 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((X (((p31 <= 0))) AND G (F (((p69 <= 0))))) OR (((p93 <= 0)) AND ((p69 <= 0)))))
lola: processed formula length: 84
lola: 62 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 8 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((((1 <= p5) AND (1 <= p24)) U X (F (((1 <= p49))))) AND (F (((1 <= p27) AND (1 <= p105))) AND G (((1 <= p5) AND (1 <= p24)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((((1 <= p5) AND (1 <= p24)) U X (F (((1 <= p49))))) AND (F (((1 <= p27) AND (1 <= p105))) AND G (((1 <= p5) AND (1 <= p24)))))))
lola: processed formula length: 135
lola: 62 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 430163 markings, 2996124 edges, 86033 markings/sec, 0 secs
lola: 847344 markings, 5959281 edges, 83436 markings/sec, 5 secs
lola: 1248506 markings, 8938307 edges, 80232 markings/sec, 10 secs
lola: 1600709 markings, 11888522 edges, 70441 markings/sec, 15 secs
lola: 1970151 markings, 14833073 edges, 73888 markings/sec, 20 secs
lola: 2311435 markings, 17754207 edges, 68257 markings/sec, 25 secs
lola: 2676475 markings, 20698732 edges, 73008 markings/sec, 30 secs
lola: 3042128 markings, 23643673 edges, 73131 markings/sec, 35 secs
lola: 3382564 markings, 26572338 edges, 68087 markings/sec, 40 secs
lola: 3757891 markings, 29508873 edges, 75065 markings/sec, 45 secs
lola: 4125673 markings, 32441607 edges, 73556 markings/sec, 50 secs
lola: 4506543 markings, 35381151 edges, 76174 markings/sec, 55 secs
lola: 4886248 markings, 38322795 edges, 75941 markings/sec, 60 secs
lola: 5288520 markings, 41257335 edges, 80454 markings/sec, 65 secs
lola: 5666581 markings, 44156889 edges, 75612 markings/sec, 70 secs
lola: 6011322 markings, 47031630 edges, 68948 markings/sec, 75 secs
lola: 6361475 markings, 49947255 edges, 70031 markings/sec, 80 secs
lola: 6704370 markings, 52849895 edges, 68579 markings/sec, 85 secs
lola: 7054647 markings, 55712959 edges, 70055 markings/sec, 90 secs
lola: 7383341 markings, 58591673 edges, 65739 markings/sec, 95 secs
lola: 7731217 markings, 61486991 edges, 69575 markings/sec, 100 secs
lola: 8098275 markings, 64456152 edges, 73412 markings/sec, 105 secs
lola: 8469789 markings, 67385010 edges, 74303 markings/sec, 110 secs
lola: 8819791 markings, 70314667 edges, 70000 markings/sec, 115 secs
lola: 9140036 markings, 73239935 edges, 64049 markings/sec, 120 secs
lola: 9461915 markings, 76167253 edges, 64376 markings/sec, 125 secs
lola: 9770550 markings, 79044638 edges, 61727 markings/sec, 130 secs
lola: 10082139 markings, 81947290 edges, 62318 markings/sec, 135 secs
lola: 10401646 markings, 84843299 edges, 63901 markings/sec, 140 secs
lola: 10719455 markings, 87717372 edges, 63562 markings/sec, 145 secs
lola: 11019571 markings, 90573454 edges, 60023 markings/sec, 150 secs
lola: 11332254 markings, 93431004 edges, 62537 markings/sec, 155 secs
lola: 11662460 markings, 96308981 edges, 66041 markings/sec, 160 secs
lola: 11989722 markings, 99186749 edges, 65452 markings/sec, 165 secs
lola: 12308122 markings, 102076957 edges, 63680 markings/sec, 170 secs
lola: 12649841 markings, 104981079 edges, 68344 markings/sec, 175 secs
lola: 12995117 markings, 107865278 edges, 69055 markings/sec, 180 secs
lola: 13323483 markings, 110717968 edges, 65673 markings/sec, 185 secs
lola: 13638179 markings, 113563313 edges, 62939 markings/sec, 190 secs
lola: 13934204 markings, 116413400 edges, 59205 markings/sec, 195 secs
lola: 14238821 markings, 119295029 edges, 60923 markings/sec, 200 secs
lola: 14556134 markings, 122137284 edges, 63463 markings/sec, 205 secs
lola: 14858699 markings, 124970188 edges, 60513 markings/sec, 210 secs
lola: 15140336 markings, 127789427 edges, 56327 markings/sec, 215 secs
lola: 15455190 markings, 130651658 edges, 62971 markings/sec, 220 secs
lola: 15820683 markings, 133614348 edges, 73099 markings/sec, 225 secs
lola: 16190370 markings, 136535354 edges, 73937 markings/sec, 230 secs
lola: 16540273 markings, 139458181 edges, 69981 markings/sec, 235 secs
lola: 16858117 markings, 142375085 edges, 63569 markings/sec, 240 secs
lola: 17180521 markings, 145297733 edges, 64481 markings/sec, 245 secs
lola: 17488060 markings, 148179905 edges, 61508 markings/sec, 250 secs
lola: 17798339 markings, 151061379 edges, 62056 markings/sec, 255 secs
lola: 18117854 markings, 153948318 edges, 63903 markings/sec, 260 secs
lola: 18434370 markings, 156820311 edges, 63303 markings/sec, 265 secs
lola: 18733781 markings, 159672399 edges, 59882 markings/sec, 270 secs
lola: 19046717 markings, 162527472 edges, 62587 markings/sec, 275 secs
lola: 19374079 markings, 165378636 edges, 65472 markings/sec, 280 secs
lola: 19696871 markings, 168223577 edges, 64558 markings/sec, 285 secs
lola: 20013184 markings, 171081227 edges, 63263 markings/sec, 290 secs
lola: 20352539 markings, 173976918 edges, 67871 markings/sec, 295 secs
lola: 20697939 markings, 176855598 edges, 69080 markings/sec, 300 secs
lola: 21025892 markings, 179705752 edges, 65591 markings/sec, 305 secs
lola: 21341276 markings, 182538810 edges, 63077 markings/sec, 310 secs
lola: 21632570 markings, 185378255 edges, 58259 markings/sec, 315 secs
lola: 21938474 markings, 188254336 edges, 61181 markings/sec, 320 secs
lola: 22253500 markings, 191090221 edges, 63005 markings/sec, 325 secs
lola: 22557489 markings, 193914272 edges, 60798 markings/sec, 330 secs
lola: 22839027 markings, 196732987 edges, 56308 markings/sec, 335 secs
lola: 23147936 markings, 199580131 edges, 61782 markings/sec, 340 secs
lola: 23504285 markings, 202492012 edges, 71270 markings/sec, 345 secs
lola: 23862455 markings, 205398893 edges, 71634 markings/sec, 350 secs
lola: 24183512 markings, 208264166 edges, 64211 markings/sec, 355 secs
lola: 24533352 markings, 211117906 edges, 69968 markings/sec, 360 secs
lola: 24852398 markings, 213915128 edges, 63809 markings/sec, 365 secs
lola: 25179994 markings, 216755334 edges, 65519 markings/sec, 370 secs
lola: 25489792 markings, 219607023 edges, 61960 markings/sec, 375 secs
lola: 25799881 markings, 222452385 edges, 62018 markings/sec, 380 secs
lola: 26088118 markings, 225257391 edges, 57647 markings/sec, 385 secs
lola: 26387755 markings, 228056272 edges, 59927 markings/sec, 390 secs
lola: 26676830 markings, 230823704 edges, 57815 markings/sec, 395 secs
lola: 26967289 markings, 233625907 edges, 58092 markings/sec, 400 secs
lola: 27268966 markings, 236455844 edges, 60335 markings/sec, 405 secs
lola: 27572747 markings, 239297878 edges, 60756 markings/sec, 410 secs
lola: 27885130 markings, 242132563 edges, 62477 markings/sec, 415 secs
lola: 28167437 markings, 244926874 edges, 56461 markings/sec, 420 secs
lola: 28471813 markings, 247719257 edges, 60875 markings/sec, 425 secs
lola: 28755597 markings, 250475020 edges, 56757 markings/sec, 430 secs
lola: 29048975 markings, 253284695 edges, 58676 markings/sec, 435 secs
lola: 29385269 markings, 256093205 edges, 67259 markings/sec, 440 secs
lola: 29704569 markings, 258861766 edges, 63860 markings/sec, 445 secs
lola: 29996701 markings, 261635227 edges, 58426 markings/sec, 450 secs
lola: 30301377 markings, 264404891 edges, 60935 markings/sec, 455 secs
lola: 30606801 markings, 267180969 edges, 61085 markings/sec, 460 secs
lola: 30924738 markings, 269990199 edges, 63587 markings/sec, 465 secs
lola: 31235010 markings, 272773136 edges, 62054 markings/sec, 470 secs
lola: 31537104 markings, 275459894 edges, 60419 markings/sec, 475 secs
lola: 31814021 markings, 278131983 edges, 55383 markings/sec, 480 secs
lola: 32106846 markings, 280866210 edges, 58565 markings/sec, 485 secs
lola: 32440724 markings, 283697813 edges, 66776 markings/sec, 490 secs
lola: 32763907 markings, 286503789 edges, 64637 markings/sec, 495 secs
lola: 33062139 markings, 289320533 edges, 59646 markings/sec, 500 secs
lola: 33347168 markings, 292096656 edges, 57006 markings/sec, 505 secs
lola: 33646506 markings, 294916136 edges, 59868 markings/sec, 510 secs
lola: 33933254 markings, 297687929 edges, 57350 markings/sec, 515 secs
lola: 34264025 markings, 300461885 edges, 66154 markings/sec, 520 secs
lola: 34560288 markings, 303215019 edges, 59253 markings/sec, 525 secs
lola: 34867483 markings, 305981784 edges, 61439 markings/sec, 530 secs
lola: 35179583 markings, 308721539 edges, 62420 markings/sec, 535 secs
lola: 35469825 markings, 311459542 edges, 58048 markings/sec, 540 secs
lola: 35777291 markings, 314231998 edges, 61493 markings/sec, 545 secs
lola: 36111075 markings, 317049446 edges, 66757 markings/sec, 550 secs
lola: 36459969 markings, 319882539 edges, 69779 markings/sec, 555 secs
lola: 36780898 markings, 322681966 edges, 64186 markings/sec, 560 secs
lola: 37133389 markings, 325523975 edges, 70498 markings/sec, 565 secs
lola: 37478060 markings, 328379550 edges, 68934 markings/sec, 570 secs
lola: 37833510 markings, 331306974 edges, 71090 markings/sec, 575 secs
lola: 38199234 markings, 334216148 edges, 73145 markings/sec, 580 secs
lola: 38538408 markings, 337076466 edges, 67835 markings/sec, 585 secs
lola: 38887822 markings, 339881386 edges, 69883 markings/sec, 590 secs
lola: 39254058 markings, 342737465 edges, 73247 markings/sec, 595 secs
lola: 39578165 markings, 345600206 edges, 64821 markings/sec, 600 secs
lola: 39890116 markings, 348425976 edges, 62390 markings/sec, 605 secs
lola: 40210712 markings, 351243299 edges, 64119 markings/sec, 610 secs
lola: 40574722 markings, 354069745 edges, 72802 markings/sec, 615 secs
lola: 40911354 markings, 356865567 edges, 67326 markings/sec, 620 secs
lola: 41219373 markings, 359656030 edges, 61604 markings/sec, 625 secs
lola: 41537579 markings, 362434294 edges, 63641 markings/sec, 630 secs
lola: 41848058 markings, 365164948 edges, 62096 markings/sec, 635 secs
lola: 42165234 markings, 367949446 edges, 63435 markings/sec, 640 secs
lola: 42467449 markings, 370815235 edges, 60443 markings/sec, 645 secs
lola: 42747762 markings, 373636818 edges, 56063 markings/sec, 650 secs
lola: 43032908 markings, 376430139 edges, 57029 markings/sec, 655 secs
lola: 43321719 markings, 379236120 edges, 57762 markings/sec, 660 secs
lola: 43647392 markings, 382053178 edges, 65135 markings/sec, 665 secs
lola: 43946264 markings, 384826102 edges, 59774 markings/sec, 670 secs
lola: 44222174 markings, 387608779 edges, 55182 markings/sec, 675 secs
lola: 44505810 markings, 390380336 edges, 56727 markings/sec, 680 secs
lola: 44812545 markings, 393130166 edges, 61347 markings/sec, 685 secs
lola: 45132570 markings, 395904081 edges, 64005 markings/sec, 690 secs
lola: 45441595 markings, 398763167 edges, 61805 markings/sec, 695 secs
lola: 45723095 markings, 401588060 edges, 56300 markings/sec, 700 secs
lola: 46004512 markings, 404386129 edges, 56283 markings/sec, 705 secs
lola: 46290904 markings, 407183122 edges, 57278 markings/sec, 710 secs
lola: 46616016 markings, 409985868 edges, 65022 markings/sec, 715 secs
lola: 46915658 markings, 412765097 edges, 59928 markings/sec, 720 secs
lola: 47192057 markings, 415558264 edges, 55280 markings/sec, 725 secs
lola: 47474237 markings, 418315761 edges, 56436 markings/sec, 730 secs
lola: 47806623 markings, 421097963 edges, 66477 markings/sec, 735 secs
lola: 48131881 markings, 423893675 edges, 65052 markings/sec, 740 secs
lola: 48432328 markings, 426689385 edges, 60089 markings/sec, 745 secs
lola: 48733343 markings, 429409064 edges, 60203 markings/sec, 750 secs
lola: 49026442 markings, 432162784 edges, 58620 markings/sec, 755 secs
lola: 49303629 markings, 434929560 edges, 55437 markings/sec, 760 secs
lola: 49573982 markings, 437660154 edges, 54071 markings/sec, 765 secs
lola: 49854688 markings, 440367514 edges, 56141 markings/sec, 770 secs
lola: 50164079 markings, 443097177 edges, 61878 markings/sec, 775 secs
lola: 50492797 markings, 445866797 edges, 65744 markings/sec, 780 secs
lola: 50828938 markings, 448676240 edges, 67228 markings/sec, 785 secs
lola: 51160942 markings, 451552469 edges, 66401 markings/sec, 790 secs
lola: 51501191 markings, 454381357 edges, 68050 markings/sec, 795 secs
lola: 51834222 markings, 457176825 edges, 66606 markings/sec, 800 secs
lola: 52151117 markings, 459910772 edges, 63379 markings/sec, 805 secs
lola: 52478891 markings, 462709316 edges, 65555 markings/sec, 810 secs
lola: 52778607 markings, 465532631 edges, 59943 markings/sec, 815 secs
lola: 53068233 markings, 468350766 edges, 57925 markings/sec, 820 secs
lola: 53365672 markings, 471121855 edges, 59488 markings/sec, 825 secs
lola: 53690532 markings, 473970093 edges, 64972 markings/sec, 830 secs
lola: 54009751 markings, 476761003 edges, 63844 markings/sec, 835 secs
lola: 54344798 markings, 479568681 edges, 67009 markings/sec, 840 secs
lola: 54676534 markings, 482357951 edges, 66347 markings/sec, 845 secs
lola: 54984543 markings, 485166541 edges, 61602 markings/sec, 850 secs
lola: 55279561 markings, 487943695 edges, 59004 markings/sec, 855 secs
lola: 55577687 markings, 490722306 edges, 59625 markings/sec, 860 secs
lola: 55870161 markings, 493514321 edges, 58495 markings/sec, 865 secs
lola: 56173740 markings, 496258902 edges, 60716 markings/sec, 870 secs
lola: 56492063 markings, 498977368 edges, 63665 markings/sec, 875 secs
lola: 56787716 markings, 501690843 edges, 59131 markings/sec, 880 secs
lola: 57118757 markings, 504514747 edges, 66208 markings/sec, 885 secs
lola: 57450914 markings, 507304431 edges, 66431 markings/sec, 890 secs
lola: 57759231 markings, 510070265 edges, 61663 markings/sec, 895 secs
lola: 58053558 markings, 512841160 edges, 58865 markings/sec, 900 secs
lola: 58369057 markings, 515646554 edges, 63100 markings/sec, 905 secs
lola: 58675724 markings, 518393824 edges, 61333 markings/sec, 910 secs
lola: 59026979 markings, 521202427 edges, 70251 markings/sec, 915 secs
lola: 59359403 markings, 524006988 edges, 66485 markings/sec, 920 secs
lola: 59724928 markings, 526828456 edges, 73105 markings/sec, 925 secs
lola: 60078231 markings, 529621880 edges, 70661 markings/sec, 930 secs
lola: 60440472 markings, 532475757 edges, 72448 markings/sec, 935 secs
lola: 60796037 markings, 535287171 edges, 71113 markings/sec, 940 secs
lola: 61114692 markings, 538046747 edges, 63731 markings/sec, 945 secs
lola: 61638825 markings, 542786526 edges, 104827 markings/sec, 950 secs
lola: 61927049 markings, 545528418 edges, 57645 markings/sec, 955 secs
lola: 62190058 markings, 548223976 edges, 52602 markings/sec, 960 secs
lola: 62502253 markings, 551015080 edges, 62439 markings/sec, 965 secs
lola: 62790594 markings, 553753183 edges, 57668 markings/sec, 970 secs
lola: 63052377 markings, 556432116 edges, 52357 markings/sec, 975 secs
lola: 63344300 markings, 559212084 edges, 58385 markings/sec, 980 secs
lola: 63627098 markings, 561985578 edges, 56560 markings/sec, 985 secs
lola: 63910782 markings, 564772400 edges, 56737 markings/sec, 990 secs
lola: 64189811 markings, 567500894 edges, 55806 markings/sec, 995 secs
lola: 64471764 markings, 570212882 edges, 56391 markings/sec, 1000 secs
lola: 64744452 markings, 572907612 edges, 54538 markings/sec, 1005 secs
lola: 65032303 markings, 575642863 edges, 57570 markings/sec, 1010 secs
lola: 65339305 markings, 578396626 edges, 61400 markings/sec, 1015 secs
lola: 65652390 markings, 581185811 edges, 62617 markings/sec, 1020 secs
lola: 65971141 markings, 584018297 edges, 63750 markings/sec, 1025 secs
lola: 66280596 markings, 586800206 edges, 61891 markings/sec, 1030 secs
lola: 66586986 markings, 589555335 edges, 61278 markings/sec, 1035 secs
lola: 66907477 markings, 592358790 edges, 64098 markings/sec, 1040 secs
lola: 67174517 markings, 595148834 edges, 53408 markings/sec, 1045 secs
lola: 67462145 markings, 597930533 edges, 57526 markings/sec, 1050 secs
lola: 67757285 markings, 600702801 edges, 59028 markings/sec, 1055 secs
lola: 68064992 markings, 603450889 edges, 61541 markings/sec, 1060 secs
lola: 68340616 markings, 606212170 edges, 55125 markings/sec, 1065 secs
lola: 68639347 markings, 608948641 edges, 59746 markings/sec, 1070 secs
lola: 68949674 markings, 611692384 edges, 62065 markings/sec, 1075 secs
lola: 69257708 markings, 614428231 edges, 61607 markings/sec, 1080 secs
lola: 69571601 markings, 617186775 edges, 62779 markings/sec, 1085 secs
lola: 69888994 markings, 619949627 edges, 63479 markings/sec, 1090 secs
lola: 70206084 markings, 622692308 edges, 63418 markings/sec, 1095 secs
lola: 70512707 markings, 625432031 edges, 61325 markings/sec, 1100 secs
lola: 70838962 markings, 628211930 edges, 65251 markings/sec, 1105 secs
lola: 71193175 markings, 630982393 edges, 70843 markings/sec, 1110 secs
lola: 71559076 markings, 633743350 edges, 73180 markings/sec, 1115 secs
lola: 71900044 markings, 636499432 edges, 68194 markings/sec, 1120 secs
lola: 72213930 markings, 639260994 edges, 62777 markings/sec, 1125 secs
lola: 72530994 markings, 641948199 edges, 63413 markings/sec, 1130 secs
lola: 72834791 markings, 644671297 edges, 60759 markings/sec, 1135 secs
lola: 73121830 markings, 647406389 edges, 57408 markings/sec, 1140 secs
lola: 73404350 markings, 650096459 edges, 56504 markings/sec, 1145 secs
lola: 73701068 markings, 652789564 edges, 59344 markings/sec, 1150 secs
lola: 74013532 markings, 655579285 edges, 62493 markings/sec, 1155 secs
lola: 74304197 markings, 658410490 edges, 58133 markings/sec, 1160 secs
lola: 74607612 markings, 661239399 edges, 60683 markings/sec, 1165 secs
lola: 74901064 markings, 664041355 edges, 58690 markings/sec, 1170 secs
lola: 75218435 markings, 666844677 edges, 63474 markings/sec, 1175 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no no unknown no no no yes unknown
lola: memory consumption: 11025652 KB
lola: time consumption: 1194 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 9 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p112 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p112 <= 0))))
lola: processed formula length: 21
lola: 62 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: 457521 markings, 2851391 edges, 91504 markings/sec, 0 secs
lola: 816685 markings, 5613028 edges, 71833 markings/sec, 5 secs
lola: 1192398 markings, 8365362 edges, 75143 markings/sec, 10 secs
lola: 1597794 markings, 11126034 edges, 81079 markings/sec, 15 secs
lola: 1975687 markings, 13872423 edges, 75579 markings/sec, 20 secs
lola: 2337355 markings, 16637233 edges, 72334 markings/sec, 25 secs
lola: 2729845 markings, 19436103 edges, 78498 markings/sec, 30 secs
lola: 3116895 markings, 22184836 edges, 77410 markings/sec, 35 secs
lola: 3448163 markings, 24845604 edges, 66254 markings/sec, 40 secs
lola: 3829534 markings, 27500751 edges, 76274 markings/sec, 45 secs
lola: 4167248 markings, 30156397 edges, 67543 markings/sec, 50 secs
lola: 4541132 markings, 32813357 edges, 74777 markings/sec, 55 secs
lola: 4904606 markings, 35501864 edges, 72695 markings/sec, 60 secs
lola: 5255132 markings, 38203253 edges, 70105 markings/sec, 65 secs
lola: 5602410 markings, 40813269 edges, 69456 markings/sec, 70 secs
lola: 5946572 markings, 43393639 edges, 68832 markings/sec, 75 secs
lola: 6259490 markings, 45971485 edges, 62584 markings/sec, 80 secs
lola: 6581777 markings, 48528808 edges, 64457 markings/sec, 85 secs
lola: 6883918 markings, 51096085 edges, 60428 markings/sec, 90 secs
lola: 7153479 markings, 53521998 edges, 53912 markings/sec, 95 secs
lola: 7442400 markings, 55998078 edges, 57784 markings/sec, 100 secs
lola: 7768316 markings, 58552995 edges, 65183 markings/sec, 105 secs
lola: 8080003 markings, 61063731 edges, 62337 markings/sec, 110 secs
lola: 8403832 markings, 63620066 edges, 64766 markings/sec, 115 secs
lola: 8692400 markings, 66074620 edges, 57714 markings/sec, 120 secs
lola: 9027859 markings, 68625731 edges, 67092 markings/sec, 125 secs
lola: 9343064 markings, 71160395 edges, 63041 markings/sec, 130 secs
lola: 9680970 markings, 73812120 edges, 67581 markings/sec, 135 secs
lola: 10017620 markings, 76287937 edges, 67330 markings/sec, 140 secs
lola: 10345206 markings, 78693092 edges, 65517 markings/sec, 145 secs
lola: 10670013 markings, 81169979 edges, 64961 markings/sec, 150 secs
lola: 11006528 markings, 83640493 edges, 67303 markings/sec, 155 secs
lola: 11355759 markings, 86150031 edges, 69846 markings/sec, 160 secs
lola: 11678900 markings, 88609638 edges, 64628 markings/sec, 165 secs
lola: 12017692 markings, 91096551 edges, 67758 markings/sec, 170 secs
lola: 12311244 markings, 93646141 edges, 58710 markings/sec, 175 secs
lola: 12615649 markings, 96090979 edges, 60881 markings/sec, 180 secs
lola: 12932109 markings, 98575336 edges, 63292 markings/sec, 185 secs
lola: 13247460 markings, 101033721 edges, 63070 markings/sec, 190 secs
lola: 13566904 markings, 103525187 edges, 63889 markings/sec, 195 secs
lola: 13876068 markings, 105965737 edges, 61833 markings/sec, 200 secs
lola: 14166983 markings, 108433915 edges, 58183 markings/sec, 205 secs
lola: 14445267 markings, 110924849 edges, 55657 markings/sec, 210 secs
lola: 14754228 markings, 113434182 edges, 61792 markings/sec, 215 secs
lola: 15036482 markings, 115852173 edges, 56451 markings/sec, 220 secs
lola: 15314895 markings, 118236042 edges, 55683 markings/sec, 225 secs
lola: 15584406 markings, 120722783 edges, 53902 markings/sec, 230 secs
lola: 15935808 markings, 123292977 edges, 70280 markings/sec, 235 secs
lola: 16219486 markings, 125722042 edges, 56736 markings/sec, 240 secs
lola: 16517279 markings, 128180245 edges, 59559 markings/sec, 245 secs
lola: 16820796 markings, 130641907 edges, 60703 markings/sec, 250 secs
lola: 17132986 markings, 133229557 edges, 62438 markings/sec, 255 secs
lola: 17456343 markings, 135855392 edges, 64671 markings/sec, 260 secs
lola: 17771847 markings, 138464221 edges, 63101 markings/sec, 265 secs
lola: 18082676 markings, 141036530 edges, 62166 markings/sec, 270 secs
lola: 18414180 markings, 143662925 edges, 66301 markings/sec, 275 secs
lola: 18737140 markings, 146281921 edges, 64592 markings/sec, 280 secs
lola: 19100356 markings, 148905215 edges, 72643 markings/sec, 285 secs
lola: 19458971 markings, 151487205 edges, 71723 markings/sec, 290 secs
lola: 19862717 markings, 154173581 edges, 80749 markings/sec, 295 secs
lola: 20307131 markings, 156928464 edges, 88883 markings/sec, 300 secs
lola: 20703919 markings, 159496082 edges, 79358 markings/sec, 305 secs
lola: 21087687 markings, 162080851 edges, 76754 markings/sec, 310 secs
lola: 21450511 markings, 164768917 edges, 72565 markings/sec, 315 secs
lola: 21795087 markings, 167443399 edges, 68915 markings/sec, 320 secs
lola: 22154406 markings, 170131141 edges, 71864 markings/sec, 325 secs
lola: 22542789 markings, 172763115 edges, 77677 markings/sec, 330 secs
lola: 22886026 markings, 175254117 edges, 68647 markings/sec, 335 secs
lola: 23179030 markings, 177579912 edges, 58601 markings/sec, 340 secs
lola: 23470656 markings, 179892988 edges, 58325 markings/sec, 345 secs
lola: 23775716 markings, 182229190 edges, 61012 markings/sec, 350 secs
lola: 24086038 markings, 184580469 edges, 62064 markings/sec, 355 secs
lola: 24399157 markings, 186938978 edges, 62624 markings/sec, 360 secs
lola: 24702648 markings, 189303179 edges, 60698 markings/sec, 365 secs
lola: 25009225 markings, 191650703 edges, 61315 markings/sec, 370 secs
lola: 25326695 markings, 194098208 edges, 63494 markings/sec, 375 secs
lola: 25648045 markings, 196590367 edges, 64270 markings/sec, 380 secs
lola: 25960271 markings, 199089866 edges, 62445 markings/sec, 385 secs
lola: 26275104 markings, 201607593 edges, 62967 markings/sec, 390 secs
lola: 26586313 markings, 204107531 edges, 62242 markings/sec, 395 secs
lola: 26904855 markings, 206643942 edges, 63708 markings/sec, 400 secs
lola: 27214735 markings, 209172707 edges, 61976 markings/sec, 405 secs
lola: 27527276 markings, 211710359 edges, 62508 markings/sec, 410 secs
lola: 27836410 markings, 214237056 edges, 61827 markings/sec, 415 secs
lola: 28153351 markings, 216768452 edges, 63388 markings/sec, 420 secs
lola: 28456369 markings, 219292266 edges, 60604 markings/sec, 425 secs
lola: 28749958 markings, 221781646 edges, 58718 markings/sec, 430 secs
lola: 29054014 markings, 224273174 edges, 60811 markings/sec, 435 secs
lola: 29356482 markings, 226786258 edges, 60494 markings/sec, 440 secs
lola: 29655055 markings, 229292084 edges, 59715 markings/sec, 445 secs
lola: 29948248 markings, 231764517 edges, 58639 markings/sec, 450 secs
lola: 30219325 markings, 234182953 edges, 54215 markings/sec, 455 secs
lola: 30509743 markings, 236685422 edges, 58084 markings/sec, 460 secs
lola: 30788002 markings, 239152774 edges, 55652 markings/sec, 465 secs
lola: 31063718 markings, 241673102 edges, 55143 markings/sec, 470 secs
lola: 31342373 markings, 244206986 edges, 55731 markings/sec, 475 secs
lola: 31615057 markings, 246708163 edges, 54537 markings/sec, 480 secs
lola: 31917529 markings, 249289870 edges, 60494 markings/sec, 485 secs
lola: 32189674 markings, 251782572 edges, 54429 markings/sec, 490 secs
lola: 32476871 markings, 254278989 edges, 57439 markings/sec, 495 secs
lola: 32765273 markings, 256808012 edges, 57680 markings/sec, 500 secs
lola: 33058058 markings, 259327479 edges, 58557 markings/sec, 505 secs
lola: 33342976 markings, 261830580 edges, 56984 markings/sec, 510 secs
lola: 33626626 markings, 264312952 edges, 56730 markings/sec, 515 secs
lola: 33912975 markings, 266788408 edges, 57270 markings/sec, 520 secs
lola: 34201153 markings, 269312350 edges, 57636 markings/sec, 525 secs
lola: 34486500 markings, 271777987 edges, 57069 markings/sec, 530 secs
lola: 34751967 markings, 274239472 edges, 53093 markings/sec, 535 secs
lola: 35039434 markings, 276674225 edges, 57493 markings/sec, 540 secs
lola: 35335433 markings, 279137299 edges, 59200 markings/sec, 545 secs
lola: 35631209 markings, 281608276 edges, 59155 markings/sec, 550 secs
lola: 35920320 markings, 284055476 edges, 57822 markings/sec, 555 secs
lola: 36208881 markings, 286492554 edges, 57712 markings/sec, 560 secs
lola: 36495823 markings, 288960358 edges, 57388 markings/sec, 565 secs
lola: 36784943 markings, 291420636 edges, 57824 markings/sec, 570 secs
lola: 37070985 markings, 293876467 edges, 57208 markings/sec, 575 secs
lola: 37354498 markings, 296341792 edges, 56703 markings/sec, 580 secs
lola: 37638380 markings, 298801898 edges, 56776 markings/sec, 585 secs
lola: 37918320 markings, 301271002 edges, 55988 markings/sec, 590 secs
lola: 38191636 markings, 303720389 edges, 54663 markings/sec, 595 secs
lola: 38470864 markings, 306198920 edges, 55846 markings/sec, 600 secs
lola: 38754894 markings, 308683168 edges, 56806 markings/sec, 605 secs
lola: 39031469 markings, 311153306 edges, 55315 markings/sec, 610 secs
lola: 39306619 markings, 313608626 edges, 55030 markings/sec, 615 secs
lola: 39585553 markings, 316105535 edges, 55787 markings/sec, 620 secs
lola: 39860632 markings, 318589467 edges, 55016 markings/sec, 625 secs
lola: 40127983 markings, 321036229 edges, 53470 markings/sec, 630 secs
lola: 40403747 markings, 323524985 edges, 55153 markings/sec, 635 secs
lola: 40674001 markings, 325977273 edges, 54051 markings/sec, 640 secs
lola: 40947126 markings, 328407781 edges, 54625 markings/sec, 645 secs
lola: 41220932 markings, 330853497 edges, 54761 markings/sec, 650 secs
lola: 41490631 markings, 333321850 edges, 53940 markings/sec, 655 secs
lola: 41759524 markings, 335796322 edges, 53779 markings/sec, 660 secs
lola: 42025603 markings, 338274746 edges, 53216 markings/sec, 665 secs
lola: 42297981 markings, 340760651 edges, 54476 markings/sec, 670 secs
lola: 42572400 markings, 343226436 edges, 54884 markings/sec, 675 secs
lola: 42832863 markings, 345652671 edges, 52093 markings/sec, 680 secs
lola: 43090083 markings, 348092372 edges, 51444 markings/sec, 685 secs
lola: 43350085 markings, 350549033 edges, 52000 markings/sec, 690 secs
lola: 43609055 markings, 353019359 edges, 51794 markings/sec, 695 secs
lola: 43875229 markings, 355453161 edges, 53235 markings/sec, 700 secs
lola: 44143105 markings, 357958521 edges, 53575 markings/sec, 705 secs
lola: 44404578 markings, 360418181 edges, 52295 markings/sec, 710 secs
lola: 44661991 markings, 362871135 edges, 51483 markings/sec, 715 secs
lola: 44930754 markings, 365335751 edges, 53753 markings/sec, 720 secs
lola: 45181562 markings, 367765254 edges, 50162 markings/sec, 725 secs
lola: 45436077 markings, 370212958 edges, 50903 markings/sec, 730 secs
lola: 45692648 markings, 372686186 edges, 51314 markings/sec, 735 secs
lola: 45954222 markings, 375137254 edges, 52315 markings/sec, 740 secs
lola: 46210110 markings, 377573959 edges, 51178 markings/sec, 745 secs
lola: 46462893 markings, 380019966 edges, 50557 markings/sec, 750 secs
lola: 46713048 markings, 382477039 edges, 50031 markings/sec, 755 secs
lola: 46960114 markings, 384901712 edges, 49413 markings/sec, 760 secs
lola: 47238750 markings, 387326033 edges, 55727 markings/sec, 765 secs
lola: 47552081 markings, 389887915 edges, 62666 markings/sec, 770 secs
lola: 47889630 markings, 392479095 edges, 67510 markings/sec, 775 secs
lola: 48245403 markings, 395003838 edges, 71155 markings/sec, 780 secs
lola: 48543695 markings, 397462306 edges, 59658 markings/sec, 785 secs
lola: 48804577 markings, 399850273 edges, 52176 markings/sec, 790 secs
lola: 49064270 markings, 402259392 edges, 51939 markings/sec, 795 secs
lola: 49319431 markings, 404672235 edges, 51032 markings/sec, 800 secs
lola: 49571378 markings, 407067700 edges, 50389 markings/sec, 805 secs
lola: 49822349 markings, 409494516 edges, 50194 markings/sec, 810 secs
lola: 50077203 markings, 411921025 edges, 50971 markings/sec, 815 secs
lola: 50327998 markings, 414339589 edges, 50159 markings/sec, 820 secs
lola: 50577315 markings, 416759764 edges, 49863 markings/sec, 825 secs
lola: 50825984 markings, 419191175 edges, 49734 markings/sec, 830 secs
lola: 51071917 markings, 421648996 edges, 49187 markings/sec, 835 secs
lola: 51319108 markings, 424095247 edges, 49438 markings/sec, 840 secs
lola: 51554879 markings, 426427720 edges, 47154 markings/sec, 845 secs
lola: 51791198 markings, 428726329 edges, 47264 markings/sec, 850 secs
lola: 52028135 markings, 431071264 edges, 47387 markings/sec, 855 secs
lola: 52268277 markings, 433452050 edges, 48028 markings/sec, 860 secs
lola: 52512088 markings, 435830292 edges, 48762 markings/sec, 865 secs
lola: 52751805 markings, 438222108 edges, 47943 markings/sec, 870 secs
lola: 52996350 markings, 440655612 edges, 48909 markings/sec, 875 secs
lola: 53237468 markings, 443095237 edges, 48224 markings/sec, 880 secs
lola: 53476331 markings, 445479549 edges, 47773 markings/sec, 885 secs
lola: 53709926 markings, 447859761 edges, 46719 markings/sec, 890 secs
lola: 53951514 markings, 450322191 edges, 48318 markings/sec, 895 secs
lola: 54189706 markings, 452713958 edges, 47638 markings/sec, 900 secs
lola: 54421221 markings, 455060834 edges, 46303 markings/sec, 905 secs
lola: 54655198 markings, 457462931 edges, 46795 markings/sec, 910 secs
lola: 54896925 markings, 459889023 edges, 48345 markings/sec, 915 secs
lola: 55137809 markings, 462348917 edges, 48177 markings/sec, 920 secs
lola: 55367181 markings, 464721333 edges, 45874 markings/sec, 925 secs
lola: 55603976 markings, 467100365 edges, 47359 markings/sec, 930 secs
lola: 55831413 markings, 469486638 edges, 45487 markings/sec, 935 secs
lola: 56082824 markings, 471936548 edges, 50282 markings/sec, 940 secs
lola: 56315994 markings, 474366346 edges, 46634 markings/sec, 945 secs
lola: 56557277 markings, 476860649 edges, 48257 markings/sec, 950 secs
lola: 56789499 markings, 479323022 edges, 46444 markings/sec, 955 secs
lola: 57018880 markings, 481737416 edges, 45876 markings/sec, 960 secs
lola: 57259644 markings, 484163138 edges, 48153 markings/sec, 965 secs
lola: 57475623 markings, 486483640 edges, 43196 markings/sec, 970 secs
lola: 57693487 markings, 488797339 edges, 43573 markings/sec, 975 secs
lola: 57996160 markings, 491221147 edges, 60535 markings/sec, 980 secs
lola: 58350792 markings, 493841950 edges, 70926 markings/sec, 985 secs
lola: 58672400 markings, 496439360 edges, 64322 markings/sec, 990 secs
lola: 58967142 markings, 498947793 edges, 58948 markings/sec, 995 secs
lola: 59251331 markings, 501393538 edges, 56838 markings/sec, 1000 secs
lola: 59562792 markings, 503886793 edges, 62292 markings/sec, 1005 secs
lola: 59902905 markings, 506502746 edges, 68023 markings/sec, 1010 secs
lola: 60232468 markings, 509081458 edges, 65913 markings/sec, 1015 secs
lola: 60536339 markings, 511577677 edges, 60774 markings/sec, 1020 secs
lola: 60863015 markings, 514171033 edges, 65335 markings/sec, 1025 secs
lola: 61154893 markings, 516715998 edges, 58376 markings/sec, 1030 secs
lola: 61464163 markings, 519296874 edges, 61854 markings/sec, 1035 secs
lola: 61777833 markings, 521904975 edges, 62734 markings/sec, 1040 secs
lola: 62083765 markings, 524457739 edges, 61186 markings/sec, 1045 secs
lola: 62371603 markings, 526980934 edges, 57568 markings/sec, 1050 secs
lola: 62666261 markings, 529534265 edges, 58932 markings/sec, 1055 secs
lola: 62997767 markings, 532104298 edges, 66301 markings/sec, 1060 secs
lola: 63331577 markings, 534629604 edges, 66762 markings/sec, 1065 secs
lola: 63657517 markings, 537124412 edges, 65188 markings/sec, 1070 secs
lola: 64001925 markings, 539615251 edges, 68882 markings/sec, 1075 secs
lola: 64289412 markings, 542106861 edges, 57497 markings/sec, 1080 secs
lola: 64621383 markings, 544609279 edges, 66394 markings/sec, 1085 secs
lola: 64939801 markings, 547064980 edges, 63684 markings/sec, 1090 secs
lola: 65272502 markings, 549616263 edges, 66540 markings/sec, 1095 secs
lola: 65599137 markings, 552159379 edges, 65327 markings/sec, 1100 secs
lola: 65900703 markings, 554686424 edges, 60313 markings/sec, 1105 secs
lola: 66215761 markings, 557271477 edges, 63012 markings/sec, 1110 secs
lola: 66516963 markings, 559895986 edges, 60240 markings/sec, 1115 secs
lola: 66825910 markings, 562510587 edges, 61789 markings/sec, 1120 secs
lola: 67128408 markings, 565081294 edges, 60500 markings/sec, 1125 secs
lola: 67406621 markings, 567577445 edges, 55643 markings/sec, 1130 secs
lola: 67686736 markings, 570161368 edges, 56023 markings/sec, 1135 secs
lola: 67974610 markings, 572713830 edges, 57575 markings/sec, 1140 secs
lola: 68260162 markings, 575170973 edges, 57110 markings/sec, 1145 secs
lola: 68555850 markings, 577684976 edges, 59138 markings/sec, 1150 secs
lola: 68848473 markings, 580166546 edges, 58525 markings/sec, 1155 secs
lola: 69105474 markings, 582631688 edges, 51400 markings/sec, 1160 secs
lola: 69392626 markings, 585053428 edges, 57430 markings/sec, 1165 secs
lola: 69721230 markings, 587524655 edges, 65721 markings/sec, 1170 secs
lola: 70011975 markings, 590060192 edges, 58149 markings/sec, 1175 secs
lola: 70319039 markings, 592541309 edges, 61413 markings/sec, 1180 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no no unknown no no no yes unknown
lola: memory consumption: 10186452 KB
lola: time consumption: 2382 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p40))) U (F (((1 <= p40))) OR (((1 <= p58)) OR (G (((((1 <= p40)) OR ((1 <= p45))) AND ((1 <= p58)))) AND F ((F (((1 <= p40))) OR ((1 <= p58))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F (((1 <= p40))) U (F (((1 <= p40))) OR (((1 <= p58)) OR (G (((((1 <= p40)) OR ((1 <= p45))) AND ((1 <= p58)))) AND F ((F (((1 <= p40))) OR ((1 <= p58))))))))
lola: processed formula length: 160
lola: 62 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 659303 markings, 2713326 edges, 131861 markings/sec, 0 secs
lola: 1276709 markings, 5397433 edges, 123481 markings/sec, 5 secs
lola: 1940207 markings, 8027744 edges, 132700 markings/sec, 10 secs
lola: 2578408 markings, 10644599 edges, 127640 markings/sec, 15 secs
lola: 3130105 markings, 13240584 edges, 110339 markings/sec, 20 secs
lola: 3712211 markings, 15866785 edges, 116421 markings/sec, 25 secs
lola: 4211988 markings, 18398656 edges, 99955 markings/sec, 30 secs
lola: 4818264 markings, 20978895 edges, 121255 markings/sec, 35 secs
lola: 5384452 markings, 23652326 edges, 113238 markings/sec, 40 secs
lola: 5900040 markings, 26322522 edges, 103118 markings/sec, 45 secs
lola: 6437428 markings, 28933380 edges, 107478 markings/sec, 50 secs
lola: 6975387 markings, 31579764 edges, 107592 markings/sec, 55 secs
lola: 7470599 markings, 34185969 edges, 99042 markings/sec, 60 secs
lola: 7988377 markings, 36814521 edges, 103556 markings/sec, 65 secs
lola: 8466251 markings, 39427629 edges, 95575 markings/sec, 70 secs
lola: 9008944 markings, 42047830 edges, 108539 markings/sec, 75 secs
lola: 9555567 markings, 44603499 edges, 109325 markings/sec, 80 secs
lola: 10061963 markings, 47059869 edges, 101279 markings/sec, 85 secs
lola: 10559533 markings, 49479983 edges, 99514 markings/sec, 90 secs
lola: 11012287 markings, 51901808 edges, 90551 markings/sec, 95 secs
lola: 11503698 markings, 54376143 edges, 98282 markings/sec, 100 secs
lola: 12026575 markings, 56965534 edges, 104575 markings/sec, 105 secs
lola: 12541588 markings, 59468315 edges, 103003 markings/sec, 110 secs
lola: 13043325 markings, 61953323 edges, 100347 markings/sec, 115 secs
lola: 13545519 markings, 64398978 edges, 100439 markings/sec, 120 secs
lola: 14118345 markings, 67023536 edges, 114565 markings/sec, 125 secs
lola: 14662589 markings, 69679387 edges, 108849 markings/sec, 130 secs
lola: 15177544 markings, 72271699 edges, 102991 markings/sec, 135 secs
lola: 15715604 markings, 74860850 edges, 107612 markings/sec, 140 secs
lola: 16282601 markings, 77445808 edges, 113399 markings/sec, 145 secs
lola: 16791712 markings, 80065528 edges, 101822 markings/sec, 150 secs
lola: 17290350 markings, 82630330 edges, 99728 markings/sec, 155 secs
lola: 17768403 markings, 85059566 edges, 95611 markings/sec, 160 secs
lola: 18225230 markings, 87472477 edges, 91365 markings/sec, 165 secs
lola: 18744319 markings, 89961516 edges, 103818 markings/sec, 170 secs
lola: 19328442 markings, 92482525 edges, 116825 markings/sec, 175 secs
lola: 19913224 markings, 94979809 edges, 116956 markings/sec, 180 secs
lola: 20478762 markings, 97602218 edges, 113108 markings/sec, 185 secs
lola: 21013881 markings, 100170228 edges, 107024 markings/sec, 190 secs
lola: 21605927 markings, 102733506 edges, 118409 markings/sec, 195 secs
lola: 22149672 markings, 105247666 edges, 108749 markings/sec, 200 secs
lola: 22709478 markings, 107843294 edges, 111961 markings/sec, 205 secs
lola: 23237170 markings, 110398739 edges, 105538 markings/sec, 210 secs
lola: 23744286 markings, 112950203 edges, 101423 markings/sec, 215 secs
lola: 24218240 markings, 115495240 edges, 94791 markings/sec, 220 secs
lola: 24691993 markings, 117949546 edges, 94751 markings/sec, 225 secs
lola: 25170463 markings, 120484964 edges, 95694 markings/sec, 230 secs
lola: 25619709 markings, 122869303 edges, 89849 markings/sec, 235 secs
lola: 26162214 markings, 125339618 edges, 108501 markings/sec, 240 secs
lola: 26681528 markings, 127819332 edges, 103863 markings/sec, 245 secs
lola: 27147563 markings, 130333872 edges, 93207 markings/sec, 250 secs
lola: 27648205 markings, 132876215 edges, 100128 markings/sec, 255 secs
lola: 28153423 markings, 135358017 edges, 101044 markings/sec, 260 secs
lola: 28665366 markings, 137863653 edges, 102389 markings/sec, 265 secs
lola: 29148391 markings, 140406516 edges, 96605 markings/sec, 270 secs
lola: 29638695 markings, 142956007 edges, 98061 markings/sec, 275 secs
lola: 30147021 markings, 145477861 edges, 101665 markings/sec, 280 secs
lola: 30625382 markings, 147849408 edges, 95672 markings/sec, 285 secs
lola: 31195168 markings, 150247832 edges, 113957 markings/sec, 290 secs
lola: 31687395 markings, 152617888 edges, 98445 markings/sec, 295 secs
lola: 32132385 markings, 154882344 edges, 88998 markings/sec, 300 secs
lola: 32593934 markings, 157311930 edges, 92310 markings/sec, 305 secs
lola: 33039064 markings, 159656604 edges, 89026 markings/sec, 310 secs
lola: 33498450 markings, 162003847 edges, 91877 markings/sec, 315 secs
lola: 33940219 markings, 164261296 edges, 88354 markings/sec, 320 secs
lola: 34350678 markings, 166515985 edges, 82092 markings/sec, 325 secs
lola: 34767615 markings, 168727847 edges, 83387 markings/sec, 330 secs
lola: 35273865 markings, 171061270 edges, 101250 markings/sec, 335 secs
lola: 35731392 markings, 173355139 edges, 91505 markings/sec, 340 secs
lola: 36169256 markings, 175580717 edges, 87573 markings/sec, 345 secs
lola: 36569261 markings, 177629578 edges, 80001 markings/sec, 350 secs
lola: 37011560 markings, 179902370 edges, 88460 markings/sec, 355 secs
lola: 37473199 markings, 182150259 edges, 92328 markings/sec, 360 secs
lola: 37915428 markings, 184347424 edges, 88446 markings/sec, 365 secs
lola: 38428553 markings, 186740881 edges, 102625 markings/sec, 370 secs
lola: 38877473 markings, 188976085 edges, 89784 markings/sec, 375 secs
lola: 39439613 markings, 191416977 edges, 112428 markings/sec, 380 secs
lola: 39964080 markings, 193798451 edges, 104893 markings/sec, 385 secs
lola: 40500310 markings, 196151049 edges, 107246 markings/sec, 390 secs
lola: 40926575 markings, 198270235 edges, 85253 markings/sec, 395 secs
lola: 41338812 markings, 200388320 edges, 82447 markings/sec, 400 secs
lola: 41759166 markings, 202521379 edges, 84071 markings/sec, 405 secs
lola: 42133286 markings, 204587436 edges, 74824 markings/sec, 410 secs
lola: 42526395 markings, 206716601 edges, 78622 markings/sec, 415 secs
lola: 42946679 markings, 208905306 edges, 84057 markings/sec, 420 secs
lola: 43368889 markings, 211120819 edges, 84442 markings/sec, 425 secs
lola: 43808458 markings, 213282278 edges, 87914 markings/sec, 430 secs
lola: 44261133 markings, 215496814 edges, 90535 markings/sec, 435 secs
lola: 44760058 markings, 217781505 edges, 99785 markings/sec, 440 secs
lola: 45275197 markings, 220281256 edges, 103028 markings/sec, 445 secs
lola: 45715058 markings, 222705921 edges, 87972 markings/sec, 450 secs
lola: 46159382 markings, 224996412 edges, 88865 markings/sec, 455 secs
lola: 46633522 markings, 227483922 edges, 94828 markings/sec, 460 secs
lola: 47072737 markings, 229801456 edges, 87843 markings/sec, 465 secs
lola: 47480161 markings, 232008321 edges, 81485 markings/sec, 470 secs
lola: 47874282 markings, 234077409 edges, 78824 markings/sec, 475 secs
lola: 48302807 markings, 236411292 edges, 85705 markings/sec, 480 secs
lola: 48700321 markings, 238696377 edges, 79503 markings/sec, 485 secs
lola: 49080089 markings, 240924305 edges, 75954 markings/sec, 490 secs
lola: 49533739 markings, 243179947 edges, 90730 markings/sec, 495 secs
lola: 50037698 markings, 245480486 edges, 100792 markings/sec, 500 secs
lola: 50661555 markings, 247911008 edges, 124771 markings/sec, 505 secs
lola: 51218459 markings, 250284697 edges, 111381 markings/sec, 510 secs
lola: 51780833 markings, 252619053 edges, 112475 markings/sec, 515 secs
lola: 52312360 markings, 254966698 edges, 106305 markings/sec, 520 secs
lola: 52824293 markings, 257355025 edges, 102387 markings/sec, 525 secs
lola: 53386631 markings, 259809898 edges, 112468 markings/sec, 530 secs
lola: 53889369 markings, 262193328 edges, 100548 markings/sec, 535 secs
lola: 54420564 markings, 264534364 edges, 106239 markings/sec, 540 secs
lola: 54884486 markings, 266781084 edges, 92784 markings/sec, 545 secs
lola: 55355255 markings, 269095472 edges, 94154 markings/sec, 550 secs
lola: 55799148 markings, 271397736 edges, 88779 markings/sec, 555 secs
lola: 56302861 markings, 273734258 edges, 100743 markings/sec, 560 secs
lola: 56751663 markings, 276007224 edges, 89760 markings/sec, 565 secs
lola: 57222788 markings, 278284399 edges, 94225 markings/sec, 570 secs
lola: 57679964 markings, 280478036 edges, 91435 markings/sec, 575 secs
lola: 58201284 markings, 282758272 edges, 104264 markings/sec, 580 secs
lola: 58767595 markings, 285040874 edges, 113262 markings/sec, 585 secs
lola: 59238918 markings, 287345853 edges, 94265 markings/sec, 590 secs
lola: 59662267 markings, 289642897 edges, 84670 markings/sec, 595 secs
lola: 60078503 markings, 291899702 edges, 83247 markings/sec, 600 secs
lola: 60496133 markings, 293991523 edges, 83526 markings/sec, 605 secs
lola: 60931227 markings, 296157499 edges, 87019 markings/sec, 610 secs
lola: 61414611 markings, 298480678 edges, 96677 markings/sec, 615 secs
lola: 61863178 markings, 300694229 edges, 89713 markings/sec, 620 secs
lola: 62312300 markings, 302887604 edges, 89824 markings/sec, 625 secs
lola: 62791103 markings, 305185157 edges, 95761 markings/sec, 630 secs
lola: 63248497 markings, 307423024 edges, 91479 markings/sec, 635 secs
lola: 63718595 markings, 309633354 edges, 94020 markings/sec, 640 secs
lola: 64168978 markings, 311899951 edges, 90077 markings/sec, 645 secs
lola: 64619448 markings, 314204777 edges, 90094 markings/sec, 650 secs
lola: 65076886 markings, 316487287 edges, 91488 markings/sec, 655 secs
lola: 65556905 markings, 318805175 edges, 96004 markings/sec, 660 secs
lola: 66020079 markings, 321194154 edges, 92635 markings/sec, 665 secs
lola: 66504471 markings, 323568636 edges, 96878 markings/sec, 670 secs
lola: 66974031 markings, 325963789 edges, 93912 markings/sec, 675 secs
lola: 67449832 markings, 328357131 edges, 95160 markings/sec, 680 secs
lola: 67923473 markings, 330819007 edges, 94728 markings/sec, 685 secs
lola: 68363904 markings, 333135417 edges, 88086 markings/sec, 690 secs
lola: 68809696 markings, 335416340 edges, 89158 markings/sec, 695 secs
lola: 69263813 markings, 337773769 edges, 90823 markings/sec, 700 secs
lola: 69747987 markings, 340139754 edges, 96835 markings/sec, 705 secs
lola: 70214700 markings, 342483270 edges, 93343 markings/sec, 710 secs
lola: 70633035 markings, 344669332 edges, 83667 markings/sec, 715 secs
lola: 71075612 markings, 346907882 edges, 88515 markings/sec, 720 secs
lola: 71558356 markings, 349301565 edges, 96549 markings/sec, 725 secs
lola: 72013844 markings, 351734323 edges, 91098 markings/sec, 730 secs
lola: 72476445 markings, 354129159 edges, 92520 markings/sec, 735 secs
lola: 72890617 markings, 356391979 edges, 82834 markings/sec, 740 secs
lola: 73341640 markings, 358686871 edges, 90205 markings/sec, 745 secs
lola: 73800067 markings, 361086032 edges, 91685 markings/sec, 750 secs
lola: 74228021 markings, 363395626 edges, 85591 markings/sec, 755 secs
lola: 74623165 markings, 365654875 edges, 79029 markings/sec, 760 secs
lola: 75085141 markings, 368056699 edges, 92395 markings/sec, 765 secs
lola: 75541504 markings, 370473823 edges, 91273 markings/sec, 770 secs
lola: 75988576 markings, 372810652 edges, 89414 markings/sec, 775 secs
lola: 76425130 markings, 375240983 edges, 87311 markings/sec, 780 secs
lola: 76848706 markings, 377638828 edges, 84715 markings/sec, 785 secs
lola: 77259293 markings, 379928544 edges, 82117 markings/sec, 790 secs
lola: 77671272 markings, 382202966 edges, 82396 markings/sec, 795 secs
lola: 78168431 markings, 384622017 edges, 99432 markings/sec, 800 secs
lola: 78664746 markings, 387019419 edges, 99263 markings/sec, 805 secs
lola: 79130997 markings, 389386458 edges, 93250 markings/sec, 810 secs
lola: 79634795 markings, 391820659 edges, 100760 markings/sec, 815 secs
lola: 80065802 markings, 394191810 edges, 86201 markings/sec, 820 secs
lola: 80539610 markings, 396382646 edges, 94762 markings/sec, 825 secs
lola: 81007569 markings, 398609459 edges, 93592 markings/sec, 830 secs
lola: 81455987 markings, 400764512 edges, 89684 markings/sec, 835 secs
lola: 81876612 markings, 402936349 edges, 84125 markings/sec, 840 secs
lola: 82315836 markings, 405107351 edges, 87845 markings/sec, 845 secs
lola: 82718662 markings, 407145623 edges, 80565 markings/sec, 850 secs
lola: 83163395 markings, 409417515 edges, 88947 markings/sec, 855 secs
lola: 83553140 markings, 411590162 edges, 77949 markings/sec, 860 secs
lola: 83964392 markings, 413799096 edges, 82250 markings/sec, 865 secs
lola: 84338995 markings, 415923136 edges, 74921 markings/sec, 870 secs
lola: 84802152 markings, 418231165 edges, 92631 markings/sec, 875 secs
lola: 85269107 markings, 420558130 edges, 93391 markings/sec, 880 secs
lola: 85750017 markings, 422917018 edges, 96182 markings/sec, 885 secs
lola: 86233620 markings, 425325488 edges, 96721 markings/sec, 890 secs
lola: 86675994 markings, 427638228 edges, 88475 markings/sec, 895 secs
lola: 87148932 markings, 430005836 edges, 94588 markings/sec, 900 secs
lola: 87578534 markings, 432296752 edges, 85920 markings/sec, 905 secs
lola: 88031603 markings, 434622335 edges, 90614 markings/sec, 910 secs
lola: 88526632 markings, 436957942 edges, 99006 markings/sec, 915 secs
lola: 89001627 markings, 439290145 edges, 94999 markings/sec, 920 secs
lola: 89432700 markings, 441433691 edges, 86215 markings/sec, 925 secs
lola: 89884014 markings, 443692536 edges, 90263 markings/sec, 930 secs
lola: 90346220 markings, 446055280 edges, 92441 markings/sec, 935 secs
lola: 90788458 markings, 448327572 edges, 88448 markings/sec, 940 secs
lola: 91251390 markings, 450647976 edges, 92586 markings/sec, 945 secs
lola: 91693314 markings, 452885536 edges, 88385 markings/sec, 950 secs
lola: 92200116 markings, 455164752 edges, 101360 markings/sec, 955 secs
lola: 92649034 markings, 457459379 edges, 89784 markings/sec, 960 secs
lola: 93112836 markings, 459687342 edges, 92760 markings/sec, 965 secs
lola: 93531222 markings, 461905201 edges, 83677 markings/sec, 970 secs
lola: 93930124 markings, 464083689 edges, 79780 markings/sec, 975 secs
lola: 94369317 markings, 466176203 edges, 87839 markings/sec, 980 secs
lola: 94770379 markings, 468336905 edges, 80212 markings/sec, 985 secs
lola: 95179850 markings, 470530430 edges, 81894 markings/sec, 990 secs
lola: 95559136 markings, 472647833 edges, 75857 markings/sec, 995 secs
lola: 95930619 markings, 474770604 edges, 74297 markings/sec, 1000 secs
lola: 96281202 markings, 476858428 edges, 70117 markings/sec, 1005 secs
lola: 96776146 markings, 479052531 edges, 98989 markings/sec, 1010 secs
lola: 97290472 markings, 481234594 edges, 102865 markings/sec, 1015 secs
lola: 97821448 markings, 483548920 edges, 106195 markings/sec, 1020 secs
lola: 98344184 markings, 485823729 edges, 104547 markings/sec, 1025 secs
lola: 98852857 markings, 488046946 edges, 101735 markings/sec, 1030 secs
lola: 99358371 markings, 490175718 edges, 101103 markings/sec, 1035 secs
lola: 99841483 markings, 492481744 edges, 96622 markings/sec, 1040 secs
lola: 100294439 markings, 494756300 edges, 90591 markings/sec, 1045 secs
lola: 100842680 markings, 497116895 edges, 109648 markings/sec, 1050 secs
lola: 101278814 markings, 499351749 edges, 87227 markings/sec, 1055 secs
lola: 101773580 markings, 501616236 edges, 98953 markings/sec, 1060 secs
lola: 102272656 markings, 503933107 edges, 99815 markings/sec, 1065 secs
lola: 102765059 markings, 506292497 edges, 98481 markings/sec, 1070 secs
lola: 103236041 markings, 508576737 edges, 94196 markings/sec, 1075 secs
lola: 103665900 markings, 510704709 edges, 85972 markings/sec, 1080 secs
lola: 104142277 markings, 512980324 edges, 95275 markings/sec, 1085 secs
lola: 104635222 markings, 515214610 edges, 98589 markings/sec, 1090 secs
lola: 105047848 markings, 517414704 edges, 82525 markings/sec, 1095 secs
lola: 105462185 markings, 519552240 edges, 82867 markings/sec, 1100 secs
lola: 105872618 markings, 521651864 edges, 82087 markings/sec, 1105 secs
lola: 106221805 markings, 523677204 edges, 69837 markings/sec, 1110 secs
lola: 106607400 markings, 525800669 edges, 77119 markings/sec, 1115 secs
lola: 107019570 markings, 527971377 edges, 82434 markings/sec, 1120 secs
lola: 107412378 markings, 530111303 edges, 78562 markings/sec, 1125 secs
lola: 107731046 markings, 531950723 edges, 63734 markings/sec, 1130 secs
lola: 108111592 markings, 534057691 edges, 76109 markings/sec, 1135 secs
lola: 108475221 markings, 536071572 edges, 72726 markings/sec, 1140 secs
lola: 108845653 markings, 538244454 edges, 74086 markings/sec, 1145 secs
lola: 109190290 markings, 540328830 edges, 68927 markings/sec, 1150 secs
lola: 109618643 markings, 542550226 edges, 85671 markings/sec, 1155 secs
lola: 110042535 markings, 544844290 edges, 84778 markings/sec, 1160 secs
lola: 110404739 markings, 546688995 edges, 72441 markings/sec, 1165 secs
lola: 110779404 markings, 548773611 edges, 74933 markings/sec, 1170 secs
lola: 111188069 markings, 550910457 edges, 81733 markings/sec, 1175 secs
lola: 111539999 markings, 552998448 edges, 70386 markings/sec, 1180 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no no unknown no no no yes unknown
lola:
preliminary result: no no unknown no no unknown no no no yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no unknown no no no yes unknown
lola: memory consumption: 1672 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPs-PT-003B"
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-003B, 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-162098230800102"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-003B.tgz
mv ShieldIIPs-PT-003B 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 ;