About the Execution of 2020-gold for ShieldIIPt-PT-010B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12876.991 | 3600000.00 | 3588376.00 | 10753.40 | FFF?FFT?FFFF?FFF | 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-162098231000214.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 ShieldIIPt-PT-010B, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098231000214
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 110K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K 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.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 12:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 12:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 17:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 17:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 167K 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 ShieldIIPt-PT-010B-00
FORMULA_NAME ShieldIIPt-PT-010B-01
FORMULA_NAME ShieldIIPt-PT-010B-02
FORMULA_NAME ShieldIIPt-PT-010B-03
FORMULA_NAME ShieldIIPt-PT-010B-04
FORMULA_NAME ShieldIIPt-PT-010B-05
FORMULA_NAME ShieldIIPt-PT-010B-06
FORMULA_NAME ShieldIIPt-PT-010B-07
FORMULA_NAME ShieldIIPt-PT-010B-08
FORMULA_NAME ShieldIIPt-PT-010B-09
FORMULA_NAME ShieldIIPt-PT-010B-10
FORMULA_NAME ShieldIIPt-PT-010B-11
FORMULA_NAME ShieldIIPt-PT-010B-12
FORMULA_NAME ShieldIIPt-PT-010B-13
FORMULA_NAME ShieldIIPt-PT-010B-14
FORMULA_NAME ShieldIIPt-PT-010B-15
=== Now, execution of the tool begins
BK_START 1621145037085
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 06:03:58] [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 06:03:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 06:03:58] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2021-05-16 06:03:58] [INFO ] Transformed 703 places.
[2021-05-16 06:03:58] [INFO ] Transformed 653 transitions.
[2021-05-16 06:03:58] [INFO ] Found NUPN structural information;
[2021-05-16 06:03:58] [INFO ] Parsed PT model containing 703 places and 653 transitions in 135 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 33 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 3853 steps, including 0 resets, run visited all 44 properties in 39 ms. (steps per millisecond=98 )
[2021-05-16 06:03:59] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-05-16 06:03:59] [INFO ] Flatten gal took : 84 ms
FORMULA ShieldIIPt-PT-010B-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPt-PT-010B-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 06:03:59] [INFO ] Applying decomposition
[2021-05-16 06:03:59] [INFO ] Flatten gal took : 34 ms
[2021-05-16 06:03:59] [INFO ] Decomposing Gal with order
[2021-05-16 06:03:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 06:03:59] [INFO ] Flatten gal took : 68 ms
[2021-05-16 06:03:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2021-05-16 06:03:59] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-16 06:03:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 8 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldIIPt-PT-010B @ 3570 seconds
FORMULA ShieldIIPt-PT-010B-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPt-PT-010B-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ShieldIIPt-PT-010B
{
"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 06:04:00 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X ((F (((1 <= p542))) U (X (G (((1 <= p498)))) OR ((1 <= p542)))))",
"processed_size": 66,
"rewrites": 91
},
"result":
{
"edges": 246,
"markings": 246,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X ((F (((1 <= p480))) U ((1 <= p695))))",
"processed_size": 39,
"rewrites": 91
},
"result":
{
"edges": 212,
"markings": 212,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 1,
"aneg": 3,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (G ((((1 <= p668) AND ((p679 <= 0))) R F ((X (((p668 <= 0))) OR G (((p617 <= 0))))))))",
"processed_size": 88,
"rewrites": 91
},
"result":
{
"edges": 707,
"markings": 659,
"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": 326
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 3,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 2,
"aneg": 3,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (((((p61 <= 0)) R X (G ((((p330 <= 0)) AND ((p61 <= 0)))))) R X (G (((1 <= p330))))))",
"processed_size": 87,
"rewrites": 91
},
"result":
{
"edges": 212,
"markings": 212,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 362
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 4,
"U": 1,
"X": 3,
"aconj": 4,
"adisj": 2,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X ((X ((((1 <= p260)) U ((1 <= p353)))) OR (X (F (((1 <= p353)))) AND F (G ((G (((p150 <= 0))) OR (G (((1 <= p304) AND (1 <= p306))) AND F (G (((p150 <= 0)))))))))))",
"processed_size": 165,
"rewrites": 91
},
"result":
{
"edges": 212,
"markings": 212,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 53
},
"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": 408
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 408
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((p574 <= 0))",
"processed_size": 13,
"rewrites": 93
},
"result":
{
"edges": 212,
"markings": 212,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 466
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 466
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((p55 <= 0))",
"processed_size": 12,
"rewrites": 91
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 8,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 560
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 2,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X ((G (((p208 <= 0))) AND ((p32 <= 0))))",
"processed_size": 40,
"rewrites": 91
},
"result":
{
"edges": 213,
"markings": 213,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 560
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 3,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 4,
"aneg": 3,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G ((X (F ((((1 <= p641)) OR ((1 <= p89))))) AND (G (F ((((1 <= p641)) OR ((1 <= p89))))) OR G (F (((p641 <= 0)))))))",
"processed_size": 118,
"rewrites": 91
},
"result":
{
"edges": 398,
"markings": 398,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 9,
"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": 700
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((p617 <= 0))",
"processed_size": 13,
"rewrites": 93
},
"result":
{
"edges": 212,
"markings": 212,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 933
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F ((F (G (((1 <= p587)))) AND G (F (((1 <= p541))))))",
"processed_size": 53,
"rewrites": 91
},
"result":
{
"edges": 209,
"markings": 209,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1400
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 3,
"U": 2,
"X": 0,
"aconj": 4,
"adisj": 1,
"aneg": 1,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "(F (((p580 <= 0) OR (p582 <= 0))) U (((1 <= p649) AND (1 <= p651)) U (G (((1 <= p540))) OR (G (((p642 <= 0) OR (p696 <= 0))) AND F (G (((1 <= p540))))))))",
"processed_size": 156,
"rewrites": 91
},
"result":
{
"edges": 209,
"markings": 209,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 38
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2800
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2800
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((1 <= p365))",
"processed_size": 13,
"rewrites": 91
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 13,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 12789396,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "X((F(**) U (X(G(**)) OR **))) : F((F(G(**)) AND G(F(**)))) : (X((F(**) U **)) AND (** U X(X(X(X(G(**))))))) : X(G((G(F(*)) OR G((X(F(*)) OR *))))) : X(G((* R F((X(*) OR G(*)))))) : (F(**) OR (F(G(*)) AND **)) : G(((* R X(G(*))) R X(G(*)))) : F(**) : X((X((** U **)) OR (X(F(**)) AND F(G((G(**) OR (G(**) AND F(G(**))))))))) : (F(**) AND X((X(*) OR (** OR **)))) : X(X(X(F(**)))) : (X((G(*) AND *)) AND (X(G(*)) OR **)) : (F(**) U (** U (G(**) OR (G(*) AND F(G(**)))))) : G((X(F(*)) AND (G(F(*)) OR G(F(*)))))"
},
"net":
{
"arcs": 1626,
"conflict_clusters": 583,
"places": 703,
"places_significant": 612,
"singleton_clusters": 0,
"transitions": 653
},
"result":
{
"interim_value": "no no no unknown no unknown no no no no unknown no no no ",
"preliminary_value": "no no no unknown no unknown no no no no unknown no no no "
},
"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: 1356/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 703
lola: finding significant places
lola: 703 places, 653 transitions, 612 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: (p542 <= 1)
lola: LP says that atomic proposition is always true: (p498 <= 1)
lola: LP says that atomic proposition is always true: (p542 <= 1)
lola: LP says that atomic proposition is always true: (p587 <= 1)
lola: LP says that atomic proposition is always true: (p587 <= 1)
lola: LP says that atomic proposition is always true: (p541 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p695 <= 1)
lola: LP says that atomic proposition is always true: (p474 <= 1)
lola: LP says that atomic proposition is always true: (p474 <= 1)
lola: LP says that atomic proposition is always true: (p277 <= 1)
lola: LP says that atomic proposition is always true: (p493 <= 1)
lola: LP says that atomic proposition is always true: (p277 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p668 <= 1)
lola: LP says that atomic proposition is always true: (p679 <= 1)
lola: LP says that atomic proposition is always true: (p668 <= 1)
lola: LP says that atomic proposition is always true: (p617 <= 1)
lola: LP says that atomic proposition is always true: (p159 <= 1)
lola: LP says that atomic proposition is always true: (p213 <= 1)
lola: LP says that atomic proposition is always true: (p365 <= 1)
lola: LP says that atomic proposition is always true: (p616 <= 1)
lola: LP says that atomic proposition is always true: (p365 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p330 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p330 <= 1)
lola: LP says that atomic proposition is always true: (p617 <= 1)
lola: LP says that atomic proposition is always true: (p304 <= 1)
lola: LP says that atomic proposition is always true: (p306 <= 1)
lola: LP says that atomic proposition is always true: (p150 <= 1)
lola: LP says that atomic proposition is always true: (p260 <= 1)
lola: LP says that atomic proposition is always true: (p353 <= 1)
lola: LP says that atomic proposition is always true: (p574 <= 1)
lola: LP says that atomic proposition is always true: (p419 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p419 <= 1)
lola: LP says that atomic proposition is always true: (p574 <= 1)
lola: LP says that atomic proposition is always true: (p670 <= 1)
lola: LP says that atomic proposition is always true: (p208 <= 1)
lola: LP says that atomic proposition is always true: (p32 <= 1)
lola: LP says that atomic proposition is always true: (p208 <= 1)
lola: LP says that atomic proposition is always true: (p186 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p580 <= 1)
lola: LP says that atomic proposition is always true: (p582 <= 1)
lola: LP says that atomic proposition is always true: (p649 <= 1)
lola: LP says that atomic proposition is always true: (p651 <= 1)
lola: LP says that atomic proposition is always true: (p642 <= 1)
lola: LP says that atomic proposition is always true: (p696 <= 1)
lola: LP says that atomic proposition is always true: (p540 <= 1)
lola: LP says that atomic proposition is always true: (p641 <= 1)
lola: LP says that atomic proposition is always true: (p641 <= 1)
lola: LP says that atomic proposition is always true: (p89 <= 1)
lola: X ((F (((1 <= p542))) U (X (G (((1 <= p498)))) OR ((1 <= p542))))) : F ((G (X (F (G (((1 <= p587)))))) AND G (F ((((1 <= p587)) U ((1 <= p541))))))) : (X ((F (((1 <= p480))) U ((1 <= p695)))) AND (((1 <= p474)) U G (X (G (X (X (X (((1 <= p474)))))))))) : NOT(F (X ((((1 <= p277)) U (F (G (((1 <= p493)))) AND F ((X (G (((1 <= p277)))) AND ((1 <= p65))))))))) : G (NOT(X ((((p668 <= 0) OR ((1 <= p679))) U G ((X (((1 <= p668))) AND F (((1 <= p617))))))))) : (F (((1 <= p159) AND (1 <= p213))) OR (G (NOT((F (((1 <= p365))) U G (F (((1 <= p616))))))) AND ((1 <= p365)))) : G (NOT(((((1 <= p61)) U F (X ((((1 <= p330)) OR ((1 <= p61)))))) U X (F (((p330 <= 0))))))) : F (((1 <= p617))) : X ((F (G ((G (((1 <= p304) AND (1 <= p306))) U G (((p150 <= 0)))))) U X ((((1 <= p260)) U ((1 <= p353)))))) : (F (((1 <= p574))) AND X (((NOT(X ((((1 <= p419)) OR ((1 <= p58))))) OR ((p419 <= 0))) OR ((p574 <= 0))))) : X (F (X (F (X (((1 <= p670))))))) : (NOT(X ((F (((1 <= p208))) OR ((1 <= p32))))) AND (NOT(F (X (F ((((1 <= p208)) U ((1 <= p186))))))) OR ((p55 <= 0)))) : (F (((p580 <= 0) OR (p582 <= 0))) U (((1 <= p649) AND (1 <= p651)) U (NOT(F (((1 <= p642) AND (1 <= p696)))) U G (((1 <= p540)))))) : NOT(F ((X (F (G (((1 <= p641))))) U X (G ((((p641 <= 0)) AND ((p89 <= 0))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:353
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:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:425
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:374
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((1 <= p542))) U (X (G (((1 <= p498)))) OR ((1 <= p542)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((1 <= p542))) U (X (G (((1 <= p498)))) OR ((1 <= p542)))))
lola: processed formula length: 66
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 246 markings, 246 edges
lola: ========================================
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((F (((1 <= p480))) U ((1 <= p695)))) AND (((1 <= p474)) U X (X (X (X (G (((1 <= p474)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((1 <= p480))) U ((1 <= p695))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((1 <= p480))) U ((1 <= p695))))
lola: processed formula length: 39
lola: 91 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: 212 markings, 212 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((G (F (((p493 <= 0)))) OR G ((X (F (((p277 <= 0)))) OR ((p65 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((G (F (((p493 <= 0)))) OR G ((X (F (((p277 <= 0)))) OR ((p65 <= 0)))))))
lola: processed formula length: 78
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 238565 markings, 659450 edges, 47713 markings/sec, 0 secs
lola: 545100 markings, 1336963 edges, 61307 markings/sec, 5 secs
lola: 800659 markings, 2024681 edges, 51112 markings/sec, 10 secs
lola: 1007839 markings, 2713374 edges, 41436 markings/sec, 15 secs
lola: 1238269 markings, 3398321 edges, 46086 markings/sec, 20 secs
lola: 1446954 markings, 4084475 edges, 41737 markings/sec, 25 secs
lola: 1647816 markings, 4770374 edges, 40172 markings/sec, 30 secs
lola: 1840087 markings, 5455439 edges, 38454 markings/sec, 35 secs
lola: 2019711 markings, 6141428 edges, 35925 markings/sec, 40 secs
lola: 2217597 markings, 6825173 edges, 39577 markings/sec, 45 secs
lola: 2397548 markings, 7510297 edges, 35990 markings/sec, 50 secs
lola: 2591284 markings, 8196760 edges, 38747 markings/sec, 55 secs
lola: 2786088 markings, 8884838 edges, 38961 markings/sec, 60 secs
lola: 2962038 markings, 9571662 edges, 35190 markings/sec, 65 secs
lola: 3164903 markings, 10253351 edges, 40573 markings/sec, 70 secs
lola: 3343989 markings, 10934983 edges, 35817 markings/sec, 75 secs
lola: 3525454 markings, 11619105 edges, 36293 markings/sec, 80 secs
lola: 3720072 markings, 12303664 edges, 38924 markings/sec, 85 secs
lola: 3895870 markings, 12989428 edges, 35160 markings/sec, 90 secs
lola: 4098039 markings, 13673806 edges, 40434 markings/sec, 95 secs
lola: 4277910 markings, 14358101 edges, 35974 markings/sec, 100 secs
lola: 4451675 markings, 15044354 edges, 34753 markings/sec, 105 secs
lola: 4626648 markings, 15727665 edges, 34995 markings/sec, 110 secs
lola: 4786196 markings, 16413890 edges, 31910 markings/sec, 115 secs
lola: 4951784 markings, 17096112 edges, 33118 markings/sec, 120 secs
lola: 5120249 markings, 17778588 edges, 33693 markings/sec, 125 secs
lola: 5277474 markings, 18463884 edges, 31445 markings/sec, 130 secs
lola: 5450010 markings, 19147998 edges, 34507 markings/sec, 135 secs
lola: 5620161 markings, 19833827 edges, 34030 markings/sec, 140 secs
lola: 5764865 markings, 20520700 edges, 28941 markings/sec, 145 secs
lola: 5949693 markings, 21205026 edges, 36966 markings/sec, 150 secs
lola: 6116359 markings, 21887880 edges, 33333 markings/sec, 155 secs
lola: 6265006 markings, 22572168 edges, 29729 markings/sec, 160 secs
lola: 6463258 markings, 23256308 edges, 39650 markings/sec, 165 secs
lola: 6649759 markings, 23941985 edges, 37300 markings/sec, 170 secs
lola: 6836537 markings, 24626498 edges, 37356 markings/sec, 175 secs
lola: 7028578 markings, 25309682 edges, 38408 markings/sec, 180 secs
lola: 7206622 markings, 25996135 edges, 35609 markings/sec, 185 secs
lola: 7380166 markings, 26677856 edges, 34709 markings/sec, 190 secs
lola: 7546923 markings, 27361709 edges, 33351 markings/sec, 195 secs
lola: 7701968 markings, 28045432 edges, 31009 markings/sec, 200 secs
lola: 7877893 markings, 28728662 edges, 35185 markings/sec, 205 secs
lola: 8039982 markings, 29412719 edges, 32418 markings/sec, 210 secs
lola: 8192731 markings, 30094962 edges, 30550 markings/sec, 215 secs
lola: 8375821 markings, 30781725 edges, 36618 markings/sec, 220 secs
lola: 8539796 markings, 31470296 edges, 32795 markings/sec, 225 secs
lola: 8700121 markings, 32154975 edges, 32065 markings/sec, 230 secs
lola: 8874936 markings, 32835568 edges, 34963 markings/sec, 235 secs
lola: 9033010 markings, 33516981 edges, 31615 markings/sec, 240 secs
lola: 9188343 markings, 34201234 edges, 31067 markings/sec, 245 secs
lola: 9363902 markings, 34883735 edges, 35112 markings/sec, 250 secs
lola: 9524060 markings, 35570078 edges, 32032 markings/sec, 255 secs
lola: 9688573 markings, 36251447 edges, 32903 markings/sec, 260 secs
lola: 9856694 markings, 36932967 edges, 33624 markings/sec, 265 secs
lola: 10014602 markings, 37617064 edges, 31582 markings/sec, 270 secs
lola: 10168001 markings, 38300270 edges, 30680 markings/sec, 275 secs
lola: 10322700 markings, 38981347 edges, 30940 markings/sec, 280 secs
lola: 10465460 markings, 39666135 edges, 28552 markings/sec, 285 secs
lola: 10610818 markings, 40347278 edges, 29072 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1566696 KB
lola: time consumption: 304 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 3 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((((1 <= p668) AND ((p679 <= 0))) R F ((X (((p668 <= 0))) OR G (((p617 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((((1 <= p668) AND ((p679 <= 0))) R F ((X (((p668 <= 0))) OR G (((p617 <= 0))))))))
lola: processed formula length: 88
lola: 91 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: add low 15
lola: add low 16
lola: add low 20
lola: add low 21
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: 659 markings, 707 edges
lola: ========================================
lola: subprocess 4 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((((p61 <= 0)) R X (G ((((p330 <= 0)) AND ((p61 <= 0)))))) R X (G (((1 <= p330))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((((p61 <= 0)) R X (G ((((p330 <= 0)) AND ((p61 <= 0)))))) R X (G (((1 <= p330))))))
lola: processed formula length: 87
lola: 91 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: 212 markings, 212 edges
lola: ========================================
lola: subprocess 5 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((((1 <= p260)) U ((1 <= p353)))) OR (X (F (((1 <= p353)))) AND F (G ((G (((p150 <= 0))) OR (G (((1 <= p304) AND (1 <= p306))) AND F (G (((p150 <= 0)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((((1 <= p260)) U ((1 <= p353)))) OR (X (F (((1 <= p353)))) AND F (G ((G (((p150 <= 0))) OR (G (((1 <= p304) AND (1 <= p306))) AND F (G (((p150 <= 0)))))))))))
lola: processed formula length: 165
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 53 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: 212 markings, 212 edges
lola: ========================================
lola: subprocess 6 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p574))) AND X ((X ((((p419 <= 0)) AND ((p58 <= 0)))) OR (((p419 <= 0)) OR ((p574 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p574)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p574 <= 0))
lola: processed formula length: 13
lola: 93 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 212 markings, 212 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (F (((1 <= p670))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (F (((1 <= p670))))))
lola: processed formula length: 29
lola: 91 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: 167186 markings, 673327 edges, 33437 markings/sec, 0 secs
lola: 323946 markings, 1351193 edges, 31352 markings/sec, 5 secs
lola: 466563 markings, 2028695 edges, 28523 markings/sec, 10 secs
lola: 608154 markings, 2708639 edges, 28318 markings/sec, 15 secs
lola: 751242 markings, 3386535 edges, 28618 markings/sec, 20 secs
lola: 891975 markings, 4068324 edges, 28147 markings/sec, 25 secs
lola: 1036259 markings, 4748475 edges, 28857 markings/sec, 30 secs
lola: 1177067 markings, 5431535 edges, 28162 markings/sec, 35 secs
lola: 1321035 markings, 6107873 edges, 28794 markings/sec, 40 secs
lola: 1459193 markings, 6788676 edges, 27632 markings/sec, 45 secs
lola: 1588526 markings, 7467550 edges, 25867 markings/sec, 50 secs
lola: 1712936 markings, 8149547 edges, 24882 markings/sec, 55 secs
lola: 1845092 markings, 8829459 edges, 26431 markings/sec, 60 secs
lola: 1968280 markings, 9511437 edges, 24638 markings/sec, 65 secs
lola: 2098833 markings, 10194963 edges, 26111 markings/sec, 70 secs
lola: 2224094 markings, 10877355 edges, 25052 markings/sec, 75 secs
lola: 2356833 markings, 11561449 edges, 26548 markings/sec, 80 secs
lola: 2499045 markings, 12239914 edges, 28442 markings/sec, 85 secs
lola: 2638096 markings, 12921956 edges, 27810 markings/sec, 90 secs
lola: 2765342 markings, 13601837 edges, 25449 markings/sec, 95 secs
lola: 2889149 markings, 14286070 edges, 24761 markings/sec, 100 secs
lola: 3021013 markings, 14967002 edges, 26373 markings/sec, 105 secs
lola: 3146199 markings, 15651036 edges, 25037 markings/sec, 110 secs
lola: 3277328 markings, 16334212 edges, 26226 markings/sec, 115 secs
lola: 3400822 markings, 17019275 edges, 24699 markings/sec, 120 secs
lola: 3538100 markings, 17703077 edges, 27456 markings/sec, 125 secs
lola: 3678469 markings, 18383649 edges, 28074 markings/sec, 130 secs
lola: 3817149 markings, 19066862 edges, 27736 markings/sec, 135 secs
lola: 3944745 markings, 19749459 edges, 25519 markings/sec, 140 secs
lola: 4069546 markings, 20435063 edges, 24960 markings/sec, 145 secs
lola: 4199232 markings, 21117594 edges, 25937 markings/sec, 150 secs
lola: 4324608 markings, 21803652 edges, 25075 markings/sec, 155 secs
lola: 4457351 markings, 22488341 edges, 26549 markings/sec, 160 secs
lola: 4581864 markings, 23175591 edges, 24903 markings/sec, 165 secs
lola: 4722278 markings, 23857648 edges, 28083 markings/sec, 170 secs
lola: 4859789 markings, 24536505 edges, 27502 markings/sec, 175 secs
lola: 4997551 markings, 25217271 edges, 27552 markings/sec, 180 secs
lola: 5122596 markings, 25898595 edges, 25009 markings/sec, 185 secs
lola: 5250965 markings, 26581559 edges, 25674 markings/sec, 190 secs
lola: 5378291 markings, 27262514 edges, 25465 markings/sec, 195 secs
lola: 5501724 markings, 27946868 edges, 24687 markings/sec, 200 secs
lola: 5634167 markings, 28629345 edges, 26489 markings/sec, 205 secs
lola: 5759482 markings, 29315878 edges, 25063 markings/sec, 210 secs
lola: 5890704 markings, 29997059 edges, 26244 markings/sec, 215 secs
lola: 6012863 markings, 30677497 edges, 24432 markings/sec, 220 secs
lola: 6137709 markings, 31358924 edges, 24969 markings/sec, 225 secs
lola: 6252075 markings, 32040357 edges, 22873 markings/sec, 230 secs
lola: 6363849 markings, 32724653 edges, 22355 markings/sec, 235 secs
lola: 6483521 markings, 33405812 edges, 23934 markings/sec, 240 secs
lola: 6594269 markings, 34090229 edges, 22150 markings/sec, 245 secs
lola: 6712011 markings, 34775601 edges, 23548 markings/sec, 250 secs
lola: 6827310 markings, 35460195 edges, 23060 markings/sec, 255 secs
lola: 6940187 markings, 36148505 edges, 22575 markings/sec, 260 secs
lola: 7069989 markings, 36829680 edges, 25960 markings/sec, 265 secs
lola: 7194127 markings, 37512143 edges, 24828 markings/sec, 270 secs
lola: 7317034 markings, 38196367 edges, 24581 markings/sec, 275 secs
lola: 7430736 markings, 38879718 edges, 22740 markings/sec, 280 secs
lola: 7543831 markings, 39567213 edges, 22619 markings/sec, 285 secs
lola: 7662346 markings, 40249838 edges, 23703 markings/sec, 290 secs
lola: 7775272 markings, 40935737 edges, 22585 markings/sec, 295 secs
lola: 7893326 markings, 41621998 edges, 23611 markings/sec, 300 secs
lola: 8007646 markings, 42307820 edges, 22864 markings/sec, 305 secs
lola: 8120808 markings, 42997766 edges, 22632 markings/sec, 310 secs
lola: 8251830 markings, 43679113 edges, 26204 markings/sec, 315 secs
lola: 8376873 markings, 44364111 edges, 25009 markings/sec, 320 secs
lola: 8499199 markings, 45047723 edges, 24465 markings/sec, 325 secs
lola: 8611018 markings, 45732848 edges, 22364 markings/sec, 330 secs
lola: 8727847 markings, 46419389 edges, 23366 markings/sec, 335 secs
lola: 8842588 markings, 47103499 edges, 22948 markings/sec, 340 secs
lola: 8956249 markings, 47790573 edges, 22732 markings/sec, 345 secs
lola: 9076240 markings, 48478226 edges, 23998 markings/sec, 350 secs
lola: 9188987 markings, 49167285 edges, 22549 markings/sec, 355 secs
lola: 9313154 markings, 49855338 edges, 24833 markings/sec, 360 secs
lola: 9455575 markings, 50534263 edges, 28484 markings/sec, 365 secs
lola: 9594517 markings, 51216324 edges, 27788 markings/sec, 370 secs
lola: 9722024 markings, 51897185 edges, 25501 markings/sec, 375 secs
lola: 9845928 markings, 52581730 edges, 24781 markings/sec, 380 secs
lola: 9977707 markings, 53262562 edges, 26356 markings/sec, 385 secs
lola: 10103017 markings, 53947028 edges, 25062 markings/sec, 390 secs
lola: 10234376 markings, 54631396 edges, 26272 markings/sec, 395 secs
lola: 10357955 markings, 55316900 edges, 24716 markings/sec, 400 secs
lola: 10488693 markings, 56001400 edges, 26148 markings/sec, 405 secs
lola: 10615039 markings, 56682025 edges, 25269 markings/sec, 410 secs
lola: 10738777 markings, 57365734 edges, 24748 markings/sec, 415 secs
lola: 10856064 markings, 58047184 edges, 23457 markings/sec, 420 secs
lola: 10969392 markings, 58731675 edges, 22666 markings/sec, 425 secs
lola: 11086760 markings, 59415677 edges, 23474 markings/sec, 430 secs
lola: 11200200 markings, 60098424 edges, 22688 markings/sec, 435 secs
lola: 11313467 markings, 60785376 edges, 22653 markings/sec, 440 secs
lola: 11432100 markings, 61469624 edges, 23727 markings/sec, 445 secs
lola: 11545294 markings, 62157141 edges, 22639 markings/sec, 450 secs
lola: 11671099 markings, 62841545 edges, 25161 markings/sec, 455 secs
lola: 11795531 markings, 63523495 edges, 24886 markings/sec, 460 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no unknown no unknown no no unknown unknown unknown unknown
lola: memory consumption: 1836484 KB
lola: time consumption: 770 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 8 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((G (((p208 <= 0))) AND ((p32 <= 0)))) AND (X (G (((p186 <= 0)))) OR ((p55 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p55 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p55 <= 0))
lola: processed formula length: 12
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 560 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G (((p208 <= 0))) AND ((p32 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G (((p208 <= 0))) AND ((p32 <= 0))))
lola: processed formula length: 40
lola: 91 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: 213 markings, 213 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 560 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (F ((((1 <= p641)) OR ((1 <= p89))))) AND (G (F ((((1 <= p641)) OR ((1 <= p89))))) OR G (F (((p641 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (F ((((1 <= p641)) OR ((1 <= p89))))) AND (G (F ((((1 <= p641)) OR ((1 <= p89))))) OR G (F (((p641 <= 0)))))))
lola: processed formula length: 118
lola: 91 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: 398 markings, 398 edges
lola: ========================================
lola: subprocess 10 will run for 700 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p617)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p617 <= 0))
lola: processed formula length: 13
lola: 93 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 212 markings, 212 edges
lola: ========================================
lola: subprocess 11 will run for 933 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (G (((1 <= p587)))) AND G (F (((1 <= p541))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (G (((1 <= p587)))) AND G (F (((1 <= p541))))))
lola: processed formula length: 53
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 209 markings, 209 edges
lola: ========================================
lola: subprocess 12 will run for 1400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((p580 <= 0) OR (p582 <= 0))) U (((1 <= p649) AND (1 <= p651)) U (G (((1 <= p540))) OR (G (((p642 <= 0) OR (p696 <= 0))) AND F (G (((1 <= p540))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F (((p580 <= 0) OR (p582 <= 0))) U (((1 <= p649) AND (1 <= p651)) U (G (((1 <= p540))) OR (G (((p642 <= 0) OR (p696 <= 0))) AND F (G (((1 <= p540))))))))
lola: processed formula length: 156
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 38 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: 209 markings, 209 edges
lola: ========================================
lola: subprocess 13 will run for 2800 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p159) AND (1 <= p213))) OR (F (G (((p616 <= 0)))) AND ((1 <= p365))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 2800 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p365))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p365))
lola: processed formula length: 13
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (G ((G (F (((p493 <= 0)))) OR G ((X (F (((p277 <= 0)))) OR ((p65 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((G (F (((p493 <= 0)))) OR G ((X (F (((p277 <= 0)))) OR ((p65 <= 0)))))))
lola: processed formula length: 78
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 238619 markings, 659616 edges, 47724 markings/sec, 0 secs
lola: 544280 markings, 1335608 edges, 61132 markings/sec, 5 secs
lola: 799600 markings, 2021823 edges, 51064 markings/sec, 10 secs
lola: 1007483 markings, 2709260 edges, 41577 markings/sec, 15 secs
lola: 1236361 markings, 3392652 edges, 45776 markings/sec, 20 secs
lola: 1444763 markings, 4077228 edges, 41680 markings/sec, 25 secs
lola: 1645187 markings, 4762226 edges, 40085 markings/sec, 30 secs
lola: 1837653 markings, 5446443 edges, 38493 markings/sec, 35 secs
lola: 2016751 markings, 6131677 edges, 35820 markings/sec, 40 secs
lola: 2215337 markings, 6815229 edges, 39717 markings/sec, 45 secs
lola: 2394676 markings, 7499467 edges, 35868 markings/sec, 50 secs
lola: 2587710 markings, 8185872 edges, 38607 markings/sec, 55 secs
lola: 2783063 markings, 8873289 edges, 39071 markings/sec, 60 secs
lola: 2957947 markings, 9559600 edges, 34977 markings/sec, 65 secs
lola: 3161263 markings, 10240598 edges, 40663 markings/sec, 70 secs
lola: 3340499 markings, 10921759 edges, 35847 markings/sec, 75 secs
lola: 3520636 markings, 11604952 edges, 36027 markings/sec, 80 secs
lola: 3715726 markings, 12288089 edges, 39018 markings/sec, 85 secs
lola: 3890170 markings, 12972490 edges, 34889 markings/sec, 90 secs
lola: 4092398 markings, 13654408 edges, 40446 markings/sec, 95 secs
lola: 4271928 markings, 14335806 edges, 35906 markings/sec, 100 secs
lola: 4445223 markings, 15019964 edges, 34659 markings/sec, 105 secs
lola: 4619827 markings, 15700859 edges, 34921 markings/sec, 110 secs
lola: 4779805 markings, 16386030 edges, 31996 markings/sec, 115 secs
lola: 4944618 markings, 17066369 edges, 32963 markings/sec, 120 secs
lola: 5112388 markings, 17747396 edges, 33554 markings/sec, 125 secs
lola: 5269632 markings, 18430787 edges, 31449 markings/sec, 130 secs
lola: 5440555 markings, 19114621 edges, 34185 markings/sec, 135 secs
lola: 5612030 markings, 19799839 edges, 34295 markings/sec, 140 secs
lola: 5762743 markings, 20485273 edges, 30143 markings/sec, 145 secs
lola: 5941130 markings, 21167191 edges, 35677 markings/sec, 150 secs
lola: 6106930 markings, 21847440 edges, 33160 markings/sec, 155 secs
lola: 6260530 markings, 22530160 edges, 30720 markings/sec, 160 secs
lola: 6450788 markings, 23212287 edges, 38052 markings/sec, 165 secs
lola: 6637537 markings, 23896125 edges, 37350 markings/sec, 170 secs
lola: 6822297 markings, 24579721 edges, 36952 markings/sec, 175 secs
lola: 7015165 markings, 25260876 edges, 38574 markings/sec, 180 secs
lola: 7193539 markings, 25945045 edges, 35675 markings/sec, 185 secs
lola: 7367040 markings, 26627679 edges, 34700 markings/sec, 190 secs
lola: 7534710 markings, 27309827 edges, 33534 markings/sec, 195 secs
lola: 7686527 markings, 27992717 edges, 30363 markings/sec, 200 secs
lola: 7864053 markings, 28675279 edges, 35505 markings/sec, 205 secs
lola: 8027250 markings, 29357788 edges, 32639 markings/sec, 210 secs
lola: 8173853 markings, 30038225 edges, 29321 markings/sec, 215 secs
lola: 8361773 markings, 30723865 edges, 37584 markings/sec, 220 secs
lola: 8525999 markings, 31411471 edges, 32845 markings/sec, 225 secs
lola: 8684402 markings, 32095234 edges, 31681 markings/sec, 230 secs
lola: 8859781 markings, 32774391 edges, 35076 markings/sec, 235 secs
lola: 9018624 markings, 33454702 edges, 31769 markings/sec, 240 secs
lola: 9170600 markings, 34134367 edges, 30395 markings/sec, 245 secs
lola: 9346540 markings, 34815514 edges, 35188 markings/sec, 250 secs
lola: 9507285 markings, 35498903 edges, 32149 markings/sec, 255 secs
lola: 9669811 markings, 36179725 edges, 32505 markings/sec, 260 secs
lola: 9839924 markings, 36858099 edges, 34023 markings/sec, 265 secs
lola: 9997560 markings, 37540104 edges, 31527 markings/sec, 270 secs
lola: 10149908 markings, 38222105 edges, 30470 markings/sec, 275 secs
lola: 10304988 markings, 38901634 edges, 31016 markings/sec, 280 secs
lola: 10448534 markings, 39583039 edges, 28709 markings/sec, 285 secs
lola: 10591070 markings, 40263238 edges, 28507 markings/sec, 290 secs
lola: 10745329 markings, 40942060 edges, 30852 markings/sec, 295 secs
lola: 10888844 markings, 41623926 edges, 28703 markings/sec, 300 secs
lola: 11018507 markings, 42301834 edges, 25933 markings/sec, 305 secs
lola: 11185872 markings, 42984571 edges, 33473 markings/sec, 310 secs
lola: 11334619 markings, 43669126 edges, 29749 markings/sec, 315 secs
lola: 11465172 markings, 44352623 edges, 26111 markings/sec, 320 secs
lola: 11626880 markings, 45034010 edges, 32342 markings/sec, 325 secs
lola: 11775956 markings, 45713337 edges, 29815 markings/sec, 330 secs
lola: 11916263 markings, 46395096 edges, 28061 markings/sec, 335 secs
lola: 12088708 markings, 47076009 edges, 34489 markings/sec, 340 secs
lola: 12283056 markings, 47756947 edges, 38870 markings/sec, 345 secs
lola: 12456924 markings, 48439403 edges, 34774 markings/sec, 350 secs
lola: 12659176 markings, 49121256 edges, 40450 markings/sec, 355 secs
lola: 12838767 markings, 49803168 edges, 35918 markings/sec, 360 secs
lola: 13012143 markings, 50487718 edges, 34675 markings/sec, 365 secs
lola: 13187066 markings, 51170007 edges, 34985 markings/sec, 370 secs
lola: 13347289 markings, 51856151 edges, 32045 markings/sec, 375 secs
lola: 13511952 markings, 52535821 edges, 32933 markings/sec, 380 secs
lola: 13679650 markings, 53216121 edges, 33540 markings/sec, 385 secs
lola: 13836658 markings, 53898780 edges, 31402 markings/sec, 390 secs
lola: 14007816 markings, 54582601 edges, 34232 markings/sec, 395 secs
lola: 14179691 markings, 55266747 edges, 34375 markings/sec, 400 secs
lola: 14329346 markings, 55952725 edges, 29931 markings/sec, 405 secs
lola: 14506804 markings, 56633838 edges, 35492 markings/sec, 410 secs
lola: 14672317 markings, 57312493 edges, 33103 markings/sec, 415 secs
lola: 14827153 markings, 57995447 edges, 30967 markings/sec, 420 secs
lola: 14994531 markings, 58674936 edges, 33476 markings/sec, 425 secs
lola: 15160911 markings, 59355664 edges, 33276 markings/sec, 430 secs
lola: 15314287 markings, 60036157 edges, 30675 markings/sec, 435 secs
lola: 15489947 markings, 60716371 edges, 35132 markings/sec, 440 secs
lola: 15652201 markings, 61398472 edges, 32451 markings/sec, 445 secs
lola: 15799344 markings, 62078447 edges, 29429 markings/sec, 450 secs
lola: 15960329 markings, 62759489 edges, 32197 markings/sec, 455 secs
lola: 16108369 markings, 63440412 edges, 29608 markings/sec, 460 secs
lola: 16240563 markings, 64120137 edges, 26439 markings/sec, 465 secs
lola: 16400205 markings, 64802140 edges, 31928 markings/sec, 470 secs
lola: 16548392 markings, 65482318 edges, 29637 markings/sec, 475 secs
lola: 16688568 markings, 66165433 edges, 28035 markings/sec, 480 secs
lola: 16838760 markings, 66847858 edges, 30038 markings/sec, 485 secs
lola: 16995093 markings, 67529238 edges, 31267 markings/sec, 490 secs
lola: 17137345 markings, 68213865 edges, 28450 markings/sec, 495 secs
lola: 17279859 markings, 68893288 edges, 28503 markings/sec, 500 secs
lola: 17433837 markings, 69571640 edges, 30796 markings/sec, 505 secs
lola: 17576330 markings, 70251434 edges, 28499 markings/sec, 510 secs
lola: 17718240 markings, 70930121 edges, 28382 markings/sec, 515 secs
lola: 17899854 markings, 71610047 edges, 36323 markings/sec, 520 secs
lola: 18063296 markings, 72289744 edges, 32688 markings/sec, 525 secs
lola: 18221567 markings, 72969977 edges, 31654 markings/sec, 530 secs
lola: 18395296 markings, 73649034 edges, 34746 markings/sec, 535 secs
lola: 18553416 markings, 74329670 edges, 31624 markings/sec, 540 secs
lola: 18704964 markings, 75010560 edges, 30310 markings/sec, 545 secs
lola: 18861725 markings, 75692230 edges, 31352 markings/sec, 550 secs
lola: 19008320 markings, 76374693 edges, 29319 markings/sec, 555 secs
lola: 19147166 markings, 77055591 edges, 27769 markings/sec, 560 secs
lola: 19302621 markings, 77736336 edges, 31091 markings/sec, 565 secs
lola: 19448729 markings, 78416708 edges, 29222 markings/sec, 570 secs
lola: 19588823 markings, 79097841 edges, 28019 markings/sec, 575 secs
lola: 19742319 markings, 79779511 edges, 30699 markings/sec, 580 secs
lola: 19895404 markings, 80461494 edges, 30617 markings/sec, 585 secs
lola: 20037718 markings, 81147174 edges, 28463 markings/sec, 590 secs
lola: 20183152 markings, 81825875 edges, 29087 markings/sec, 595 secs
lola: 20334969 markings, 82504124 edges, 30363 markings/sec, 600 secs
lola: 20475725 markings, 83182963 edges, 28151 markings/sec, 605 secs
lola: 20612267 markings, 83863880 edges, 27308 markings/sec, 610 secs
lola: 20768138 markings, 84543926 edges, 31174 markings/sec, 615 secs
lola: 20913498 markings, 85223619 edges, 29072 markings/sec, 620 secs
lola: 21052849 markings, 85904224 edges, 27870 markings/sec, 625 secs
lola: 21208053 markings, 86583979 edges, 31041 markings/sec, 630 secs
lola: 21353866 markings, 87263907 edges, 29163 markings/sec, 635 secs
lola: 21493471 markings, 87943880 edges, 27921 markings/sec, 640 secs
lola: 21630347 markings, 88622773 edges, 27375 markings/sec, 645 secs
lola: 21767621 markings, 89300436 edges, 27455 markings/sec, 650 secs
lola: 21896182 markings, 89980269 edges, 25712 markings/sec, 655 secs
lola: 22023451 markings, 90659003 edges, 25454 markings/sec, 660 secs
lola: 22162161 markings, 91337635 edges, 27742 markings/sec, 665 secs
lola: 22294114 markings, 92017350 edges, 26391 markings/sec, 670 secs
lola: 22420504 markings, 92696802 edges, 25278 markings/sec, 675 secs
lola: 22554706 markings, 93376421 edges, 26840 markings/sec, 680 secs
lola: 22695571 markings, 94056392 edges, 28173 markings/sec, 685 secs
lola: 22825440 markings, 94736605 edges, 25974 markings/sec, 690 secs
lola: 22948108 markings, 95417724 edges, 24534 markings/sec, 695 secs
lola: 23090159 markings, 96096504 edges, 28410 markings/sec, 700 secs
lola: 23223440 markings, 96773210 edges, 26656 markings/sec, 705 secs
lola: 23349633 markings, 97452014 edges, 25239 markings/sec, 710 secs
lola: 23503277 markings, 98131827 edges, 30729 markings/sec, 715 secs
lola: 23701287 markings, 98814862 edges, 39602 markings/sec, 720 secs
lola: 23869260 markings, 99497928 edges, 33595 markings/sec, 725 secs
lola: 24075592 markings, 100180670 edges, 41266 markings/sec, 730 secs
lola: 24257581 markings, 100862646 edges, 36398 markings/sec, 735 secs
lola: 24430253 markings, 101545262 edges, 34534 markings/sec, 740 secs
lola: 24605391 markings, 102226216 edges, 35028 markings/sec, 745 secs
lola: 24765721 markings, 102910135 edges, 32066 markings/sec, 750 secs
lola: 24928958 markings, 103590235 edges, 32647 markings/sec, 755 secs
lola: 25098337 markings, 104270391 edges, 33876 markings/sec, 760 secs
lola: 25255658 markings, 104952234 edges, 31464 markings/sec, 765 secs
lola: 25424045 markings, 105635934 edges, 33677 markings/sec, 770 secs
lola: 25598531 markings, 106318309 edges, 34897 markings/sec, 775 secs
lola: 25757295 markings, 107005892 edges, 31753 markings/sec, 780 secs
lola: 25923184 markings, 107685459 edges, 33178 markings/sec, 785 secs
lola: 26090780 markings, 108365719 edges, 33519 markings/sec, 790 secs
lola: 26247606 markings, 109048921 edges, 31365 markings/sec, 795 secs
lola: 26412257 markings, 109730086 edges, 32930 markings/sec, 800 secs
lola: 26580104 markings, 110411382 edges, 33569 markings/sec, 805 secs
lola: 26729933 markings, 111093299 edges, 29966 markings/sec, 810 secs
lola: 26908294 markings, 111774552 edges, 35672 markings/sec, 815 secs
lola: 27071522 markings, 112454857 edges, 32646 markings/sec, 820 secs
lola: 27218347 markings, 113134196 edges, 29365 markings/sec, 825 secs
lola: 27380182 markings, 113814890 edges, 32367 markings/sec, 830 secs
lola: 27529037 markings, 114495376 edges, 29771 markings/sec, 835 secs
lola: 27664253 markings, 115175079 edges, 27043 markings/sec, 840 secs
lola: 27819072 markings, 115855025 edges, 30964 markings/sec, 845 secs
lola: 27968014 markings, 116533568 edges, 29788 markings/sec, 850 secs
lola: 28107992 markings, 117214474 edges, 27996 markings/sec, 855 secs
lola: 28255960 markings, 117896124 edges, 29594 markings/sec, 860 secs
lola: 28413581 markings, 118577347 edges, 31524 markings/sec, 865 secs
lola: 28556753 markings, 119261473 edges, 28634 markings/sec, 870 secs
lola: 28697386 markings, 119940982 edges, 28127 markings/sec, 875 secs
lola: 28853414 markings, 120618833 edges, 31206 markings/sec, 880 secs
lola: 28996622 markings, 121299718 edges, 28642 markings/sec, 885 secs
lola: 29119985 markings, 121975070 edges, 24673 markings/sec, 890 secs
lola: 29304495 markings, 122656644 edges, 36902 markings/sec, 895 secs
lola: 29468965 markings, 123337788 edges, 32894 markings/sec, 900 secs
lola: 29626774 markings, 124019395 edges, 31562 markings/sec, 905 secs
lola: 29801019 markings, 124698962 edges, 34849 markings/sec, 910 secs
lola: 29959742 markings, 125380191 edges, 31745 markings/sec, 915 secs
lola: 30110574 markings, 126059925 edges, 30166 markings/sec, 920 secs
lola: 30267140 markings, 126739731 edges, 31313 markings/sec, 925 secs
lola: 30414165 markings, 127419845 edges, 29405 markings/sec, 930 secs
lola: 30550850 markings, 128099076 edges, 27337 markings/sec, 935 secs
lola: 30706696 markings, 128777951 edges, 31169 markings/sec, 940 secs
lola: 30852901 markings, 129455930 edges, 29241 markings/sec, 945 secs
lola: 30992349 markings, 130135350 edges, 27890 markings/sec, 950 secs
lola: 31144309 markings, 130814954 edges, 30392 markings/sec, 955 secs
lola: 31298088 markings, 131496240 edges, 30756 markings/sec, 960 secs
lola: 31441450 markings, 132184287 edges, 28672 markings/sec, 965 secs
lola: 31585524 markings, 132860652 edges, 28815 markings/sec, 970 secs
lola: 31738518 markings, 133536005 edges, 30599 markings/sec, 975 secs
lola: 31878162 markings, 134211718 edges, 27929 markings/sec, 980 secs
lola: 32012043 markings, 134889366 edges, 26776 markings/sec, 985 secs
lola: 32167737 markings, 135565813 edges, 31139 markings/sec, 990 secs
lola: 32314278 markings, 136243428 edges, 29308 markings/sec, 995 secs
lola: 32450069 markings, 136919229 edges, 27158 markings/sec, 1000 secs
lola: 32605665 markings, 137596777 edges, 31119 markings/sec, 1005 secs
lola: 32751438 markings, 138272671 edges, 29155 markings/sec, 1010 secs
lola: 32890633 markings, 138950767 edges, 27839 markings/sec, 1015 secs
lola: 33026426 markings, 139625800 edges, 27159 markings/sec, 1020 secs
lola: 33164364 markings, 140300300 edges, 27588 markings/sec, 1025 secs
lola: 33292702 markings, 140975855 edges, 25668 markings/sec, 1030 secs
lola: 33417881 markings, 141650472 edges, 25036 markings/sec, 1035 secs
lola: 33556552 markings, 142327011 edges, 27734 markings/sec, 1040 secs
lola: 33688655 markings, 143002389 edges, 26421 markings/sec, 1045 secs
lola: 33814164 markings, 143677891 edges, 25102 markings/sec, 1050 secs
lola: 33945498 markings, 144354386 edges, 26267 markings/sec, 1055 secs
lola: 34086468 markings, 145033775 edges, 28194 markings/sec, 1060 secs
lola: 34217300 markings, 145716383 edges, 26166 markings/sec, 1065 secs
lola: 34337077 markings, 146397229 edges, 23955 markings/sec, 1070 secs
lola: 34481538 markings, 147072594 edges, 28892 markings/sec, 1075 secs
lola: 34616773 markings, 147746312 edges, 27047 markings/sec, 1080 secs
lola: 34742377 markings, 148421942 edges, 25121 markings/sec, 1085 secs
lola: 34899616 markings, 149100551 edges, 31448 markings/sec, 1090 secs
lola: 35110840 markings, 149784935 edges, 42245 markings/sec, 1095 secs
lola: 35294637 markings, 150469432 edges, 36759 markings/sec, 1100 secs
lola: 35482560 markings, 151150401 edges, 37585 markings/sec, 1105 secs
lola: 35671692 markings, 151829000 edges, 37826 markings/sec, 1110 secs
lola: 35844606 markings, 152508842 edges, 34583 markings/sec, 1115 secs
lola: 36020591 markings, 153188323 edges, 35197 markings/sec, 1120 secs
lola: 36186006 markings, 153868312 edges, 33083 markings/sec, 1125 secs
lola: 36340718 markings, 154546789 edges, 30942 markings/sec, 1130 secs
lola: 36514668 markings, 155223738 edges, 34790 markings/sec, 1135 secs
lola: 36675108 markings, 155901658 edges, 32088 markings/sec, 1140 secs
lola: 36826338 markings, 156575999 edges, 30246 markings/sec, 1145 secs
lola: 37007695 markings, 157255163 edges, 36271 markings/sec, 1150 secs
lola: 37170176 markings, 157933471 edges, 32496 markings/sec, 1155 secs
lola: 37325800 markings, 158608223 edges, 31125 markings/sec, 1160 secs
lola: 37498487 markings, 159277593 edges, 34537 markings/sec, 1165 secs
lola: 37653731 markings, 159946838 edges, 31049 markings/sec, 1170 secs
lola: 37805589 markings, 160621052 edges, 30372 markings/sec, 1175 secs
lola: 37980422 markings, 161299655 edges, 34967 markings/sec, 1180 secs
lola: 38140409 markings, 161980139 edges, 31997 markings/sec, 1185 secs
lola: 38301924 markings, 162656057 edges, 32303 markings/sec, 1190 secs
lola: 38471256 markings, 163331030 edges, 33866 markings/sec, 1195 secs
lola: 38627579 markings, 164007661 edges, 31265 markings/sec, 1200 secs
lola: 38778948 markings, 164685291 edges, 30274 markings/sec, 1205 secs
lola: 38933320 markings, 165360777 edges, 30874 markings/sec, 1210 secs
lola: 39076126 markings, 166037577 edges, 28561 markings/sec, 1215 secs
lola: 39216854 markings, 166713060 edges, 28146 markings/sec, 1220 secs
lola: 39370086 markings, 167387031 edges, 30646 markings/sec, 1225 secs
lola: 39513073 markings, 168063321 edges, 28597 markings/sec, 1230 secs
lola: 39646372 markings, 168737057 edges, 26660 markings/sec, 1235 secs
lola: 39805999 markings, 169411948 edges, 31925 markings/sec, 1240 secs
lola: 39955112 markings, 170086089 edges, 29823 markings/sec, 1245 secs
lola: 40092108 markings, 170763719 edges, 27399 markings/sec, 1250 secs
lola: 40240347 markings, 171431138 edges, 29648 markings/sec, 1255 secs
lola: 40388070 markings, 172098733 edges, 29545 markings/sec, 1260 secs
lola: 40526740 markings, 172765921 edges, 27734 markings/sec, 1265 secs
lola: 40680555 markings, 173437017 edges, 30763 markings/sec, 1270 secs
lola: 40855672 markings, 174115932 edges, 35023 markings/sec, 1275 secs
lola: 41016005 markings, 174797195 edges, 32067 markings/sec, 1280 secs
lola: 41178032 markings, 175475909 edges, 32405 markings/sec, 1285 secs
lola: 41347746 markings, 176152370 edges, 33943 markings/sec, 1290 secs
lola: 41504697 markings, 176831722 edges, 31390 markings/sec, 1295 secs
lola: 41656956 markings, 177513433 edges, 30452 markings/sec, 1300 secs
lola: 41812027 markings, 178192143 edges, 31014 markings/sec, 1305 secs
lola: 41955475 markings, 178872617 edges, 28690 markings/sec, 1310 secs
lola: 42097707 markings, 179552316 edges, 28446 markings/sec, 1315 secs
lola: 42251715 markings, 180230865 edges, 30802 markings/sec, 1320 secs
lola: 42395394 markings, 180911940 edges, 28736 markings/sec, 1325 secs
lola: 42526366 markings, 181589381 edges, 26194 markings/sec, 1330 secs
lola: 42691557 markings, 182271293 edges, 33038 markings/sec, 1335 secs
lola: 42841256 markings, 182952630 edges, 29940 markings/sec, 1340 secs
lola: 42972982 markings, 183633624 edges, 26345 markings/sec, 1345 secs
lola: 43130409 markings, 184313894 edges, 31485 markings/sec, 1350 secs
lola: 43280560 markings, 184992520 edges, 30030 markings/sec, 1355 secs
lola: 43420310 markings, 185673066 edges, 27950 markings/sec, 1360 secs
lola: 43560765 markings, 186352493 edges, 28091 markings/sec, 1365 secs
lola: 43715276 markings, 187029732 edges, 30902 markings/sec, 1370 secs
lola: 43858222 markings, 187709011 edges, 28589 markings/sec, 1375 secs
lola: 44000340 markings, 188387110 edges, 28424 markings/sec, 1380 secs
lola: 44154245 markings, 189064587 edges, 30781 markings/sec, 1385 secs
lola: 44297590 markings, 189745651 edges, 28669 markings/sec, 1390 secs
lola: 44427316 markings, 190421979 edges, 25945 markings/sec, 1395 secs
lola: 44572874 markings, 191099796 edges, 29112 markings/sec, 1400 secs
lola: 44707904 markings, 191774454 edges, 27006 markings/sec, 1405 secs
lola: 44835811 markings, 192454401 edges, 25581 markings/sec, 1410 secs
lola: 44964948 markings, 193128700 edges, 25827 markings/sec, 1415 secs
lola: 45102681 markings, 193804506 edges, 27547 markings/sec, 1420 secs
lola: 45232292 markings, 194483400 edges, 25922 markings/sec, 1425 secs
lola: 45358346 markings, 195161101 edges, 25211 markings/sec, 1430 secs
lola: 45494970 markings, 195837891 edges, 27325 markings/sec, 1435 secs
lola: 45633608 markings, 196514778 edges, 27728 markings/sec, 1440 secs
lola: 45762125 markings, 197193875 edges, 25703 markings/sec, 1445 secs
lola: 45886278 markings, 197870613 edges, 24831 markings/sec, 1450 secs
lola: 46026713 markings, 198546964 edges, 28087 markings/sec, 1455 secs
lola: 46158440 markings, 199223102 edges, 26345 markings/sec, 1460 secs
lola: 46284549 markings, 199900779 edges, 25222 markings/sec, 1465 secs
lola: 46466129 markings, 200576092 edges, 36316 markings/sec, 1470 secs
lola: 46664660 markings, 201255873 edges, 39706 markings/sec, 1475 secs
lola: 46837224 markings, 201936850 edges, 34513 markings/sec, 1480 secs
lola: 47035932 markings, 202616047 edges, 39742 markings/sec, 1485 secs
lola: 47220208 markings, 203295735 edges, 36855 markings/sec, 1490 secs
lola: 47389719 markings, 203973723 edges, 33902 markings/sec, 1495 secs
lola: 47566058 markings, 204652312 edges, 35268 markings/sec, 1500 secs
lola: 47726578 markings, 205331695 edges, 32104 markings/sec, 1505 secs
lola: 47887930 markings, 206010091 edges, 32270 markings/sec, 1510 secs
lola: 48058104 markings, 206687234 edges, 34035 markings/sec, 1515 secs
lola: 48214726 markings, 207365754 edges, 31324 markings/sec, 1520 secs
lola: 48378295 markings, 208045392 edges, 32714 markings/sec, 1525 secs
lola: 48555026 markings, 208724140 edges, 35346 markings/sec, 1530 secs
lola: 48713257 markings, 209406024 edges, 31646 markings/sec, 1535 secs
lola: 48875213 markings, 210080055 edges, 32391 markings/sec, 1540 secs
lola: 49043219 markings, 210753474 edges, 33601 markings/sec, 1545 secs
lola: 49198566 markings, 211430122 edges, 31069 markings/sec, 1550 secs
lola: 49358639 markings, 212105903 edges, 32015 markings/sec, 1555 secs
lola: 49528554 markings, 212782254 edges, 33983 markings/sec, 1560 secs
lola: 49684522 markings, 213462676 edges, 31194 markings/sec, 1565 secs
lola: 49852503 markings, 214139715 edges, 33596 markings/sec, 1570 secs
lola: 50017466 markings, 214814918 edges, 32993 markings/sec, 1575 secs
lola: 50173250 markings, 215493417 edges, 31157 markings/sec, 1580 secs
lola: 50325009 markings, 216168595 edges, 30352 markings/sec, 1585 secs
lola: 50475788 markings, 216844446 edges, 30156 markings/sec, 1590 secs
lola: 50616947 markings, 217524132 edges, 28232 markings/sec, 1595 secs
lola: 50762352 markings, 218199674 edges, 29081 markings/sec, 1600 secs
lola: 50913168 markings, 218875303 edges, 30163 markings/sec, 1605 secs
lola: 51053193 markings, 219552151 edges, 28005 markings/sec, 1610 secs
lola: 51195438 markings, 220232380 edges, 28449 markings/sec, 1615 secs
lola: 51353820 markings, 220911364 edges, 31676 markings/sec, 1620 secs
lola: 51498952 markings, 221589297 edges, 29026 markings/sec, 1625 secs
lola: 51634456 markings, 222267442 edges, 27101 markings/sec, 1630 secs
lola: 51791958 markings, 222945175 edges, 31500 markings/sec, 1635 secs
lola: 51937780 markings, 223621961 edges, 29164 markings/sec, 1640 secs
lola: 52076984 markings, 224300444 edges, 27841 markings/sec, 1645 secs
lola: 52237363 markings, 224976043 edges, 32076 markings/sec, 1650 secs
lola: 52404348 markings, 225653085 edges, 33397 markings/sec, 1655 secs
lola: 52552157 markings, 226330983 edges, 29562 markings/sec, 1660 secs
lola: 52730427 markings, 227008523 edges, 35654 markings/sec, 1665 secs
lola: 52892957 markings, 227685050 edges, 32506 markings/sec, 1670 secs
lola: 53042447 markings, 228361788 edges, 29898 markings/sec, 1675 secs
lola: 53200200 markings, 229039094 edges, 31551 markings/sec, 1680 secs
lola: 53348821 markings, 229715315 edges, 29724 markings/sec, 1685 secs
lola: 53486312 markings, 230393333 edges, 27498 markings/sec, 1690 secs
lola: 53637469 markings, 231068501 edges, 30231 markings/sec, 1695 secs
lola: 53785046 markings, 231743364 edges, 29515 markings/sec, 1700 secs
lola: 53925544 markings, 232419502 edges, 28100 markings/sec, 1705 secs
lola: 54070417 markings, 233097240 edges, 28975 markings/sec, 1710 secs
lola: 54227241 markings, 233773159 edges, 31365 markings/sec, 1715 secs
lola: 54370289 markings, 234450195 edges, 28610 markings/sec, 1720 secs
lola: 54507482 markings, 235125063 edges, 27439 markings/sec, 1725 secs
lola: 54663576 markings, 235798320 edges, 31219 markings/sec, 1730 secs
lola: 54806656 markings, 236473445 edges, 28616 markings/sec, 1735 secs
lola: 54939840 markings, 237147030 edges, 26637 markings/sec, 1740 secs
lola: 55091374 markings, 237822802 edges, 30307 markings/sec, 1745 secs
lola: 55239879 markings, 238496972 edges, 29701 markings/sec, 1750 secs
lola: 55380915 markings, 239176353 edges, 28207 markings/sec, 1755 secs
lola: 55527683 markings, 239849995 edges, 29354 markings/sec, 1760 secs
lola: 55676334 markings, 240524658 edges, 29730 markings/sec, 1765 secs
lola: 55816668 markings, 241200056 edges, 28067 markings/sec, 1770 secs
lola: 55951696 markings, 241877181 edges, 27006 markings/sec, 1775 secs
lola: 56091029 markings, 242552651 edges, 27867 markings/sec, 1780 secs
lola: 56223649 markings, 243228686 edges, 26524 markings/sec, 1785 secs
lola: 56341983 markings, 243903066 edges, 23667 markings/sec, 1790 secs
lola: 56483413 markings, 244579190 edges, 28286 markings/sec, 1795 secs
lola: 56618203 markings, 245253156 edges, 26958 markings/sec, 1800 secs
lola: 56744601 markings, 245927028 edges, 25280 markings/sec, 1805 secs
lola: 56866921 markings, 246604577 edges, 24464 markings/sec, 1810 secs
lola: 57012801 markings, 247280093 edges, 29176 markings/sec, 1815 secs
lola: 57146777 markings, 247953951 edges, 26795 markings/sec, 1820 secs
lola: 57274356 markings, 248631893 edges, 25516 markings/sec, 1825 secs
lola: 57402156 markings, 249303876 edges, 25560 markings/sec, 1830 secs
lola: 57540846 markings, 249976407 edges, 27738 markings/sec, 1835 secs
lola: 57669678 markings, 250654053 edges, 25766 markings/sec, 1840 secs
lola: 57790324 markings, 251327469 edges, 24129 markings/sec, 1845 secs
lola: 57961974 markings, 252002257 edges, 34330 markings/sec, 1850 secs
lola: 58127202 markings, 252679753 edges, 33046 markings/sec, 1855 secs
lola: 58276334 markings, 253356449 edges, 29826 markings/sec, 1860 secs
lola: 58435393 markings, 254031018 edges, 31812 markings/sec, 1865 secs
lola: 58581359 markings, 254708086 edges, 29193 markings/sec, 1870 secs
lola: 58714867 markings, 255382794 edges, 26702 markings/sec, 1875 secs
lola: 58878128 markings, 256057015 edges, 32652 markings/sec, 1880 secs
lola: 59024926 markings, 256732640 edges, 29360 markings/sec, 1885 secs
lola: 59149896 markings, 257404909 edges, 24994 markings/sec, 1890 secs
lola: 59330382 markings, 258082748 edges, 36097 markings/sec, 1895 secs
lola: 59492913 markings, 258757648 edges, 32506 markings/sec, 1900 secs
lola: 59645377 markings, 259434183 edges, 30493 markings/sec, 1905 secs
lola: 59796328 markings, 260106597 edges, 30190 markings/sec, 1910 secs
lola: 59943165 markings, 260778707 edges, 29367 markings/sec, 1915 secs
lola: 60082958 markings, 261451045 edges, 27959 markings/sec, 1920 secs
lola: 60224488 markings, 262122644 edges, 28306 markings/sec, 1925 secs
lola: 60378288 markings, 262789463 edges, 30760 markings/sec, 1930 secs
lola: 60520001 markings, 263458163 edges, 28343 markings/sec, 1935 secs
lola: 60651426 markings, 264124789 edges, 26285 markings/sec, 1940 secs
lola: 60802537 markings, 264798864 edges, 30222 markings/sec, 1945 secs
lola: 60951367 markings, 265473870 edges, 29766 markings/sec, 1950 secs
lola: 61092495 markings, 266152394 edges, 28226 markings/sec, 1955 secs
lola: 61227649 markings, 266824376 edges, 27031 markings/sec, 1960 secs
lola: 61362990 markings, 267497559 edges, 27068 markings/sec, 1965 secs
lola: 61491178 markings, 268173783 edges, 25638 markings/sec, 1970 secs
lola: 61621462 markings, 268846885 edges, 26057 markings/sec, 1975 secs
lola: 61763153 markings, 269517801 edges, 28338 markings/sec, 1980 secs
lola: 61892579 markings, 270192755 edges, 25885 markings/sec, 1985 secs
lola: 62007581 markings, 270863764 edges, 23000 markings/sec, 1990 secs
lola: 62165486 markings, 271538896 edges, 31581 markings/sec, 1995 secs
lola: 62312165 markings, 272210225 edges, 29336 markings/sec, 2000 secs
lola: 62450398 markings, 272884680 edges, 27647 markings/sec, 2005 secs
lola: 62583933 markings, 273556331 edges, 26707 markings/sec, 2010 secs
lola: 62721027 markings, 274226567 edges, 27419 markings/sec, 2015 secs
lola: 62849777 markings, 274898377 edges, 25750 markings/sec, 2020 secs
lola: 62974577 markings, 275570258 edges, 24960 markings/sec, 2025 secs
lola: 63105380 markings, 276235880 edges, 26161 markings/sec, 2030 secs
lola: 63242273 markings, 276899728 edges, 27379 markings/sec, 2035 secs
lola: 63369283 markings, 277567612 edges, 25402 markings/sec, 2040 secs
lola: 63493135 markings, 278233313 edges, 24770 markings/sec, 2045 secs
lola: 63679363 markings, 278908132 edges, 37246 markings/sec, 2050 secs
lola: 63864686 markings, 279594529 edges, 37065 markings/sec, 2055 secs
lola: 64063008 markings, 280278951 edges, 39664 markings/sec, 2060 secs
lola: 64286796 markings, 280952534 edges, 44758 markings/sec, 2065 secs
lola: 64498468 markings, 281629106 edges, 42334 markings/sec, 2070 secs
lola: 64693763 markings, 282302787 edges, 39059 markings/sec, 2075 secs
lola: 64915176 markings, 282975477 edges, 44283 markings/sec, 2080 secs
lola: 65124301 markings, 283649562 edges, 41825 markings/sec, 2085 secs
lola: 65304981 markings, 284325032 edges, 36136 markings/sec, 2090 secs
lola: 65491646 markings, 284998931 edges, 37333 markings/sec, 2095 secs
lola: 65684797 markings, 285670874 edges, 38630 markings/sec, 2100 secs
lola: 65864690 markings, 286345517 edges, 35979 markings/sec, 2105 secs
lola: 66033284 markings, 287015679 edges, 33719 markings/sec, 2110 secs
lola: 66221865 markings, 287687522 edges, 37716 markings/sec, 2115 secs
lola: 66407485 markings, 288360976 edges, 37124 markings/sec, 2120 secs
lola: 66581176 markings, 289035924 edges, 34738 markings/sec, 2125 secs
lola: 66750567 markings, 289713506 edges, 33878 markings/sec, 2130 secs
lola: 66946014 markings, 290383324 edges, 39089 markings/sec, 2135 secs
lola: 67133554 markings, 291055664 edges, 37508 markings/sec, 2140 secs
lola: 67290431 markings, 291725643 edges, 31375 markings/sec, 2145 secs
lola: 67479407 markings, 292393048 edges, 37795 markings/sec, 2150 secs
lola: 67671764 markings, 293059428 edges, 38471 markings/sec, 2155 secs
lola: 67845223 markings, 293727356 edges, 34692 markings/sec, 2160 secs
lola: 68005140 markings, 294398089 edges, 31983 markings/sec, 2165 secs
lola: 68177569 markings, 295082296 edges, 34486 markings/sec, 2170 secs
lola: 68332647 markings, 295767091 edges, 31016 markings/sec, 2175 secs
lola: 68517751 markings, 296444774 edges, 37021 markings/sec, 2180 secs
lola: 68708375 markings, 297115645 edges, 38125 markings/sec, 2185 secs
lola: 68891389 markings, 297789715 edges, 36603 markings/sec, 2190 secs
lola: 69058724 markings, 298461959 edges, 33467 markings/sec, 2195 secs
lola: 69246344 markings, 299131229 edges, 37524 markings/sec, 2200 secs
lola: 69433064 markings, 299801825 edges, 37344 markings/sec, 2205 secs
lola: 69606322 markings, 300474914 edges, 34652 markings/sec, 2210 secs
lola: 69758282 markings, 301151220 edges, 30392 markings/sec, 2215 secs
lola: 69925468 markings, 301819929 edges, 33437 markings/sec, 2220 secs
lola: 70093977 markings, 302488246 edges, 33702 markings/sec, 2225 secs
lola: 70251736 markings, 303160673 edges, 31552 markings/sec, 2230 secs
lola: 70398812 markings, 303831087 edges, 29415 markings/sec, 2235 secs
lola: 70562094 markings, 304498633 edges, 32656 markings/sec, 2240 secs
lola: 70728775 markings, 305166649 edges, 33336 markings/sec, 2245 secs
lola: 70884311 markings, 305838548 edges, 31107 markings/sec, 2250 secs
lola: 71026158 markings, 306506771 edges, 28369 markings/sec, 2255 secs
lola: 71188515 markings, 307184012 edges, 32471 markings/sec, 2260 secs
lola: 71360041 markings, 307851856 edges, 34305 markings/sec, 2265 secs
lola: 71524553 markings, 308522913 edges, 32902 markings/sec, 2270 secs
lola: 71677865 markings, 309194337 edges, 30662 markings/sec, 2275 secs
lola: 71823994 markings, 309859090 edges, 29226 markings/sec, 2280 secs
lola: 71995114 markings, 310526570 edges, 34224 markings/sec, 2285 secs
lola: 72156468 markings, 311195574 edges, 32271 markings/sec, 2290 secs
lola: 72308829 markings, 311865759 edges, 30472 markings/sec, 2295 secs
lola: 72466905 markings, 312537506 edges, 31615 markings/sec, 2300 secs
lola: 72638856 markings, 313215040 edges, 34390 markings/sec, 2305 secs
lola: 72796968 markings, 313896683 edges, 31622 markings/sec, 2310 secs
lola: 72962458 markings, 314572602 edges, 33098 markings/sec, 2315 secs
lola: 73128724 markings, 315250202 edges, 33253 markings/sec, 2320 secs
lola: 73283886 markings, 315928245 edges, 31032 markings/sec, 2325 secs
lola: 73436293 markings, 316604441 edges, 30481 markings/sec, 2330 secs
lola: 73587811 markings, 317279836 edges, 30304 markings/sec, 2335 secs
lola: 73729379 markings, 317960303 edges, 28314 markings/sec, 2340 secs
lola: 73873315 markings, 318634257 edges, 28787 markings/sec, 2345 secs
lola: 74024074 markings, 319307884 edges, 30152 markings/sec, 2350 secs
lola: 74163973 markings, 319981175 edges, 27980 markings/sec, 2355 secs
lola: 74303323 markings, 320657718 edges, 27870 markings/sec, 2360 secs
lola: 74462064 markings, 321334085 edges, 31748 markings/sec, 2365 secs
lola: 74608931 markings, 322010824 edges, 29373 markings/sec, 2370 secs
lola: 74739891 markings, 322684419 edges, 26192 markings/sec, 2375 secs
lola: 74897736 markings, 323355839 edges, 31569 markings/sec, 2380 secs
lola: 75043064 markings, 324025840 edges, 29066 markings/sec, 2385 secs
lola: 75181267 markings, 324697493 edges, 27641 markings/sec, 2390 secs
lola: 75322943 markings, 325370790 edges, 28335 markings/sec, 2395 secs
lola: 75475921 markings, 326046901 edges, 30596 markings/sec, 2400 secs
lola: 75617011 markings, 326726257 edges, 28218 markings/sec, 2405 secs
lola: 75761145 markings, 327400599 edges, 28827 markings/sec, 2410 secs
lola: 75912877 markings, 328076283 edges, 30346 markings/sec, 2415 secs
lola: 76053907 markings, 328753401 edges, 28206 markings/sec, 2420 secs
lola: 76185447 markings, 329428082 edges, 26308 markings/sec, 2425 secs
lola: 76329020 markings, 330103088 edges, 28715 markings/sec, 2430 secs
lola: 76461988 markings, 330776561 edges, 26594 markings/sec, 2435 secs
lola: 76589967 markings, 331455199 edges, 25596 markings/sec, 2440 secs
lola: 76719399 markings, 332126377 edges, 25886 markings/sec, 2445 secs
lola: 76856377 markings, 332798804 edges, 27396 markings/sec, 2450 secs
lola: 76984780 markings, 333474872 edges, 25681 markings/sec, 2455 secs
lola: 77108669 markings, 334147435 edges, 24778 markings/sec, 2460 secs
lola: 77246687 markings, 334818606 edges, 27604 markings/sec, 2465 secs
lola: 77383756 markings, 335491068 edges, 27414 markings/sec, 2470 secs
lola: 77510300 markings, 336165220 edges, 25309 markings/sec, 2475 secs
lola: 77634466 markings, 336834450 edges, 24833 markings/sec, 2480 secs
lola: 77773494 markings, 337503953 edges, 27806 markings/sec, 2485 secs
lola: 77903326 markings, 338174007 edges, 25966 markings/sec, 2490 secs
lola: 78027715 markings, 338843557 edges, 24878 markings/sec, 2495 secs
lola: 78183914 markings, 339515896 edges, 31240 markings/sec, 2500 secs
lola: 78351847 markings, 340202184 edges, 33587 markings/sec, 2505 secs
lola: 78508809 markings, 340888753 edges, 31392 markings/sec, 2510 secs
lola: 78697980 markings, 341561085 edges, 37834 markings/sec, 2515 secs
lola: 78889860 markings, 342231580 edges, 38376 markings/sec, 2520 secs
lola: 79068650 markings, 342906616 edges, 35758 markings/sec, 2525 secs
lola: 79236373 markings, 343574294 edges, 33545 markings/sec, 2530 secs
lola: 79427137 markings, 344244254 edges, 38153 markings/sec, 2535 secs
lola: 79610662 markings, 344915902 edges, 36705 markings/sec, 2540 secs
lola: 79782888 markings, 345587126 edges, 34445 markings/sec, 2545 secs
lola: 79933518 markings, 346264013 edges, 30126 markings/sec, 2550 secs
lola: 80101016 markings, 346930631 edges, 33500 markings/sec, 2555 secs
lola: 80267833 markings, 347599402 edges, 33363 markings/sec, 2560 secs
lola: 80423482 markings, 348272842 edges, 31130 markings/sec, 2565 secs
lola: 80571408 markings, 348938506 edges, 29585 markings/sec, 2570 secs
lola: 80736015 markings, 349607468 edges, 32921 markings/sec, 2575 secs
lola: 80900530 markings, 350277635 edges, 32903 markings/sec, 2580 secs
lola: 81054532 markings, 350948196 edges, 30800 markings/sec, 2585 secs
lola: 81197126 markings, 351623713 edges, 28519 markings/sec, 2590 secs
lola: 81364772 markings, 352296001 edges, 33529 markings/sec, 2595 secs
lola: 81533854 markings, 352965709 edges, 33816 markings/sec, 2600 secs
lola: 81697827 markings, 353639095 edges, 32795 markings/sec, 2605 secs
lola: 81836225 markings, 354307032 edges, 27680 markings/sec, 2610 secs
lola: 82001470 markings, 354976607 edges, 33049 markings/sec, 2615 secs
lola: 82171362 markings, 355644825 edges, 33978 markings/sec, 2620 secs
lola: 82330154 markings, 356317194 edges, 31758 markings/sec, 2625 secs
lola: 82482794 markings, 356987766 edges, 30528 markings/sec, 2630 secs
lola: 82624730 markings, 357666846 edges, 28387 markings/sec, 2635 secs
lola: 82772603 markings, 358351063 edges, 29575 markings/sec, 2640 secs
lola: 82913413 markings, 359036649 edges, 28162 markings/sec, 2645 secs
lola: 83078873 markings, 359706264 edges, 33092 markings/sec, 2650 secs
lola: 83246399 markings, 360374676 edges, 33505 markings/sec, 2655 secs
lola: 83409000 markings, 361047467 edges, 32520 markings/sec, 2660 secs
lola: 83552703 markings, 361714488 edges, 28741 markings/sec, 2665 secs
lola: 83715445 markings, 362383127 edges, 32548 markings/sec, 2670 secs
lola: 83882518 markings, 363050924 edges, 33415 markings/sec, 2675 secs
lola: 84040422 markings, 363721788 edges, 31581 markings/sec, 2680 secs
lola: 84193141 markings, 364392393 edges, 30544 markings/sec, 2685 secs
lola: 84325022 markings, 365067901 edges, 26376 markings/sec, 2690 secs
lola: 84473281 markings, 365731481 edges, 29652 markings/sec, 2695 secs
lola: 84622364 markings, 366396501 edges, 29817 markings/sec, 2700 secs
lola: 84764731 markings, 367068115 edges, 28473 markings/sec, 2705 secs
lola: 84892407 markings, 367732508 edges, 25535 markings/sec, 2710 secs
lola: 85036971 markings, 368399945 edges, 28913 markings/sec, 2715 secs
lola: 85186229 markings, 369066989 edges, 29852 markings/sec, 2720 secs
lola: 85330171 markings, 369735158 edges, 28788 markings/sec, 2725 secs
lola: 85466656 markings, 370402644 edges, 27297 markings/sec, 2730 secs
lola: 85594138 markings, 371075234 edges, 25496 markings/sec, 2735 secs
lola: 85741603 markings, 371747026 edges, 29493 markings/sec, 2740 secs
lola: 85892665 markings, 372411582 edges, 30212 markings/sec, 2745 secs
lola: 86040035 markings, 373079056 edges, 29474 markings/sec, 2750 secs
lola: 86179392 markings, 373751999 edges, 27871 markings/sec, 2755 secs
lola: 86306660 markings, 374414974 edges, 25454 markings/sec, 2760 secs
lola: 86454033 markings, 375080820 edges, 29475 markings/sec, 2765 secs
lola: 86604562 markings, 375747011 edges, 30106 markings/sec, 2770 secs
lola: 86743812 markings, 376417079 edges, 27850 markings/sec, 2775 secs
lola: 86880470 markings, 377085415 edges, 27332 markings/sec, 2780 secs
lola: 87071616 markings, 377751651 edges, 38229 markings/sec, 2785 secs
lola: 87226616 markings, 378427932 edges, 31000 markings/sec, 2790 secs
lola: 87370231 markings, 379102595 edges, 28723 markings/sec, 2795 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no unknown no unknown no no no no unknown no no no
lola:
preliminary result: no no no unknown no unknown no no no no unknown no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown no unknown no no no no unknown no no no
lola: memory consumption: 12789396 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="ShieldIIPt-PT-010B"
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 ShieldIIPt-PT-010B, 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-162098231000214"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-010B.tgz
mv ShieldIIPt-PT-010B 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 ;