About the Execution of 2019-Gold for ASLink-PT-06a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4411.490 | 3570118.00 | 3624115.00 | 9513.40 | FFFTF?FFTTFTFTTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r015-smll-158897552700023.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-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 win2019
Input is ASLink-PT-06a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552700023
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 772K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 597K Mar 24 05:37 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 ASLink-PT-06a-00
FORMULA_NAME ASLink-PT-06a-01
FORMULA_NAME ASLink-PT-06a-02
FORMULA_NAME ASLink-PT-06a-03
FORMULA_NAME ASLink-PT-06a-04
FORMULA_NAME ASLink-PT-06a-05
FORMULA_NAME ASLink-PT-06a-06
FORMULA_NAME ASLink-PT-06a-07
FORMULA_NAME ASLink-PT-06a-08
FORMULA_NAME ASLink-PT-06a-09
FORMULA_NAME ASLink-PT-06a-10
FORMULA_NAME ASLink-PT-06a-11
FORMULA_NAME ASLink-PT-06a-12
FORMULA_NAME ASLink-PT-06a-13
FORMULA_NAME ASLink-PT-06a-14
FORMULA_NAME ASLink-PT-06a-15
=== Now, execution of the tool begins
BK_START 1589168301373
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ ASLink-PT-06a @ 3570 seconds
FORMULA ASLink-PT-06a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ ASLink-PT-06a
{
"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": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon May 11 03:38:21 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 219
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 117
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 234
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 117
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 251
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 117
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 270
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 117
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 293
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 117
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 319
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 117
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 351
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 117
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 390
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (((p1176 + 1 <= p965) OR X (X ((p412 + 1 <= p1234)))))",
"processed_size": 56,
"rewrites": 117
},
"result":
{
"edges": 55,
"markings": 55,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 439
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A ((F (G ((p489 <= p528))) OR G ((G ((p489 <= p528)) OR X (F ((1 <= p158)))))))",
"processed_size": 79,
"rewrites": 117
},
"result":
{
"edges": 55,
"markings": 55,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 502
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 1,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A ((X (X (X (X (F ((p343 <= p1125)))))) U G (((p857 + 1 <= p1206) OR G ((p1206 <= p857))))))",
"processed_size": 92,
"rewrites": 117
},
"result":
{
"edges": 19073309,
"markings": 2250460,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 20
},
"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": 553
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "A (X (TRUE))",
"processed_size": 12,
"rewrites": 117
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 664
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 2,
"aneg": 4,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (X (G ((F (((p1055 <= p331) R X (((p758 + 1 <= p938))))) AND (F ((p938 <= p758)) OR ((p1055 <= p331) R X (((p758 + 1 <= p938)))))))))",
"processed_size": 135,
"rewrites": 117
},
"result":
{
"edges": 55,
"markings": 55,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 830
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"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": "A (X (X (X (F ((p478 <= p668))))))",
"processed_size": 34,
"rewrites": 117
},
"result":
{
"edges": 1142,
"markings": 618,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 12,
"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": 1107
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"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": "(p1198 <= p885)",
"processed_size": 15,
"rewrites": 119
},
"result":
{
"edges": 96,
"markings": 97,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1661
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"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": "(p406 + 1 <= p871)",
"processed_size": 18,
"rewrites": 119
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"error": null,
"memory": 4294372,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A((* OR X(X(*)))) : FALSE : A(X(G((F((* R X(*))) AND (F(**) OR (* R X(*))))))) : TRUE : A((F(G(**)) OR G((G(**) OR X(F(**)))))) : A(F(G(*))) : A((X(X(X(X(F(**))))) U G((** OR G(**))))) : FALSE : TRUE : TRUE : A(F(*)) : A(F(**)) : FALSE : A(X(TRUE)) : TRUE : A(X(X(X(F(**)))))"
},
"net":
{
"arcs": 7896,
"conflict_clusters": 472,
"places": 1406,
"places_significant": 1136,
"singleton_clusters": 0,
"transitions": 2100
},
"result":
{
"interim_value": "no no no yes no unknown no no yes yes no yes no yes yes yes ",
"preliminary_value": "no no no yes no unknown no no yes yes no yes no yes yes yes "
},
"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: 3506/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1406
lola: finding significant places
lola: 1406 places, 2100 transitions, 1136 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 LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p496)
lola: LP says that atomic proposition is always false: (2 <= p652)
lola: LP says that atomic proposition is always false: (2 <= p919)
lola: LP says that atomic proposition is always false: (3 <= p502)
lola: LP says that atomic proposition is always false: (3 <= p502)
lola: LP says that atomic proposition is always false: (3 <= p1211)
lola: LP says that atomic proposition is always false: (3 <= p714)
lola: LP says that atomic proposition is always false: (2 <= p1256)
lola: LP says that atomic proposition is always false: (3 <= p1211)
lola: LP says that atomic proposition is always false: (3 <= p1260)
lola: LP says that atomic proposition is always false: (3 <= p1260)
lola: LP says that atomic proposition is always false: (2 <= p1020)
lola: LP says that atomic proposition is always false: (2 <= p487)
lola: LP says that atomic proposition is always false: (2 <= p487)
lola: LP says that atomic proposition is always false: (3 <= p954)
lola: LP says that atomic proposition is always false: (3 <= p1210)
lola: LP says that atomic proposition is always false: (3 <= p1210)
lola: LP says that atomic proposition is always false: (3 <= p213)
lola: A (NOT(((p965 <= p1176) AND ((p580 + 1 <= 0) U X (X ((p1234 <= p412))))))) : A ((((p882 + 1 <= p1076) AND (p882 + 1 <= p1076)) U (X ((2 <= p652)) AND G ((p1076 <= p882))))) : A (G (NOT(X (NOT((F ((p938 <= p758)) U NOT(((p331 + 1 <= p1055) U X (((p938 <= p758))))))))))) : A (NOT((F (NOT(F ((3 <= p502)))) U ((3 <= p502) AND X (((p773 <= p184) AND G ((p1380 <= p1005)))))))) : A ((F (((p489 <= p528) U G ((p489 <= p528)))) OR G ((G ((p489 <= p528)) OR F (X ((1 <= p158))))))) : A (F (NOT(F ((p1374 + 1 <= p380))))) : A ((X (X (X (X (((0 <= p453) AND F ((p343 <= p1125))))))) U G (((p857 + 1 <= p1206) OR G ((p1206 <= p857)))))) : A ((NOT(F (())) U (3 <= p1211))) : A (((0 <= p398) OR G (NOT((() AND X (X (((p612 <= p885) U (p1260 <= 2))))))))) : A ((G ((0 <= p382)) OR X (()))) : A (F (NOT(G ((p1198 <= p885))))) : A ((G (F ((G ((p1136 <= p1186)) U F ((2 <= p1020))))) U F ((p871 <= p406)))) : A ((((2 <= p487) U (p75 <= p255)) U (((p975 <= p350) AND X ((p975 <= p350))) U X (G (((2 <= p487) OR X ((3 <= p954)))))))) : A (G (F (X ((0 <= p1383))))) : A ((NOT(F (((3 <= p1210) AND X ((3 <= p1210))))) OR NOT((G (X ((p1366 <= p695))) U X ((3 <= p213)))))) : A (X (F (X (X (((p478 <= p668) U F ((p478 <= p668))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 5 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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: subprocess 6 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 7 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p1176 + 1 <= p965) OR X (X ((p412 + 1 <= p1234)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p1176 + 1 <= p965) OR X (X ((p412 + 1 <= p1234)))))
lola: processed formula length: 56
lola: 117 rewrites
lola: closed formula file LTLCardinality.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: 55 markings, 55 edges
lola: ========================================
lola: subprocess 8 will run for 439 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G ((p489 <= p528))) OR G ((G ((p489 <= p528)) OR X (F ((1 <= p158)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G ((p489 <= p528))) OR G ((G ((p489 <= p528)) OR X (F ((1 <= p158)))))))
lola: processed formula length: 79
lola: 117 rewrites
lola: closed formula file LTLCardinality.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: 55 markings, 55 edges
lola: ========================================
lola: subprocess 9 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (X (X (F ((p343 <= p1125)))))) U G (((p857 + 1 <= p1206) OR G ((p1206 <= p857))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (X (X (F ((p343 <= p1125)))))) U G (((p857 + 1 <= p1206) OR G ((p1206 <= p857))))))
lola: processed formula length: 92
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 20 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: 111968 markings, 484077 edges, 22394 markings/sec, 0 secs
lola: 178545 markings, 976705 edges, 13315 markings/sec, 5 secs
lola: 235433 markings, 1472312 edges, 11378 markings/sec, 10 secs
lola: 300567 markings, 1968493 edges, 13027 markings/sec, 15 secs
lola: 355729 markings, 2464955 edges, 11032 markings/sec, 20 secs
lola: 409464 markings, 2959906 edges, 10747 markings/sec, 25 secs
lola: 456065 markings, 3456251 edges, 9320 markings/sec, 30 secs
lola: 516741 markings, 3952030 edges, 12135 markings/sec, 35 secs
lola: 572334 markings, 4446283 edges, 11119 markings/sec, 40 secs
lola: 627245 markings, 4940293 edges, 10982 markings/sec, 45 secs
lola: 673527 markings, 5435184 edges, 9256 markings/sec, 50 secs
lola: 726938 markings, 5929738 edges, 10682 markings/sec, 55 secs
lola: 772192 markings, 6425984 edges, 9051 markings/sec, 60 secs
lola: 820774 markings, 6920513 edges, 9716 markings/sec, 65 secs
lola: 860300 markings, 7415882 edges, 7905 markings/sec, 70 secs
lola: 901700 markings, 7915376 edges, 8280 markings/sec, 75 secs
lola: 960727 markings, 8411306 edges, 11805 markings/sec, 80 secs
lola: 1034237 markings, 8904610 edges, 14702 markings/sec, 85 secs
lola: 1096588 markings, 9395735 edges, 12470 markings/sec, 90 secs
lola: 1150756 markings, 9888150 edges, 10834 markings/sec, 95 secs
lola: 1214119 markings, 10381306 edges, 12673 markings/sec, 100 secs
lola: 1270330 markings, 10875577 edges, 11242 markings/sec, 105 secs
lola: 1315991 markings, 11371316 edges, 9132 markings/sec, 110 secs
lola: 1366183 markings, 11866314 edges, 10038 markings/sec, 115 secs
lola: 1441020 markings, 12357937 edges, 14967 markings/sec, 120 secs
lola: 1508058 markings, 12850622 edges, 13408 markings/sec, 125 secs
lola: 1564560 markings, 13347735 edges, 11300 markings/sec, 130 secs
lola: 1629612 markings, 13842116 edges, 13010 markings/sec, 135 secs
lola: 1684667 markings, 14337372 edges, 11011 markings/sec, 140 secs
lola: 1738177 markings, 14829441 edges, 10702 markings/sec, 145 secs
lola: 1784656 markings, 15323390 edges, 9296 markings/sec, 150 secs
lola: 1839215 markings, 15816500 edges, 10912 markings/sec, 155 secs
lola: 1907829 markings, 16310288 edges, 13723 markings/sec, 160 secs
lola: 1975928 markings, 16800458 edges, 13620 markings/sec, 165 secs
lola: 2030819 markings, 17292370 edges, 10978 markings/sec, 170 secs
lola: 2087383 markings, 17782418 edges, 11313 markings/sec, 175 secs
lola: 2146144 markings, 18276005 edges, 11752 markings/sec, 180 secs
lola: 2209568 markings, 18765991 edges, 12685 markings/sec, 185 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2250460 markings, 19073309 edges
lola: ========================================
lola: subprocess 10 will run for 553 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 117 rewrites
lola: closed formula file LTLCardinality.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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 11 will run for 664 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((F (((p1055 <= p331) R X (((p758 + 1 <= p938))))) AND (F ((p938 <= p758)) OR ((p1055 <= p331) R X (((p758 + 1 <= p938)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F (((p1055 <= p331) R X (((p758 + 1 <= p938))))) AND (F ((p938 <= p758)) OR ((p1055 <= p331) R X (((p758 + 1 <= p938)))))))))
lola: processed formula length: 135
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 55 markings, 55 edges
lola: ========================================
lola: subprocess 12 will run for 830 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (F ((p478 <= p668))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F ((p478 <= p668))))))
lola: processed formula length: 34
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 618 markings, 1142 edges
lola: ========================================
lola: subprocess 13 will run for 1107 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p885 + 1 <= p1198)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (p1198 <= p885)
lola: processed formula length: 15
lola: 119 rewrites
lola: closed formula file LTLCardinality.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: 97 markings, 96 edges
lola: ========================================
lola: subprocess 14 will run for 1661 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p871 <= p406)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p406 + 1 <= p871)
lola: processed formula length: 18
lola: 119 rewrites
lola: closed formula file LTLCardinality.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: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 3323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p380 <= p1374))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p380 <= p1374))))
lola: processed formula length: 27
lola: 117 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 65039 markings, 451910 edges, 13008 markings/sec, 0 secs
lola: 122445 markings, 912699 edges, 11481 markings/sec, 5 secs
lola: 175977 markings, 1401397 edges, 10706 markings/sec, 10 secs
lola: 219561 markings, 1894017 edges, 8717 markings/sec, 15 secs
lola: 272948 markings, 2386305 edges, 10677 markings/sec, 20 secs
lola: 317393 markings, 2879463 edges, 8889 markings/sec, 25 secs
lola: 369624 markings, 3369086 edges, 10446 markings/sec, 30 secs
lola: 413929 markings, 3867553 edges, 8861 markings/sec, 35 secs
lola: 460758 markings, 4356893 edges, 9366 markings/sec, 40 secs
lola: 496295 markings, 4854869 edges, 7107 markings/sec, 45 secs
lola: 548031 markings, 5341325 edges, 10347 markings/sec, 50 secs
lola: 583374 markings, 5838913 edges, 7069 markings/sec, 55 secs
lola: 633463 markings, 6329239 edges, 10018 markings/sec, 60 secs
lola: 681349 markings, 6818798 edges, 9577 markings/sec, 65 secs
lola: 727323 markings, 7308899 edges, 9195 markings/sec, 70 secs
lola: 774062 markings, 7799649 edges, 9348 markings/sec, 75 secs
lola: 814492 markings, 8290930 edges, 8086 markings/sec, 80 secs
lola: 861397 markings, 8764926 edges, 9381 markings/sec, 85 secs
lola: 923272 markings, 9244186 edges, 12375 markings/sec, 90 secs
lola: 982904 markings, 9728986 edges, 11926 markings/sec, 95 secs
lola: 1027363 markings, 10220393 edges, 8892 markings/sec, 100 secs
lola: 1080022 markings, 10705332 edges, 10532 markings/sec, 105 secs
lola: 1126277 markings, 11193596 edges, 9251 markings/sec, 110 secs
lola: 1184308 markings, 11679816 edges, 11606 markings/sec, 115 secs
lola: 1243781 markings, 12162895 edges, 11895 markings/sec, 120 secs
lola: 1288867 markings, 12657338 edges, 9017 markings/sec, 125 secs
lola: 1341148 markings, 13140817 edges, 10456 markings/sec, 130 secs
lola: 1386165 markings, 13627982 edges, 9003 markings/sec, 135 secs
lola: 1474356 markings, 14103167 edges, 17638 markings/sec, 140 secs
lola: 1520737 markings, 14593154 edges, 9276 markings/sec, 145 secs
lola: 1561893 markings, 15083239 edges, 8231 markings/sec, 150 secs
lola: 1602638 markings, 15573364 edges, 8149 markings/sec, 155 secs
lola: 1643535 markings, 16063852 edges, 8179 markings/sec, 160 secs
lola: 1683798 markings, 16554762 edges, 8053 markings/sec, 165 secs
lola: 1737417 markings, 17042136 edges, 10724 markings/sec, 170 secs
lola: 1782019 markings, 17531729 edges, 8920 markings/sec, 175 secs
lola: 1823263 markings, 18024769 edges, 8249 markings/sec, 180 secs
lola: 1863291 markings, 18516164 edges, 8006 markings/sec, 185 secs
lola: 1903422 markings, 19008492 edges, 8026 markings/sec, 190 secs
lola: 1946022 markings, 19502591 edges, 8520 markings/sec, 195 secs
lola: 2011525 markings, 19971130 edges, 13101 markings/sec, 200 secs
lola: 2055833 markings, 20461339 edges, 8862 markings/sec, 205 secs
lola: 2101765 markings, 20949700 edges, 9186 markings/sec, 210 secs
lola: 2145736 markings, 21437820 edges, 8794 markings/sec, 215 secs
lola: 2187850 markings, 21924802 edges, 8423 markings/sec, 220 secs
lola: 2228598 markings, 22411148 edges, 8150 markings/sec, 225 secs
lola: 2278415 markings, 22897450 edges, 9963 markings/sec, 230 secs
lola: 2326993 markings, 23383911 edges, 9716 markings/sec, 235 secs
lola: 2367645 markings, 23873931 edges, 8130 markings/sec, 240 secs
lola: 2413077 markings, 24359564 edges, 9086 markings/sec, 245 secs
lola: 2452949 markings, 24845584 edges, 7974 markings/sec, 250 secs
lola: 2495979 markings, 25331369 edges, 8606 markings/sec, 255 secs
lola: 2563295 markings, 25803698 edges, 13463 markings/sec, 260 secs
lola: 2608466 markings, 26294784 edges, 9034 markings/sec, 265 secs
lola: 2648612 markings, 26786681 edges, 8029 markings/sec, 270 secs
lola: 2688619 markings, 27277980 edges, 8001 markings/sec, 275 secs
lola: 2729607 markings, 27766281 edges, 8198 markings/sec, 280 secs
lola: 2773795 markings, 28255660 edges, 8838 markings/sec, 285 secs
lola: 2829298 markings, 28743864 edges, 11101 markings/sec, 290 secs
lola: 2881626 markings, 29230951 edges, 10466 markings/sec, 295 secs
lola: 2931788 markings, 29714172 edges, 10032 markings/sec, 300 secs
lola: 2975292 markings, 30200785 edges, 8701 markings/sec, 305 secs
lola: 3023411 markings, 30684306 edges, 9624 markings/sec, 310 secs
lola: 3091483 markings, 31163608 edges, 13614 markings/sec, 315 secs
lola: 3138820 markings, 31653272 edges, 9467 markings/sec, 320 secs
lola: 3177246 markings, 32142731 edges, 7685 markings/sec, 325 secs
lola: 3217391 markings, 32630082 edges, 8029 markings/sec, 330 secs
lola: 3259570 markings, 33120676 edges, 8436 markings/sec, 335 secs
lola: 3297776 markings, 33608956 edges, 7641 markings/sec, 340 secs
lola: 3337225 markings, 34097836 edges, 7890 markings/sec, 345 secs
lola: 3405839 markings, 34568215 edges, 13723 markings/sec, 350 secs
lola: 3444848 markings, 35058382 edges, 7802 markings/sec, 355 secs
lola: 3484636 markings, 35545232 edges, 7958 markings/sec, 360 secs
lola: 3526667 markings, 36030114 edges, 8406 markings/sec, 365 secs
lola: 3566471 markings, 36513800 edges, 7961 markings/sec, 370 secs
lola: 3604334 markings, 36998801 edges, 7573 markings/sec, 375 secs
lola: 3650150 markings, 37486459 edges, 9163 markings/sec, 380 secs
lola: 3699900 markings, 37973663 edges, 9950 markings/sec, 385 secs
lola: 3748020 markings, 38460397 edges, 9624 markings/sec, 390 secs
lola: 3800132 markings, 38945458 edges, 10422 markings/sec, 395 secs
lola: 3844546 markings, 39432492 edges, 8883 markings/sec, 400 secs
lola: 3891739 markings, 39916278 edges, 9439 markings/sec, 405 secs
lola: 3935478 markings, 40398334 edges, 8748 markings/sec, 410 secs
lola: 3978583 markings, 40882137 edges, 8621 markings/sec, 415 secs
lola: 4027715 markings, 41365418 edges, 9826 markings/sec, 420 secs
lola: 4075819 markings, 41846432 edges, 9621 markings/sec, 425 secs
lola: 4120450 markings, 42333629 edges, 8926 markings/sec, 430 secs
lola: 4162266 markings, 42820562 edges, 8363 markings/sec, 435 secs
lola: 4237326 markings, 43294022 edges, 15012 markings/sec, 440 secs
lola: 4363289 markings, 43753162 edges, 25193 markings/sec, 445 secs
lola: 4478121 markings, 44215018 edges, 22966 markings/sec, 450 secs
lola: 4555018 markings, 44693110 edges, 15379 markings/sec, 455 secs
lola: 4597402 markings, 45182762 edges, 8477 markings/sec, 460 secs
lola: 4633375 markings, 45674195 edges, 7195 markings/sec, 465 secs
lola: 4675038 markings, 46163440 edges, 8333 markings/sec, 470 secs
lola: 4714631 markings, 46656564 edges, 7919 markings/sec, 475 secs
lola: 4751656 markings, 47145604 edges, 7405 markings/sec, 480 secs
lola: 4790670 markings, 47636446 edges, 7803 markings/sec, 485 secs
lola: 4825430 markings, 48127815 edges, 6952 markings/sec, 490 secs
lola: 4858358 markings, 48615674 edges, 6586 markings/sec, 495 secs
lola: 4895779 markings, 49103205 edges, 7484 markings/sec, 500 secs
lola: 4931061 markings, 49591319 edges, 7056 markings/sec, 505 secs
lola: 4963821 markings, 50079047 edges, 6552 markings/sec, 510 secs
lola: 5003116 markings, 50569017 edges, 7859 markings/sec, 515 secs
lola: 5038608 markings, 51057733 edges, 7098 markings/sec, 520 secs
lola: 5071297 markings, 51545959 edges, 6538 markings/sec, 525 secs
lola: 5108765 markings, 52034715 edges, 7494 markings/sec, 530 secs
lola: 5144390 markings, 52524580 edges, 7125 markings/sec, 535 secs
lola: 5176955 markings, 53011708 edges, 6513 markings/sec, 540 secs
lola: 5215319 markings, 53503163 edges, 7673 markings/sec, 545 secs
lola: 5250272 markings, 53994451 edges, 6991 markings/sec, 550 secs
lola: 5285924 markings, 54485460 edges, 7130 markings/sec, 555 secs
lola: 5326452 markings, 54976737 edges, 8106 markings/sec, 560 secs
lola: 5367281 markings, 55469419 edges, 8166 markings/sec, 565 secs
lola: 5405609 markings, 55959218 edges, 7666 markings/sec, 570 secs
lola: 5448418 markings, 56448514 edges, 8562 markings/sec, 575 secs
lola: 5487233 markings, 56935881 edges, 7763 markings/sec, 580 secs
lola: 5524103 markings, 57423920 edges, 7374 markings/sec, 585 secs
lola: 5557542 markings, 57916595 edges, 6688 markings/sec, 590 secs
lola: 5589297 markings, 58408289 edges, 6351 markings/sec, 595 secs
lola: 5623493 markings, 58899441 edges, 6839 markings/sec, 600 secs
lola: 5659718 markings, 59385650 edges, 7245 markings/sec, 605 secs
lola: 5698540 markings, 59872438 edges, 7764 markings/sec, 610 secs
lola: 5736751 markings, 60360732 edges, 7642 markings/sec, 615 secs
lola: 5774365 markings, 60850396 edges, 7523 markings/sec, 620 secs
lola: 5813362 markings, 61338181 edges, 7799 markings/sec, 625 secs
lola: 5849354 markings, 61827854 edges, 7198 markings/sec, 630 secs
lola: 5883203 markings, 62315762 edges, 6770 markings/sec, 635 secs
lola: 5917250 markings, 62802458 edges, 6809 markings/sec, 640 secs
lola: 5955831 markings, 63292339 edges, 7716 markings/sec, 645 secs
lola: 5995337 markings, 63782865 edges, 7901 markings/sec, 650 secs
lola: 6032863 markings, 64272937 edges, 7505 markings/sec, 655 secs
lola: 6072754 markings, 64761169 edges, 7978 markings/sec, 660 secs
lola: 6108674 markings, 65248464 edges, 7184 markings/sec, 665 secs
lola: 6146263 markings, 65738505 edges, 7518 markings/sec, 670 secs
lola: 6180254 markings, 66227388 edges, 6798 markings/sec, 675 secs
lola: 6213697 markings, 66714553 edges, 6689 markings/sec, 680 secs
lola: 6249972 markings, 67201132 edges, 7255 markings/sec, 685 secs
lola: 6282772 markings, 67687749 edges, 6560 markings/sec, 690 secs
lola: 6317590 markings, 68174650 edges, 6964 markings/sec, 695 secs
lola: 6354132 markings, 68664569 edges, 7308 markings/sec, 700 secs
lola: 6385976 markings, 69153104 edges, 6369 markings/sec, 705 secs
lola: 6421948 markings, 69642321 edges, 7194 markings/sec, 710 secs
lola: 6456596 markings, 70129664 edges, 6930 markings/sec, 715 secs
lola: 6490217 markings, 70616148 edges, 6724 markings/sec, 720 secs
lola: 6525609 markings, 71106583 edges, 7078 markings/sec, 725 secs
lola: 6559322 markings, 71598223 edges, 6743 markings/sec, 730 secs
lola: 6597390 markings, 72090497 edges, 7614 markings/sec, 735 secs
lola: 6637961 markings, 72580563 edges, 8114 markings/sec, 740 secs
lola: 6678990 markings, 73069410 edges, 8206 markings/sec, 745 secs
lola: 6717010 markings, 73555387 edges, 7604 markings/sec, 750 secs
lola: 6750735 markings, 74047964 edges, 6745 markings/sec, 755 secs
lola: 6783454 markings, 74537741 edges, 6544 markings/sec, 760 secs
lola: 6819440 markings, 75023291 edges, 7197 markings/sec, 765 secs
lola: 6858986 markings, 75511469 edges, 7909 markings/sec, 770 secs
lola: 6896188 markings, 75999756 edges, 7440 markings/sec, 775 secs
lola: 6932209 markings, 76486058 edges, 7204 markings/sec, 780 secs
lola: 6964937 markings, 76934272 edges, 6546 markings/sec, 785 secs
lola: 7071623 markings, 77399866 edges, 21337 markings/sec, 790 secs
lola: 7192140 markings, 77861482 edges, 24103 markings/sec, 795 secs
lola: 7305042 markings, 78322909 edges, 22580 markings/sec, 800 secs
lola: 7356999 markings, 78810868 edges, 10391 markings/sec, 805 secs
lola: 7395791 markings, 79300640 edges, 7758 markings/sec, 810 secs
lola: 7433540 markings, 79788103 edges, 7550 markings/sec, 815 secs
lola: 7475464 markings, 80274967 edges, 8385 markings/sec, 820 secs
lola: 7513348 markings, 80761568 edges, 7577 markings/sec, 825 secs
lola: 7550417 markings, 81248581 edges, 7414 markings/sec, 830 secs
lola: 7588537 markings, 81735513 edges, 7624 markings/sec, 835 secs
lola: 7620833 markings, 82223878 edges, 6459 markings/sec, 840 secs
lola: 7656596 markings, 82708050 edges, 7153 markings/sec, 845 secs
lola: 7693407 markings, 83192134 edges, 7362 markings/sec, 850 secs
lola: 7727301 markings, 83675778 edges, 6779 markings/sec, 855 secs
lola: 7761645 markings, 84160304 edges, 6869 markings/sec, 860 secs
lola: 7799538 markings, 84647605 edges, 7579 markings/sec, 865 secs
lola: 7832823 markings, 85134927 edges, 6657 markings/sec, 870 secs
lola: 7867373 markings, 85618624 edges, 6910 markings/sec, 875 secs
lola: 7904054 markings, 86103186 edges, 7336 markings/sec, 880 secs
lola: 7938912 markings, 86585995 edges, 6972 markings/sec, 885 secs
lola: 7972107 markings, 87069105 edges, 6639 markings/sec, 890 secs
lola: 8009963 markings, 87559046 edges, 7571 markings/sec, 895 secs
lola: 8044775 markings, 88048418 edges, 6962 markings/sec, 900 secs
lola: 8081243 markings, 88539033 edges, 7294 markings/sec, 905 secs
lola: 8122124 markings, 89030878 edges, 8176 markings/sec, 910 secs
lola: 8161495 markings, 89520216 edges, 7874 markings/sec, 915 secs
lola: 8200842 markings, 90006090 edges, 7869 markings/sec, 920 secs
lola: 8242636 markings, 90491135 edges, 8359 markings/sec, 925 secs
lola: 8280526 markings, 90974989 edges, 7578 markings/sec, 930 secs
lola: 8316514 markings, 91460566 edges, 7198 markings/sec, 935 secs
lola: 8349206 markings, 91951714 edges, 6538 markings/sec, 940 secs
lola: 8380829 markings, 92443177 edges, 6325 markings/sec, 945 secs
lola: 8416415 markings, 92931583 edges, 7117 markings/sec, 950 secs
lola: 8451947 markings, 93419084 edges, 7106 markings/sec, 955 secs
lola: 8492036 markings, 93906972 edges, 8018 markings/sec, 960 secs
lola: 8530380 markings, 94396577 edges, 7669 markings/sec, 965 secs
lola: 8568569 markings, 94885734 edges, 7638 markings/sec, 970 secs
lola: 8606098 markings, 95372861 edges, 7506 markings/sec, 975 secs
lola: 8641241 markings, 95860521 edges, 7029 markings/sec, 980 secs
lola: 8675796 markings, 96349298 edges, 6911 markings/sec, 985 secs
lola: 8709055 markings, 96837787 edges, 6652 markings/sec, 990 secs
lola: 8750872 markings, 97329228 edges, 8363 markings/sec, 995 secs
lola: 8787609 markings, 97820340 edges, 7347 markings/sec, 1000 secs
lola: 8826761 markings, 98309068 edges, 7830 markings/sec, 1005 secs
lola: 8866336 markings, 98799037 edges, 7915 markings/sec, 1010 secs
lola: 8901990 markings, 99288449 edges, 7131 markings/sec, 1015 secs
lola: 8939655 markings, 99779160 edges, 7533 markings/sec, 1020 secs
lola: 8972232 markings, 100270094 edges, 6515 markings/sec, 1025 secs
lola: 9007361 markings, 100757905 edges, 7026 markings/sec, 1030 secs
lola: 9043082 markings, 101246493 edges, 7144 markings/sec, 1035 secs
lola: 9075560 markings, 101735195 edges, 6496 markings/sec, 1040 secs
lola: 9112291 markings, 102229003 edges, 7346 markings/sec, 1045 secs
lola: 9147072 markings, 102719234 edges, 6956 markings/sec, 1050 secs
lola: 9180179 markings, 103210559 edges, 6621 markings/sec, 1055 secs
lola: 9216653 markings, 103698351 edges, 7295 markings/sec, 1060 secs
lola: 9249887 markings, 104187929 edges, 6647 markings/sec, 1065 secs
lola: 9284563 markings, 104676543 edges, 6935 markings/sec, 1070 secs
lola: 9319451 markings, 105168036 edges, 6978 markings/sec, 1075 secs
lola: 9354319 markings, 105660767 edges, 6974 markings/sec, 1080 secs
lola: 9394313 markings, 106151743 edges, 7999 markings/sec, 1085 secs
lola: 9433344 markings, 106640691 edges, 7806 markings/sec, 1090 secs
lola: 9474408 markings, 107129168 edges, 8213 markings/sec, 1095 secs
lola: 9511783 markings, 107617696 edges, 7475 markings/sec, 1100 secs
lola: 9544107 markings, 108110313 edges, 6465 markings/sec, 1105 secs
lola: 9578746 markings, 108597465 edges, 6928 markings/sec, 1110 secs
lola: 9615028 markings, 109082594 edges, 7256 markings/sec, 1115 secs
lola: 9654508 markings, 109569652 edges, 7896 markings/sec, 1120 secs
lola: 9690817 markings, 110057402 edges, 7262 markings/sec, 1125 secs
lola: 9726326 markings, 110544446 edges, 7102 markings/sec, 1130 secs
lola: 9773453 markings, 111029789 edges, 9425 markings/sec, 1135 secs
lola: 9898856 markings, 111489883 edges, 25081 markings/sec, 1140 secs
lola: 10017395 markings, 111951463 edges, 23708 markings/sec, 1145 secs
lola: 10113801 markings, 112421426 edges, 19281 markings/sec, 1150 secs
lola: 10156856 markings, 112911342 edges, 8611 markings/sec, 1155 secs
lola: 10192692 markings, 113403883 edges, 7167 markings/sec, 1160 secs
lola: 10234022 markings, 113893210 edges, 8266 markings/sec, 1165 secs
lola: 10274670 markings, 114377857 edges, 8130 markings/sec, 1170 secs
lola: 10311038 markings, 114862517 edges, 7274 markings/sec, 1175 secs
lola: 10348333 markings, 115349059 edges, 7459 markings/sec, 1180 secs
lola: 10385868 markings, 115837311 edges, 7507 markings/sec, 1185 secs
lola: 10417912 markings, 116323777 edges, 6409 markings/sec, 1190 secs
lola: 10454770 markings, 116809652 edges, 7372 markings/sec, 1195 secs
lola: 10489939 markings, 117280972 edges, 7034 markings/sec, 1200 secs
lola: 10522390 markings, 117757918 edges, 6490 markings/sec, 1205 secs
lola: 10557761 markings, 118235682 edges, 7074 markings/sec, 1210 secs
lola: 10595665 markings, 118723480 edges, 7581 markings/sec, 1215 secs
lola: 10627605 markings, 119215690 edges, 6388 markings/sec, 1220 secs
lola: 10664613 markings, 119704578 edges, 7402 markings/sec, 1225 secs
lola: 10701118 markings, 120194399 edges, 7301 markings/sec, 1230 secs
lola: 10734967 markings, 120683535 edges, 6770 markings/sec, 1235 secs
lola: 10770807 markings, 121172511 edges, 7168 markings/sec, 1240 secs
lola: 10806787 markings, 121666344 edges, 7196 markings/sec, 1245 secs
lola: 10841729 markings, 122158376 edges, 6988 markings/sec, 1250 secs
lola: 10879813 markings, 122652041 edges, 7617 markings/sec, 1255 secs
lola: 10923193 markings, 123147367 edges, 8676 markings/sec, 1260 secs
lola: 10961847 markings, 123635425 edges, 7731 markings/sec, 1265 secs
lola: 11002604 markings, 124124225 edges, 8151 markings/sec, 1270 secs
lola: 11042127 markings, 124612625 edges, 7905 markings/sec, 1275 secs
lola: 11080647 markings, 125100567 edges, 7704 markings/sec, 1280 secs
lola: 11115565 markings, 125592328 edges, 6984 markings/sec, 1285 secs
lola: 11147073 markings, 126084296 edges, 6302 markings/sec, 1290 secs
lola: 11178536 markings, 126574946 edges, 6293 markings/sec, 1295 secs
lola: 11216774 markings, 127061403 edges, 7648 markings/sec, 1300 secs
lola: 11253060 markings, 127549466 edges, 7257 markings/sec, 1305 secs
lola: 11293362 markings, 128037351 edges, 8060 markings/sec, 1310 secs
lola: 11330767 markings, 128528381 edges, 7481 markings/sec, 1315 secs
lola: 11369805 markings, 129017709 edges, 7808 markings/sec, 1320 secs
lola: 11406638 markings, 129506199 edges, 7367 markings/sec, 1325 secs
lola: 11440080 markings, 129992024 edges, 6688 markings/sec, 1330 secs
lola: 11474626 markings, 130477740 edges, 6909 markings/sec, 1335 secs
lola: 11510681 markings, 130966542 edges, 7211 markings/sec, 1340 secs
lola: 11552153 markings, 131456863 edges, 8294 markings/sec, 1345 secs
lola: 11587675 markings, 131948470 edges, 7104 markings/sec, 1350 secs
lola: 11627467 markings, 132437312 edges, 7958 markings/sec, 1355 secs
lola: 11665907 markings, 132926069 edges, 7688 markings/sec, 1360 secs
lola: 11702172 markings, 133415808 edges, 7253 markings/sec, 1365 secs
lola: 11738920 markings, 133905012 edges, 7350 markings/sec, 1370 secs
lola: 11770740 markings, 134394687 edges, 6364 markings/sec, 1375 secs
lola: 11806748 markings, 134882662 edges, 7202 markings/sec, 1380 secs
lola: 11841150 markings, 135369716 edges, 6880 markings/sec, 1385 secs
lola: 11874257 markings, 135856113 edges, 6621 markings/sec, 1390 secs
lola: 11911645 markings, 136346167 edges, 7478 markings/sec, 1395 secs
lola: 11943548 markings, 136837233 edges, 6381 markings/sec, 1400 secs
lola: 11979269 markings, 137324613 edges, 7144 markings/sec, 1405 secs
lola: 12014800 markings, 137811315 edges, 7106 markings/sec, 1410 secs
lola: 12046624 markings, 138298256 edges, 6365 markings/sec, 1415 secs
lola: 12083395 markings, 138789072 edges, 7354 markings/sec, 1420 secs
lola: 12117920 markings, 139280969 edges, 6905 markings/sec, 1425 secs
lola: 12153314 markings, 139773922 edges, 7079 markings/sec, 1430 secs
lola: 12194361 markings, 140266745 edges, 8209 markings/sec, 1435 secs
lola: 12234481 markings, 140757992 edges, 8024 markings/sec, 1440 secs
lola: 12274452 markings, 141248127 edges, 7994 markings/sec, 1445 secs
lola: 12309801 markings, 141739353 edges, 7070 markings/sec, 1450 secs
lola: 12341621 markings, 142230866 edges, 6364 markings/sec, 1455 secs
lola: 12377829 markings, 142718551 edges, 7242 markings/sec, 1460 secs
lola: 12416625 markings, 143207491 edges, 7759 markings/sec, 1465 secs
lola: 12454267 markings, 143698749 edges, 7528 markings/sec, 1470 secs
lola: 12491256 markings, 144188113 edges, 7398 markings/sec, 1475 secs
lola: 12526372 markings, 144677844 edges, 7023 markings/sec, 1480 secs
lola: 12604190 markings, 145153146 edges, 15564 markings/sec, 1485 secs
lola: 12716882 markings, 145616342 edges, 22538 markings/sec, 1490 secs
lola: 12821520 markings, 146078447 edges, 20928 markings/sec, 1495 secs
lola: 12901864 markings, 146555261 edges, 16069 markings/sec, 1500 secs
lola: 12940440 markings, 147049474 edges, 7715 markings/sec, 1505 secs
lola: 12973624 markings, 147544587 edges, 6637 markings/sec, 1510 secs
lola: 13009641 markings, 148036922 edges, 7203 markings/sec, 1515 secs
lola: 13047015 markings, 148529292 edges, 7475 markings/sec, 1520 secs
lola: 13081637 markings, 149021552 edges, 6924 markings/sec, 1525 secs
lola: 13115255 markings, 149514332 edges, 6724 markings/sec, 1530 secs
lola: 13149982 markings, 150007352 edges, 6945 markings/sec, 1535 secs
lola: 13181328 markings, 150500084 edges, 6269 markings/sec, 1540 secs
lola: 13211570 markings, 150990593 edges, 6048 markings/sec, 1545 secs
lola: 13245721 markings, 151482352 edges, 6830 markings/sec, 1550 secs
lola: 13278697 markings, 151972542 edges, 6595 markings/sec, 1555 secs
lola: 13308722 markings, 152461597 edges, 6005 markings/sec, 1560 secs
lola: 13341753 markings, 152954184 edges, 6606 markings/sec, 1565 secs
lola: 13376396 markings, 153446399 edges, 6929 markings/sec, 1570 secs
lola: 13406150 markings, 153940757 edges, 5951 markings/sec, 1575 secs
lola: 13438416 markings, 154431082 edges, 6453 markings/sec, 1580 secs
lola: 13471505 markings, 154922673 edges, 6618 markings/sec, 1585 secs
lola: 13503944 markings, 155413219 edges, 6488 markings/sec, 1590 secs
lola: 13533668 markings, 155902030 edges, 5945 markings/sec, 1595 secs
lola: 13568561 markings, 156397776 edges, 6979 markings/sec, 1600 secs
lola: 13600469 markings, 156893250 edges, 6382 markings/sec, 1605 secs
lola: 13632471 markings, 157388999 edges, 6400 markings/sec, 1610 secs
lola: 13667534 markings, 157887462 edges, 7013 markings/sec, 1615 secs
lola: 13706597 markings, 158383588 edges, 7813 markings/sec, 1620 secs
lola: 13741701 markings, 158877168 edges, 7021 markings/sec, 1625 secs
lola: 13777904 markings, 159369384 edges, 7241 markings/sec, 1630 secs
lola: 13814898 markings, 159862054 edges, 7399 markings/sec, 1635 secs
lola: 13849609 markings, 160353492 edges, 6942 markings/sec, 1640 secs
lola: 13882840 markings, 160846667 edges, 6646 markings/sec, 1645 secs
lola: 13913471 markings, 161341578 edges, 6126 markings/sec, 1650 secs
lola: 13942704 markings, 161835639 edges, 5847 markings/sec, 1655 secs
lola: 13973105 markings, 162328372 edges, 6080 markings/sec, 1660 secs
lola: 14006824 markings, 162816854 edges, 6744 markings/sec, 1665 secs
lola: 14039864 markings, 163305736 edges, 6608 markings/sec, 1670 secs
lola: 14076347 markings, 163797446 edges, 7297 markings/sec, 1675 secs
lola: 14110412 markings, 164289771 edges, 6813 markings/sec, 1680 secs
lola: 14145161 markings, 164782171 edges, 6950 markings/sec, 1685 secs
lola: 14178605 markings, 165272049 edges, 6689 markings/sec, 1690 secs
lola: 14210709 markings, 165761271 edges, 6421 markings/sec, 1695 secs
lola: 14242127 markings, 166251849 edges, 6284 markings/sec, 1700 secs
lola: 14273042 markings, 166742088 edges, 6183 markings/sec, 1705 secs
lola: 14308000 markings, 167236874 edges, 6992 markings/sec, 1710 secs
lola: 14344582 markings, 167730474 edges, 7316 markings/sec, 1715 secs
lola: 14376718 markings, 168223388 edges, 6427 markings/sec, 1720 secs
lola: 14412925 markings, 168715715 edges, 7241 markings/sec, 1725 secs
lola: 14448034 markings, 169207217 edges, 7022 markings/sec, 1730 secs
lola: 14480703 markings, 169699028 edges, 6534 markings/sec, 1735 secs
lola: 14514446 markings, 170191447 edges, 6749 markings/sec, 1740 secs
lola: 14543677 markings, 170684723 edges, 5846 markings/sec, 1745 secs
lola: 14575667 markings, 171173905 edges, 6398 markings/sec, 1750 secs
lola: 14608256 markings, 171663288 edges, 6518 markings/sec, 1755 secs
lola: 14638223 markings, 172152112 edges, 5993 markings/sec, 1760 secs
lola: 14669831 markings, 172642894 edges, 6322 markings/sec, 1765 secs
lola: 14703464 markings, 173133870 edges, 6727 markings/sec, 1770 secs
lola: 14732287 markings, 173626297 edges, 5765 markings/sec, 1775 secs
lola: 14764876 markings, 174116354 edges, 6518 markings/sec, 1780 secs
lola: 14797240 markings, 174606424 edges, 6473 markings/sec, 1785 secs
lola: 14826907 markings, 175095362 edges, 5933 markings/sec, 1790 secs
lola: 14859155 markings, 175587087 edges, 6450 markings/sec, 1795 secs
lola: 14890643 markings, 176080640 edges, 6298 markings/sec, 1800 secs
lola: 14922054 markings, 176574100 edges, 6282 markings/sec, 1805 secs
lola: 14957363 markings, 177066777 edges, 7062 markings/sec, 1810 secs
lola: 14993300 markings, 177559337 edges, 7187 markings/sec, 1815 secs
lola: 15030087 markings, 178050034 edges, 7357 markings/sec, 1820 secs
lola: 15064936 markings, 178538805 edges, 6970 markings/sec, 1825 secs
lola: 15096583 markings, 179030562 edges, 6329 markings/sec, 1830 secs
lola: 15125405 markings, 179521029 edges, 5764 markings/sec, 1835 secs
lola: 15158031 markings, 180008072 edges, 6525 markings/sec, 1840 secs
lola: 15191562 markings, 180496573 edges, 6706 markings/sec, 1845 secs
lola: 15226847 markings, 180986988 edges, 7057 markings/sec, 1850 secs
lola: 15259969 markings, 181478011 edges, 6624 markings/sec, 1855 secs
lola: 15292090 markings, 181967541 edges, 6424 markings/sec, 1860 secs
lola: 15323996 markings, 182457759 edges, 6381 markings/sec, 1865 secs
lola: 15430943 markings, 182923134 edges, 21389 markings/sec, 1870 secs
lola: 15540265 markings, 183388426 edges, 21864 markings/sec, 1875 secs
lola: 15643008 markings, 183852765 edges, 20549 markings/sec, 1880 secs
lola: 15700512 markings, 184337951 edges, 11501 markings/sec, 1885 secs
lola: 15738345 markings, 184827564 edges, 7567 markings/sec, 1890 secs
lola: 15770538 markings, 185318807 edges, 6439 markings/sec, 1895 secs
lola: 15807365 markings, 185806989 edges, 7365 markings/sec, 1900 secs
lola: 15844002 markings, 186295155 edges, 7327 markings/sec, 1905 secs
lola: 15877179 markings, 186782799 edges, 6635 markings/sec, 1910 secs
lola: 15911038 markings, 187272639 edges, 6772 markings/sec, 1915 secs
lola: 15945420 markings, 187760916 edges, 6876 markings/sec, 1920 secs
lola: 15974955 markings, 188251279 edges, 5907 markings/sec, 1925 secs
lola: 16006811 markings, 188737352 edges, 6371 markings/sec, 1930 secs
lola: 16039684 markings, 189224244 edges, 6575 markings/sec, 1935 secs
lola: 16071665 markings, 189710796 edges, 6396 markings/sec, 1940 secs
lola: 16101426 markings, 190195203 edges, 5952 markings/sec, 1945 secs
lola: 16135669 markings, 190685688 edges, 6849 markings/sec, 1950 secs
lola: 16169663 markings, 191173618 edges, 6799 markings/sec, 1955 secs
lola: 16198606 markings, 191663667 edges, 5789 markings/sec, 1960 secs
lola: 16231548 markings, 192149942 edges, 6588 markings/sec, 1965 secs
lola: 16265005 markings, 192635916 edges, 6691 markings/sec, 1970 secs
lola: 16296132 markings, 193121905 edges, 6225 markings/sec, 1975 secs
lola: 16326352 markings, 193608255 edges, 6044 markings/sec, 1980 secs
lola: 16360482 markings, 194099254 edges, 6826 markings/sec, 1985 secs
lola: 16392121 markings, 194591000 edges, 6328 markings/sec, 1990 secs
lola: 16424128 markings, 195082470 edges, 6401 markings/sec, 1995 secs
lola: 16459983 markings, 195575613 edges, 7171 markings/sec, 2000 secs
lola: 16497655 markings, 196067152 edges, 7534 markings/sec, 2005 secs
lola: 16532270 markings, 196556073 edges, 6923 markings/sec, 2010 secs
lola: 16568352 markings, 197043372 edges, 7216 markings/sec, 2015 secs
lola: 16604524 markings, 197530703 edges, 7234 markings/sec, 2020 secs
lola: 16638990 markings, 198016304 edges, 6893 markings/sec, 2025 secs
lola: 16671505 markings, 198504561 edges, 6503 markings/sec, 2030 secs
lola: 16701416 markings, 198994420 edges, 5982 markings/sec, 2035 secs
lola: 16730458 markings, 199484022 edges, 5808 markings/sec, 2040 secs
lola: 16761137 markings, 199970872 edges, 6136 markings/sec, 2045 secs
lola: 16794295 markings, 200454754 edges, 6632 markings/sec, 2050 secs
lola: 16827469 markings, 200938931 edges, 6635 markings/sec, 2055 secs
lola: 16863131 markings, 201424698 edges, 7132 markings/sec, 2060 secs
lola: 16896735 markings, 201910451 edges, 6721 markings/sec, 2065 secs
lola: 16931132 markings, 202396808 edges, 6879 markings/sec, 2070 secs
lola: 16964104 markings, 202880959 edges, 6594 markings/sec, 2075 secs
lola: 16995870 markings, 203364638 edges, 6353 markings/sec, 2080 secs
lola: 17026900 markings, 203848565 edges, 6206 markings/sec, 2085 secs
lola: 17057376 markings, 204332006 edges, 6095 markings/sec, 2090 secs
lola: 17091863 markings, 204822221 edges, 6897 markings/sec, 2095 secs
lola: 17128331 markings, 205312335 edges, 7294 markings/sec, 2100 secs
lola: 17160288 markings, 205802663 edges, 6391 markings/sec, 2105 secs
lola: 17196250 markings, 206291378 edges, 7192 markings/sec, 2110 secs
lola: 17230976 markings, 206778602 edges, 6945 markings/sec, 2115 secs
lola: 17263448 markings, 207266981 edges, 6494 markings/sec, 2120 secs
lola: 17296896 markings, 207756306 edges, 6690 markings/sec, 2125 secs
lola: 17326530 markings, 208246324 edges, 5927 markings/sec, 2130 secs
lola: 17357924 markings, 208733068 edges, 6279 markings/sec, 2135 secs
lola: 17390457 markings, 209219300 edges, 6507 markings/sec, 2140 secs
lola: 17420459 markings, 209705461 edges, 6000 markings/sec, 2145 secs
lola: 17451500 markings, 210192757 edges, 6208 markings/sec, 2150 secs
lola: 17484966 markings, 210681319 edges, 6693 markings/sec, 2155 secs
lola: 17513727 markings, 211171289 edges, 5752 markings/sec, 2160 secs
lola: 17545866 markings, 211658127 edges, 6428 markings/sec, 2165 secs
lola: 17578118 markings, 212144634 edges, 6450 markings/sec, 2170 secs
lola: 17607976 markings, 212630451 edges, 5972 markings/sec, 2175 secs
lola: 17639505 markings, 213118484 edges, 6306 markings/sec, 2180 secs
lola: 17671167 markings, 213609366 edges, 6332 markings/sec, 2185 secs
lola: 17702037 markings, 214100607 edges, 6174 markings/sec, 2190 secs
lola: 17736369 markings, 214594092 edges, 6866 markings/sec, 2195 secs
lola: 17773094 markings, 215087131 edges, 7345 markings/sec, 2200 secs
lola: 17809587 markings, 215577581 edges, 7299 markings/sec, 2205 secs
lola: 17844924 markings, 216067104 edges, 7067 markings/sec, 2210 secs
lola: 17877158 markings, 216558438 edges, 6447 markings/sec, 2215 secs
lola: 17906360 markings, 217050137 edges, 5840 markings/sec, 2220 secs
lola: 17938361 markings, 217538439 edges, 6400 markings/sec, 2225 secs
lola: 17971632 markings, 218026984 edges, 6654 markings/sec, 2230 secs
lola: 18007080 markings, 218517691 edges, 7090 markings/sec, 2235 secs
lola: 18040351 markings, 219009161 edges, 6654 markings/sec, 2240 secs
lola: 18072862 markings, 219498944 edges, 6502 markings/sec, 2245 secs
lola: 18105257 markings, 219988931 edges, 6479 markings/sec, 2250 secs
lola: 18153567 markings, 220478884 edges, 9662 markings/sec, 2255 secs
lola: 18214462 markings, 220964551 edges, 12179 markings/sec, 2260 secs
lola: 18257578 markings, 221457118 edges, 8623 markings/sec, 2265 secs
lola: 18299780 markings, 221950014 edges, 8440 markings/sec, 2270 secs
lola: 18353881 markings, 222437743 edges, 10820 markings/sec, 2275 secs
lola: 18392355 markings, 222929983 edges, 7695 markings/sec, 2280 secs
lola: 18430026 markings, 223423170 edges, 7534 markings/sec, 2285 secs
lola: 18468933 markings, 223916549 edges, 7781 markings/sec, 2290 secs
lola: 18518416 markings, 224404077 edges, 9897 markings/sec, 2295 secs
lola: 18557231 markings, 224897602 edges, 7763 markings/sec, 2300 secs
lola: 18595056 markings, 225391170 edges, 7565 markings/sec, 2305 secs
lola: 18649546 markings, 225874049 edges, 10898 markings/sec, 2310 secs
lola: 18692406 markings, 226362787 edges, 8572 markings/sec, 2315 secs
lola: 18734414 markings, 226851161 edges, 8402 markings/sec, 2320 secs
lola: 18786676 markings, 227333805 edges, 10452 markings/sec, 2325 secs
lola: 18824857 markings, 227821968 edges, 7636 markings/sec, 2330 secs
lola: 18862047 markings, 228309799 edges, 7438 markings/sec, 2335 secs
lola: 18912546 markings, 228795039 edges, 10100 markings/sec, 2340 secs
lola: 18950506 markings, 229281881 edges, 7592 markings/sec, 2345 secs
lola: 18988698 markings, 229769729 edges, 7638 markings/sec, 2350 secs
lola: 19026076 markings, 230259111 edges, 7476 markings/sec, 2355 secs
lola: 19135901 markings, 230719778 edges, 21965 markings/sec, 2360 secs
lola: 19184458 markings, 231203194 edges, 9711 markings/sec, 2365 secs
lola: 19223811 markings, 231689567 edges, 7871 markings/sec, 2370 secs
lola: 19261770 markings, 232175674 edges, 7592 markings/sec, 2375 secs
lola: 19298046 markings, 232662585 edges, 7255 markings/sec, 2380 secs
lola: 19335857 markings, 233148557 edges, 7562 markings/sec, 2385 secs
lola: 19372692 markings, 233635942 edges, 7367 markings/sec, 2390 secs
lola: 19411528 markings, 234126393 edges, 7767 markings/sec, 2395 secs
lola: 19449931 markings, 234615828 edges, 7681 markings/sec, 2400 secs
lola: 19488289 markings, 235103093 edges, 7672 markings/sec, 2405 secs
lola: 19529718 markings, 235594983 edges, 8286 markings/sec, 2410 secs
lola: 19568064 markings, 236087095 edges, 7669 markings/sec, 2415 secs
lola: 19605895 markings, 236579772 edges, 7566 markings/sec, 2420 secs
lola: 19646954 markings, 237068447 edges, 8212 markings/sec, 2425 secs
lola: 19684002 markings, 237560155 edges, 7410 markings/sec, 2430 secs
lola: 19720224 markings, 238050825 edges, 7244 markings/sec, 2435 secs
lola: 19757352 markings, 238541482 edges, 7426 markings/sec, 2440 secs
lola: 19793467 markings, 239033360 edges, 7223 markings/sec, 2445 secs
lola: 19831911 markings, 239528290 edges, 7689 markings/sec, 2450 secs
lola: 19871086 markings, 240020525 edges, 7835 markings/sec, 2455 secs
lola: 19910799 markings, 240513102 edges, 7943 markings/sec, 2460 secs
lola: 19981203 markings, 240993511 edges, 14081 markings/sec, 2465 secs
lola: 20060989 markings, 241467224 edges, 15957 markings/sec, 2470 secs
lola: 20098572 markings, 241954687 edges, 7517 markings/sec, 2475 secs
lola: 20132799 markings, 242443530 edges, 6845 markings/sec, 2480 secs
lola: 20167091 markings, 242932150 edges, 6858 markings/sec, 2485 secs
lola: 20199993 markings, 243421184 edges, 6580 markings/sec, 2490 secs
lola: 20234386 markings, 243910424 edges, 6879 markings/sec, 2495 secs
lola: 20267840 markings, 244400696 edges, 6691 markings/sec, 2500 secs
lola: 20302485 markings, 244894120 edges, 6929 markings/sec, 2505 secs
lola: 20337623 markings, 245388347 edges, 7028 markings/sec, 2510 secs
lola: 20372638 markings, 245880523 edges, 7003 markings/sec, 2515 secs
lola: 20408527 markings, 246372099 edges, 7178 markings/sec, 2520 secs
lola: 20444253 markings, 246861395 edges, 7145 markings/sec, 2525 secs
lola: 20477880 markings, 247347580 edges, 6725 markings/sec, 2530 secs
lola: 20512104 markings, 247835248 edges, 6845 markings/sec, 2535 secs
lola: 20548381 markings, 248320090 edges, 7255 markings/sec, 2540 secs
lola: 20580944 markings, 248805845 edges, 6513 markings/sec, 2545 secs
lola: 20613590 markings, 249290526 edges, 6529 markings/sec, 2550 secs
lola: 20646521 markings, 249776747 edges, 6586 markings/sec, 2555 secs
lola: 20678933 markings, 250264317 edges, 6482 markings/sec, 2560 secs
lola: 20712593 markings, 250757293 edges, 6732 markings/sec, 2565 secs
lola: 20747875 markings, 251250031 edges, 7056 markings/sec, 2570 secs
lola: 20782986 markings, 251742879 edges, 7022 markings/sec, 2575 secs
lola: 20818741 markings, 252236152 edges, 7151 markings/sec, 2580 secs
lola: 20898691 markings, 252711821 edges, 15990 markings/sec, 2585 secs
lola: 20966520 markings, 253189908 edges, 13566 markings/sec, 2590 secs
lola: 21004061 markings, 253677825 edges, 7508 markings/sec, 2595 secs
lola: 21038007 markings, 254167435 edges, 6789 markings/sec, 2600 secs
lola: 21072347 markings, 254656810 edges, 6868 markings/sec, 2605 secs
lola: 21105083 markings, 255147096 edges, 6547 markings/sec, 2610 secs
lola: 21139605 markings, 255636780 edges, 6904 markings/sec, 2615 secs
lola: 21173000 markings, 256127752 edges, 6679 markings/sec, 2620 secs
lola: 21208371 markings, 256622834 edges, 7074 markings/sec, 2625 secs
lola: 21243381 markings, 257116825 edges, 7002 markings/sec, 2630 secs
lola: 21278250 markings, 257609766 edges, 6974 markings/sec, 2635 secs
lola: 21314416 markings, 258102209 edges, 7233 markings/sec, 2640 secs
lola: 21349911 markings, 258595892 edges, 7099 markings/sec, 2645 secs
lola: 21384092 markings, 259089716 edges, 6836 markings/sec, 2650 secs
lola: 21419328 markings, 259582003 edges, 7047 markings/sec, 2655 secs
lola: 21455277 markings, 260071680 edges, 7190 markings/sec, 2660 secs
lola: 21488715 markings, 260560647 edges, 6688 markings/sec, 2665 secs
lola: 21520997 markings, 261050906 edges, 6456 markings/sec, 2670 secs
lola: 21554339 markings, 261540325 edges, 6668 markings/sec, 2675 secs
lola: 21587136 markings, 262031056 edges, 6559 markings/sec, 2680 secs
lola: 21621323 markings, 262524934 edges, 6837 markings/sec, 2685 secs
lola: 21656126 markings, 263017857 edges, 6961 markings/sec, 2690 secs
lola: 21691883 markings, 263510985 edges, 7151 markings/sec, 2695 secs
lola: 21727338 markings, 264004485 edges, 7091 markings/sec, 2700 secs
lola: 21789185 markings, 264482240 edges, 12369 markings/sec, 2705 secs
lola: 21834535 markings, 264975928 edges, 9070 markings/sec, 2710 secs
lola: 21869189 markings, 265473641 edges, 6931 markings/sec, 2715 secs
lola: 21910783 markings, 265967755 edges, 8319 markings/sec, 2720 secs
lola: 22030172 markings, 266430744 edges, 23878 markings/sec, 2725 secs
lola: 22087026 markings, 266914578 edges, 11371 markings/sec, 2730 secs
lola: 22125783 markings, 267403205 edges, 7751 markings/sec, 2735 secs
lola: 22165816 markings, 267893685 edges, 8007 markings/sec, 2740 secs
lola: 22205402 markings, 268381905 edges, 7917 markings/sec, 2745 secs
lola: 22242548 markings, 268872723 edges, 7429 markings/sec, 2750 secs
lola: 22277617 markings, 269363012 edges, 7014 markings/sec, 2755 secs
lola: 22314449 markings, 269855760 edges, 7366 markings/sec, 2760 secs
lola: 22349865 markings, 270346544 edges, 7083 markings/sec, 2765 secs
lola: 22387287 markings, 270838199 edges, 7484 markings/sec, 2770 secs
lola: 22422098 markings, 271329680 edges, 6962 markings/sec, 2775 secs
lola: 22458722 markings, 271822742 edges, 7325 markings/sec, 2780 secs
lola: 22494383 markings, 272315979 edges, 7132 markings/sec, 2785 secs
lola: 22533005 markings, 272806894 edges, 7724 markings/sec, 2790 secs
lola: 22572082 markings, 273295469 edges, 7815 markings/sec, 2795 secs
lola: 22611971 markings, 273783581 edges, 7978 markings/sec, 2800 secs
lola: 22651241 markings, 274269674 edges, 7854 markings/sec, 2805 secs
lola: 22690102 markings, 274757900 edges, 7772 markings/sec, 2810 secs
lola: 22725395 markings, 275247553 edges, 7059 markings/sec, 2815 secs
lola: 22760640 markings, 275738012 edges, 7049 markings/sec, 2820 secs
lola: 22795830 markings, 276225669 edges, 7038 markings/sec, 2825 secs
lola: 22832903 markings, 276714378 edges, 7415 markings/sec, 2830 secs
lola: 22869294 markings, 277204216 edges, 7278 markings/sec, 2835 secs
lola: 22904036 markings, 277694735 edges, 6948 markings/sec, 2840 secs
lola: 22940139 markings, 278184005 edges, 7221 markings/sec, 2845 secs
lola: 22976016 markings, 278671520 edges, 7175 markings/sec, 2850 secs
lola: 23010677 markings, 279162493 edges, 6932 markings/sec, 2855 secs
lola: 23042576 markings, 279656018 edges, 6380 markings/sec, 2860 secs
lola: 23169593 markings, 280115322 edges, 25403 markings/sec, 2865 secs
lola: 23211623 markings, 280601662 edges, 8406 markings/sec, 2870 secs
lola: 23246556 markings, 281089242 edges, 6987 markings/sec, 2875 secs
lola: 23283181 markings, 281579087 edges, 7325 markings/sec, 2880 secs
lola: 23318441 markings, 282067270 edges, 7052 markings/sec, 2885 secs
lola: 23353300 markings, 282556397 edges, 6972 markings/sec, 2890 secs
lola: 23385353 markings, 283045635 edges, 6411 markings/sec, 2895 secs
lola: 23417070 markings, 283536968 edges, 6343 markings/sec, 2900 secs
lola: 23449708 markings, 284027535 edges, 6528 markings/sec, 2905 secs
lola: 23482896 markings, 284516647 edges, 6638 markings/sec, 2910 secs
lola: 23516866 markings, 285007816 edges, 6794 markings/sec, 2915 secs
lola: 23548599 markings, 285497937 edges, 6347 markings/sec, 2920 secs
lola: 23581653 markings, 285989990 edges, 6611 markings/sec, 2925 secs
lola: 23613777 markings, 286482018 edges, 6425 markings/sec, 2930 secs
lola: 23647831 markings, 286972362 edges, 6811 markings/sec, 2935 secs
lola: 23683985 markings, 287458934 edges, 7231 markings/sec, 2940 secs
lola: 23718558 markings, 287946116 edges, 6915 markings/sec, 2945 secs
lola: 23754463 markings, 288433289 edges, 7181 markings/sec, 2950 secs
lola: 23790096 markings, 288916888 edges, 7127 markings/sec, 2955 secs
lola: 23824453 markings, 289405124 edges, 6871 markings/sec, 2960 secs
lola: 23855713 markings, 289893672 edges, 6252 markings/sec, 2965 secs
lola: 23888437 markings, 290382975 edges, 6545 markings/sec, 2970 secs
lola: 23920158 markings, 290868870 edges, 6344 markings/sec, 2975 secs
lola: 23953533 markings, 291355906 edges, 6675 markings/sec, 2980 secs
lola: 23986714 markings, 291845091 edges, 6636 markings/sec, 2985 secs
lola: 24018738 markings, 292334437 edges, 6405 markings/sec, 2990 secs
lola: 24052044 markings, 292824155 edges, 6661 markings/sec, 2995 secs
lola: 24083892 markings, 293311250 edges, 6370 markings/sec, 3000 secs
lola: 24116231 markings, 293799908 edges, 6468 markings/sec, 3005 secs
lola: 24146398 markings, 294291388 edges, 6033 markings/sec, 3010 secs
lola: 24189091 markings, 294780985 edges, 8539 markings/sec, 3015 secs
lola: 24310180 markings, 295241331 edges, 24218 markings/sec, 3020 secs
lola: 24346310 markings, 295729150 edges, 7226 markings/sec, 3025 secs
lola: 24380969 markings, 296217380 edges, 6932 markings/sec, 3030 secs
lola: 24417010 markings, 296707247 edges, 7208 markings/sec, 3035 secs
lola: 24453068 markings, 297195584 edges, 7212 markings/sec, 3040 secs
lola: 24487157 markings, 297684807 edges, 6818 markings/sec, 3045 secs
lola: 24518851 markings, 298173872 edges, 6339 markings/sec, 3050 secs
lola: 24551824 markings, 298664469 edges, 6595 markings/sec, 3055 secs
lola: 24583843 markings, 299154930 edges, 6404 markings/sec, 3060 secs
lola: 24617302 markings, 299645453 edges, 6692 markings/sec, 3065 secs
lola: 24650516 markings, 300136198 edges, 6643 markings/sec, 3070 secs
lola: 24682134 markings, 300625980 edges, 6324 markings/sec, 3075 secs
lola: 24715789 markings, 301119247 edges, 6731 markings/sec, 3080 secs
lola: 24748192 markings, 301610972 edges, 6481 markings/sec, 3085 secs
lola: 24783186 markings, 302101222 edges, 6999 markings/sec, 3090 secs
lola: 24818545 markings, 302587403 edges, 7072 markings/sec, 3095 secs
lola: 24853401 markings, 303076042 edges, 6971 markings/sec, 3100 secs
lola: 24888637 markings, 303561036 edges, 7047 markings/sec, 3105 secs
lola: 24924887 markings, 304046194 edges, 7250 markings/sec, 3110 secs
lola: 24957997 markings, 304534537 edges, 6622 markings/sec, 3115 secs
lola: 24989654 markings, 305022770 edges, 6331 markings/sec, 3120 secs
lola: 25022949 markings, 305511154 edges, 6659 markings/sec, 3125 secs
lola: 25054739 markings, 305997052 edges, 6358 markings/sec, 3130 secs
lola: 25087714 markings, 306484589 edges, 6595 markings/sec, 3135 secs
lola: 25120510 markings, 306972933 edges, 6559 markings/sec, 3140 secs
lola: 25152226 markings, 307460709 edges, 6343 markings/sec, 3145 secs
lola: 25185278 markings, 307949870 edges, 6610 markings/sec, 3150 secs
lola: 25217555 markings, 308435767 edges, 6455 markings/sec, 3155 secs
lola: 25249400 markings, 308924157 edges, 6369 markings/sec, 3160 secs
lola: 25279377 markings, 309416711 edges, 5995 markings/sec, 3165 secs
lola: 25330346 markings, 309885452 edges, 10194 markings/sec, 3170 secs
lola: 25390998 markings, 310372556 edges, 12130 markings/sec, 3175 secs
lola: 25450717 markings, 310863367 edges, 11944 markings/sec, 3180 secs
lola: 25495403 markings, 311360358 edges, 8937 markings/sec, 3185 secs
lola: 25548717 markings, 311848321 edges, 10663 markings/sec, 3190 secs
lola: 25596013 markings, 312341006 edges, 9459 markings/sec, 3195 secs
lola: 25654508 markings, 312829949 edges, 11699 markings/sec, 3200 secs
lola: 25714204 markings, 313319345 edges, 11939 markings/sec, 3205 secs
lola: 25758552 markings, 313814584 edges, 8870 markings/sec, 3210 secs
lola: 25811777 markings, 314301641 edges, 10645 markings/sec, 3215 secs
lola: 25858952 markings, 314792000 edges, 9435 markings/sec, 3220 secs
lola: 25946545 markings, 315270719 edges, 17519 markings/sec, 3225 secs
lola: 25992788 markings, 315766065 edges, 9249 markings/sec, 3230 secs
lola: 26033841 markings, 316260945 edges, 8211 markings/sec, 3235 secs
lola: 26075509 markings, 316755267 edges, 8334 markings/sec, 3240 secs
lola: 26116293 markings, 317250224 edges, 8157 markings/sec, 3245 secs
lola: 26156889 markings, 317746054 edges, 8119 markings/sec, 3250 secs
lola: 26211444 markings, 318239929 edges, 10911 markings/sec, 3255 secs
lola: 26256911 markings, 318735571 edges, 9093 markings/sec, 3260 secs
lola: 26297354 markings, 319231252 edges, 8089 markings/sec, 3265 secs
lola: 26337501 markings, 319726811 edges, 8029 markings/sec, 3270 secs
lola: 26379027 markings, 320221823 edges, 8305 markings/sec, 3275 secs
lola: 26426806 markings, 320712423 edges, 9556 markings/sec, 3280 secs
lola: 26487943 markings, 321190725 edges, 12227 markings/sec, 3285 secs
lola: 26537208 markings, 321680089 edges, 9853 markings/sec, 3290 secs
lola: 26578253 markings, 322174363 edges, 8209 markings/sec, 3295 secs
lola: 26623909 markings, 322663519 edges, 9131 markings/sec, 3300 secs
lola: 26664508 markings, 323153849 edges, 8120 markings/sec, 3305 secs
lola: 26711012 markings, 323642832 edges, 9301 markings/sec, 3310 secs
lola: 26756677 markings, 324135656 edges, 9133 markings/sec, 3315 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no yes no unknown no no yes yes no yes no yes yes yes
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no no no yes no unknown no no yes yes no yes no yes yes yes
lola:
preliminary result: no no no yes no unknown no no yes yes no yes no yes yes yes
lola: memory consumption: 4294372 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
BK_STOP 1589171871491
--------------------
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="ASLink-PT-06a"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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 win2019"
echo " Input is ASLink-PT-06a, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r015-smll-158897552700023"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-06a.tgz
mv ASLink-PT-06a execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;