About the Execution of 2019-Gold for Railroad-PT-100
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4508.970 | 3570113.00 | 3618780.00 | 9065.70 | FFFF?TTTTFFFFF?F | 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.r150-smll-158961529300081.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 Railroad-PT-100, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300081
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.4M
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 08:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 09:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 09:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Apr 10 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 10 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 21:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 5.2M Mar 24 05:38 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 Railroad-PT-100-00
FORMULA_NAME Railroad-PT-100-01
FORMULA_NAME Railroad-PT-100-02
FORMULA_NAME Railroad-PT-100-03
FORMULA_NAME Railroad-PT-100-04
FORMULA_NAME Railroad-PT-100-05
FORMULA_NAME Railroad-PT-100-06
FORMULA_NAME Railroad-PT-100-07
FORMULA_NAME Railroad-PT-100-08
FORMULA_NAME Railroad-PT-100-09
FORMULA_NAME Railroad-PT-100-10
FORMULA_NAME Railroad-PT-100-11
FORMULA_NAME Railroad-PT-100-12
FORMULA_NAME Railroad-PT-100-13
FORMULA_NAME Railroad-PT-100-14
FORMULA_NAME Railroad-PT-100-15
=== Now, execution of the tool begins
BK_START 1589937899242
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ Railroad-PT-100 @ 3570 seconds
FORMULA Railroad-PT-100-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ Railroad-PT-100
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1769
},
"exit":
{
"localtimelimitreached": false,
"memory": 247452,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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 ((G ((pl_P349_1 <= pl_P29_5)) OR (pl_P310_1 + 1 <= pl_P139_1)))",
"processed_size": 65,
"rewrites": 139
},
"result":
{
"preliminary_value": "no no no no unknown yes yes yes yes no no no no no unknown no "
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 11524/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 32576
lola: finding significant places
lola: 1018 places, 10506 transitions, 407 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 <= pl_P309_1)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P29_65 <= pl_P379_1)
lola: after: (pl_P29_65 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P29_65 <= pl_P379_1)
lola: after: (pl_P29_65 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P218_26 <= pl_P349_1)
lola: after: (0 <= pl_P349_1)
lola: place invariant simplifies atomic proposition
lola: before: (2 <= pl_P218_56)
lola: after: (2 <= 0)
lola: LP says that atomic proposition is always false: (3 <= pl_P435_1)
lola: place invariant simplifies atomic proposition
lola: before: (2 <= pl_P218_56)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P29_72 <= pl_P218_101)
lola: after: (pl_P29_72 <= 0)
lola: LP says that atomic proposition is always false: (3 <= pl_P466_1)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P502_35 <= pl_P435_84)
lola: after: (0 <= pl_P435_84)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P502_35 <= pl_P435_84)
lola: after: (0 <= pl_P435_84)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P218_2 <= pl_P117_1)
lola: after: (0 <= pl_P117_1)
lola: LP says that atomic proposition is always false: (2 <= pl_P56_1)
lola: place invariant simplifies atomic proposition
lola: before: (2 <= pl_P33_1)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= pl_P502_13)
lola: after: (3 <= 0)
lola: LP says that atomic proposition is always false: (3 <= pl_P237_1)
lola: LP says that atomic proposition is always false: (3 <= pl_P435_55)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P125_1 <= pl_P467_1)
lola: after: (0 <= pl_P467_1)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P502_44 <= pl_P29_39)
lola: after: (0 <= pl_P29_39)
lola: place invariant simplifies atomic proposition
lola: before: (2 <= pl_P502_16)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (2 <= pl_P502_16)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= pl_P84_1)
lola: after: (3 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P29_40 <= pl_P121_1)
lola: after: (pl_P29_40 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (pl_P412_1 <= pl_P373_1)
lola: after: (0 <= pl_P373_1)
lola: place invariant simplifies atomic proposition
lola: before: (0 <= pl_P403_1)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= pl_P435_77)
lola: LP says that atomic proposition is always false: (3 <= pl_P435_44)
lola: A (NOT(F (X ((pl_P29_50 <= pl_P167_1))))) : A ((((pl_P153_1 <= pl_P304_2) AND F ((3 <= pl_P309_1))) AND G ((pl_P475_1 <= pl_P197_1)))) : A (((pl_P29_65 <= 0) AND G (X (NOT(G ((((1 <= pl_P435_3) AND F ((1 <= pl_P435_3))) U G (((pl_P29_65 <= 0) U (1 <= pl_P435_3)))))))))) : A (G (F ((pl_P349_1 + 1 <= 0)))) : A (G (F (X ((((2 <= 0) U (3 <= pl_P435_1)) OR X (G (((pl_P29_63 <= 0) OR X (X ((2 <= 0))))))))))) : A (F (NOT((G (((pl_P29_72 <= 0))) U (NOT(X ((0 <= pl_P435_84))) AND F ((0 <= pl_P435_84))))))) : A ((((0 <= pl_P29_22) OR NOT(G (NOT(G ((0 <= pl_P117_1)))))) OR ((2 <= pl_P56_1) U (pl_P100_1 <= pl_P298_1)))) : A (((((pl_P29_91 <= pl_P143_1) U (2 <= 0)) U (3 <= 0)) OR X (((pl_P29_91 <= pl_P143_1) OR NOT(F ((3 <= pl_P237_1))))))) : A (NOT(F ((((pl_P232_1 + 1 <= pl_P158_1) AND X ((pl_P158_1 <= pl_P232_1))) AND X (X ((3 <= pl_P435_55))))))) : A (X (G (NOT((X ((0 <= pl_P431_1)) U (0 <= pl_P431_1)))))) : A ((X (NOT(G (()))) U NOT(G ((0 <= pl_P29_39))))) : A (((pl_P304_85 <= pl_P29_36) U ((2 <= 0) AND F ((2 <= 0))))) : A ((G ((pl_P243_1 <= pl_P290_1)) U (X (F (((3 <= 0) AND G ((pl_P243_1 <= pl_P290_1))))) AND X ((1 <= pl_P29_40))))) : A (X (G ((() AND (((2 <= pl_P435_77) U F ((pl_P304_64 <= pl_P29_14))) U ((pl_P304_2 + 1 <= pl_P131_1) AND (pl_P304_64 <= pl_P29_14))))))) : A ((G ((pl_P349_1 <= pl_P29_5)) OR NOT(((pl_P139_1 <= pl_P310_1) OR G ((3 <= pl_P435_44)))))) : A (F (X (((1 <= pl_P38_1) OR (1 <= pl_P169_1)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:497
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
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:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:118
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:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:117
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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
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:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:118
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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:116
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:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 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: 139 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 235 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: 139 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 2 will run for 252 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: 139 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 3 will run for 272 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: 139 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 294 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: 139 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 321 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: 139 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 353 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: 139 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 7 will run for 393 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: 139 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 8 will run for 442 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: 139 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 9 will run for 505 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: 139 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: 101 markings, 100 edges
lola: ========================================
lola: subprocess 10 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((pl_P29_65 <= 0) AND A (X (G ((G (F ((G ((pl_P435_3 <= 0)) OR ((1 <= pl_P29_65) AND (pl_P435_3 <= 0))))) OR F (((pl_P435_3 <= 0) AND F ((G ((pl_P435_3 <= 0)) OR ((1 <= pl_P29_65) AND (pl_P435_3 <= 0)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (pl_P29_65 <= 0)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (pl_P29_65 <= 0)
lola: processed formula length: 16
lola: 139 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 707 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((G (F ((G ((pl_P435_3 <= 0)) OR ((1 <= pl_P29_65) AND (pl_P435_3 <= 0))))) OR F (((pl_P435_3 <= 0) AND F ((G ((pl_P435_3 <= 0)) OR ((1 <= pl_P29_65) AND (pl_P435_3 <= 0))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((G (F ((G ((pl_P435_3 <= 0)) OR ((1 <= pl_P29_65) AND (pl_P435_3 <= 0))))) OR F (((pl_P435_3 <= 0) AND F ((G ((pl_P435_3 <= 0)) OR ((1 <= pl_P29_65) AND (pl_P435_3 <= 0))))))))))
lola: processed formula length: 187
lola: 139 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 79 markings, 79 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 707 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((pl_P167_1 + 1 <= pl_P29_50))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((pl_P167_1 + 1 <= pl_P29_50))))
lola: processed formula length: 40
lola: 139 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 79 markings, 79 edges
lola: ========================================
lola: subprocess 12 will run for 884 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((F (((pl_P304_2 + 1 <= pl_P131_1) AND (pl_P304_64 <= pl_P29_14))) AND (F ((pl_P304_64 <= pl_P29_14)) OR ((pl_P304_2 + 1 <= pl_P131_1) AND (pl_P304_64 <= pl_P29_14)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F (((pl_P304_2 + 1 <= pl_P131_1) AND (pl_P304_64 <= pl_P29_14))) AND (F ((pl_P304_64 <= pl_P29_14)) OR ((pl_P304_2 + 1 <= pl_P131_1) AND (pl_P304_64 <= pl_P29_14)))))))
lola: processed formula length: 178
lola: 139 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: 656 markings, 710 edges
lola: ========================================
lola: subprocess 13 will run for 1179 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((1 <= pl_P38_1) OR (1 <= pl_P169_1)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((1 <= pl_P38_1) OR (1 <= pl_P169_1)))))
lola: processed formula length: 50
lola: 139 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: 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 14 will run for 1768 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((pl_P29_63 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((pl_P29_63 <= 0))))
lola: processed formula length: 28
lola: 139 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: 1741 markings, 3062 edges, 348 markings/sec, 0 secs
lola: 3490 markings, 6452 edges, 350 markings/sec, 5 secs
lola: 5398 markings, 10219 edges, 382 markings/sec, 10 secs
lola: 7160 markings, 13805 edges, 352 markings/sec, 15 secs
lola: 9040 markings, 17532 edges, 376 markings/sec, 20 secs
lola: 10896 markings, 21312 edges, 371 markings/sec, 25 secs
lola: 12735 markings, 25039 edges, 368 markings/sec, 30 secs
lola: 14227 markings, 27868 edges, 298 markings/sec, 35 secs
lola: 15836 markings, 31506 edges, 322 markings/sec, 40 secs
lola: 17761 markings, 35423 edges, 385 markings/sec, 45 secs
lola: 19372 markings, 38863 edges, 322 markings/sec, 50 secs
lola: 21059 markings, 41900 edges, 337 markings/sec, 55 secs
lola: 22881 markings, 45611 edges, 364 markings/sec, 60 secs
lola: 24676 markings, 49480 edges, 359 markings/sec, 65 secs
lola: 26252 markings, 52728 edges, 315 markings/sec, 70 secs
lola: 27951 markings, 56761 edges, 340 markings/sec, 75 secs
lola: 29566 markings, 60199 edges, 323 markings/sec, 80 secs
lola: 31246 markings, 63852 edges, 336 markings/sec, 85 secs
lola: 33185 markings, 67900 edges, 388 markings/sec, 90 secs
lola: 34777 markings, 70986 edges, 318 markings/sec, 95 secs
lola: 36522 markings, 74685 edges, 349 markings/sec, 100 secs
lola: 37867 markings, 77245 edges, 269 markings/sec, 105 secs
lola: 39749 markings, 81328 edges, 376 markings/sec, 110 secs
lola: 41181 markings, 84019 edges, 286 markings/sec, 115 secs
lola: 42912 markings, 87701 edges, 346 markings/sec, 120 secs
lola: 44811 markings, 91444 edges, 380 markings/sec, 125 secs
lola: 46419 markings, 94430 edges, 322 markings/sec, 130 secs
lola: 47888 markings, 97344 edges, 294 markings/sec, 135 secs
lola: 49570 markings, 100873 edges, 336 markings/sec, 140 secs
lola: 51397 markings, 105339 edges, 365 markings/sec, 145 secs
lola: 53026 markings, 108908 edges, 326 markings/sec, 150 secs
lola: 54821 markings, 112605 edges, 359 markings/sec, 155 secs
lola: 56730 markings, 116460 edges, 382 markings/sec, 160 secs
lola: 58229 markings, 119548 edges, 300 markings/sec, 165 secs
lola: 59924 markings, 123123 edges, 339 markings/sec, 170 secs
lola: 61586 markings, 126734 edges, 332 markings/sec, 175 secs
lola: 63095 markings, 130067 edges, 302 markings/sec, 180 secs
lola: 64848 markings, 133682 edges, 351 markings/sec, 185 secs
lola: 66523 markings, 137038 edges, 335 markings/sec, 190 secs
lola: 68324 markings, 140723 edges, 360 markings/sec, 195 secs
lola: 69910 markings, 144554 edges, 317 markings/sec, 200 secs
lola: 71461 markings, 147715 edges, 310 markings/sec, 205 secs
lola: 73365 markings, 151953 edges, 381 markings/sec, 210 secs
lola: 75017 markings, 155548 edges, 330 markings/sec, 215 secs
lola: 76750 markings, 159272 edges, 347 markings/sec, 220 secs
lola: 78281 markings, 162450 edges, 306 markings/sec, 225 secs
lola: 79939 markings, 165676 edges, 332 markings/sec, 230 secs
lola: 81628 markings, 169059 edges, 338 markings/sec, 235 secs
lola: 83120 markings, 172095 edges, 298 markings/sec, 240 secs
lola: 84777 markings, 175827 edges, 331 markings/sec, 245 secs
lola: 86305 markings, 179152 edges, 306 markings/sec, 250 secs
lola: 88006 markings, 182663 edges, 340 markings/sec, 255 secs
lola: 89576 markings, 185941 edges, 314 markings/sec, 260 secs
lola: 91432 markings, 190053 edges, 371 markings/sec, 265 secs
lola: 93158 markings, 193838 edges, 345 markings/sec, 270 secs
lola: 94750 markings, 197028 edges, 318 markings/sec, 275 secs
lola: 96523 markings, 201029 edges, 355 markings/sec, 280 secs
lola: 98333 markings, 204890 edges, 362 markings/sec, 285 secs
lola: 99951 markings, 208433 edges, 324 markings/sec, 290 secs
lola: 101465 markings, 211853 edges, 303 markings/sec, 295 secs
lola: 103133 markings, 215378 edges, 334 markings/sec, 300 secs
lola: 104757 markings, 218777 edges, 325 markings/sec, 305 secs
lola: 106386 markings, 222673 edges, 326 markings/sec, 310 secs
lola: 108163 markings, 226546 edges, 355 markings/sec, 315 secs
lola: 109761 markings, 230220 edges, 320 markings/sec, 320 secs
lola: 111479 markings, 233716 edges, 344 markings/sec, 325 secs
lola: 113182 markings, 237375 edges, 341 markings/sec, 330 secs
lola: 114931 markings, 241085 edges, 350 markings/sec, 335 secs
lola: 116501 markings, 244680 edges, 314 markings/sec, 340 secs
lola: 118329 markings, 248331 edges, 366 markings/sec, 345 secs
lola: 119941 markings, 251972 edges, 322 markings/sec, 350 secs
lola: 121587 markings, 255468 edges, 329 markings/sec, 355 secs
lola: 123231 markings, 258884 edges, 329 markings/sec, 360 secs
lola: 124832 markings, 262086 edges, 320 markings/sec, 365 secs
lola: 126496 markings, 265626 edges, 333 markings/sec, 370 secs
lola: 128151 markings, 269647 edges, 331 markings/sec, 375 secs
lola: 130004 markings, 273685 edges, 371 markings/sec, 380 secs
lola: 131700 markings, 277150 edges, 339 markings/sec, 385 secs
lola: 133276 markings, 280634 edges, 315 markings/sec, 390 secs
lola: 135037 markings, 284187 edges, 352 markings/sec, 395 secs
lola: 136706 markings, 287762 edges, 334 markings/sec, 400 secs
lola: 138413 markings, 291530 edges, 341 markings/sec, 405 secs
lola: 140207 markings, 295218 edges, 359 markings/sec, 410 secs
lola: 141771 markings, 298962 edges, 313 markings/sec, 415 secs
lola: 143544 markings, 302784 edges, 355 markings/sec, 420 secs
lola: 145127 markings, 306204 edges, 317 markings/sec, 425 secs
lola: 146847 markings, 309706 edges, 344 markings/sec, 430 secs
lola: 148438 markings, 313336 edges, 318 markings/sec, 435 secs
lola: 150099 markings, 316921 edges, 332 markings/sec, 440 secs
lola: 151870 markings, 320609 edges, 354 markings/sec, 445 secs
lola: 153505 markings, 324191 edges, 327 markings/sec, 450 secs
lola: 155100 markings, 327800 edges, 319 markings/sec, 455 secs
lola: 156822 markings, 331314 edges, 344 markings/sec, 460 secs
lola: 158537 markings, 335229 edges, 343 markings/sec, 465 secs
lola: 160291 markings, 338930 edges, 351 markings/sec, 470 secs
lola: 162022 markings, 342511 edges, 346 markings/sec, 475 secs
lola: 163711 markings, 346304 edges, 338 markings/sec, 480 secs
lola: 165389 markings, 349749 edges, 336 markings/sec, 485 secs
lola: 167162 markings, 353649 edges, 355 markings/sec, 490 secs
lola: 168824 markings, 357269 edges, 332 markings/sec, 495 secs
lola: 170495 markings, 360955 edges, 334 markings/sec, 500 secs
lola: 172175 markings, 364585 edges, 336 markings/sec, 505 secs
lola: 173848 markings, 368105 edges, 335 markings/sec, 510 secs
lola: 175573 markings, 371558 edges, 345 markings/sec, 515 secs
lola: 177297 markings, 375690 edges, 345 markings/sec, 520 secs
lola: 179148 markings, 379680 edges, 370 markings/sec, 525 secs
lola: 180906 markings, 383327 edges, 352 markings/sec, 530 secs
lola: 182665 markings, 386982 edges, 352 markings/sec, 535 secs
lola: 184331 markings, 390626 edges, 333 markings/sec, 540 secs
lola: 186067 markings, 394485 edges, 347 markings/sec, 545 secs
lola: 187642 markings, 398344 edges, 315 markings/sec, 550 secs
lola: 189289 markings, 402335 edges, 329 markings/sec, 555 secs
lola: 190847 markings, 405960 edges, 312 markings/sec, 560 secs
lola: 192427 markings, 409418 edges, 316 markings/sec, 565 secs
lola: 194245 markings, 413401 edges, 364 markings/sec, 570 secs
lola: 195912 markings, 417107 edges, 333 markings/sec, 575 secs
lola: 197772 markings, 420882 edges, 372 markings/sec, 580 secs
lola: 199564 markings, 424777 edges, 358 markings/sec, 585 secs
lola: 201136 markings, 428249 edges, 314 markings/sec, 590 secs
lola: 202802 markings, 432196 edges, 333 markings/sec, 595 secs
lola: 204499 markings, 435951 edges, 339 markings/sec, 600 secs
lola: 206446 markings, 439829 edges, 389 markings/sec, 605 secs
lola: 208285 markings, 443596 edges, 368 markings/sec, 610 secs
lola: 209930 markings, 447192 edges, 329 markings/sec, 615 secs
lola: 211427 markings, 450511 edges, 299 markings/sec, 620 secs
lola: 213300 markings, 454535 edges, 375 markings/sec, 625 secs
lola: 215087 markings, 458516 edges, 357 markings/sec, 630 secs
lola: 216705 markings, 462135 edges, 324 markings/sec, 635 secs
lola: 218460 markings, 466020 edges, 351 markings/sec, 640 secs
lola: 220218 markings, 469455 edges, 352 markings/sec, 645 secs
lola: 221978 markings, 473105 edges, 352 markings/sec, 650 secs
lola: 223622 markings, 476814 edges, 329 markings/sec, 655 secs
lola: 225237 markings, 480317 edges, 323 markings/sec, 660 secs
lola: 227080 markings, 484156 edges, 369 markings/sec, 665 secs
lola: 229025 markings, 487905 edges, 389 markings/sec, 670 secs
lola: 230694 markings, 491632 edges, 334 markings/sec, 675 secs
lola: 232433 markings, 495237 edges, 348 markings/sec, 680 secs
lola: 234189 markings, 498978 edges, 351 markings/sec, 685 secs
lola: 235905 markings, 502815 edges, 343 markings/sec, 690 secs
lola: 237968 markings, 506631 edges, 413 markings/sec, 695 secs
lola: 239672 markings, 510404 edges, 341 markings/sec, 700 secs
lola: 241422 markings, 514096 edges, 350 markings/sec, 705 secs
lola: 242983 markings, 517906 edges, 312 markings/sec, 710 secs
lola: 244529 markings, 521253 edges, 309 markings/sec, 715 secs
lola: 246172 markings, 524972 edges, 329 markings/sec, 720 secs
lola: 247972 markings, 529062 edges, 360 markings/sec, 725 secs
lola: 249614 markings, 533165 edges, 328 markings/sec, 730 secs
lola: 251321 markings, 536883 edges, 341 markings/sec, 735 secs
lola: 252884 markings, 540523 edges, 313 markings/sec, 740 secs
lola: 254567 markings, 544434 edges, 337 markings/sec, 745 secs
lola: 256152 markings, 548210 edges, 317 markings/sec, 750 secs
lola: 257810 markings, 551905 edges, 332 markings/sec, 755 secs
lola: 259512 markings, 555621 edges, 340 markings/sec, 760 secs
lola: 261124 markings, 559399 edges, 322 markings/sec, 765 secs
lola: 262907 markings, 563060 edges, 357 markings/sec, 770 secs
lola: 264587 markings, 566982 edges, 336 markings/sec, 775 secs
lola: 266313 markings, 570820 edges, 345 markings/sec, 780 secs
lola: 267937 markings, 575079 edges, 325 markings/sec, 785 secs
lola: 269639 markings, 578980 edges, 340 markings/sec, 790 secs
lola: 271448 markings, 583003 edges, 362 markings/sec, 795 secs
lola: 273186 markings, 587442 edges, 348 markings/sec, 800 secs
lola: 274885 markings, 591071 edges, 340 markings/sec, 805 secs
lola: 276538 markings, 594696 edges, 331 markings/sec, 810 secs
lola: 278217 markings, 598480 edges, 336 markings/sec, 815 secs
lola: 280054 markings, 602755 edges, 367 markings/sec, 820 secs
lola: 281758 markings, 606274 edges, 341 markings/sec, 825 secs
lola: 283603 markings, 610480 edges, 369 markings/sec, 830 secs
lola: 285159 markings, 613457 edges, 311 markings/sec, 835 secs
lola: 286630 markings, 616349 edges, 294 markings/sec, 840 secs
lola: 288070 markings, 619174 edges, 288 markings/sec, 845 secs
lola: 289646 markings, 622654 edges, 315 markings/sec, 850 secs
lola: 291324 markings, 626506 edges, 336 markings/sec, 855 secs
lola: 293072 markings, 630789 edges, 350 markings/sec, 860 secs
lola: 294699 markings, 634110 edges, 325 markings/sec, 865 secs
lola: 296220 markings, 637851 edges, 304 markings/sec, 870 secs
lola: 298005 markings, 642037 edges, 357 markings/sec, 875 secs
lola: 299811 markings, 645823 edges, 361 markings/sec, 880 secs
lola: 301467 markings, 649721 edges, 331 markings/sec, 885 secs
lola: 303207 markings, 653610 edges, 348 markings/sec, 890 secs
lola: 304877 markings, 657340 edges, 334 markings/sec, 895 secs
lola: 306732 markings, 661343 edges, 371 markings/sec, 900 secs
lola: 308658 markings, 665409 edges, 385 markings/sec, 905 secs
lola: 310342 markings, 669485 edges, 337 markings/sec, 910 secs
lola: 312251 markings, 673284 edges, 382 markings/sec, 915 secs
lola: 314024 markings, 677195 edges, 355 markings/sec, 920 secs
lola: 315748 markings, 681307 edges, 345 markings/sec, 925 secs
lola: 317423 markings, 685187 edges, 335 markings/sec, 930 secs
lola: 319118 markings, 689101 edges, 339 markings/sec, 935 secs
lola: 320865 markings, 692914 edges, 349 markings/sec, 940 secs
lola: 322461 markings, 696310 edges, 319 markings/sec, 945 secs
lola: 323969 markings, 699728 edges, 302 markings/sec, 950 secs
lola: 325892 markings, 703866 edges, 385 markings/sec, 955 secs
lola: 327442 markings, 707168 edges, 310 markings/sec, 960 secs
lola: 329201 markings, 711310 edges, 352 markings/sec, 965 secs
lola: 331011 markings, 715578 edges, 362 markings/sec, 970 secs
lola: 332681 markings, 719126 edges, 334 markings/sec, 975 secs
lola: 334290 markings, 722969 edges, 322 markings/sec, 980 secs
lola: 335901 markings, 726701 edges, 322 markings/sec, 985 secs
lola: 337600 markings, 730348 edges, 340 markings/sec, 990 secs
lola: 339277 markings, 733961 edges, 335 markings/sec, 995 secs
lola: 340937 markings, 737477 edges, 332 markings/sec, 1000 secs
lola: 342581 markings, 741570 edges, 329 markings/sec, 1005 secs
lola: 344213 markings, 745571 edges, 326 markings/sec, 1010 secs
lola: 345821 markings, 749010 edges, 322 markings/sec, 1015 secs
lola: 347557 markings, 752686 edges, 347 markings/sec, 1020 secs
lola: 349133 markings, 756519 edges, 315 markings/sec, 1025 secs
lola: 350767 markings, 760125 edges, 327 markings/sec, 1030 secs
lola: 352497 markings, 763893 edges, 346 markings/sec, 1035 secs
lola: 354198 markings, 767774 edges, 340 markings/sec, 1040 secs
lola: 355844 markings, 771637 edges, 329 markings/sec, 1045 secs
lola: 357466 markings, 775615 edges, 324 markings/sec, 1050 secs
lola: 359176 markings, 779506 edges, 342 markings/sec, 1055 secs
lola: 360805 markings, 783466 edges, 326 markings/sec, 1060 secs
lola: 362544 markings, 787537 edges, 348 markings/sec, 1065 secs
lola: 364395 markings, 791584 edges, 370 markings/sec, 1070 secs
lola: 366114 markings, 795417 edges, 344 markings/sec, 1075 secs
lola: 367858 markings, 799008 edges, 349 markings/sec, 1080 secs
lola: 369621 markings, 802730 edges, 353 markings/sec, 1085 secs
lola: 371542 markings, 807067 edges, 384 markings/sec, 1090 secs
lola: 373154 markings, 810869 edges, 322 markings/sec, 1095 secs
lola: 374778 markings, 815009 edges, 325 markings/sec, 1100 secs
lola: 376510 markings, 818928 edges, 346 markings/sec, 1105 secs
lola: 378385 markings, 823000 edges, 375 markings/sec, 1110 secs
lola: 380150 markings, 826912 edges, 353 markings/sec, 1115 secs
lola: 381823 markings, 830675 edges, 335 markings/sec, 1120 secs
lola: 383671 markings, 835177 edges, 370 markings/sec, 1125 secs
lola: 385352 markings, 838889 edges, 336 markings/sec, 1130 secs
lola: 387311 markings, 843048 edges, 392 markings/sec, 1135 secs
lola: 389168 markings, 846837 edges, 371 markings/sec, 1140 secs
lola: 390818 markings, 851148 edges, 330 markings/sec, 1145 secs
lola: 392430 markings, 854912 edges, 322 markings/sec, 1150 secs
lola: 394015 markings, 858751 edges, 317 markings/sec, 1155 secs
lola: 395550 markings, 862437 edges, 307 markings/sec, 1160 secs
lola: 397260 markings, 866264 edges, 342 markings/sec, 1165 secs
lola: 399255 markings, 870929 edges, 399 markings/sec, 1170 secs
lola: 400829 markings, 874906 edges, 315 markings/sec, 1175 secs
lola: 402604 markings, 878726 edges, 355 markings/sec, 1180 secs
lola: 404347 markings, 882689 edges, 349 markings/sec, 1185 secs
lola: 406012 markings, 886689 edges, 333 markings/sec, 1190 secs
lola: 407665 markings, 890648 edges, 331 markings/sec, 1195 secs
lola: 409487 markings, 894506 edges, 364 markings/sec, 1200 secs
lola: 411299 markings, 898433 edges, 362 markings/sec, 1205 secs
lola: 412957 markings, 902162 edges, 332 markings/sec, 1210 secs
lola: 414813 markings, 906337 edges, 371 markings/sec, 1215 secs
lola: 416596 markings, 910657 edges, 357 markings/sec, 1220 secs
lola: 418213 markings, 914537 edges, 323 markings/sec, 1225 secs
lola: 419810 markings, 918429 edges, 319 markings/sec, 1230 secs
lola: 421431 markings, 921990 edges, 324 markings/sec, 1235 secs
lola: 422942 markings, 925108 edges, 302 markings/sec, 1240 secs
lola: 424735 markings, 928973 edges, 359 markings/sec, 1245 secs
lola: 426545 markings, 932964 edges, 362 markings/sec, 1250 secs
lola: 428326 markings, 936706 edges, 356 markings/sec, 1255 secs
lola: 430119 markings, 940781 edges, 359 markings/sec, 1260 secs
lola: 431885 markings, 944756 edges, 353 markings/sec, 1265 secs
lola: 433577 markings, 948382 edges, 338 markings/sec, 1270 secs
lola: 435185 markings, 952021 edges, 322 markings/sec, 1275 secs
lola: 436856 markings, 955754 edges, 334 markings/sec, 1280 secs
lola: 438654 markings, 960169 edges, 360 markings/sec, 1285 secs
lola: 440485 markings, 963801 edges, 366 markings/sec, 1290 secs
lola: 442095 markings, 967314 edges, 322 markings/sec, 1295 secs
lola: 443700 markings, 970776 edges, 321 markings/sec, 1300 secs
lola: 445380 markings, 974766 edges, 336 markings/sec, 1305 secs
lola: 446920 markings, 978714 edges, 308 markings/sec, 1310 secs
lola: 448609 markings, 982290 edges, 338 markings/sec, 1315 secs
lola: 450401 markings, 986326 edges, 358 markings/sec, 1320 secs
lola: 452030 markings, 989787 edges, 326 markings/sec, 1325 secs
lola: 453739 markings, 993645 edges, 342 markings/sec, 1330 secs
lola: 455139 markings, 997117 edges, 280 markings/sec, 1335 secs
lola: 456769 markings, 1001676 edges, 326 markings/sec, 1340 secs
lola: 458325 markings, 1005356 edges, 311 markings/sec, 1345 secs
lola: 460027 markings, 1009410 edges, 340 markings/sec, 1350 secs
lola: 461571 markings, 1012738 edges, 309 markings/sec, 1355 secs
lola: 463476 markings, 1016480 edges, 381 markings/sec, 1360 secs
lola: 465272 markings, 1020635 edges, 359 markings/sec, 1365 secs
lola: 467066 markings, 1024750 edges, 359 markings/sec, 1370 secs
lola: 468958 markings, 1029231 edges, 378 markings/sec, 1375 secs
lola: 470499 markings, 1032340 edges, 308 markings/sec, 1380 secs
lola: 472145 markings, 1035965 edges, 329 markings/sec, 1385 secs
lola: 473806 markings, 1039522 edges, 332 markings/sec, 1390 secs
lola: 475555 markings, 1043571 edges, 350 markings/sec, 1395 secs
lola: 477458 markings, 1047554 edges, 381 markings/sec, 1400 secs
lola: 479138 markings, 1051296 edges, 336 markings/sec, 1405 secs
lola: 480707 markings, 1055421 edges, 314 markings/sec, 1410 secs
lola: 482697 markings, 1059502 edges, 398 markings/sec, 1415 secs
lola: 484522 markings, 1063819 edges, 365 markings/sec, 1420 secs
lola: 486199 markings, 1068094 edges, 335 markings/sec, 1425 secs
lola: 487749 markings, 1071391 edges, 310 markings/sec, 1430 secs
lola: 489229 markings, 1074380 edges, 296 markings/sec, 1435 secs
lola: 490723 markings, 1077496 edges, 299 markings/sec, 1440 secs
lola: 492504 markings, 1081457 edges, 356 markings/sec, 1445 secs
lola: 494322 markings, 1085381 edges, 364 markings/sec, 1450 secs
lola: 496138 markings, 1089189 edges, 363 markings/sec, 1455 secs
lola: 497704 markings, 1092282 edges, 313 markings/sec, 1460 secs
lola: 499680 markings, 1096344 edges, 395 markings/sec, 1465 secs
lola: 501402 markings, 1100118 edges, 344 markings/sec, 1470 secs
lola: 503101 markings, 1104179 edges, 340 markings/sec, 1475 secs
lola: 504713 markings, 1107849 edges, 322 markings/sec, 1480 secs
lola: 506448 markings, 1111635 edges, 347 markings/sec, 1485 secs
lola: 507970 markings, 1115320 edges, 304 markings/sec, 1490 secs
lola: 509840 markings, 1119510 edges, 374 markings/sec, 1495 secs
lola: 511643 markings, 1123165 edges, 361 markings/sec, 1500 secs
lola: 513351 markings, 1127307 edges, 342 markings/sec, 1505 secs
lola: 514950 markings, 1131123 edges, 320 markings/sec, 1510 secs
lola: 516645 markings, 1135262 edges, 339 markings/sec, 1515 secs
lola: 518292 markings, 1139351 edges, 329 markings/sec, 1520 secs
lola: 519935 markings, 1143702 edges, 329 markings/sec, 1525 secs
lola: 521870 markings, 1147622 edges, 387 markings/sec, 1530 secs
lola: 523518 markings, 1151333 edges, 330 markings/sec, 1535 secs
lola: 525227 markings, 1155005 edges, 342 markings/sec, 1540 secs
lola: 527011 markings, 1158782 edges, 357 markings/sec, 1545 secs
lola: 528720 markings, 1162485 edges, 342 markings/sec, 1550 secs
lola: 530394 markings, 1166165 edges, 335 markings/sec, 1555 secs
lola: 532189 markings, 1170403 edges, 359 markings/sec, 1560 secs
lola: 533800 markings, 1174430 edges, 322 markings/sec, 1565 secs
lola: 535415 markings, 1178235 edges, 323 markings/sec, 1570 secs
lola: 537033 markings, 1182111 edges, 324 markings/sec, 1575 secs
lola: 538727 markings, 1186481 edges, 339 markings/sec, 1580 secs
lola: 540437 markings, 1190534 edges, 342 markings/sec, 1585 secs
lola: 542071 markings, 1194708 edges, 327 markings/sec, 1590 secs
lola: 543978 markings, 1198937 edges, 381 markings/sec, 1595 secs
lola: 545860 markings, 1202939 edges, 376 markings/sec, 1600 secs
lola: 547560 markings, 1206671 edges, 340 markings/sec, 1605 secs
lola: 549368 markings, 1210496 edges, 362 markings/sec, 1610 secs
lola: 550953 markings, 1214672 edges, 317 markings/sec, 1615 secs
lola: 552661 markings, 1218946 edges, 342 markings/sec, 1620 secs
lola: 554557 markings, 1222763 edges, 379 markings/sec, 1625 secs
lola: 556267 markings, 1226783 edges, 342 markings/sec, 1630 secs
lola: 558064 markings, 1231103 edges, 359 markings/sec, 1635 secs
lola: 559835 markings, 1234922 edges, 354 markings/sec, 1640 secs
lola: 561398 markings, 1238162 edges, 313 markings/sec, 1645 secs
lola: 563096 markings, 1242008 edges, 340 markings/sec, 1650 secs
lola: 564819 markings, 1245816 edges, 345 markings/sec, 1655 secs
lola: 566364 markings, 1249453 edges, 309 markings/sec, 1660 secs
lola: 568033 markings, 1253661 edges, 334 markings/sec, 1665 secs
lola: 569724 markings, 1258044 edges, 338 markings/sec, 1670 secs
lola: 571623 markings, 1262470 edges, 380 markings/sec, 1675 secs
lola: 573244 markings, 1266436 edges, 324 markings/sec, 1680 secs
lola: 574999 markings, 1270421 edges, 351 markings/sec, 1685 secs
lola: 576530 markings, 1273991 edges, 306 markings/sec, 1690 secs
lola: 578099 markings, 1277122 edges, 314 markings/sec, 1695 secs
lola: 579716 markings, 1281232 edges, 323 markings/sec, 1700 secs
lola: 581553 markings, 1285536 edges, 367 markings/sec, 1705 secs
lola: 583201 markings, 1289527 edges, 330 markings/sec, 1710 secs
lola: 585093 markings, 1293254 edges, 378 markings/sec, 1715 secs
lola: 587046 markings, 1297390 edges, 391 markings/sec, 1720 secs
lola: 589024 markings, 1301433 edges, 396 markings/sec, 1725 secs
lola: 590770 markings, 1305648 edges, 349 markings/sec, 1730 secs
lola: 592447 markings, 1309359 edges, 335 markings/sec, 1735 secs
lola: 594356 markings, 1313859 edges, 382 markings/sec, 1740 secs
lola: 596052 markings, 1318309 edges, 339 markings/sec, 1745 secs
lola: 597674 markings, 1322654 edges, 324 markings/sec, 1750 secs
lola: 599386 markings, 1326326 edges, 342 markings/sec, 1755 secs
lola: 601226 markings, 1330001 edges, 368 markings/sec, 1760 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no unknown yes yes yes yes no no no no no unknown no
lola: memory consumption: 412500 KB
lola: time consumption: 1801 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1769 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((pl_P349_1 <= pl_P29_5)) OR (pl_P310_1 + 1 <= pl_P139_1)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((pl_P349_1 <= pl_P29_5)) OR (pl_P310_1 + 1 <= pl_P139_1)))
lola: processed formula length: 65
lola: 139 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: 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: 94 markings, 93 edges, 19 markings/sec, 0 secs
lola: 192 markings, 203 edges, 20 markings/sec, 5 secs
lola: 285 markings, 321 edges, 19 markings/sec, 10 secs
lola: 384 markings, 460 edges, 20 markings/sec, 15 secs
lola: 485 markings, 595 edges, 20 markings/sec, 20 secs
lola: 588 markings, 746 edges, 21 markings/sec, 25 secs
lola: 693 markings, 897 edges, 21 markings/sec, 30 secs
lola: 793 markings, 1037 edges, 20 markings/sec, 35 secs
lola: 896 markings, 1189 edges, 21 markings/sec, 40 secs
lola: 1011 markings, 1358 edges, 23 markings/sec, 45 secs
lola: 1117 markings, 1517 edges, 21 markings/sec, 50 secs
lola: 1222 markings, 1683 edges, 21 markings/sec, 55 secs
lola: 1313 markings, 1801 edges, 18 markings/sec, 60 secs
lola: 1416 markings, 1965 edges, 21 markings/sec, 65 secs
lola: 1520 markings, 2122 edges, 21 markings/sec, 70 secs
lola: 1630 markings, 2308 edges, 22 markings/sec, 75 secs
lola: 1739 markings, 2475 edges, 22 markings/sec, 80 secs
lola: 1858 markings, 2668 edges, 24 markings/sec, 85 secs
lola: 1962 markings, 2841 edges, 21 markings/sec, 90 secs
lola: 2076 markings, 3071 edges, 23 markings/sec, 95 secs
lola: 2191 markings, 3256 edges, 23 markings/sec, 100 secs
lola: 2299 markings, 3445 edges, 22 markings/sec, 105 secs
lola: 2408 markings, 3654 edges, 22 markings/sec, 110 secs
lola: 2520 markings, 3853 edges, 22 markings/sec, 115 secs
lola: 2633 markings, 4033 edges, 23 markings/sec, 120 secs
lola: 2747 markings, 4211 edges, 23 markings/sec, 125 secs
lola: 2856 markings, 4421 edges, 22 markings/sec, 130 secs
lola: 2987 markings, 4644 edges, 26 markings/sec, 135 secs
lola: 3086 markings, 4787 edges, 20 markings/sec, 140 secs
lola: 3178 markings, 4954 edges, 18 markings/sec, 145 secs
lola: 3281 markings, 5122 edges, 21 markings/sec, 150 secs
lola: 3383 markings, 5284 edges, 20 markings/sec, 155 secs
lola: 3470 markings, 5399 edges, 17 markings/sec, 160 secs
lola: 3570 markings, 5542 edges, 20 markings/sec, 165 secs
lola: 3679 markings, 5743 edges, 22 markings/sec, 170 secs
lola: 3803 markings, 5940 edges, 25 markings/sec, 175 secs
lola: 3924 markings, 6161 edges, 24 markings/sec, 180 secs
lola: 4023 markings, 6312 edges, 20 markings/sec, 185 secs
lola: 4117 markings, 6461 edges, 19 markings/sec, 190 secs
lola: 4207 markings, 6617 edges, 18 markings/sec, 195 secs
lola: 4307 markings, 6808 edges, 20 markings/sec, 200 secs
lola: 4409 markings, 7034 edges, 20 markings/sec, 205 secs
lola: 4519 markings, 7231 edges, 22 markings/sec, 210 secs
lola: 4630 markings, 7411 edges, 22 markings/sec, 215 secs
lola: 4713 markings, 7544 edges, 17 markings/sec, 220 secs
lola: 4813 markings, 7704 edges, 20 markings/sec, 225 secs
lola: 4931 markings, 7923 edges, 24 markings/sec, 230 secs
lola: 5043 markings, 8109 edges, 22 markings/sec, 235 secs
lola: 5169 markings, 8339 edges, 25 markings/sec, 240 secs
lola: 5285 markings, 8549 edges, 23 markings/sec, 245 secs
lola: 5406 markings, 8762 edges, 24 markings/sec, 250 secs
lola: 5499 markings, 8925 edges, 19 markings/sec, 255 secs
lola: 5596 markings, 9073 edges, 19 markings/sec, 260 secs
lola: 5700 markings, 9236 edges, 21 markings/sec, 265 secs
lola: 5815 markings, 9433 edges, 23 markings/sec, 270 secs
lola: 5922 markings, 9615 edges, 21 markings/sec, 275 secs
lola: 6050 markings, 9823 edges, 26 markings/sec, 280 secs
lola: 6147 markings, 10014 edges, 19 markings/sec, 285 secs
lola: 6240 markings, 10245 edges, 19 markings/sec, 290 secs
lola: 6344 markings, 10519 edges, 21 markings/sec, 295 secs
lola: 6466 markings, 10751 edges, 24 markings/sec, 300 secs
lola: 6586 markings, 10966 edges, 24 markings/sec, 305 secs
lola: 6672 markings, 11147 edges, 17 markings/sec, 310 secs
lola: 6790 markings, 11380 edges, 24 markings/sec, 315 secs
lola: 6902 markings, 11578 edges, 22 markings/sec, 320 secs
lola: 7006 markings, 11779 edges, 21 markings/sec, 325 secs
lola: 7116 markings, 11967 edges, 22 markings/sec, 330 secs
lola: 7233 markings, 12174 edges, 23 markings/sec, 335 secs
lola: 7332 markings, 12373 edges, 20 markings/sec, 340 secs
lola: 7449 markings, 12594 edges, 23 markings/sec, 345 secs
lola: 7573 markings, 12806 edges, 25 markings/sec, 350 secs
lola: 7692 markings, 13027 edges, 24 markings/sec, 355 secs
lola: 7807 markings, 13246 edges, 23 markings/sec, 360 secs
lola: 7904 markings, 13431 edges, 19 markings/sec, 365 secs
lola: 8014 markings, 13616 edges, 22 markings/sec, 370 secs
lola: 8137 markings, 13835 edges, 25 markings/sec, 375 secs
lola: 8248 markings, 14041 edges, 22 markings/sec, 380 secs
lola: 8385 markings, 14320 edges, 27 markings/sec, 385 secs
lola: 8504 markings, 14570 edges, 24 markings/sec, 390 secs
lola: 8617 markings, 14781 edges, 23 markings/sec, 395 secs
lola: 8742 markings, 15035 edges, 25 markings/sec, 400 secs
lola: 8858 markings, 15306 edges, 23 markings/sec, 405 secs
lola: 8970 markings, 15513 edges, 22 markings/sec, 410 secs
lola: 9061 markings, 15632 edges, 18 markings/sec, 415 secs
lola: 9157 markings, 15761 edges, 19 markings/sec, 420 secs
lola: 9249 markings, 15887 edges, 18 markings/sec, 425 secs
lola: 9334 markings, 16025 edges, 17 markings/sec, 430 secs
lola: 9438 markings, 16181 edges, 21 markings/sec, 435 secs
lola: 9533 markings, 16333 edges, 19 markings/sec, 440 secs
lola: 9651 markings, 16521 edges, 24 markings/sec, 445 secs
lola: 9749 markings, 16675 edges, 20 markings/sec, 450 secs
lola: 9857 markings, 16852 edges, 22 markings/sec, 455 secs
lola: 9962 markings, 17029 edges, 21 markings/sec, 460 secs
lola: 10069 markings, 17214 edges, 21 markings/sec, 465 secs
lola: 10171 markings, 17391 edges, 20 markings/sec, 470 secs
lola: 10268 markings, 17565 edges, 19 markings/sec, 475 secs
lola: 10354 markings, 17750 edges, 17 markings/sec, 480 secs
lola: 10458 markings, 17976 edges, 21 markings/sec, 485 secs
lola: 10563 markings, 18181 edges, 21 markings/sec, 490 secs
lola: 10661 markings, 18347 edges, 20 markings/sec, 495 secs
lola: 10766 markings, 18518 edges, 21 markings/sec, 500 secs
lola: 10888 markings, 18742 edges, 24 markings/sec, 505 secs
lola: 11003 markings, 18944 edges, 23 markings/sec, 510 secs
lola: 11116 markings, 19163 edges, 23 markings/sec, 515 secs
lola: 11216 markings, 19380 edges, 20 markings/sec, 520 secs
lola: 11307 markings, 19523 edges, 18 markings/sec, 525 secs
lola: 11397 markings, 19665 edges, 18 markings/sec, 530 secs
lola: 11480 markings, 19790 edges, 17 markings/sec, 535 secs
lola: 11577 markings, 19950 edges, 19 markings/sec, 540 secs
lola: 11675 markings, 20109 edges, 20 markings/sec, 545 secs
lola: 11769 markings, 20262 edges, 19 markings/sec, 550 secs
lola: 11882 markings, 20483 edges, 23 markings/sec, 555 secs
lola: 11983 markings, 20688 edges, 20 markings/sec, 560 secs
lola: 12078 markings, 20872 edges, 19 markings/sec, 565 secs
lola: 12175 markings, 21047 edges, 19 markings/sec, 570 secs
lola: 12273 markings, 21223 edges, 20 markings/sec, 575 secs
lola: 12375 markings, 21396 edges, 20 markings/sec, 580 secs
lola: 12462 markings, 21562 edges, 17 markings/sec, 585 secs
lola: 12559 markings, 21715 edges, 19 markings/sec, 590 secs
lola: 12678 markings, 21907 edges, 24 markings/sec, 595 secs
lola: 12787 markings, 22133 edges, 22 markings/sec, 600 secs
lola: 12898 markings, 22335 edges, 22 markings/sec, 605 secs
lola: 13017 markings, 22538 edges, 24 markings/sec, 610 secs
lola: 13113 markings, 22765 edges, 19 markings/sec, 615 secs
lola: 13208 markings, 22964 edges, 19 markings/sec, 620 secs
lola: 13293 markings, 23116 edges, 17 markings/sec, 625 secs
lola: 13396 markings, 23280 edges, 21 markings/sec, 630 secs
lola: 13498 markings, 23458 edges, 20 markings/sec, 635 secs
lola: 13596 markings, 23651 edges, 20 markings/sec, 640 secs
lola: 13715 markings, 23865 edges, 24 markings/sec, 645 secs
lola: 13826 markings, 24137 edges, 22 markings/sec, 650 secs
lola: 13921 markings, 24333 edges, 19 markings/sec, 655 secs
lola: 14035 markings, 24557 edges, 23 markings/sec, 660 secs
lola: 14143 markings, 24797 edges, 22 markings/sec, 665 secs
lola: 14263 markings, 25037 edges, 24 markings/sec, 670 secs
lola: 14380 markings, 25268 edges, 23 markings/sec, 675 secs
lola: 14483 markings, 25487 edges, 21 markings/sec, 680 secs
lola: 14592 markings, 25715 edges, 22 markings/sec, 685 secs
lola: 14700 markings, 25958 edges, 22 markings/sec, 690 secs
lola: 14832 markings, 26218 edges, 26 markings/sec, 695 secs
lola: 14947 markings, 26429 edges, 23 markings/sec, 700 secs
lola: 15049 markings, 26595 edges, 20 markings/sec, 705 secs
lola: 15151 markings, 26807 edges, 20 markings/sec, 710 secs
lola: 15258 markings, 27008 edges, 21 markings/sec, 715 secs
lola: 15353 markings, 27220 edges, 19 markings/sec, 720 secs
lola: 15448 markings, 27413 edges, 19 markings/sec, 725 secs
lola: 15556 markings, 27632 edges, 22 markings/sec, 730 secs
lola: 15671 markings, 27857 edges, 23 markings/sec, 735 secs
lola: 15782 markings, 28064 edges, 22 markings/sec, 740 secs
lola: 15897 markings, 28271 edges, 23 markings/sec, 745 secs
lola: 16026 markings, 28561 edges, 26 markings/sec, 750 secs
lola: 16131 markings, 28750 edges, 21 markings/sec, 755 secs
lola: 16234 markings, 28980 edges, 21 markings/sec, 760 secs
lola: 16352 markings, 29230 edges, 24 markings/sec, 765 secs
lola: 16460 markings, 29452 edges, 22 markings/sec, 770 secs
lola: 16565 markings, 29688 edges, 21 markings/sec, 775 secs
lola: 16661 markings, 29979 edges, 19 markings/sec, 780 secs
lola: 16768 markings, 30242 edges, 21 markings/sec, 785 secs
lola: 16901 markings, 30503 edges, 27 markings/sec, 790 secs
lola: 16993 markings, 30708 edges, 18 markings/sec, 795 secs
lola: 17083 markings, 30864 edges, 18 markings/sec, 800 secs
lola: 17185 markings, 31065 edges, 20 markings/sec, 805 secs
lola: 17292 markings, 31288 edges, 21 markings/sec, 810 secs
lola: 17407 markings, 31569 edges, 23 markings/sec, 815 secs
lola: 17507 markings, 31825 edges, 20 markings/sec, 820 secs
lola: 17623 markings, 32141 edges, 23 markings/sec, 825 secs
lola: 17733 markings, 32378 edges, 22 markings/sec, 830 secs
lola: 17847 markings, 32647 edges, 23 markings/sec, 835 secs
lola: 17963 markings, 32855 edges, 23 markings/sec, 840 secs
lola: 18072 markings, 33085 edges, 22 markings/sec, 845 secs
lola: 18187 markings, 33336 edges, 23 markings/sec, 850 secs
lola: 18296 markings, 33554 edges, 22 markings/sec, 855 secs
lola: 18417 markings, 33793 edges, 24 markings/sec, 860 secs
lola: 18515 markings, 34071 edges, 20 markings/sec, 865 secs
lola: 18613 markings, 34242 edges, 20 markings/sec, 870 secs
lola: 18710 markings, 34384 edges, 19 markings/sec, 875 secs
lola: 18805 markings, 34529 edges, 19 markings/sec, 880 secs
lola: 18913 markings, 34692 edges, 22 markings/sec, 885 secs
lola: 19024 markings, 34944 edges, 22 markings/sec, 890 secs
lola: 19142 markings, 35221 edges, 24 markings/sec, 895 secs
lola: 19247 markings, 35404 edges, 21 markings/sec, 900 secs
lola: 19332 markings, 35531 edges, 17 markings/sec, 905 secs
lola: 19428 markings, 35687 edges, 19 markings/sec, 910 secs
lola: 19518 markings, 35826 edges, 18 markings/sec, 915 secs
lola: 19609 markings, 35963 edges, 18 markings/sec, 920 secs
lola: 19694 markings, 36121 edges, 17 markings/sec, 925 secs
lola: 19787 markings, 36298 edges, 19 markings/sec, 930 secs
lola: 19884 markings, 36457 edges, 19 markings/sec, 935 secs
lola: 19985 markings, 36640 edges, 20 markings/sec, 940 secs
lola: 20077 markings, 36824 edges, 18 markings/sec, 945 secs
lola: 20170 markings, 36986 edges, 19 markings/sec, 950 secs
lola: 20263 markings, 37151 edges, 19 markings/sec, 955 secs
lola: 20357 markings, 37317 edges, 19 markings/sec, 960 secs
lola: 20448 markings, 37499 edges, 18 markings/sec, 965 secs
lola: 20557 markings, 37709 edges, 22 markings/sec, 970 secs
lola: 20666 markings, 37902 edges, 22 markings/sec, 975 secs
lola: 20766 markings, 38097 edges, 20 markings/sec, 980 secs
lola: 20857 markings, 38326 edges, 18 markings/sec, 985 secs
lola: 20956 markings, 38580 edges, 20 markings/sec, 990 secs
lola: 21059 markings, 38764 edges, 21 markings/sec, 995 secs
lola: 21162 markings, 38937 edges, 21 markings/sec, 1000 secs
lola: 21273 markings, 39139 edges, 22 markings/sec, 1005 secs
lola: 21385 markings, 39369 edges, 22 markings/sec, 1010 secs
lola: 21499 markings, 39587 edges, 23 markings/sec, 1015 secs
lola: 21603 markings, 39843 edges, 21 markings/sec, 1020 secs
lola: 21714 markings, 40107 edges, 22 markings/sec, 1025 secs
lola: 21827 markings, 40304 edges, 23 markings/sec, 1030 secs
lola: 21943 markings, 40517 edges, 23 markings/sec, 1035 secs
lola: 22048 markings, 40718 edges, 21 markings/sec, 1040 secs
lola: 22163 markings, 40955 edges, 23 markings/sec, 1045 secs
lola: 22272 markings, 41226 edges, 22 markings/sec, 1050 secs
lola: 22404 markings, 41467 edges, 26 markings/sec, 1055 secs
lola: 22527 markings, 41713 edges, 25 markings/sec, 1060 secs
lola: 22654 markings, 41974 edges, 25 markings/sec, 1065 secs
lola: 22783 markings, 42248 edges, 26 markings/sec, 1070 secs
lola: 22879 markings, 42434 edges, 19 markings/sec, 1075 secs
lola: 22969 markings, 42590 edges, 18 markings/sec, 1080 secs
lola: 23049 markings, 42711 edges, 16 markings/sec, 1085 secs
lola: 23147 markings, 42891 edges, 20 markings/sec, 1090 secs
lola: 23246 markings, 43091 edges, 20 markings/sec, 1095 secs
lola: 23337 markings, 43257 edges, 18 markings/sec, 1100 secs
lola: 23436 markings, 43457 edges, 20 markings/sec, 1105 secs
lola: 23528 markings, 43626 edges, 18 markings/sec, 1110 secs
lola: 23619 markings, 43843 edges, 18 markings/sec, 1115 secs
lola: 23702 markings, 44020 edges, 17 markings/sec, 1120 secs
lola: 23803 markings, 44269 edges, 20 markings/sec, 1125 secs
lola: 23908 markings, 44542 edges, 21 markings/sec, 1130 secs
lola: 24015 markings, 44755 edges, 21 markings/sec, 1135 secs
lola: 24133 markings, 45001 edges, 24 markings/sec, 1140 secs
lola: 24238 markings, 45279 edges, 21 markings/sec, 1145 secs
lola: 24326 markings, 45483 edges, 18 markings/sec, 1150 secs
lola: 24423 markings, 45721 edges, 19 markings/sec, 1155 secs
lola: 24537 markings, 46065 edges, 23 markings/sec, 1160 secs
lola: 24643 markings, 46368 edges, 21 markings/sec, 1165 secs
lola: 24729 markings, 46536 edges, 17 markings/sec, 1170 secs
lola: 24817 markings, 46719 edges, 18 markings/sec, 1175 secs
lola: 24914 markings, 46948 edges, 19 markings/sec, 1180 secs
lola: 25006 markings, 47147 edges, 18 markings/sec, 1185 secs
lola: 25125 markings, 47390 edges, 24 markings/sec, 1190 secs
lola: 25245 markings, 47647 edges, 24 markings/sec, 1195 secs
lola: 25340 markings, 47849 edges, 19 markings/sec, 1200 secs
lola: 25445 markings, 48030 edges, 21 markings/sec, 1205 secs
lola: 25559 markings, 48238 edges, 23 markings/sec, 1210 secs
lola: 25675 markings, 48470 edges, 23 markings/sec, 1215 secs
lola: 25784 markings, 48690 edges, 22 markings/sec, 1220 secs
lola: 25903 markings, 48953 edges, 24 markings/sec, 1225 secs
lola: 26015 markings, 49209 edges, 22 markings/sec, 1230 secs
lola: 26111 markings, 49419 edges, 19 markings/sec, 1235 secs
lola: 26213 markings, 49663 edges, 20 markings/sec, 1240 secs
lola: 26300 markings, 49817 edges, 17 markings/sec, 1245 secs
lola: 26405 markings, 50039 edges, 21 markings/sec, 1250 secs
lola: 26513 markings, 50309 edges, 22 markings/sec, 1255 secs
lola: 26622 markings, 50540 edges, 22 markings/sec, 1260 secs
lola: 26731 markings, 50800 edges, 22 markings/sec, 1265 secs
lola: 26854 markings, 51097 edges, 25 markings/sec, 1270 secs
lola: 26945 markings, 51378 edges, 18 markings/sec, 1275 secs
lola: 27045 markings, 51684 edges, 20 markings/sec, 1280 secs
lola: 27167 markings, 51969 edges, 24 markings/sec, 1285 secs
lola: 27281 markings, 52218 edges, 23 markings/sec, 1290 secs
lola: 27397 markings, 52444 edges, 23 markings/sec, 1295 secs
lola: 27523 markings, 52761 edges, 25 markings/sec, 1300 secs
lola: 27638 markings, 53088 edges, 23 markings/sec, 1305 secs
lola: 27721 markings, 53274 edges, 17 markings/sec, 1310 secs
lola: 27816 markings, 53428 edges, 19 markings/sec, 1315 secs
lola: 27908 markings, 53568 edges, 18 markings/sec, 1320 secs
lola: 27998 markings, 53722 edges, 18 markings/sec, 1325 secs
lola: 28090 markings, 53902 edges, 18 markings/sec, 1330 secs
lola: 28185 markings, 54082 edges, 19 markings/sec, 1335 secs
lola: 28299 markings, 54278 edges, 23 markings/sec, 1340 secs
lola: 28393 markings, 54498 edges, 19 markings/sec, 1345 secs
lola: 28513 markings, 54781 edges, 24 markings/sec, 1350 secs
lola: 28604 markings, 55025 edges, 18 markings/sec, 1355 secs
lola: 28705 markings, 55300 edges, 20 markings/sec, 1360 secs
lola: 28832 markings, 55634 edges, 25 markings/sec, 1365 secs
lola: 28948 markings, 55849 edges, 23 markings/sec, 1370 secs
lola: 29069 markings, 56075 edges, 24 markings/sec, 1375 secs
lola: 29172 markings, 56303 edges, 21 markings/sec, 1380 secs
lola: 29304 markings, 56652 edges, 26 markings/sec, 1385 secs
lola: 29424 markings, 56933 edges, 24 markings/sec, 1390 secs
lola: 29544 markings, 57223 edges, 24 markings/sec, 1395 secs
lola: 29680 markings, 57551 edges, 27 markings/sec, 1400 secs
lola: 29802 markings, 57843 edges, 24 markings/sec, 1405 secs
lola: 29920 markings, 58135 edges, 24 markings/sec, 1410 secs
lola: 30035 markings, 58405 edges, 23 markings/sec, 1415 secs
lola: 30155 markings, 58646 edges, 24 markings/sec, 1420 secs
lola: 30259 markings, 58844 edges, 21 markings/sec, 1425 secs
lola: 30361 markings, 59021 edges, 20 markings/sec, 1430 secs
lola: 30470 markings, 59220 edges, 22 markings/sec, 1435 secs
lola: 30562 markings, 59412 edges, 18 markings/sec, 1440 secs
lola: 30656 markings, 59579 edges, 19 markings/sec, 1445 secs
lola: 30750 markings, 59783 edges, 19 markings/sec, 1450 secs
lola: 30843 markings, 59975 edges, 19 markings/sec, 1455 secs
lola: 30944 markings, 60162 edges, 20 markings/sec, 1460 secs
lola: 31059 markings, 60451 edges, 23 markings/sec, 1465 secs
lola: 31172 markings, 60714 edges, 23 markings/sec, 1470 secs
lola: 31296 markings, 61033 edges, 25 markings/sec, 1475 secs
lola: 31415 markings, 61291 edges, 24 markings/sec, 1480 secs
lola: 31552 markings, 61620 edges, 27 markings/sec, 1485 secs
lola: 31637 markings, 61790 edges, 17 markings/sec, 1490 secs
lola: 31735 markings, 61965 edges, 20 markings/sec, 1495 secs
lola: 31828 markings, 62124 edges, 19 markings/sec, 1500 secs
lola: 31942 markings, 62390 edges, 23 markings/sec, 1505 secs
lola: 32055 markings, 62697 edges, 23 markings/sec, 1510 secs
lola: 32161 markings, 62898 edges, 21 markings/sec, 1515 secs
lola: 32263 markings, 63092 edges, 20 markings/sec, 1520 secs
lola: 32366 markings, 63319 edges, 21 markings/sec, 1525 secs
lola: 32497 markings, 63597 edges, 26 markings/sec, 1530 secs
lola: 32607 markings, 63871 edges, 22 markings/sec, 1535 secs
lola: 32730 markings, 64172 edges, 25 markings/sec, 1540 secs
lola: 32832 markings, 64396 edges, 20 markings/sec, 1545 secs
lola: 32922 markings, 64563 edges, 18 markings/sec, 1550 secs
lola: 33019 markings, 64779 edges, 19 markings/sec, 1555 secs
lola: 33122 markings, 64981 edges, 21 markings/sec, 1560 secs
lola: 33236 markings, 65253 edges, 23 markings/sec, 1565 secs
lola: 33368 markings, 65582 edges, 26 markings/sec, 1570 secs
lola: 33476 markings, 65828 edges, 22 markings/sec, 1575 secs
lola: 33603 markings, 66115 edges, 25 markings/sec, 1580 secs
lola: 33699 markings, 66339 edges, 19 markings/sec, 1585 secs
lola: 33822 markings, 66580 edges, 25 markings/sec, 1590 secs
lola: 33981 markings, 66995 edges, 32 markings/sec, 1595 secs
lola: 34073 markings, 67185 edges, 18 markings/sec, 1600 secs
lola: 34162 markings, 67341 edges, 18 markings/sec, 1605 secs
lola: 34270 markings, 67604 edges, 22 markings/sec, 1610 secs
lola: 34388 markings, 67918 edges, 24 markings/sec, 1615 secs
lola: 34498 markings, 68341 edges, 22 markings/sec, 1620 secs
lola: 34620 markings, 68619 edges, 24 markings/sec, 1625 secs
lola: 34710 markings, 68853 edges, 18 markings/sec, 1630 secs
lola: 34817 markings, 69090 edges, 21 markings/sec, 1635 secs
lola: 34932 markings, 69352 edges, 23 markings/sec, 1640 secs
lola: 35048 markings, 69610 edges, 23 markings/sec, 1645 secs
lola: 35149 markings, 69868 edges, 20 markings/sec, 1650 secs
lola: 35270 markings, 70148 edges, 24 markings/sec, 1655 secs
lola: 35387 markings, 70384 edges, 23 markings/sec, 1660 secs
lola: 35473 markings, 70574 edges, 17 markings/sec, 1665 secs
lola: 35593 markings, 70948 edges, 24 markings/sec, 1670 secs
lola: 35705 markings, 71229 edges, 22 markings/sec, 1675 secs
lola: 35838 markings, 71587 edges, 27 markings/sec, 1680 secs
lola: 35963 markings, 71851 edges, 25 markings/sec, 1685 secs
lola: 36102 markings, 72161 edges, 28 markings/sec, 1690 secs
lola: 36216 markings, 72424 edges, 23 markings/sec, 1695 secs
lola: 36349 markings, 72759 edges, 27 markings/sec, 1700 secs
lola: 36465 markings, 73084 edges, 23 markings/sec, 1705 secs
lola: 36566 markings, 73330 edges, 20 markings/sec, 1710 secs
lola: 36666 markings, 73542 edges, 20 markings/sec, 1715 secs
lola: 36762 markings, 73780 edges, 19 markings/sec, 1720 secs
lola: 36856 markings, 74033 edges, 19 markings/sec, 1725 secs
lola: 37004 markings, 74473 edges, 30 markings/sec, 1730 secs
lola: 37155 markings, 74760 edges, 30 markings/sec, 1735 secs
lola: 37280 markings, 75072 edges, 25 markings/sec, 1740 secs
lola: 37382 markings, 75308 edges, 20 markings/sec, 1745 secs
lola: 37486 markings, 75547 edges, 21 markings/sec, 1750 secs
lola: 37606 markings, 75817 edges, 24 markings/sec, 1755 secs
lola: 37723 markings, 76070 edges, 23 markings/sec, 1760 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no unknown yes yes yes yes no no no no no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: no no no no unknown yes yes yes yes no no no no no unknown no
preliminary result: no no no no unknown yes yes yes yes no no no no no unknown no
lola: memory consumption: 247452 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no unknown yes yes yes yes no no no no no unknown no
lola: memory consumption: 247452 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 1589941469355
--------------------
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="Railroad-PT-100"
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 Railroad-PT-100, 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 r150-smll-158961529300081"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Railroad-PT-100.tgz
mv Railroad-PT-100 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 ;