About the Execution of 2020-gold for ShieldIIPs-PT-030B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4319.315 | 3600000.00 | 3618294.00 | 12193.90 | TFFFF?F?FFF?FFT? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r227-tall-162098230900142.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-030B, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098230900142
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 904K
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 146K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 89K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 11:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 11:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 17:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K 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 503K 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-030B-00
FORMULA_NAME ShieldIIPs-PT-030B-01
FORMULA_NAME ShieldIIPs-PT-030B-02
FORMULA_NAME ShieldIIPs-PT-030B-03
FORMULA_NAME ShieldIIPs-PT-030B-04
FORMULA_NAME ShieldIIPs-PT-030B-05
FORMULA_NAME ShieldIIPs-PT-030B-06
FORMULA_NAME ShieldIIPs-PT-030B-07
FORMULA_NAME ShieldIIPs-PT-030B-08
FORMULA_NAME ShieldIIPs-PT-030B-09
FORMULA_NAME ShieldIIPs-PT-030B-10
FORMULA_NAME ShieldIIPs-PT-030B-11
FORMULA_NAME ShieldIIPs-PT-030B-12
FORMULA_NAME ShieldIIPs-PT-030B-13
FORMULA_NAME ShieldIIPs-PT-030B-14
FORMULA_NAME ShieldIIPs-PT-030B-15
=== Now, execution of the tool begins
BK_START 1621133404060
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 02:50:05] [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 02:50:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 02:50:05] [INFO ] Load time of PNML (sax parser for PT used): 139 ms
[2021-05-16 02:50:05] [INFO ] Transformed 1803 places.
[2021-05-16 02:50:05] [INFO ] Transformed 1773 transitions.
[2021-05-16 02:50:05] [INFO ] Found NUPN structural information;
[2021-05-16 02:50:05] [INFO ] Parsed PT model containing 1803 places and 1773 transitions in 241 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 57 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 26 resets, run finished after 895 ms. (steps per millisecond=111 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 1773 rows 1803 cols
[2021-05-16 02:50:06] [INFO ] Computed 271 place invariants in 45 ms
[2021-05-16 02:50:07] [INFO ] [Real]Absence check using 271 positive place invariants in 289 ms returned sat
[2021-05-16 02:50:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 02:50:13] [INFO ] [Real]Absence check using state equation in 6191 ms returned sat
[2021-05-16 02:50:14] [INFO ] Deduced a trap composed of 21 places in 921 ms
[2021-05-16 02:50:15] [INFO ] Deduced a trap composed of 19 places in 873 ms
[2021-05-16 02:50:16] [INFO ] Deduced a trap composed of 25 places in 827 ms
[2021-05-16 02:50:17] [INFO ] Deduced a trap composed of 21 places in 786 ms
[2021-05-16 02:50:18] [INFO ] Deduced a trap composed of 22 places in 816 ms
[2021-05-16 02:50:19] [INFO ] Deduced a trap composed of 24 places in 781 ms
[2021-05-16 02:50:20] [INFO ] Deduced a trap composed of 30 places in 732 ms
[2021-05-16 02:50:20] [INFO ] Deduced a trap composed of 27 places in 724 ms
[2021-05-16 02:50:21] [INFO ] Deduced a trap composed of 31 places in 740 ms
[2021-05-16 02:50:22] [INFO ] Deduced a trap composed of 24 places in 782 ms
[2021-05-16 02:50:23] [INFO ] Deduced a trap composed of 19 places in 712 ms
[2021-05-16 02:50:24] [INFO ] Deduced a trap composed of 22 places in 758 ms
[2021-05-16 02:50:24] [INFO ] Deduced a trap composed of 21 places in 753 ms
[2021-05-16 02:50:25] [INFO ] Deduced a trap composed of 33 places in 682 ms
[2021-05-16 02:50:26] [INFO ] Deduced a trap composed of 29 places in 685 ms
[2021-05-16 02:50:27] [INFO ] Deduced a trap composed of 33 places in 668 ms
[2021-05-16 02:50:27] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (> (+ s0 s1 s2 s3 s4 s5 s6 s7 s1297 s1298 s1299 s1300 s1301 s1302 s1303 s1304 s1331 s1332 s1333 s1334 s1335 s1342 s1343 s1344 s1346 s1347 s1348 s1349 s1350 s1355 s1362 s1363 s1364) 0)") while checking expression at index 0
[2021-05-16 02:50:27] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-16 02:50:27] [INFO ] Flatten gal took : 161 ms
FORMULA ShieldIIPs-PT-030B-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030B-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030B-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 02:50:27] [INFO ] Applying decomposition
[2021-05-16 02:50:27] [INFO ] Flatten gal took : 89 ms
[2021-05-16 02:50:27] [INFO ] Decomposing Gal with order
[2021-05-16 02:50:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 02:50:28] [INFO ] Removed a total of 480 redundant transitions.
[2021-05-16 02:50:28] [INFO ] Flatten gal took : 160 ms
[2021-05-16 02:50:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 600 labels/synchronizations in 45 ms.
[2021-05-16 02:50:28] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-16 02:50:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 16 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldIIPs-PT-030B @ 3570 seconds
FORMULA ShieldIIPs-PT-030B-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-030B-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-030B-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-030B-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-030B-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-030B-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-030B-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-030B-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-030B-12 FALSE 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-030B
{
"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 02:50:29 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 271
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 1,
"X": 1,
"aconj": 5,
"adisj": 0,
"aneg": 1,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 3,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "((X (((1 <= p671))) AND ((1 <= p1077))) U G ((G (((p584 <= 0) OR (p595 <= 0) OR (p619 <= 0))) AND (F (((1 <= p1077))) AND F (((1 <= p1208)))))))",
"processed_size": 146,
"rewrites": 84
},
"result":
{
"edges": 3653,
"markings": 3653,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 22
},
"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": 293
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 4,
"G": 1,
"U": 0,
"X": 3,
"aconj": 4,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G ((F (((1 <= p1574) AND (1 <= p892))) AND (X (F ((F (((1 <= p1574))) AND X (X (F (((1 <= p892)))))))) OR ((1 <= p1574) AND (1 <= p892)))))",
"processed_size": 139,
"rewrites": 84
},
"result":
{
"edges": 3653,
"markings": 3653,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 320
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 3,
"adisj": 1,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "(X (G (((p586 <= 0)))) U (((1 <= p728)) OR ((1 <= p716))))",
"processed_size": 59,
"rewrites": 84
},
"result":
{
"edges": 3653,
"markings": 3653,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 352
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 3,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G ((G (((p1357 <= 0) OR (p1408 <= 0))) AND X (G (((1 <= p1337))))))",
"processed_size": 68,
"rewrites": 84
},
"result":
{
"edges": 3653,
"markings": 3653,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 391
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 4,
"adisj": 0,
"aneg": 3,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G (((X ((((p1218 <= 0)) OR ((p803 <= 0)))) R ((p1218 <= 0))) OR G (((1 <= p907)))))",
"processed_size": 83,
"rewrites": 84
},
"result":
{
"edges": 3715,
"markings": 3715,
"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": 440
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "G ((F (G (((1 <= p1293) AND (1 <= p1371)))) OR (F (((1 <= p1469) AND (1 <= p1477) AND (1 <= p1505))) AND X (((1 <= p1293) AND (1 <= p1371))))))",
"processed_size": 143,
"rewrites": 84
},
"result":
{
"edges": 3653,
"markings": 3653,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 503
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"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": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G ((X (G (((1 <= p676)))) AND F ((((p1733 <= 0)) OR ((1 <= p1733))))))",
"processed_size": 70,
"rewrites": 84
},
"result":
{
"edges": 3653,
"markings": 3653,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 604
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 2,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (F ((G (((p1423 <= 0))) OR X (((p1559 <= 0))))))",
"processed_size": 50,
"rewrites": 84
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 756
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F ((((p492 <= 0)) AND F (((1 <= p115) AND (1 <= p134) AND (1 <= p145)))))",
"processed_size": 73,
"rewrites": 84
},
"result":
{
"edges": 16453,
"markings": 16453,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 4153248,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "((X(**) AND **) U G((G(*) AND (F(**) AND F(**))))) : G((F(**) AND (X(F((F(**) AND X(X(F(**)))))) OR **))) : (X(G(*)) U **) : G(F((F(G(*)) AND *))) : G((G(*) AND X(G(**)))) : G(F((G(*) OR (F(G(*)) AND F(G(**)))))) : G(((X((* OR *)) R *) OR G(**))) : G((F(G(**)) OR (F(**) AND X(**)))) : ((** U **) OR X(F(**))) : F((** AND F(**))) : G((X(G(**)) AND F((** OR **)))) : X(F((G(*) OR X(*)))) : X(G((F((G(**) OR (F(**) OR **))) AND (** OR X((G(**) OR (F(**) OR **)))))))"
},
"net":
{
"arcs": 5346,
"conflict_clusters": 1263,
"places": 1803,
"places_significant": 1532,
"singleton_clusters": 0,
"transitions": 1773
},
"result":
{
"interim_value": "no no no unknown no unknown no no unknown no no yes unknown ",
"preliminary_value": "no no no unknown no unknown no no unknown 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: 3576/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1803
lola: finding significant places
lola: 1803 places, 1773 transitions, 1532 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: (p671 <= 1)
lola: LP says that atomic proposition is always true: (p1077 <= 1)
lola: LP says that atomic proposition is always true: (p584 <= 1)
lola: LP says that atomic proposition is always true: (p595 <= 1)
lola: LP says that atomic proposition is always true: (p619 <= 1)
lola: LP says that atomic proposition is always true: (p1077 <= 1)
lola: LP says that atomic proposition is always true: (p1208 <= 1)
lola: LP says that atomic proposition is always true: (p1574 <= 1)
lola: LP says that atomic proposition is always true: (p892 <= 1)
lola: LP says that atomic proposition is always true: (p1574 <= 1)
lola: LP says that atomic proposition is always true: (p892 <= 1)
lola: LP says that atomic proposition is always true: (p586 <= 1)
lola: LP says that atomic proposition is always true: (p728 <= 1)
lola: LP says that atomic proposition is always true: (p716 <= 1)
lola: LP says that atomic proposition is always true: (p1528 <= 1)
lola: LP says that atomic proposition is always true: (p1539 <= 1)
lola: LP says that atomic proposition is always true: (p1563 <= 1)
lola: LP says that atomic proposition is always true: (p780 <= 1)
lola: LP says that atomic proposition is always true: (p1357 <= 1)
lola: LP says that atomic proposition is always true: (p1408 <= 1)
lola: LP says that atomic proposition is always true: (p1337 <= 1)
lola: LP says that atomic proposition is always true: (p639 <= 1)
lola: LP says that atomic proposition is always true: (p668 <= 1)
lola: LP says that atomic proposition is always true: (p488 <= 1)
lola: LP says that atomic proposition is always true: (p517 <= 1)
lola: LP says that atomic proposition is always true: (p1218 <= 1)
lola: LP says that atomic proposition is always true: (p803 <= 1)
lola: LP says that atomic proposition is always true: (p1218 <= 1)
lola: LP says that atomic proposition is always true: (p907 <= 1)
lola: LP says that atomic proposition is always true: (p1766 <= 1)
lola: LP says that atomic proposition is always true: (p1293 <= 1)
lola: LP says that atomic proposition is always true: (p1371 <= 1)
lola: LP says that atomic proposition is always true: (p1469 <= 1)
lola: LP says that atomic proposition is always true: (p1477 <= 1)
lola: LP says that atomic proposition is always true: (p1505 <= 1)
lola: LP says that atomic proposition is always true: (p1293 <= 1)
lola: LP says that atomic proposition is always true: (p1371 <= 1)
lola: LP says that atomic proposition is always true: (p1108 <= 1)
lola: LP says that atomic proposition is always true: (p1347 <= 1)
lola: LP says that atomic proposition is always true: (p1376 <= 1)
lola: LP says that atomic proposition is always true: (p1347 <= 1)
lola: LP says that atomic proposition is always true: (p1376 <= 1)
lola: LP says that atomic proposition is always true: (p764 <= 1)
lola: LP says that atomic proposition is always true: (p783 <= 1)
lola: LP says that atomic proposition is always true: (p797 <= 1)
lola: LP says that atomic proposition is always true: (p492 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p134 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p676 <= 1)
lola: LP says that atomic proposition is always true: (p1733 <= 1)
lola: LP says that atomic proposition is always true: (p1733 <= 1)
lola: LP says that atomic proposition is always true: (p1423 <= 1)
lola: LP says that atomic proposition is always true: (p1559 <= 1)
lola: LP says that atomic proposition is always true: (p742 <= 1)
lola: LP says that atomic proposition is always true: (p764 <= 1)
lola: LP says that atomic proposition is always true: (p783 <= 1)
lola: LP says that atomic proposition is always true: (p794 <= 1)
lola: LP says that atomic proposition is always true: (p764 <= 1)
lola: LP says that atomic proposition is always true: (p783 <= 1)
lola: LP says that atomic proposition is always true: (p794 <= 1)
lola: LP says that atomic proposition is always true: (p910 <= 1)
lola: ((X (((1 <= p671))) AND ((1 <= p1077))) U G (((NOT(F (((1 <= p584) AND (1 <= p595) AND (1 <= p619)))) AND F (((1 <= p1077)))) AND F (((1 <= p1208)))))) : G ((X (F ((F (((1 <= p1574))) AND X (X (F (((1 <= p892)))))))) U ((1 <= p1574) AND (1 <= p892)))) : (G (NOT(X (((1 <= p586))))) U (((1 <= p728)) OR ((1 <= p716)))) : F (X (G (F (NOT(X (X (X ((G (F (X (((1 <= p1528) AND (1 <= p1539) AND (1 <= p1563))))) OR ((p780 <= 0))))))))))) : G ((NOT(F (((1 <= p1357) AND (1 <= p1408)))) AND G (X (((1 <= p1337)))))) : G (X (F (X ((F (G (((1 <= p639) AND (1 <= p668)))) U NOT((F (X (((1 <= p488)))) U F (((1 <= p517)))))))))) : G ((NOT(((X (((1 <= p1218))) AND X (((1 <= p803)))) U ((1 <= p1218)))) OR G (((1 <= p907))))) : G ((G ((((1 <= p1766)) U F (G (((1 <= p1293) AND (1 <= p1371)))))) OR (F (((1 <= p1469) AND (1 <= p1477) AND (1 <= p1505))) AND X (((1 <= p1293) AND (1 <= p1371)))))) : ((((p1108 <= 0) OR (p1347 <= 0) OR (p1376 <= 0)) U ((1 <= p1347) AND (1 <= p1376))) OR X (F (((1 <= p764) AND (1 <= p783) AND (1 <= p797))))) : F ((((p492 <= 0)) AND F (((1 <= p115) AND (1 <= p134) AND (1 <= p145))))) : G ((G (X (((1 <= p676)))) AND F ((F (((p1733 <= 0))) OR F (((1 <= p1733))))))) : NOT(G (NOT(F (NOT(X ((F (((1 <= p1423))) AND X (((1 <= p1559)))))))))) : X (G ((((p742 <= 0)) U X (((G (((1 <= p764) AND (1 <= p783) AND (1 <= p794))) OR F (((1 <= p764) AND (1 <= p783) AND (1 <= p794)))) OR ((1 <= p910)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (((1 <= p671))) AND ((1 <= p1077))) U G ((G (((p584 <= 0) OR (p595 <= 0) OR (p619 <= 0))) AND (F (((1 <= p1077))) AND F (((1 <= p1208)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((X (((1 <= p671))) AND ((1 <= p1077))) U G ((G (((p584 <= 0) OR (p595 <= 0) OR (p619 <= 0))) AND (F (((1 <= p1077))) AND F (((1 <= p1208)))))))
lola: processed formula length: 146
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 22 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: 3653 markings, 3653 edges
lola: ========================================
lola: subprocess 1 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((1 <= p1574) AND (1 <= p892))) AND (X (F ((F (((1 <= p1574))) AND X (X (F (((1 <= p892)))))))) OR ((1 <= p1574) AND (1 <= p892)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((1 <= p1574) AND (1 <= p892))) AND (X (F ((F (((1 <= p1574))) AND X (X (F (((1 <= p892)))))))) OR ((1 <= p1574) AND (1 <= p892)))))
lola: processed formula length: 139
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3653 markings, 3653 edges
lola: ========================================
lola: subprocess 2 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G (((p586 <= 0)))) U (((1 <= p728)) OR ((1 <= p716))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (G (((p586 <= 0)))) U (((1 <= p728)) OR ((1 <= p716))))
lola: processed formula length: 59
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3653 markings, 3653 edges
lola: ========================================
lola: subprocess 3 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G (((p1357 <= 0) OR (p1408 <= 0))) AND X (G (((1 <= p1337))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G (((p1357 <= 0) OR (p1408 <= 0))) AND X (G (((1 <= p1337))))))
lola: processed formula length: 68
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3653 markings, 3653 edges
lola: ========================================
lola: subprocess 4 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((X ((((p1218 <= 0)) OR ((p803 <= 0)))) R ((p1218 <= 0))) OR G (((1 <= p907)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((X ((((p1218 <= 0)) OR ((p803 <= 0)))) R ((p1218 <= 0))) OR G (((1 <= p907)))))
lola: processed formula length: 83
lola: 84 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: 3715 markings, 3715 edges
lola: ========================================
lola: subprocess 5 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (G (((1 <= p1293) AND (1 <= p1371)))) OR (F (((1 <= p1469) AND (1 <= p1477) AND (1 <= p1505))) AND X (((1 <= p1293) AND (1 <= p1371))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (G (((1 <= p1293) AND (1 <= p1371)))) OR (F (((1 <= p1469) AND (1 <= p1477) AND (1 <= p1505))) AND X (((1 <= p1293) AND (1 <= p1371))))))
lola: processed formula length: 143
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3653 markings, 3653 edges
lola: ========================================
lola: subprocess 6 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p1108 <= 0) OR (p1347 <= 0) OR (p1376 <= 0)) U ((1 <= p1347) AND (1 <= p1376))) OR X (F (((1 <= p764) AND (1 <= p783) AND (1 <= p797)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p1108 <= 0) OR (p1347 <= 0) OR (p1376 <= 0)) U ((1 <= p1347) AND (1 <= p1376)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((p1108 <= 0) OR (p1347 <= 0) OR (p1376 <= 0)) U ((1 <= p1347) AND (1 <= p1376)))
lola: processed formula length: 84
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 128666 markings, 370265 edges, 25733 markings/sec, 0 secs
lola: 244086 markings, 743468 edges, 23084 markings/sec, 5 secs
lola: 343730 markings, 1120081 edges, 19929 markings/sec, 10 secs
lola: 435666 markings, 1498071 edges, 18387 markings/sec, 15 secs
lola: 544772 markings, 1871105 edges, 21821 markings/sec, 20 secs
lola: 647376 markings, 2245875 edges, 20521 markings/sec, 25 secs
lola: 742831 markings, 2621393 edges, 19091 markings/sec, 30 secs
lola: 829301 markings, 2999005 edges, 17294 markings/sec, 35 secs
lola: 922793 markings, 3375245 edges, 18698 markings/sec, 40 secs
lola: 1023516 markings, 3748582 edges, 20145 markings/sec, 45 secs
lola: 1127890 markings, 4122357 edges, 20875 markings/sec, 50 secs
lola: 1217338 markings, 4497894 edges, 17890 markings/sec, 55 secs
lola: 1301531 markings, 4874724 edges, 16839 markings/sec, 60 secs
lola: 1398758 markings, 5249290 edges, 19445 markings/sec, 65 secs
lola: 1492155 markings, 5624387 edges, 18679 markings/sec, 70 secs
lola: 1581347 markings, 6001296 edges, 17838 markings/sec, 75 secs
lola: 1661627 markings, 6378923 edges, 16056 markings/sec, 80 secs
lola: 1738897 markings, 6757210 edges, 15454 markings/sec, 85 secs
lola: 1840481 markings, 7129391 edges, 20317 markings/sec, 90 secs
lola: 1942866 markings, 7501796 edges, 20477 markings/sec, 95 secs
lola: 2039640 markings, 7874626 edges, 19355 markings/sec, 100 secs
lola: 2125460 markings, 8248791 edges, 17164 markings/sec, 105 secs
lola: 2211137 markings, 8623147 edges, 17135 markings/sec, 110 secs
lola: 2307917 markings, 8997189 edges, 19356 markings/sec, 115 secs
lola: 2400773 markings, 9372313 edges, 18571 markings/sec, 120 secs
lola: 2487153 markings, 9747200 edges, 17276 markings/sec, 125 secs
lola: 2565606 markings, 10122166 edges, 15691 markings/sec, 130 secs
lola: 2642066 markings, 10498081 edges, 15292 markings/sec, 135 secs
lola: 2741209 markings, 10871618 edges, 19829 markings/sec, 140 secs
lola: 2833532 markings, 11247193 edges, 18465 markings/sec, 145 secs
lola: 2920929 markings, 11621924 edges, 17479 markings/sec, 150 secs
lola: 2999508 markings, 11998129 edges, 15716 markings/sec, 155 secs
lola: 3073274 markings, 12374453 edges, 14753 markings/sec, 160 secs
lola: 3166346 markings, 12748852 edges, 18614 markings/sec, 165 secs
lola: 3251454 markings, 13124430 edges, 17022 markings/sec, 170 secs
lola: 3332711 markings, 13500853 edges, 16251 markings/sec, 175 secs
lola: 3406232 markings, 13877137 edges, 14704 markings/sec, 180 secs
lola: 3477783 markings, 14253846 edges, 14310 markings/sec, 185 secs
lola: 3569619 markings, 14626651 edges, 18367 markings/sec, 190 secs
lola: 3672345 markings, 14998140 edges, 20545 markings/sec, 195 secs
lola: 3771166 markings, 15371452 edges, 19764 markings/sec, 200 secs
lola: 3858899 markings, 15745468 edges, 17547 markings/sec, 205 secs
lola: 3940324 markings, 16120347 edges, 16285 markings/sec, 210 secs
lola: 4039495 markings, 16492292 edges, 19834 markings/sec, 215 secs
lola: 4132653 markings, 16866079 edges, 18632 markings/sec, 220 secs
lola: 4220804 markings, 17240813 edges, 17630 markings/sec, 225 secs
lola: 4300086 markings, 17616076 edges, 15856 markings/sec, 230 secs
lola: 4375004 markings, 17991883 edges, 14984 markings/sec, 235 secs
lola: 4472135 markings, 18364990 edges, 19426 markings/sec, 240 secs
lola: 4565220 markings, 18739138 edges, 18617 markings/sec, 245 secs
lola: 4654092 markings, 19114442 edges, 17774 markings/sec, 250 secs
lola: 4733659 markings, 19490497 edges, 15913 markings/sec, 255 secs
lola: 4809451 markings, 19866830 edges, 15158 markings/sec, 260 secs
lola: 4899515 markings, 20241793 edges, 18013 markings/sec, 265 secs
lola: 4983802 markings, 20616764 edges, 16857 markings/sec, 270 secs
lola: 5066814 markings, 20994055 edges, 16602 markings/sec, 275 secs
lola: 5141084 markings, 21371089 edges, 14854 markings/sec, 280 secs
lola: 5214538 markings, 21747820 edges, 14691 markings/sec, 285 secs
lola: 5293560 markings, 22123038 edges, 15804 markings/sec, 290 secs
lola: 5387393 markings, 22494924 edges, 18767 markings/sec, 295 secs
lola: 5480925 markings, 22868749 edges, 18706 markings/sec, 300 secs
lola: 5564432 markings, 23241904 edges, 16701 markings/sec, 305 secs
lola: 5642647 markings, 23616303 edges, 15643 markings/sec, 310 secs
lola: 5721970 markings, 23990150 edges, 15865 markings/sec, 315 secs
lola: 5809109 markings, 24362854 edges, 17428 markings/sec, 320 secs
lola: 5893769 markings, 24737400 edges, 16932 markings/sec, 325 secs
lola: 5973937 markings, 25111021 edges, 16034 markings/sec, 330 secs
lola: 6046120 markings, 25485396 edges, 14437 markings/sec, 335 secs
lola: 6116341 markings, 25859963 edges, 14044 markings/sec, 340 secs
lola: 6201787 markings, 26233609 edges, 17089 markings/sec, 345 secs
lola: 6284632 markings, 26607103 edges, 16569 markings/sec, 350 secs
lola: 6369961 markings, 26983530 edges, 17066 markings/sec, 355 secs
lola: 6445515 markings, 27358346 edges, 15111 markings/sec, 360 secs
lola: 6517661 markings, 27733208 edges, 14429 markings/sec, 365 secs
lola: 6589771 markings, 28108162 edges, 14422 markings/sec, 370 secs
lola: 6671294 markings, 28483056 edges, 16305 markings/sec, 375 secs
lola: 6749738 markings, 28857930 edges, 15689 markings/sec, 380 secs
lola: 6824376 markings, 29234377 edges, 14928 markings/sec, 385 secs
lola: 6892572 markings, 29610315 edges, 13639 markings/sec, 390 secs
lola: 6960258 markings, 29985503 edges, 13537 markings/sec, 395 secs
lola: 7033350 markings, 30359519 edges, 14618 markings/sec, 400 secs
lola: 7150224 markings, 30734660 edges, 23375 markings/sec, 405 secs
lola: 7266054 markings, 31108042 edges, 23166 markings/sec, 410 secs
lola: 7365053 markings, 31484622 edges, 19800 markings/sec, 415 secs
lola: 7456750 markings, 31862407 edges, 18339 markings/sec, 420 secs
lola: 7566417 markings, 32235594 edges, 21933 markings/sec, 425 secs
lola: 7670030 markings, 32610223 edges, 20723 markings/sec, 430 secs
lola: 7761834 markings, 32986201 edges, 18361 markings/sec, 435 secs
lola: 7848433 markings, 33364355 edges, 17320 markings/sec, 440 secs
lola: 7946061 markings, 33738916 edges, 19526 markings/sec, 445 secs
lola: 8048349 markings, 34111756 edges, 20458 markings/sec, 450 secs
lola: 8148510 markings, 34485414 edges, 20032 markings/sec, 455 secs
lola: 8236543 markings, 34860675 edges, 17607 markings/sec, 460 secs
lola: 8318599 markings, 35237205 edges, 16411 markings/sec, 465 secs
lola: 8417759 markings, 35610536 edges, 19832 markings/sec, 470 secs
lola: 8511269 markings, 35985491 edges, 18702 markings/sec, 475 secs
lola: 8599635 markings, 36361179 edges, 17673 markings/sec, 480 secs
lola: 8679287 markings, 36738055 edges, 15930 markings/sec, 485 secs
lola: 8754468 markings, 37115612 edges, 15036 markings/sec, 490 secs
lola: 8860210 markings, 37486423 edges, 21148 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no unknown no unknown no no unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown no unknown no no unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: no no no unknown no unknown no no unknown unknown unknown unknown unknown
lola: memory consumption: 2123164 KB
lola: time consumption: 547 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown no unknown no no unknown unknown unknown unknown unknown
lola: memory consumption: 2123164 KB
lola: time consumption: 547 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (G (((1 <= p676)))) AND F ((((p1733 <= 0)) OR ((1 <= p1733))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (G (((1 <= p676)))) AND F ((((p1733 <= 0)) OR ((1 <= p1733))))))
lola: processed formula length: 70
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3653 markings, 3653 edges
lola: ========================================
lola: subprocess 8 will run for 604 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((p1423 <= 0))) OR X (((p1559 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((p1423 <= 0))) OR X (((p1559 <= 0))))))
lola: processed formula length: 50
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 9 will run for 755 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((F ((G (((1 <= p764) AND (1 <= p783) AND (1 <= p794))) OR (F (((1 <= p764) AND (1 <= p783) AND (1 <= p794))) OR ((1 <= p910))))) AND (((p742 <= 0)) OR X ((G (((1 <= p764) AND (1 <= p783) AND (1 <= p794))) OR (F (((1 <= p764) AND (1 <= p783) AND (1 <= p794))) OR ((1 <= p910)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F ((G (((1 <= p764) AND (1 <= p783) AND (1 <= p794))) OR (F (((1 <= p764) AND (1 <= p783) AND (1 <= p794))) OR ((1 <= p910))))) AND (((p742 <= 0)) OR X ((G (((1 <= p764) AND (1 <= p783) AND (1 <= p794))) OR (F (((1 <= p764) AND (1 <= p783) AND (1 <= p794))) OR ((1 <= p910)))))))))
lola: processed formula length: 288
lola: 84 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: 78720 markings, 400656 edges, 15744 markings/sec, 0 secs
lola: 143455 markings, 802509 edges, 12947 markings/sec, 5 secs
lola: 197318 markings, 1205476 edges, 10773 markings/sec, 10 secs
lola: 258283 markings, 1607539 edges, 12193 markings/sec, 15 secs
lola: 317042 markings, 2009474 edges, 11752 markings/sec, 20 secs
lola: 367502 markings, 2412736 edges, 10092 markings/sec, 25 secs
lola: 419063 markings, 2815725 edges, 10312 markings/sec, 30 secs
lola: 479534 markings, 3216870 edges, 12094 markings/sec, 35 secs
lola: 534558 markings, 3618370 edges, 11005 markings/sec, 40 secs
lola: 582139 markings, 4017803 edges, 9516 markings/sec, 45 secs
lola: 638617 markings, 4416280 edges, 11296 markings/sec, 50 secs
lola: 691294 markings, 4814379 edges, 10535 markings/sec, 55 secs
lola: 745617 markings, 5213982 edges, 10865 markings/sec, 60 secs
lola: 804791 markings, 5618120 edges, 11835 markings/sec, 65 secs
lola: 857382 markings, 6021488 edges, 10518 markings/sec, 70 secs
lola: 907612 markings, 6424755 edges, 10046 markings/sec, 75 secs
lola: 957057 markings, 6827544 edges, 9889 markings/sec, 80 secs
lola: 1006854 markings, 7229542 edges, 9959 markings/sec, 85 secs
lola: 1064127 markings, 7630466 edges, 11455 markings/sec, 90 secs
lola: 1124353 markings, 8031977 edges, 12045 markings/sec, 95 secs
lola: 1184796 markings, 8433338 edges, 12089 markings/sec, 100 secs
lola: 1242932 markings, 8834847 edges, 11627 markings/sec, 105 secs
lola: 1298705 markings, 9237439 edges, 11155 markings/sec, 110 secs
lola: 1352456 markings, 9639834 edges, 10750 markings/sec, 115 secs
lola: 1410625 markings, 10041658 edges, 11634 markings/sec, 120 secs
lola: 1464669 markings, 10443757 edges, 10809 markings/sec, 125 secs
lola: 1524114 markings, 10844146 edges, 11889 markings/sec, 130 secs
lola: 1578451 markings, 11245306 edges, 10867 markings/sec, 135 secs
lola: 1634880 markings, 11646778 edges, 11286 markings/sec, 140 secs
lola: 1686715 markings, 12048787 edges, 10367 markings/sec, 145 secs
lola: 1736447 markings, 12450223 edges, 9946 markings/sec, 150 secs
lola: 1788809 markings, 12851728 edges, 10472 markings/sec, 155 secs
lola: 1837369 markings, 13254225 edges, 9712 markings/sec, 160 secs
lola: 1885239 markings, 13656666 edges, 9574 markings/sec, 165 secs
lola: 1934553 markings, 14058863 edges, 9863 markings/sec, 170 secs
lola: 1984352 markings, 14460941 edges, 9960 markings/sec, 175 secs
lola: 2034105 markings, 14862745 edges, 9951 markings/sec, 180 secs
lola: 2083538 markings, 15264126 edges, 9887 markings/sec, 185 secs
lola: 2136472 markings, 15664674 edges, 10587 markings/sec, 190 secs
lola: 2188863 markings, 16065392 edges, 10478 markings/sec, 195 secs
lola: 2240698 markings, 16466074 edges, 10367 markings/sec, 200 secs
lola: 2291108 markings, 16866252 edges, 10082 markings/sec, 205 secs
lola: 2343801 markings, 17267249 edges, 10539 markings/sec, 210 secs
lola: 2391321 markings, 17668836 edges, 9504 markings/sec, 215 secs
lola: 2437685 markings, 18069827 edges, 9273 markings/sec, 220 secs
lola: 2489098 markings, 18470937 edges, 10283 markings/sec, 225 secs
lola: 2536864 markings, 18872582 edges, 9553 markings/sec, 230 secs
lola: 2588034 markings, 19272803 edges, 10234 markings/sec, 235 secs
lola: 2635506 markings, 19673098 edges, 9494 markings/sec, 240 secs
lola: 2699744 markings, 20072335 edges, 12848 markings/sec, 245 secs
lola: 2754112 markings, 20473878 edges, 10874 markings/sec, 250 secs
lola: 2806242 markings, 20874692 edges, 10426 markings/sec, 255 secs
lola: 2856607 markings, 21275225 edges, 10073 markings/sec, 260 secs
lola: 2908355 markings, 21676883 edges, 10350 markings/sec, 265 secs
lola: 2958207 markings, 22077679 edges, 9970 markings/sec, 270 secs
lola: 3014276 markings, 22478495 edges, 11214 markings/sec, 275 secs
lola: 3066294 markings, 22879035 edges, 10404 markings/sec, 280 secs
lola: 3119167 markings, 23279047 edges, 10575 markings/sec, 285 secs
lola: 3167680 markings, 23679979 edges, 9703 markings/sec, 290 secs
lola: 3213886 markings, 24081018 edges, 9241 markings/sec, 295 secs
lola: 3263421 markings, 24480995 edges, 9907 markings/sec, 300 secs
lola: 3311953 markings, 24880900 edges, 9706 markings/sec, 305 secs
lola: 3358470 markings, 25281366 edges, 9303 markings/sec, 310 secs
lola: 3411587 markings, 25680445 edges, 10623 markings/sec, 315 secs
lola: 3475113 markings, 26083822 edges, 12705 markings/sec, 320 secs
lola: 3527126 markings, 26488093 edges, 10403 markings/sec, 325 secs
lola: 3581474 markings, 26891513 edges, 10870 markings/sec, 330 secs
lola: 3631217 markings, 27294627 edges, 9949 markings/sec, 335 secs
lola: 3678831 markings, 27698540 edges, 9523 markings/sec, 340 secs
lola: 3732545 markings, 28100683 edges, 10743 markings/sec, 345 secs
lola: 3777559 markings, 28503624 edges, 9003 markings/sec, 350 secs
lola: 3829047 markings, 28905905 edges, 10298 markings/sec, 355 secs
lola: 3876789 markings, 29307298 edges, 9548 markings/sec, 360 secs
lola: 3929646 markings, 29712149 edges, 10571 markings/sec, 365 secs
lola: 3977540 markings, 30116052 edges, 9579 markings/sec, 370 secs
lola: 4022925 markings, 30519333 edges, 9077 markings/sec, 375 secs
lola: 4069220 markings, 30921806 edges, 9259 markings/sec, 380 secs
lola: 4125744 markings, 31325035 edges, 11305 markings/sec, 385 secs
lola: 4178845 markings, 31728234 edges, 10620 markings/sec, 390 secs
lola: 4231169 markings, 32132175 edges, 10465 markings/sec, 395 secs
lola: 4279996 markings, 32536260 edges, 9765 markings/sec, 400 secs
lola: 4332649 markings, 32939329 edges, 10531 markings/sec, 405 secs
lola: 4385075 markings, 33341239 edges, 10485 markings/sec, 410 secs
lola: 4435636 markings, 33743776 edges, 10112 markings/sec, 415 secs
lola: 4483590 markings, 34147010 edges, 9591 markings/sec, 420 secs
lola: 4529515 markings, 34549824 edges, 9185 markings/sec, 425 secs
lola: 4576134 markings, 34953466 edges, 9324 markings/sec, 430 secs
lola: 4619475 markings, 35357076 edges, 8668 markings/sec, 435 secs
lola: 4666730 markings, 35759639 edges, 9451 markings/sec, 440 secs
lola: 4712308 markings, 36162144 edges, 9116 markings/sec, 445 secs
lola: 4758435 markings, 36563907 edges, 9225 markings/sec, 450 secs
lola: 4807331 markings, 36966225 edges, 9779 markings/sec, 455 secs
lola: 4854308 markings, 37368117 edges, 9395 markings/sec, 460 secs
lola: 4901791 markings, 37770418 edges, 9497 markings/sec, 465 secs
lola: 4945730 markings, 38173392 edges, 8788 markings/sec, 470 secs
lola: 4991387 markings, 38575722 edges, 9131 markings/sec, 475 secs
lola: 5036502 markings, 38978289 edges, 9023 markings/sec, 480 secs
lola: 5081653 markings, 39379532 edges, 9030 markings/sec, 485 secs
lola: 5138192 markings, 39782286 edges, 11308 markings/sec, 490 secs
lola: 5187516 markings, 40186751 edges, 9865 markings/sec, 495 secs
lola: 5233149 markings, 40590268 edges, 9127 markings/sec, 500 secs
lola: 5278779 markings, 40993363 edges, 9126 markings/sec, 505 secs
lola: 5325864 markings, 41397038 edges, 9417 markings/sec, 510 secs
lola: 5369878 markings, 41801596 edges, 8803 markings/sec, 515 secs
lola: 5416752 markings, 42205173 edges, 9375 markings/sec, 520 secs
lola: 5465660 markings, 42609367 edges, 9782 markings/sec, 525 secs
lola: 5512462 markings, 43013633 edges, 9360 markings/sec, 530 secs
lola: 5560069 markings, 43416523 edges, 9521 markings/sec, 535 secs
lola: 5604061 markings, 43820136 edges, 8798 markings/sec, 540 secs
lola: 5646003 markings, 44223888 edges, 8388 markings/sec, 545 secs
lola: 5687870 markings, 44626509 edges, 8373 markings/sec, 550 secs
lola: 5733180 markings, 45029165 edges, 9062 markings/sec, 555 secs
lola: 5775520 markings, 45432355 edges, 8468 markings/sec, 560 secs
lola: 5818324 markings, 45834476 edges, 8561 markings/sec, 565 secs
lola: 5870125 markings, 46236419 edges, 10360 markings/sec, 570 secs
lola: 5931716 markings, 46638548 edges, 12318 markings/sec, 575 secs
lola: 5982113 markings, 47041473 edges, 10079 markings/sec, 580 secs
lola: 6037307 markings, 47443272 edges, 11039 markings/sec, 585 secs
lola: 6085388 markings, 47845554 edges, 9616 markings/sec, 590 secs
lola: 6134104 markings, 48247409 edges, 9743 markings/sec, 595 secs
lola: 6186760 markings, 48648303 edges, 10531 markings/sec, 600 secs
lola: 6231030 markings, 49049912 edges, 8854 markings/sec, 605 secs
lola: 6283176 markings, 49451242 edges, 10429 markings/sec, 610 secs
lola: 6332792 markings, 49851554 edges, 9923 markings/sec, 615 secs
lola: 6383247 markings, 50255445 edges, 10091 markings/sec, 620 secs
lola: 6430387 markings, 50658118 edges, 9428 markings/sec, 625 secs
lola: 6476269 markings, 51060281 edges, 9176 markings/sec, 630 secs
lola: 6524823 markings, 51461799 edges, 9711 markings/sec, 635 secs
lola: 6580164 markings, 51864129 edges, 11068 markings/sec, 640 secs
lola: 6632202 markings, 52266321 edges, 10408 markings/sec, 645 secs
lola: 6684970 markings, 52669266 edges, 10554 markings/sec, 650 secs
lola: 6734399 markings, 53072063 edges, 9886 markings/sec, 655 secs
lola: 6785350 markings, 53474248 edges, 10190 markings/sec, 660 secs
lola: 6837697 markings, 53875318 edges, 10469 markings/sec, 665 secs
lola: 6888798 markings, 54276864 edges, 10220 markings/sec, 670 secs
lola: 6935471 markings, 54679500 edges, 9335 markings/sec, 675 secs
lola: 6982725 markings, 55081517 edges, 9451 markings/sec, 680 secs
lola: 7028313 markings, 55484651 edges, 9118 markings/sec, 685 secs
lola: 7071750 markings, 55887416 edges, 8687 markings/sec, 690 secs
lola: 7118332 markings, 56289555 edges, 9316 markings/sec, 695 secs
lola: 7164320 markings, 56690850 edges, 9198 markings/sec, 700 secs
lola: 7211256 markings, 57092295 edges, 9387 markings/sec, 705 secs
lola: 7259678 markings, 57493625 edges, 9684 markings/sec, 710 secs
lola: 7306200 markings, 57894668 edges, 9304 markings/sec, 715 secs
lola: 7353149 markings, 58295860 edges, 9390 markings/sec, 720 secs
lola: 7396611 markings, 58697401 edges, 8692 markings/sec, 725 secs
lola: 7442401 markings, 59098481 edges, 9158 markings/sec, 730 secs
lola: 7487464 markings, 59499804 edges, 9013 markings/sec, 735 secs
lola: 7532020 markings, 59899726 edges, 8911 markings/sec, 740 secs
lola: 7589834 markings, 60302020 edges, 11563 markings/sec, 745 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no unknown no unknown no no unknown unknown no yes unknown
lola: memory consumption: 1444456 KB
lola: time consumption: 1302 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 756 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G (((p517 <= 0))) OR (F (G (((p517 <= 0)))) AND F (G (((1 <= p639) AND (1 <= p668))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G (((p517 <= 0))) OR (F (G (((p517 <= 0)))) AND F (G (((1 <= p639) AND (1 <= p668))))))))
lola: processed formula length: 96
lola: 84 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: 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: 64868 markings, 392149 edges, 12974 markings/sec, 0 secs
lola: 116480 markings, 790195 edges, 10322 markings/sec, 5 secs
lola: 164637 markings, 1188198 edges, 9631 markings/sec, 10 secs
lola: 207668 markings, 1585385 edges, 8606 markings/sec, 15 secs
lola: 250058 markings, 1983353 edges, 8478 markings/sec, 20 secs
lola: 286767 markings, 2381973 edges, 7342 markings/sec, 25 secs
lola: 328213 markings, 2778900 edges, 8289 markings/sec, 30 secs
lola: 372864 markings, 3173775 edges, 8930 markings/sec, 35 secs
lola: 413190 markings, 3568360 edges, 8065 markings/sec, 40 secs
lola: 459088 markings, 3962319 edges, 9180 markings/sec, 45 secs
lola: 501252 markings, 4357479 edges, 8433 markings/sec, 50 secs
lola: 542749 markings, 4755422 edges, 8299 markings/sec, 55 secs
lola: 577864 markings, 5153695 edges, 7023 markings/sec, 60 secs
lola: 624221 markings, 5546341 edges, 9271 markings/sec, 65 secs
lola: 663068 markings, 5940945 edges, 7769 markings/sec, 70 secs
lola: 703152 markings, 6337122 edges, 8017 markings/sec, 75 secs
lola: 742768 markings, 6732670 edges, 7923 markings/sec, 80 secs
lola: 778637 markings, 7129222 edges, 7174 markings/sec, 85 secs
lola: 812777 markings, 7526238 edges, 6828 markings/sec, 90 secs
lola: 844677 markings, 7922784 edges, 6380 markings/sec, 95 secs
lola: 881460 markings, 8318071 edges, 7357 markings/sec, 100 secs
lola: 919035 markings, 8713416 edges, 7515 markings/sec, 105 secs
lola: 950758 markings, 9108595 edges, 6345 markings/sec, 110 secs
lola: 983552 markings, 9503251 edges, 6559 markings/sec, 115 secs
lola: 1021143 markings, 9898570 edges, 7518 markings/sec, 120 secs
lola: 1058835 markings, 10294930 edges, 7538 markings/sec, 125 secs
lola: 1092532 markings, 10690412 edges, 6739 markings/sec, 130 secs
lola: 1126946 markings, 11085375 edges, 6883 markings/sec, 135 secs
lola: 1166654 markings, 11478317 edges, 7942 markings/sec, 140 secs
lola: 1203558 markings, 11872423 edges, 7381 markings/sec, 145 secs
lola: 1240901 markings, 12264762 edges, 7469 markings/sec, 150 secs
lola: 1277300 markings, 12659764 edges, 7280 markings/sec, 155 secs
lola: 1316338 markings, 13052280 edges, 7808 markings/sec, 160 secs
lola: 1352765 markings, 13443922 edges, 7285 markings/sec, 165 secs
lola: 1395995 markings, 13842485 edges, 8646 markings/sec, 170 secs
lola: 1433473 markings, 14243570 edges, 7496 markings/sec, 175 secs
lola: 1474545 markings, 14643016 edges, 8214 markings/sec, 180 secs
lola: 1512851 markings, 15042738 edges, 7661 markings/sec, 185 secs
lola: 1548320 markings, 15443744 edges, 7094 markings/sec, 190 secs
lola: 1581179 markings, 15846010 edges, 6572 markings/sec, 195 secs
lola: 1613227 markings, 16248823 edges, 6410 markings/sec, 200 secs
lola: 1650618 markings, 16648270 edges, 7478 markings/sec, 205 secs
lola: 1688467 markings, 17046622 edges, 7570 markings/sec, 210 secs
lola: 1720351 markings, 17446303 edges, 6377 markings/sec, 215 secs
lola: 1754675 markings, 17845756 edges, 6865 markings/sec, 220 secs
lola: 1790427 markings, 18245365 edges, 7150 markings/sec, 225 secs
lola: 1827412 markings, 18643347 edges, 7397 markings/sec, 230 secs
lola: 1862556 markings, 19041403 edges, 7029 markings/sec, 235 secs
lola: 1893918 markings, 19440367 edges, 6272 markings/sec, 240 secs
lola: 1930422 markings, 19837237 edges, 7301 markings/sec, 245 secs
lola: 1964676 markings, 20234858 edges, 6851 markings/sec, 250 secs
lola: 1996296 markings, 20632869 edges, 6324 markings/sec, 255 secs
lola: 2024582 markings, 21031229 edges, 5657 markings/sec, 260 secs
lola: 2054286 markings, 21430360 edges, 5941 markings/sec, 265 secs
lola: 2085838 markings, 21828029 edges, 6310 markings/sec, 270 secs
lola: 2117446 markings, 22225636 edges, 6322 markings/sec, 275 secs
lola: 2150687 markings, 22621526 edges, 6648 markings/sec, 280 secs
lola: 2179214 markings, 23017856 edges, 5705 markings/sec, 285 secs
lola: 2207391 markings, 23414833 edges, 5635 markings/sec, 290 secs
lola: 2243529 markings, 23810509 edges, 7228 markings/sec, 295 secs
lola: 2277803 markings, 24206373 edges, 6855 markings/sec, 300 secs
lola: 2313156 markings, 24601548 edges, 7071 markings/sec, 305 secs
lola: 2348054 markings, 24996170 edges, 6980 markings/sec, 310 secs
lola: 2379497 markings, 25391554 edges, 6289 markings/sec, 315 secs
lola: 2409301 markings, 25788324 edges, 5961 markings/sec, 320 secs
lola: 2439790 markings, 26184615 edges, 6098 markings/sec, 325 secs
lola: 2468965 markings, 26580169 edges, 5835 markings/sec, 330 secs
lola: 2502786 markings, 26973861 edges, 6764 markings/sec, 335 secs
lola: 2536288 markings, 27366686 edges, 6700 markings/sec, 340 secs
lola: 2565810 markings, 27759205 edges, 5904 markings/sec, 345 secs
lola: 2595242 markings, 28152508 edges, 5886 markings/sec, 350 secs
lola: 2627935 markings, 28549293 edges, 6539 markings/sec, 355 secs
lola: 2659266 markings, 28945942 edges, 6266 markings/sec, 360 secs
lola: 2692485 markings, 29340659 edges, 6644 markings/sec, 365 secs
lola: 2724200 markings, 29733219 edges, 6343 markings/sec, 370 secs
lola: 2763455 markings, 30129164 edges, 7851 markings/sec, 375 secs
lola: 2801728 markings, 30527835 edges, 7655 markings/sec, 380 secs
lola: 2842021 markings, 30925678 edges, 8059 markings/sec, 385 secs
lola: 2881230 markings, 31322775 edges, 7842 markings/sec, 390 secs
lola: 2916461 markings, 31720934 edges, 7046 markings/sec, 395 secs
lola: 2948322 markings, 32119847 edges, 6372 markings/sec, 400 secs
lola: 2981018 markings, 32519423 edges, 6539 markings/sec, 405 secs
lola: 3018123 markings, 32917015 edges, 7421 markings/sec, 410 secs
lola: 3054547 markings, 33313325 edges, 7285 markings/sec, 415 secs
lola: 3087793 markings, 33710060 edges, 6649 markings/sec, 420 secs
lola: 3118726 markings, 34107906 edges, 6187 markings/sec, 425 secs
lola: 3155559 markings, 34505252 edges, 7367 markings/sec, 430 secs
lola: 3191673 markings, 34901571 edges, 7223 markings/sec, 435 secs
lola: 3227295 markings, 35298021 edges, 7124 markings/sec, 440 secs
lola: 3259857 markings, 35695978 edges, 6512 markings/sec, 445 secs
lola: 3295704 markings, 36092309 edges, 7169 markings/sec, 450 secs
lola: 3330807 markings, 36488290 edges, 7021 markings/sec, 455 secs
lola: 3362075 markings, 36885403 edges, 6254 markings/sec, 460 secs
lola: 3391021 markings, 37283016 edges, 5789 markings/sec, 465 secs
lola: 3421108 markings, 37681154 edges, 6017 markings/sec, 470 secs
lola: 3451848 markings, 38078363 edges, 6148 markings/sec, 475 secs
lola: 3483394 markings, 38474702 edges, 6309 markings/sec, 480 secs
lola: 3516613 markings, 38869069 edges, 6644 markings/sec, 485 secs
lola: 3545075 markings, 39264507 edges, 5692 markings/sec, 490 secs
lola: 3574918 markings, 39660896 edges, 5969 markings/sec, 495 secs
lola: 3610793 markings, 40056256 edges, 7175 markings/sec, 500 secs
lola: 3643803 markings, 40451960 edges, 6602 markings/sec, 505 secs
lola: 3679603 markings, 40847028 edges, 7160 markings/sec, 510 secs
lola: 3714615 markings, 41242193 edges, 7002 markings/sec, 515 secs
lola: 3745633 markings, 41637731 edges, 6204 markings/sec, 520 secs
lola: 3774673 markings, 42034219 edges, 5808 markings/sec, 525 secs
lola: 3804866 markings, 42430495 edges, 6039 markings/sec, 530 secs
lola: 3835597 markings, 42825880 edges, 6146 markings/sec, 535 secs
lola: 3868336 markings, 43220091 edges, 6548 markings/sec, 540 secs
lola: 3900470 markings, 43612248 edges, 6427 markings/sec, 545 secs
lola: 3929612 markings, 44006128 edges, 5828 markings/sec, 550 secs
lola: 3960323 markings, 44401257 edges, 6142 markings/sec, 555 secs
lola: 3991761 markings, 44797416 edges, 6288 markings/sec, 560 secs
lola: 4024491 markings, 45192093 edges, 6546 markings/sec, 565 secs
lola: 4055974 markings, 45585578 edges, 6297 markings/sec, 570 secs
lola: 4093388 markings, 45978379 edges, 7483 markings/sec, 575 secs
lola: 4137005 markings, 46372454 edges, 8723 markings/sec, 580 secs
lola: 4174494 markings, 46766799 edges, 7498 markings/sec, 585 secs
lola: 4213207 markings, 47161705 edges, 7743 markings/sec, 590 secs
lola: 4250740 markings, 47556294 edges, 7507 markings/sec, 595 secs
lola: 4288506 markings, 47950047 edges, 7553 markings/sec, 600 secs
lola: 4322765 markings, 48345524 edges, 6852 markings/sec, 605 secs
lola: 4354727 markings, 48740310 edges, 6392 markings/sec, 610 secs
lola: 4391375 markings, 49134160 edges, 7330 markings/sec, 615 secs
lola: 4424560 markings, 49527647 edges, 6637 markings/sec, 620 secs
lola: 4460769 markings, 49920552 edges, 7242 markings/sec, 625 secs
lola: 4497765 markings, 50312786 edges, 7399 markings/sec, 630 secs
lola: 4535398 markings, 50707566 edges, 7527 markings/sec, 635 secs
lola: 4568096 markings, 51103863 edges, 6540 markings/sec, 640 secs
lola: 4603760 markings, 51499383 edges, 7133 markings/sec, 645 secs
lola: 4638982 markings, 51894365 edges, 7044 markings/sec, 650 secs
lola: 4671363 markings, 52290233 edges, 6476 markings/sec, 655 secs
lola: 4702105 markings, 52687218 edges, 6148 markings/sec, 660 secs
lola: 4731629 markings, 53084111 edges, 5905 markings/sec, 665 secs
lola: 4764272 markings, 53479796 edges, 6529 markings/sec, 670 secs
lola: 4795264 markings, 53874700 edges, 6198 markings/sec, 675 secs
lola: 4825778 markings, 54269461 edges, 6103 markings/sec, 680 secs
lola: 4855735 markings, 54663940 edges, 5991 markings/sec, 685 secs
lola: 4884685 markings, 55057604 edges, 5790 markings/sec, 690 secs
lola: 4921521 markings, 55450741 edges, 7367 markings/sec, 695 secs
lola: 4959386 markings, 55843974 edges, 7573 markings/sec, 700 secs
lola: 4992778 markings, 56236505 edges, 6678 markings/sec, 705 secs
lola: 5027747 markings, 56629538 edges, 6994 markings/sec, 710 secs
lola: 5060550 markings, 57022588 edges, 6561 markings/sec, 715 secs
lola: 5093601 markings, 57414653 edges, 6610 markings/sec, 720 secs
lola: 5126561 markings, 57808132 edges, 6592 markings/sec, 725 secs
lola: 5154579 markings, 58200702 edges, 5604 markings/sec, 730 secs
lola: 5185596 markings, 58592972 edges, 6203 markings/sec, 735 secs
lola: 5217727 markings, 58985427 edges, 6426 markings/sec, 740 secs
lola: 5247402 markings, 59376623 edges, 5935 markings/sec, 745 secs
lola: 5277337 markings, 59768745 edges, 5987 markings/sec, 750 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no unknown no unknown no no unknown unknown no yes unknown
lola: memory consumption: 1187296 KB
lola: time consumption: 2058 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 11 will run for 756 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((((p492 <= 0)) AND F (((1 <= p115) AND (1 <= p134) AND (1 <= p145)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((((p492 <= 0)) AND F (((1 <= p115) AND (1 <= p134) AND (1 <= p145)))))
lola: processed formula length: 73
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 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: 16453 markings, 16453 edges
lola: ========================================
lola: subprocess 12 will run for 1512 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (G (((p1528 <= 0) OR (p1539 <= 0) OR (p1563 <= 0)))) AND ((1 <= p780)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (G (((p1528 <= 0) OR (p1539 <= 0) OR (p1563 <= 0)))) AND ((1 <= p780)))))
lola: processed formula length: 84
lola: 84 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: 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: 110088 markings, 382805 edges, 22018 markings/sec, 0 secs
lola: 197167 markings, 769822 edges, 17416 markings/sec, 5 secs
lola: 267610 markings, 1160182 edges, 14089 markings/sec, 10 secs
lola: 341036 markings, 1548234 edges, 14685 markings/sec, 15 secs
lola: 413251 markings, 1935124 edges, 14443 markings/sec, 20 secs
lola: 497581 markings, 2321118 edges, 16866 markings/sec, 25 secs
lola: 569593 markings, 2705763 edges, 14402 markings/sec, 30 secs
lola: 638921 markings, 3090311 edges, 13866 markings/sec, 35 secs
lola: 713574 markings, 3474307 edges, 14931 markings/sec, 40 secs
lola: 781756 markings, 3859542 edges, 13636 markings/sec, 45 secs
lola: 840305 markings, 4246678 edges, 11710 markings/sec, 50 secs
lola: 935242 markings, 4628457 edges, 18987 markings/sec, 55 secs
lola: 1017231 markings, 5013168 edges, 16398 markings/sec, 60 secs
lola: 1091048 markings, 5401747 edges, 14763 markings/sec, 65 secs
lola: 1153541 markings, 5791677 edges, 12499 markings/sec, 70 secs
lola: 1225495 markings, 6179322 edges, 14391 markings/sec, 75 secs
lola: 1288176 markings, 6565700 edges, 12536 markings/sec, 80 secs
lola: 1353456 markings, 6950805 edges, 13056 markings/sec, 85 secs
lola: 1406691 markings, 7338956 edges, 10647 markings/sec, 90 secs
lola: 1450393 markings, 7728212 edges, 8740 markings/sec, 95 secs
lola: 1503835 markings, 8118003 edges, 10688 markings/sec, 100 secs
lola: 1550640 markings, 8509047 edges, 9361 markings/sec, 105 secs
lola: 1601101 markings, 8899271 edges, 10092 markings/sec, 110 secs
lola: 1652769 markings, 9288883 edges, 10334 markings/sec, 115 secs
lola: 1700622 markings, 9677257 edges, 9571 markings/sec, 120 secs
lola: 1746175 markings, 10065329 edges, 9111 markings/sec, 125 secs
lola: 1806627 markings, 10449436 edges, 12090 markings/sec, 130 secs
lola: 1871625 markings, 10836620 edges, 13000 markings/sec, 135 secs
lola: 1935316 markings, 11223505 edges, 12738 markings/sec, 140 secs
lola: 1987348 markings, 11610585 edges, 10406 markings/sec, 145 secs
lola: 2055461 markings, 11995196 edges, 13623 markings/sec, 150 secs
lola: 2105405 markings, 12380922 edges, 9989 markings/sec, 155 secs
lola: 2177713 markings, 12764871 edges, 14462 markings/sec, 160 secs
lola: 2232635 markings, 13151587 edges, 10984 markings/sec, 165 secs
lola: 2278859 markings, 13538168 edges, 9245 markings/sec, 170 secs
lola: 2353209 markings, 13924168 edges, 14870 markings/sec, 175 secs
lola: 2413672 markings, 14311842 edges, 12093 markings/sec, 180 secs
lola: 2463146 markings, 14700618 edges, 9895 markings/sec, 185 secs
lola: 2507721 markings, 15089525 edges, 8915 markings/sec, 190 secs
lola: 2552044 markings, 15480760 edges, 8865 markings/sec, 195 secs
lola: 2592814 markings, 15870047 edges, 8154 markings/sec, 200 secs
lola: 2647567 markings, 16259417 edges, 10951 markings/sec, 205 secs
lola: 2698126 markings, 16649139 edges, 10112 markings/sec, 210 secs
lola: 2746358 markings, 17039263 edges, 9646 markings/sec, 215 secs
lola: 2800579 markings, 17427887 edges, 10844 markings/sec, 220 secs
lola: 2844717 markings, 17815956 edges, 8828 markings/sec, 225 secs
lola: 2892425 markings, 18205256 edges, 9542 markings/sec, 230 secs
lola: 2941149 markings, 18595372 edges, 9745 markings/sec, 235 secs
lola: 2985497 markings, 18984822 edges, 8870 markings/sec, 240 secs
lola: 3027654 markings, 19373786 edges, 8431 markings/sec, 245 secs
lola: 3068860 markings, 19762299 edges, 8241 markings/sec, 250 secs
lola: 3127663 markings, 20149014 edges, 11761 markings/sec, 255 secs
lola: 3191392 markings, 20539013 edges, 12746 markings/sec, 260 secs
lola: 3245890 markings, 20928690 edges, 10900 markings/sec, 265 secs
lola: 3316430 markings, 21317301 edges, 14108 markings/sec, 270 secs
lola: 3377257 markings, 21705516 edges, 12165 markings/sec, 275 secs
lola: 3432975 markings, 22096102 edges, 11144 markings/sec, 280 secs
lola: 3485812 markings, 22485853 edges, 10567 markings/sec, 285 secs
lola: 3536902 markings, 22875490 edges, 10218 markings/sec, 290 secs
lola: 3582803 markings, 23268236 edges, 9180 markings/sec, 295 secs
lola: 3628290 markings, 23659718 edges, 9097 markings/sec, 300 secs
lola: 3672362 markings, 24050615 edges, 8814 markings/sec, 305 secs
lola: 3736835 markings, 24437412 edges, 12895 markings/sec, 310 secs
lola: 3806468 markings, 24821903 edges, 13927 markings/sec, 315 secs
lola: 3866604 markings, 25206396 edges, 12027 markings/sec, 320 secs
lola: 3938536 markings, 25591776 edges, 14386 markings/sec, 325 secs
lola: 3997554 markings, 25977504 edges, 11804 markings/sec, 330 secs
lola: 4050556 markings, 26362695 edges, 10600 markings/sec, 335 secs
lola: 4112336 markings, 26747512 edges, 12356 markings/sec, 340 secs
lola: 4178274 markings, 27134940 edges, 13188 markings/sec, 345 secs
lola: 4239663 markings, 27524659 edges, 12278 markings/sec, 350 secs
lola: 4294253 markings, 27914849 edges, 10918 markings/sec, 355 secs
lola: 4345177 markings, 28303437 edges, 10185 markings/sec, 360 secs
lola: 4399225 markings, 28690355 edges, 10810 markings/sec, 365 secs
lola: 4453177 markings, 29078964 edges, 10790 markings/sec, 370 secs
lola: 4503407 markings, 29467940 edges, 10046 markings/sec, 375 secs
lola: 4554735 markings, 29852789 edges, 10266 markings/sec, 380 secs
lola: 4601394 markings, 30239580 edges, 9332 markings/sec, 385 secs
lola: 4643347 markings, 30626927 edges, 8391 markings/sec, 390 secs
lola: 4695161 markings, 31016321 edges, 10363 markings/sec, 395 secs
lola: 4740441 markings, 31409900 edges, 9056 markings/sec, 400 secs
lola: 4788525 markings, 31797749 edges, 9617 markings/sec, 405 secs
lola: 4838741 markings, 32190351 edges, 10043 markings/sec, 410 secs
lola: 4884444 markings, 32580373 edges, 9141 markings/sec, 415 secs
lola: 4934955 markings, 32973589 edges, 10102 markings/sec, 420 secs
lola: 4981797 markings, 33368122 edges, 9368 markings/sec, 425 secs
lola: 5025162 markings, 33759244 edges, 8673 markings/sec, 430 secs
lola: 5066211 markings, 34151050 edges, 8210 markings/sec, 435 secs
lola: 5109370 markings, 34541403 edges, 8632 markings/sec, 440 secs
lola: 5147924 markings, 34932950 edges, 7711 markings/sec, 445 secs
lola: 5187181 markings, 35322261 edges, 7851 markings/sec, 450 secs
lola: 5241283 markings, 35714963 edges, 10820 markings/sec, 455 secs
lola: 5289599 markings, 36108857 edges, 9663 markings/sec, 460 secs
lola: 5344948 markings, 36499967 edges, 11070 markings/sec, 465 secs
lola: 5397843 markings, 36892039 edges, 10579 markings/sec, 470 secs
lola: 5442389 markings, 37281813 edges, 8909 markings/sec, 475 secs
lola: 5507344 markings, 37666467 edges, 12991 markings/sec, 480 secs
lola: 5576092 markings, 38051096 edges, 13750 markings/sec, 485 secs
lola: 5638401 markings, 38436362 edges, 12462 markings/sec, 490 secs
lola: 5694632 markings, 38820477 edges, 11246 markings/sec, 495 secs
lola: 5759314 markings, 39204943 edges, 12936 markings/sec, 500 secs
lola: 5813643 markings, 39589822 edges, 10866 markings/sec, 505 secs
lola: 5864900 markings, 39974987 edges, 10251 markings/sec, 510 secs
lola: 5910500 markings, 40358354 edges, 9120 markings/sec, 515 secs
lola: 5961681 markings, 40745918 edges, 10236 markings/sec, 520 secs
lola: 6016249 markings, 41132163 edges, 10914 markings/sec, 525 secs
lola: 6060722 markings, 41516679 edges, 8895 markings/sec, 530 secs
lola: 6119458 markings, 41903459 edges, 11747 markings/sec, 535 secs
lola: 6177590 markings, 42291477 edges, 11626 markings/sec, 540 secs
lola: 6232783 markings, 42681572 edges, 11039 markings/sec, 545 secs
lola: 6284055 markings, 43072045 edges, 10254 markings/sec, 550 secs
lola: 6329477 markings, 43460608 edges, 9084 markings/sec, 555 secs
lola: 6377103 markings, 43849016 edges, 9525 markings/sec, 560 secs
lola: 6425673 markings, 44235240 edges, 9714 markings/sec, 565 secs
lola: 6473339 markings, 44624627 edges, 9533 markings/sec, 570 secs
lola: 6518047 markings, 45012952 edges, 8942 markings/sec, 575 secs
lola: 6565415 markings, 45398148 edges, 9474 markings/sec, 580 secs
lola: 6607304 markings, 45784402 edges, 8378 markings/sec, 585 secs
lola: 6646456 markings, 46170281 edges, 7830 markings/sec, 590 secs
lola: 6689438 markings, 46554748 edges, 8596 markings/sec, 595 secs
lola: 6727530 markings, 46940740 edges, 7618 markings/sec, 600 secs
lola: 6774999 markings, 47329598 edges, 9494 markings/sec, 605 secs
lola: 6819778 markings, 47720050 edges, 8956 markings/sec, 610 secs
lola: 6861184 markings, 48109644 edges, 8281 markings/sec, 615 secs
lola: 6910056 markings, 48498507 edges, 9774 markings/sec, 620 secs
lola: 6957741 markings, 48887917 edges, 9537 markings/sec, 625 secs
lola: 7007585 markings, 49279645 edges, 9969 markings/sec, 630 secs
lola: 7052922 markings, 49671795 edges, 9067 markings/sec, 635 secs
lola: 7094121 markings, 50061411 edges, 8240 markings/sec, 640 secs
lola: 7136641 markings, 50452071 edges, 8504 markings/sec, 645 secs
lola: 7185027 markings, 50839420 edges, 9677 markings/sec, 650 secs
lola: 7235459 markings, 51231820 edges, 10086 markings/sec, 655 secs
lola: 7291800 markings, 51621883 edges, 11268 markings/sec, 660 secs
lola: 7344922 markings, 52013579 edges, 10624 markings/sec, 665 secs
lola: 7400397 markings, 52403511 edges, 11095 markings/sec, 670 secs
lola: 7445344 markings, 52794668 edges, 8989 markings/sec, 675 secs
lola: 7491741 markings, 53184908 edges, 9279 markings/sec, 680 secs
lola: 7533687 markings, 53574775 edges, 8389 markings/sec, 685 secs
lola: 7577504 markings, 53962495 edges, 8763 markings/sec, 690 secs
lola: 7627913 markings, 54352439 edges, 10082 markings/sec, 695 secs
lola: 7675628 markings, 54743973 edges, 9543 markings/sec, 700 secs
lola: 7720526 markings, 55135344 edges, 8980 markings/sec, 705 secs
lola: 7765272 markings, 55525588 edges, 8949 markings/sec, 710 secs
lola: 7827251 markings, 55913834 edges, 12396 markings/sec, 715 secs
lola: 7882811 markings, 56303440 edges, 11112 markings/sec, 720 secs
lola: 7925733 markings, 56696522 edges, 8584 markings/sec, 725 secs
lola: 7986124 markings, 57084229 edges, 12078 markings/sec, 730 secs
lola: 8031226 markings, 57475999 edges, 9020 markings/sec, 735 secs
lola: 8080151 markings, 57867097 edges, 9785 markings/sec, 740 secs
lola: 8122640 markings, 58258502 edges, 8498 markings/sec, 745 secs
lola: 8162711 markings, 58648293 edges, 8014 markings/sec, 750 secs
lola: 8206331 markings, 59039224 edges, 8724 markings/sec, 755 secs
lola: 8250815 markings, 59429630 edges, 8897 markings/sec, 760 secs
lola: 8292337 markings, 59819881 edges, 8304 markings/sec, 765 secs
lola: 8329943 markings, 60209878 edges, 7521 markings/sec, 770 secs
lola: 8373363 markings, 60598741 edges, 8684 markings/sec, 775 secs
lola: 8414355 markings, 60985316 edges, 8198 markings/sec, 780 secs
lola: 8454532 markings, 61372701 edges, 8035 markings/sec, 785 secs
lola: 8496803 markings, 61760387 edges, 8454 markings/sec, 790 secs
lola: 8538917 markings, 62148702 edges, 8423 markings/sec, 795 secs
lola: 8585143 markings, 62534520 edges, 9245 markings/sec, 800 secs
lola: 8629362 markings, 62920874 edges, 8844 markings/sec, 805 secs
lola: 8669748 markings, 63308157 edges, 8077 markings/sec, 810 secs
lola: 8711213 markings, 63697003 edges, 8293 markings/sec, 815 secs
lola: 8752654 markings, 64083509 edges, 8288 markings/sec, 820 secs
lola: 8790826 markings, 64472724 edges, 7634 markings/sec, 825 secs
lola: 8825727 markings, 64861039 edges, 6980 markings/sec, 830 secs
lola: 8862451 markings, 65247117 edges, 7345 markings/sec, 835 secs
lola: 8903395 markings, 65635506 edges, 8189 markings/sec, 840 secs
lola: 8949199 markings, 66022442 edges, 9161 markings/sec, 845 secs
lola: 8992228 markings, 66406081 edges, 8606 markings/sec, 850 secs
lola: 9031249 markings, 66788972 edges, 7804 markings/sec, 855 secs
lola: 9084111 markings, 67172829 edges, 10572 markings/sec, 860 secs
lola: 9128671 markings, 67556444 edges, 8912 markings/sec, 865 secs
lola: 9177731 markings, 67939452 edges, 9812 markings/sec, 870 secs
lola: 9221831 markings, 68323649 edges, 8820 markings/sec, 875 secs
lola: 9262489 markings, 68706027 edges, 8132 markings/sec, 880 secs
lola: 9313701 markings, 69086757 edges, 10242 markings/sec, 885 secs
lola: 9374305 markings, 69468730 edges, 12121 markings/sec, 890 secs
lola: 9434469 markings, 69849812 edges, 12033 markings/sec, 895 secs
lola: 9495482 markings, 70232184 edges, 12203 markings/sec, 900 secs
lola: 9564710 markings, 70616285 edges, 13846 markings/sec, 905 secs
lola: 9625041 markings, 71000190 edges, 12066 markings/sec, 910 secs
lola: 9684147 markings, 71382122 edges, 11821 markings/sec, 915 secs
lola: 9743209 markings, 71766549 edges, 11812 markings/sec, 920 secs
lola: 9796831 markings, 72150301 edges, 10724 markings/sec, 925 secs
lola: 9842386 markings, 72532081 edges, 9111 markings/sec, 930 secs
lola: 9891741 markings, 72916160 edges, 9871 markings/sec, 935 secs
lola: 9945189 markings, 73298148 edges, 10690 markings/sec, 940 secs
lola: 9992869 markings, 73680535 edges, 9536 markings/sec, 945 secs
lola: 10046050 markings, 74063553 edges, 10636 markings/sec, 950 secs
lola: 10104232 markings, 74449894 edges, 11636 markings/sec, 955 secs
lola: 10160289 markings, 74838019 edges, 11211 markings/sec, 960 secs
lola: 10213620 markings, 75227229 edges, 10666 markings/sec, 965 secs
lola: 10261206 markings, 75614968 edges, 9517 markings/sec, 970 secs
lola: 10307007 markings, 76001325 edges, 9160 markings/sec, 975 secs
lola: 10355197 markings, 76386921 edges, 9638 markings/sec, 980 secs
lola: 10403419 markings, 76773574 edges, 9644 markings/sec, 985 secs
lola: 10448123 markings, 77160174 edges, 8941 markings/sec, 990 secs
lola: 10495317 markings, 77543283 edges, 9439 markings/sec, 995 secs
lola: 10538289 markings, 77927796 edges, 8594 markings/sec, 1000 secs
lola: 10578580 markings, 78312690 edges, 8058 markings/sec, 1005 secs
lola: 10617952 markings, 78696834 edges, 7874 markings/sec, 1010 secs
lola: 10659668 markings, 79081425 edges, 8343 markings/sec, 1015 secs
lola: 10704287 markings, 79468921 edges, 8924 markings/sec, 1020 secs
lola: 10747036 markings, 79857740 edges, 8550 markings/sec, 1025 secs
lola: 10793998 markings, 80245243 edges, 9392 markings/sec, 1030 secs
lola: 10841878 markings, 80632654 edges, 9576 markings/sec, 1035 secs
lola: 10890198 markings, 81021240 edges, 9664 markings/sec, 1040 secs
lola: 10938489 markings, 81411026 edges, 9658 markings/sec, 1045 secs
lola: 10978181 markings, 81796441 edges, 7938 markings/sec, 1050 secs
lola: 11020028 markings, 82184418 edges, 8369 markings/sec, 1055 secs
lola: 11061281 markings, 82569298 edges, 8251 markings/sec, 1060 secs
lola: 11114183 markings, 82955702 edges, 10580 markings/sec, 1065 secs
lola: 11163956 markings, 83343254 edges, 9955 markings/sec, 1070 secs
lola: 11213623 markings, 83732716 edges, 9933 markings/sec, 1075 secs
lola: 11256888 markings, 84122127 edges, 8653 markings/sec, 1080 secs
lola: 11301374 markings, 84509878 edges, 8897 markings/sec, 1085 secs
lola: 11344837 markings, 84895112 edges, 8693 markings/sec, 1090 secs
lola: 11392479 markings, 85282937 edges, 9528 markings/sec, 1095 secs
lola: 11435682 markings, 85672134 edges, 8641 markings/sec, 1100 secs
lola: 11479478 markings, 86059784 edges, 8759 markings/sec, 1105 secs
lola: 11532252 markings, 86447036 edges, 10555 markings/sec, 1110 secs
lola: 11577737 markings, 86837005 edges, 9097 markings/sec, 1115 secs
lola: 11625421 markings, 87227129 edges, 9537 markings/sec, 1120 secs
lola: 11667134 markings, 87616686 edges, 8343 markings/sec, 1125 secs
lola: 11708288 markings, 88004624 edges, 8231 markings/sec, 1130 secs
lola: 11752482 markings, 88393208 edges, 8839 markings/sec, 1135 secs
lola: 11791861 markings, 88781146 edges, 7876 markings/sec, 1140 secs
lola: 11835424 markings, 89167810 edges, 8713 markings/sec, 1145 secs
lola: 11875329 markings, 89552426 edges, 7981 markings/sec, 1150 secs
lola: 11916067 markings, 89936061 edges, 8148 markings/sec, 1155 secs
lola: 11952893 markings, 90321768 edges, 7365 markings/sec, 1160 secs
lola: 11996158 markings, 90704615 edges, 8653 markings/sec, 1165 secs
lola: 12035156 markings, 91090318 edges, 7800 markings/sec, 1170 secs
lola: 12073595 markings, 91475438 edges, 7688 markings/sec, 1175 secs
lola: 12116966 markings, 91860018 edges, 8674 markings/sec, 1180 secs
lola: 12152995 markings, 92245016 edges, 7206 markings/sec, 1185 secs
lola: 12190656 markings, 92627848 edges, 7532 markings/sec, 1190 secs
lola: 12232917 markings, 93014203 edges, 8452 markings/sec, 1195 secs
lola: 12271609 markings, 93398201 edges, 7738 markings/sec, 1200 secs
lola: 12310262 markings, 93783362 edges, 7731 markings/sec, 1205 secs
lola: 12360693 markings, 94166169 edges, 10086 markings/sec, 1210 secs
lola: 12427360 markings, 94550697 edges, 13333 markings/sec, 1215 secs
lola: 12482298 markings, 94934728 edges, 10988 markings/sec, 1220 secs
lola: 12532943 markings, 95317851 edges, 10129 markings/sec, 1225 secs
lola: 12593231 markings, 95700941 edges, 12058 markings/sec, 1230 secs
lola: 12645998 markings, 96085782 edges, 10553 markings/sec, 1235 secs
lola: 12696632 markings, 96471802 edges, 10127 markings/sec, 1240 secs
lola: 12745350 markings, 96858913 edges, 9744 markings/sec, 1245 secs
lola: 12792065 markings, 97245009 edges, 9343 markings/sec, 1250 secs
lola: 12837596 markings, 97628061 edges, 9106 markings/sec, 1255 secs
lola: 12878286 markings, 98010115 edges, 8138 markings/sec, 1260 secs
lola: 12916734 markings, 98396771 edges, 7690 markings/sec, 1265 secs
lola: 12956610 markings, 98782367 edges, 7975 markings/sec, 1270 secs
lola: 13004516 markings, 99166392 edges, 9581 markings/sec, 1275 secs
lola: 13046967 markings, 99549835 edges, 8490 markings/sec, 1280 secs
lola: 13088248 markings, 99934473 edges, 8256 markings/sec, 1285 secs
lola: 13128309 markings, 100316001 edges, 8012 markings/sec, 1290 secs
lola: 13164553 markings, 100698058 edges, 7249 markings/sec, 1295 secs
lola: 13200175 markings, 101079691 edges, 7124 markings/sec, 1300 secs
lola: 13251577 markings, 101465317 edges, 10280 markings/sec, 1305 secs
lola: 13302262 markings, 101852258 edges, 10137 markings/sec, 1310 secs
lola: 13352801 markings, 102240342 edges, 10108 markings/sec, 1315 secs
lola: 13399689 markings, 102627358 edges, 9378 markings/sec, 1320 secs
lola: 13447612 markings, 103013093 edges, 9585 markings/sec, 1325 secs
lola: 13491249 markings, 103398903 edges, 8727 markings/sec, 1330 secs
lola: 13537737 markings, 103786654 edges, 9298 markings/sec, 1335 secs
lola: 13580903 markings, 104175811 edges, 8633 markings/sec, 1340 secs
lola: 13625362 markings, 104562717 edges, 8892 markings/sec, 1345 secs
lola: 13668909 markings, 104947458 edges, 8709 markings/sec, 1350 secs
lola: 13709795 markings, 105336287 edges, 8177 markings/sec, 1355 secs
lola: 13759202 markings, 105724937 edges, 9881 markings/sec, 1360 secs
lola: 13801616 markings, 106114175 edges, 8483 markings/sec, 1365 secs
lola: 13841240 markings, 106502277 edges, 7925 markings/sec, 1370 secs
lola: 13884947 markings, 106890378 edges, 8741 markings/sec, 1375 secs
lola: 13926102 markings, 107276519 edges, 8231 markings/sec, 1380 secs
lola: 13970567 markings, 107660617 edges, 8893 markings/sec, 1385 secs
lola: 14010240 markings, 108044868 edges, 7935 markings/sec, 1390 secs
lola: 14049593 markings, 108430241 edges, 7871 markings/sec, 1395 secs
lola: 14088715 markings, 108815085 edges, 7824 markings/sec, 1400 secs
lola: 14125187 markings, 109200263 edges, 7294 markings/sec, 1405 secs
lola: 14162153 markings, 109584364 edges, 7393 markings/sec, 1410 secs
lola: 14200252 markings, 109966431 edges, 7620 markings/sec, 1415 secs
lola: 14234623 markings, 110349748 edges, 6874 markings/sec, 1420 secs
lola: 14283679 markings, 110733486 edges, 9811 markings/sec, 1425 secs
lola: 14338236 markings, 111115982 edges, 10911 markings/sec, 1430 secs
lola: 14384388 markings, 111498666 edges, 9230 markings/sec, 1435 secs
lola: 14428251 markings, 111886625 edges, 8773 markings/sec, 1440 secs
lola: 14471347 markings, 112274685 edges, 8619 markings/sec, 1445 secs
lola: 14516237 markings, 112664613 edges, 8978 markings/sec, 1450 secs
lola: 14556882 markings, 113053218 edges, 8129 markings/sec, 1455 secs
lola: 14593100 markings, 113438718 edges, 7244 markings/sec, 1460 secs
lola: 14632151 markings, 113826315 edges, 7810 markings/sec, 1465 secs
lola: 14671346 markings, 114209916 edges, 7839 markings/sec, 1470 secs
lola: 14715610 markings, 114596510 edges, 8853 markings/sec, 1475 secs
lola: 14756202 markings, 114985865 edges, 8118 markings/sec, 1480 secs
lola: 14796762 markings, 115374379 edges, 8112 markings/sec, 1485 secs
lola: 14837228 markings, 115761995 edges, 8093 markings/sec, 1490 secs
lola: 14876441 markings, 116146883 edges, 7843 markings/sec, 1495 secs
lola: 14917794 markings, 116535064 edges, 8271 markings/sec, 1500 secs
lola: 14955059 markings, 116923769 edges, 7453 markings/sec, 1505 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no unknown no unknown no no unknown no no yes unknown
lola: time limit reached - aborting
lola:
preliminary result: no no no unknown no unknown no no unknown no no yes unknown
lola:
preliminary result: no no no unknown no unknown no no unknown no no yes unknown
lola: memory consumption: 4152432 KB
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola: time consumption: 3570 seconds
preliminary result: no no no unknown no unknown no no unknown no no yes unknown
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 4153248 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-030B"
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-030B, 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-162098230900142"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-030B.tgz
mv ShieldIIPs-PT-030B 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 ;