About the Execution of 2019-Gold for Referendum-COL-0050
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15918.830 | 3570264.00 | 3585317.00 | 11540.30 | FTFFFFTT?FFT??FF | 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-158961529300089.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 Referendum-COL-0050, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300089
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 4.0K Apr 12 08:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 11 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 09:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 21:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 21:32 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 5 Mar 24 05:38 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 4.9K 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 Referendum-COL-0050-00
FORMULA_NAME Referendum-COL-0050-01
FORMULA_NAME Referendum-COL-0050-02
FORMULA_NAME Referendum-COL-0050-03
FORMULA_NAME Referendum-COL-0050-04
FORMULA_NAME Referendum-COL-0050-05
FORMULA_NAME Referendum-COL-0050-06
FORMULA_NAME Referendum-COL-0050-07
FORMULA_NAME Referendum-COL-0050-08
FORMULA_NAME Referendum-COL-0050-09
FORMULA_NAME Referendum-COL-0050-10
FORMULA_NAME Referendum-COL-0050-11
FORMULA_NAME Referendum-COL-0050-12
FORMULA_NAME Referendum-COL-0050-13
FORMULA_NAME Referendum-COL-0050-14
FORMULA_NAME Referendum-COL-0050-15
=== Now, execution of the tool begins
BK_START 1589945170424
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ Referendum-COL-0050 @ 3570 seconds
FORMULA Referendum-COL-0050-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ Referendum-COL-0050
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed May 20 03:26:10 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 251,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 101,
"visible_transitions": 0
},
"processed": "A (((((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) OR G ((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))) AND X (G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 0)))) OR ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p0) AND X ((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))",
"processed_size": 1581,
"rewrites": 87
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 51,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 51,
"visible_transitions": 0
},
"processed": "A (X (X ((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))))",
"processed_size": 367,
"rewrites": 87
},
"result":
{
"edges": 101,
"markings": 102,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 50,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 50,
"visible_transitions": 0
},
"processed": "A (X (X (F ((3 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))",
"processed_size": 311,
"rewrites": 87
},
"result":
{
"edges": 1228,
"markings": 1228,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 101,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 101,
"visible_transitions": 0
},
"processed": "((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + 1 <= p0) OR (p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 2))",
"processed_size": 661,
"rewrites": 89
},
"result":
{
"edges": 51,
"markings": 52,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 101
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 201,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 151,
"visible_transitions": 0
},
"processed": "A (((2 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR X (X (F (((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) OR (p0 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))))",
"processed_size": 1281,
"rewrites": 87
},
"result":
{
"edges": 101,
"markings": 102,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 300,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 100,
"visible_transitions": 0
},
"processed": "A (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) OR X (F (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) AND (p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))))))",
"processed_size": 1948,
"rewrites": 87
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 100,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 100,
"visible_transitions": 0
},
"processed": "A (X (X (G ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))",
"processed_size": 608,
"rewrites": 87
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 401
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 252,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 101,
"visible_transitions": 0
},
"processed": "A (G (((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) OR (X ((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) OR ((p0 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR (G ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= 0)) AND F ((p0 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))))))))",
"processed_size": 1670,
"rewrites": 87
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 458
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 150,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 100,
"visible_transitions": 0
},
"processed": "A (((1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 1) AND F ((1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)))))",
"processed_size": 926,
"rewrites": 87
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 534
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 100,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 100,
"visible_transitions": 0
},
"processed": "A (F (G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))))",
"processed_size": 604,
"rewrites": 87
},
"result":
{
"edges": 54,
"markings": 53,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 641
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 250,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 100,
"visible_transitions": 0
},
"processed": "A (G (F ((G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) OR ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 0) AND (p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))))))",
"processed_size": 1614,
"rewrites": 87
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 802
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 152,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 101,
"visible_transitions": 0
},
"processed": "A ((F (G ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + 1 <= p0))) OR ((2 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) U (p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))))",
"processed_size": 1032,
"rewrites": 87
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1069
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 4,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 152,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 101,
"visible_transitions": 0
},
"processed": "A (G ((G ((p0 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) OR (F (G ((p0 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))) AND F (G ((2 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))))",
"processed_size": 1054,
"rewrites": 87
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 76212,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A((((** OR G(**)) AND X(G(**))) OR (** AND X(**)))) : A(X(X(**))) : A(X(X(F(*)))) : A(G(F((G(*) OR (* AND *))))) : A(G((G(*) OR (F(G(*)) AND F(G(**)))))) : (A(F(**)) AND A(X(X((** AND G(**)))))) : A((** OR X(X(F(**))))) : A((** OR (** AND F(**)))) : A(F(((* AND (F(*) AND (F(G(*)) OR G((* AND F(*)))))) R *))) : A((F(G(*)) OR (** U **))) : A(F(G(**))) : A((** OR X(F(**)))) : A((F(**) OR (** AND G(*)))) : A((G(F((X(**) OR (G(**) AND X(F(**)))))) OR G((** AND F((X(**) OR (G(**) AND X(F(**))))))))) : A(X(X(G(**)))) : A(G((** OR (X(**) OR (** OR (G(*) AND F(**)))))))"
},
"net":
{
"arcs": 251,
"conflict_clusters": 151,
"places": 151,
"places_significant": 101,
"singleton_clusters": 0,
"transitions": 101
},
"result":
{
"interim_value": "no yes no no no no yes yes unknown no no yes unknown unknown no no ",
"preliminary_value": "no yes no no no no yes yes unknown no no yes unknown unknown no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 151, Transitions: 101
lola: @ trans yes
lola: @ trans no
lola: @ trans start
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 252/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 151
lola: finding significant places
lola: 151 places, 101 transitions, 101 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 <= p0)
lola: LP says that atomic proposition is always false: (3 <= p0)
lola: A (((((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) OR G ((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))) AND G (X ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 0)))) OR ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p0) AND X ((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))))) : A (X ((X ((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) OR X (((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p0) AND G (X ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + 1 <= 0)))))))) : A (X (NOT(X (G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 2)))))) : A (NOT(G (F ((() OR G (F (X (G (((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) U (p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))))))))))) : A (G ((F (G ((2 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))) U NOT(F ((NOT(G ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p0))) U (p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p0))))))) : A ((F (((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) AND (3 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))) AND X (X (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) AND G ((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))))))) : A (((2 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR X (F ((F ((2 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)) U X (((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) OR (p0 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))))) : A (((1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 1) AND F ((1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))))) : A (F (NOT(((G (F ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))) U ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) OR G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 0)))) U (3 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))))) : A ((F (NOT(X (G (F ((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))))) OR ((2 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) U (p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))) : A ((F (((p0 <= 2) OR ((p0 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) U (2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))) AND F (G (X ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)))))) : A (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) OR (X (NOT(F (X (X ((3 <= p0)))))) U X (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) AND (p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))) : A ((F ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 + 1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)) OR ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) AND G (NOT(F ((p0 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))))))) : A ((G ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p0)) U G (F ((G ((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) U X ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p0))))))) : A (G (X (X ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))))) : A (G ((((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) OR X ((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))) OR (NOT(F ((1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))) U (p0 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:374
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:116
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) OR G ((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) OR G ((1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 +... (shortened)
lola: processed formula length: 1581
lola: 87 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 52 markings, 52 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))))
lola: processed formula length: 367
lola: 87 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 102 markings, 101 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((3 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((3 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))
lola: processed formula length: 311
lola: 87 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: 1228 markings, 1228 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) AND (3 <= p1 + p2 + p3 + p4 + p5 + p... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) AND (3 <= p1 + p2 + p3 + p4 + p5 + p6... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + 1 <= p0) OR (p1 + p2 + p3 + p4 + p5 + p6 + p7 +... (shortened)
lola: processed formula length: 661
lola: 89 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 52 markings, 51 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((2 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR X (X (F (((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((2 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR X (X (F (((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62... (shortened)
lola: processed formula length: 1281
lola: 87 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: 102 markings, 101 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 +... (shortened)
lola: processed formula length: 1948
lola: 87 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (F ((X ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p0)) OR (G ((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p1... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (F ((X ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p0)) OR (G ((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p1... (shortened)
lola: processed formula length: 2329
lola: 87 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 42 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: 225781 markings, 3448519 edges, 45156 markings/sec, 0 secs
lola: 436766 markings, 6833359 edges, 42197 markings/sec, 5 secs
lola: 655644 markings, 10435768 edges, 43776 markings/sec, 10 secs
lola: 876627 markings, 14008764 edges, 44197 markings/sec, 15 secs
lola: 1097551 markings, 17665154 edges, 44185 markings/sec, 20 secs
lola: 1296985 markings, 21061570 edges, 39887 markings/sec, 25 secs
lola: 1500971 markings, 24577761 edges, 40797 markings/sec, 30 secs
lola: 1713940 markings, 28143056 edges, 42594 markings/sec, 35 secs
lola: 1931608 markings, 31684846 edges, 43534 markings/sec, 40 secs
lola: 2150820 markings, 35307434 edges, 43842 markings/sec, 45 secs
lola: 2361443 markings, 38885778 edges, 42125 markings/sec, 50 secs
lola: 2561434 markings, 42343680 edges, 39998 markings/sec, 55 secs
lola: 2770770 markings, 45876661 edges, 41867 markings/sec, 60 secs
lola: 2982310 markings, 49422336 edges, 42308 markings/sec, 65 secs
lola: 3184537 markings, 52919196 edges, 40445 markings/sec, 70 secs
lola: 3384035 markings, 56388384 edges, 39900 markings/sec, 75 secs
lola: 3592671 markings, 59946041 edges, 41727 markings/sec, 80 secs
lola: 3789797 markings, 63448381 edges, 39425 markings/sec, 85 secs
lola: 3992765 markings, 66957416 edges, 40594 markings/sec, 90 secs
lola: 4187277 markings, 70423663 edges, 38902 markings/sec, 95 secs
lola: 4374407 markings, 73842787 edges, 37426 markings/sec, 100 secs
lola: 4553892 markings, 77193876 edges, 35897 markings/sec, 105 secs
lola: 4740870 markings, 80668665 edges, 37396 markings/sec, 110 secs
lola: 4959139 markings, 84197048 edges, 43654 markings/sec, 115 secs
lola: 5175402 markings, 87778064 edges, 43253 markings/sec, 120 secs
lola: 5379903 markings, 91270052 edges, 40900 markings/sec, 125 secs
lola: 5581942 markings, 94712337 edges, 40408 markings/sec, 130 secs
lola: 5784136 markings, 98172577 edges, 40439 markings/sec, 135 secs
lola: 5994171 markings, 101679539 edges, 42007 markings/sec, 140 secs
lola: 6199517 markings, 105183041 edges, 41069 markings/sec, 145 secs
lola: 6390333 markings, 108575313 edges, 38163 markings/sec, 150 secs
lola: 6601684 markings, 112115767 edges, 42270 markings/sec, 155 secs
lola: 6793427 markings, 115534092 edges, 38349 markings/sec, 160 secs
lola: 6996776 markings, 119041501 edges, 40670 markings/sec, 165 secs
lola: 7188869 markings, 122469727 edges, 38419 markings/sec, 170 secs
lola: 7376529 markings, 125851921 edges, 37532 markings/sec, 175 secs
lola: 7556986 markings, 129183094 edges, 36091 markings/sec, 180 secs
lola: 7724814 markings, 132515683 edges, 33566 markings/sec, 185 secs
lola: 7937516 markings, 136043207 edges, 42540 markings/sec, 190 secs
lola: 8146050 markings, 139531508 edges, 41707 markings/sec, 195 secs
lola: 8337208 markings, 142901999 edges, 38232 markings/sec, 200 secs
lola: 8542715 markings, 146420374 edges, 41101 markings/sec, 205 secs
lola: 8746261 markings, 149928279 edges, 40709 markings/sec, 210 secs
lola: 8942568 markings, 153378973 edges, 39261 markings/sec, 215 secs
lola: 9134494 markings, 156804417 edges, 38385 markings/sec, 220 secs
lola: 9325405 markings, 160213557 edges, 38182 markings/sec, 225 secs
lola: 9510578 markings, 163565491 edges, 37035 markings/sec, 230 secs
lola: 9679653 markings, 166809014 edges, 33815 markings/sec, 235 secs
lola: 9877496 markings, 170362170 edges, 39569 markings/sec, 240 secs
lola: 10078561 markings, 173832982 edges, 40213 markings/sec, 245 secs
lola: 10275138 markings, 177281444 edges, 39315 markings/sec, 250 secs
lola: 10467238 markings, 180710150 edges, 38420 markings/sec, 255 secs
lola: 10657702 markings, 184111635 edges, 38093 markings/sec, 260 secs
lola: 10842919 markings, 187471491 edges, 37043 markings/sec, 265 secs
lola: 11012049 markings, 190721876 edges, 33826 markings/sec, 270 secs
lola: 11206125 markings, 194250540 edges, 38815 markings/sec, 275 secs
lola: 11400836 markings, 197719600 edges, 38942 markings/sec, 280 secs
lola: 11594289 markings, 201171850 edges, 38691 markings/sec, 285 secs
lola: 11776428 markings, 204551105 edges, 36428 markings/sec, 290 secs
lola: 11948427 markings, 207936358 edges, 34400 markings/sec, 295 secs
lola: 12141802 markings, 211390537 edges, 38675 markings/sec, 300 secs
lola: 12324636 markings, 214774612 edges, 36567 markings/sec, 305 secs
lola: 12491647 markings, 218080250 edges, 33402 markings/sec, 310 secs
lola: 12680601 markings, 221507691 edges, 37791 markings/sec, 315 secs
lola: 12854201 markings, 224831136 edges, 34720 markings/sec, 320 secs
lola: 13027679 markings, 228187063 edges, 34696 markings/sec, 325 secs
lola: 13193598 markings, 231480363 edges, 33184 markings/sec, 330 secs
lola: 13359415 markings, 234764544 edges, 33163 markings/sec, 335 secs
lola: 13515837 markings, 237997061 edges, 31284 markings/sec, 340 secs
lola: 13674763 markings, 241305062 edges, 31785 markings/sec, 345 secs
lola: 13894101 markings, 244825771 edges, 43868 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no unknown unknown no yes unknown unknown unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 2093832 KB
lola: time consumption: 361 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 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 ... (shortened)
lola: processed formula length: 608
lola: 87 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: 52 markings, 52 edges
lola: ========================================
lola: subprocess 8 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) OR (X ((2 <= p101 + p102 + p103 + p104... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) OR (X ((2 <= p101 + p102 + p103 + p104... (shortened)
lola: processed formula length: 1670
lola: 87 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 52 markings, 52 edges
lola: ========================================
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 ... (shortened)
lola: processed formula length: 926
lola: 87 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: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 534 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p... (shortened)
lola: processed formula length: 604
lola: 87 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: 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: 53 markings, 54 edges
lola: ========================================
lola: subprocess 11 will run for 641 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 +... (shortened)
lola: processed formula length: 1614
lola: 87 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: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 52 markings, 52 edges
lola: ========================================
lola: subprocess 12 will run for 802 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + 1 <= p0))) OR ((2 <= p1 + p2 + p3 + p4 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + 1 <= p0))) OR ((2 <= p1 + p2 + p3 + p4 ... (shortened)
lola: processed formula length: 1032
lola: 87 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: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 52 markings, 52 edges
lola: ========================================
lola: subprocess 13 will run for 1069 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((G ((p0 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) OR (F (G ((p0 + 1 <= p101 + p... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((G ((p0 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) OR (F (G ((p0 + 1 <= p101 + p... (shortened)
lola: processed formula length: 1054
lola: 87 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 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: 52 markings, 52 edges
lola: ========================================
lola: subprocess 14 will run for 1604 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56... (shortened)
lola: processed formula length: 2912
lola: 87 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 26 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: 1113952 markings, 2617543 edges, 222790 markings/sec, 0 secs
lola: 2222528 markings, 5264072 edges, 221715 markings/sec, 5 secs
lola: 3315541 markings, 7887943 edges, 218603 markings/sec, 10 secs
lola: 4396308 markings, 10478133 edges, 216153 markings/sec, 15 secs
lola: 5464242 markings, 13048399 edges, 213587 markings/sec, 20 secs
lola: 6530669 markings, 15621770 edges, 213285 markings/sec, 25 secs
lola: 7583656 markings, 18181200 edges, 210597 markings/sec, 30 secs
lola: 8644643 markings, 20726470 edges, 212197 markings/sec, 35 secs
lola: 9700244 markings, 23270663 edges, 211120 markings/sec, 40 secs
lola: 10748329 markings, 25799652 edges, 209617 markings/sec, 45 secs
lola: 11782095 markings, 28312763 edges, 206753 markings/sec, 50 secs
lola: 12832793 markings, 30852042 edges, 210140 markings/sec, 55 secs
lola: 13870452 markings, 33374221 edges, 207532 markings/sec, 60 secs
lola: 14907431 markings, 35897990 edges, 207396 markings/sec, 65 secs
lola: 15935039 markings, 38412545 edges, 205522 markings/sec, 70 secs
lola: 16964630 markings, 40907588 edges, 205918 markings/sec, 75 secs
lola: 18006022 markings, 43406511 edges, 208278 markings/sec, 80 secs
lola: 19035945 markings, 45891509 edges, 205985 markings/sec, 85 secs
lola: 20058475 markings, 48372630 edges, 204506 markings/sec, 90 secs
lola: 21084861 markings, 50860071 edges, 205277 markings/sec, 95 secs
lola: 22117230 markings, 53360735 edges, 206474 markings/sec, 100 secs
lola: 23135886 markings, 55841211 edges, 203731 markings/sec, 105 secs
lola: 24148871 markings, 58313397 edges, 202597 markings/sec, 110 secs
lola: 25143344 markings, 60757550 edges, 198895 markings/sec, 115 secs
lola: 26174421 markings, 63245802 edges, 206215 markings/sec, 120 secs
lola: 27197261 markings, 65732860 edges, 204568 markings/sec, 125 secs
lola: 28213802 markings, 68206193 edges, 203308 markings/sec, 130 secs
lola: 29217181 markings, 70662291 edges, 200676 markings/sec, 135 secs
lola: 30221330 markings, 73116730 edges, 200830 markings/sec, 140 secs
lola: 31228816 markings, 75576495 edges, 201497 markings/sec, 145 secs
lola: 32220108 markings, 78010429 edges, 198258 markings/sec, 150 secs
lola: 33215301 markings, 80454728 edges, 199039 markings/sec, 155 secs
lola: 34199161 markings, 82879354 edges, 196772 markings/sec, 160 secs
lola: 35202894 markings, 85304834 edges, 200747 markings/sec, 165 secs
lola: 36216992 markings, 87743753 edges, 202820 markings/sec, 170 secs
lola: 37221221 markings, 90166205 edges, 200846 markings/sec, 175 secs
lola: 38215012 markings, 92578353 edges, 198758 markings/sec, 180 secs
lola: 39207882 markings, 94985681 edges, 198574 markings/sec, 185 secs
lola: 40206130 markings, 97403312 edges, 199650 markings/sec, 190 secs
lola: 41194376 markings, 99809993 edges, 197649 markings/sec, 195 secs
lola: 42184736 markings, 102226482 edges, 198072 markings/sec, 200 secs
lola: 43160022 markings, 104621062 edges, 195057 markings/sec, 205 secs
lola: 44168480 markings, 107056455 edges, 201692 markings/sec, 210 secs
lola: 45172782 markings, 109497635 edges, 200860 markings/sec, 215 secs
lola: 46169052 markings, 111922140 edges, 199254 markings/sec, 220 secs
lola: 47154791 markings, 114334696 edges, 197148 markings/sec, 225 secs
lola: 48140157 markings, 116743711 edges, 197073 markings/sec, 230 secs
lola: 49130635 markings, 119161427 edges, 198096 markings/sec, 235 secs
lola: 50106301 markings, 121559351 edges, 195133 markings/sec, 240 secs
lola: 51091913 markings, 123973118 edges, 197122 markings/sec, 245 secs
lola: 52063168 markings, 126366486 edges, 194251 markings/sec, 250 secs
lola: 53043223 markings, 128764605 edges, 196011 markings/sec, 255 secs
lola: 54053453 markings, 131209942 edges, 202046 markings/sec, 260 secs
lola: 55050258 markings, 133638326 edges, 199361 markings/sec, 265 secs
lola: 56043754 markings, 136061696 edges, 198699 markings/sec, 270 secs
lola: 57029706 markings, 138478727 edges, 197190 markings/sec, 275 secs
lola: 58031705 markings, 140920216 edges, 200400 markings/sec, 280 secs
lola: 59027918 markings, 143357489 edges, 199243 markings/sec, 285 secs
lola: 60014490 markings, 145778016 edges, 197314 markings/sec, 290 secs
lola: 61001036 markings, 148203457 edges, 197309 markings/sec, 295 secs
lola: 61971334 markings, 150600457 edges, 194060 markings/sec, 300 secs
lola: 62968461 markings, 153031293 edges, 199425 markings/sec, 305 secs
lola: 63964000 markings, 155467346 edges, 199108 markings/sec, 310 secs
lola: 64950465 markings, 157887533 edges, 197293 markings/sec, 315 secs
lola: 65929584 markings, 160294929 edges, 195824 markings/sec, 320 secs
lola: 66894731 markings, 162679443 edges, 193029 markings/sec, 325 secs
lola: 67881401 markings, 165099411 edges, 197334 markings/sec, 330 secs
lola: 68860100 markings, 167510359 edges, 195740 markings/sec, 335 secs
lola: 69826765 markings, 169898236 edges, 193333 markings/sec, 340 secs
lola: 70799514 markings, 172301741 edges, 194550 markings/sec, 345 secs
lola: 71760101 markings, 174682174 edges, 192117 markings/sec, 350 secs
lola: 72731202 markings, 177053986 edges, 194220 markings/sec, 355 secs
lola: 73737683 markings, 179468508 edges, 201296 markings/sec, 360 secs
lola: 74733835 markings, 181871477 edges, 199230 markings/sec, 365 secs
lola: 75722560 markings, 184265637 edges, 197745 markings/sec, 370 secs
lola: 76700079 markings, 186641790 edges, 195504 markings/sec, 375 secs
lola: 77687807 markings, 189029554 edges, 197546 markings/sec, 380 secs
lola: 78655102 markings, 191389603 edges, 193459 markings/sec, 385 secs
lola: 79638005 markings, 193779467 edges, 196581 markings/sec, 390 secs
lola: 80602439 markings, 196140588 edges, 192887 markings/sec, 395 secs
lola: 81579266 markings, 198512006 edges, 195365 markings/sec, 400 secs
lola: 82560549 markings, 200893062 edges, 196257 markings/sec, 405 secs
lola: 83539784 markings, 203276097 edges, 195847 markings/sec, 410 secs
lola: 84206495 markings, 204903756 edges, 133342 markings/sec, 415 secs
lola: 84266422 markings, 205051418 edges, 11985 markings/sec, 420 secs
lola: 84275558 markings, 205074051 edges, 1827 markings/sec, 425 secs
lola: 84284683 markings, 205096591 edges, 1825 markings/sec, 430 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 2771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 + 1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 + 1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 +... (shortened)
lola: processed formula length: 1572
lola: 87 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: 1216648 markings, 2509810 edges, 243330 markings/sec, 0 secs
lola: 2242908 markings, 4784366 edges, 205252 markings/sec, 5 secs
lola: 3267447 markings, 7063162 edges, 204908 markings/sec, 10 secs
lola: 4107933 markings, 9066436 edges, 168097 markings/sec, 15 secs
lola: 4958206 markings, 11183754 edges, 170055 markings/sec, 20 secs
lola: 5782171 markings, 13341581 edges, 164793 markings/sec, 25 secs
lola: 6551280 markings, 15523520 edges, 153822 markings/sec, 30 secs
lola: 7285035 markings, 17755295 edges, 146751 markings/sec, 35 secs
lola: 7975433 markings, 20020730 edges, 138080 markings/sec, 40 secs
lola: 8611495 markings, 22305408 edges, 127212 markings/sec, 45 secs
lola: 9202837 markings, 24666917 edges, 118268 markings/sec, 50 secs
lola: 9788705 markings, 27396931 edges, 117174 markings/sec, 55 secs
lola: 10260113 markings, 30091633 edges, 94282 markings/sec, 60 secs
lola: 10612193 markings, 32764398 edges, 70416 markings/sec, 65 secs
lola: 11446819 markings, 35076799 edges, 166925 markings/sec, 70 secs
lola: 12534556 markings, 37314890 edges, 217547 markings/sec, 75 secs
lola: 13528074 markings, 39442954 edges, 198704 markings/sec, 80 secs
lola: 14535296 markings, 41598732 edges, 201444 markings/sec, 85 secs
lola: 15532523 markings, 43707024 edges, 199445 markings/sec, 90 secs
lola: 16517847 markings, 45881669 edges, 197065 markings/sec, 95 secs
lola: 17507130 markings, 48080550 edges, 197857 markings/sec, 100 secs
lola: 18492674 markings, 50311476 edges, 197109 markings/sec, 105 secs
lola: 19448402 markings, 52584030 edges, 191146 markings/sec, 110 secs
lola: 20352293 markings, 54892423 edges, 180778 markings/sec, 115 secs
lola: 21028587 markings, 56668429 edges, 135259 markings/sec, 120 secs
lola: 21630980 markings, 57963100 edges, 120479 markings/sec, 125 secs
lola: 22226639 markings, 59277294 edges, 119132 markings/sec, 130 secs
lola: 22823386 markings, 60617288 edges, 119349 markings/sec, 135 secs
lola: 23425096 markings, 62004808 edges, 120342 markings/sec, 140 secs
lola: 24026509 markings, 63421116 edges, 120283 markings/sec, 145 secs
lola: 24620287 markings, 64870420 edges, 118756 markings/sec, 150 secs
lola: 25206234 markings, 66356474 edges, 117189 markings/sec, 155 secs
lola: 25777320 markings, 67879997 edges, 114217 markings/sec, 160 secs
lola: 26334652 markings, 69459258 edges, 111466 markings/sec, 165 secs
lola: 26906676 markings, 71135579 edges, 114405 markings/sec, 170 secs
lola: 27450592 markings, 72812352 edges, 108783 markings/sec, 175 secs
lola: 27978884 markings, 74591125 edges, 105658 markings/sec, 180 secs
lola: 28488814 markings, 76399592 edges, 101986 markings/sec, 185 secs
lola: 28984867 markings, 78325038 edges, 99211 markings/sec, 190 secs
lola: 29459799 markings, 80401405 edges, 94986 markings/sec, 195 secs
lola: 29885916 markings, 82526822 edges, 85223 markings/sec, 200 secs
lola: 30243463 markings, 84644670 edges, 71509 markings/sec, 205 secs
lola: 30532427 markings, 86760151 edges, 57793 markings/sec, 210 secs
lola: 31032663 markings, 88779253 edges, 100047 markings/sec, 215 secs
lola: 31952100 markings, 90618741 edges, 183887 markings/sec, 220 secs
lola: 32770508 markings, 92406733 edges, 163682 markings/sec, 225 secs
lola: 33650390 markings, 94267284 edges, 175976 markings/sec, 230 secs
lola: 34435462 markings, 96044938 edges, 157014 markings/sec, 235 secs
lola: 35282203 markings, 97900460 edges, 169348 markings/sec, 240 secs
lola: 36061426 markings, 99713046 edges, 155845 markings/sec, 245 secs
lola: 36892193 markings, 101593440 edges, 166153 markings/sec, 250 secs
lola: 37705422 markings, 103480362 edges, 162646 markings/sec, 255 secs
lola: 38478444 markings, 105361658 edges, 154604 markings/sec, 260 secs
lola: 39276130 markings, 107308560 edges, 159537 markings/sec, 265 secs
lola: 40008705 markings, 109261435 edges, 146515 markings/sec, 270 secs
lola: 40566831 markings, 110888257 edges, 111625 markings/sec, 275 secs
lola: 41136834 markings, 112100903 edges, 114001 markings/sec, 280 secs
lola: 41710137 markings, 113350729 edges, 114661 markings/sec, 285 secs
lola: 42260190 markings, 114616960 edges, 110011 markings/sec, 290 secs
lola: 42809828 markings, 115923913 edges, 109928 markings/sec, 295 secs
lola: 43368244 markings, 117282606 edges, 111683 markings/sec, 300 secs
lola: 43919536 markings, 118672043 edges, 110258 markings/sec, 305 secs
lola: 44452484 markings, 120103846 edges, 106590 markings/sec, 310 secs
lola: 45001358 markings, 121579272 edges, 109775 markings/sec, 315 secs
lola: 45540213 markings, 123083113 edges, 107771 markings/sec, 320 secs
lola: 46072782 markings, 124674059 edges, 106514 markings/sec, 325 secs
lola: 46655464 markings, 126545499 edges, 116536 markings/sec, 330 secs
lola: 47204359 markings, 128440745 edges, 109779 markings/sec, 335 secs
lola: 47754873 markings, 130453767 edges, 110103 markings/sec, 340 secs
lola: 48270412 markings, 132590871 edges, 103108 markings/sec, 345 secs
lola: 48749412 markings, 134864928 edges, 95800 markings/sec, 350 secs
lola: 49113383 markings, 136878284 edges, 72794 markings/sec, 355 secs
lola: 49402732 markings, 138798031 edges, 57870 markings/sec, 360 secs
lola: 49637778 markings, 140781054 edges, 47009 markings/sec, 365 secs
lola: 50387413 markings, 142545036 edges, 149927 markings/sec, 370 secs
lola: 51174535 markings, 144204750 edges, 157424 markings/sec, 375 secs
lola: 51847447 markings, 145794163 edges, 134582 markings/sec, 380 secs
lola: 52724640 markings, 147610534 edges, 175439 markings/sec, 385 secs
lola: 53459766 markings, 149342298 edges, 147025 markings/sec, 390 secs
lola: 54292695 markings, 151193259 edges, 166586 markings/sec, 395 secs
lola: 55037141 markings, 152991730 edges, 148889 markings/sec, 400 secs
lola: 55796760 markings, 154819870 edges, 151924 markings/sec, 405 secs
lola: 56576453 markings, 156691585 edges, 155939 markings/sec, 410 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A ((G (F ((X ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p0)) OR (G ((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p1... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (F ((X ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p0)) OR (G ((2 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p1... (shortened)
lola: processed formula length: 2329
lola: 87 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 42 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: 246666 markings, 3780835 edges, 49333 markings/sec, 0 secs
lola: 474998 markings, 7457658 edges, 45666 markings/sec, 5 secs
lola: 697777 markings, 11100120 edges, 44556 markings/sec, 10 secs
lola: 915538 markings, 14711220 edges, 43552 markings/sec, 15 secs
lola: 1134790 markings, 18355244 edges, 43850 markings/sec, 20 secs
lola: 1352867 markings, 21987678 edges, 43615 markings/sec, 25 secs
lola: 1552104 markings, 25488632 edges, 39847 markings/sec, 30 secs
lola: 1775811 markings, 29131621 edges, 44741 markings/sec, 35 secs
lola: 1990873 markings, 32693164 edges, 43012 markings/sec, 40 secs
lola: 2208661 markings, 36308349 edges, 43558 markings/sec, 45 secs
lola: 2419705 markings, 39855697 edges, 42209 markings/sec, 50 secs
lola: 2613019 markings, 43301091 edges, 38663 markings/sec, 55 secs
lola: 2835066 markings, 46948887 edges, 44409 markings/sec, 60 secs
lola: 3046919 markings, 50538962 edges, 42371 markings/sec, 65 secs
lola: 3247468 markings, 54016872 edges, 40110 markings/sec, 70 secs
lola: 3456113 markings, 57595845 edges, 41729 markings/sec, 75 secs
lola: 3663676 markings, 61176730 edges, 41513 markings/sec, 80 secs
lola: 3865033 markings, 64747483 edges, 40271 markings/sec, 85 secs
lola: 4061083 markings, 68239903 edges, 39210 markings/sec, 90 secs
lola: 4258897 markings, 71758890 edges, 39563 markings/sec, 95 secs
lola: 4447449 markings, 75191099 edges, 37710 markings/sec, 100 secs
lola: 4621837 markings, 78544434 edges, 34878 markings/sec, 105 secs
lola: 4836794 markings, 82203824 edges, 42991 markings/sec, 110 secs
lola: 5053500 markings, 85794305 edges, 43341 markings/sec, 115 secs
lola: 5270735 markings, 89404290 edges, 43447 markings/sec, 120 secs
lola: 5479533 markings, 92952394 edges, 41760 markings/sec, 125 secs
lola: 5673788 markings, 96401746 edges, 38851 markings/sec, 130 secs
lola: 5896143 markings, 100026191 edges, 44471 markings/sec, 135 secs
lola: 6107577 markings, 103611044 edges, 42287 markings/sec, 140 secs
lola: 6306557 markings, 107080137 edges, 39796 markings/sec, 145 secs
lola: 6512691 markings, 110640437 edges, 41227 markings/sec, 150 secs
lola: 6721830 markings, 114213236 edges, 41828 markings/sec, 155 secs
lola: 6921441 markings, 117745229 edges, 39922 markings/sec, 160 secs
lola: 7117232 markings, 121234027 edges, 39158 markings/sec, 165 secs
lola: 7313063 markings, 124724537 edges, 39166 markings/sec, 170 secs
lola: 7501885 markings, 128156069 edges, 37764 markings/sec, 175 secs
lola: 7675859 markings, 131506791 edges, 34795 markings/sec, 180 secs
lola: 7885558 markings, 135127470 edges, 41940 markings/sec, 185 secs
lola: 8095242 markings, 138688650 edges, 41937 markings/sec, 190 secs
lola: 8296941 markings, 142171682 edges, 40340 markings/sec, 195 secs
lola: 8502163 markings, 145696779 edges, 41044 markings/sec, 200 secs
lola: 8708543 markings, 149263770 edges, 41276 markings/sec, 205 secs
lola: 8908956 markings, 152775547 edges, 40083 markings/sec, 210 secs
lola: 9104450 markings, 156256417 edges, 39099 markings/sec, 215 secs
lola: 9300150 markings, 159743945 edges, 39140 markings/sec, 220 secs
lola: 9490249 markings, 163183968 edges, 38020 markings/sec, 225 secs
lola: 9664189 markings, 166502657 edges, 34788 markings/sec, 230 secs
lola: 9858969 markings, 170065139 edges, 38956 markings/sec, 235 secs
lola: 10066997 markings, 173623059 edges, 41606 markings/sec, 240 secs
lola: 10266852 markings, 177145770 edges, 39971 markings/sec, 245 secs
lola: 10462278 markings, 180625098 edges, 39085 markings/sec, 250 secs
lola: 10657207 markings, 184105917 edges, 38986 markings/sec, 255 secs
lola: 10845298 markings, 187526708 edges, 37618 markings/sec, 260 secs
lola: 11017710 markings, 190841362 edges, 34482 markings/sec, 265 secs
lola: 11217751 markings, 194443710 edges, 40008 markings/sec, 270 secs
lola: 11416547 markings, 197981848 edges, 39759 markings/sec, 275 secs
lola: 11611737 markings, 201491411 edges, 39038 markings/sec, 280 secs
lola: 11795633 markings, 204922725 edges, 36779 markings/sec, 285 secs
lola: 11974635 markings, 208379693 edges, 35800 markings/sec, 290 secs
lola: 12170408 markings, 211902015 edges, 39155 markings/sec, 295 secs
lola: 12356714 markings, 215350247 edges, 37261 markings/sec, 300 secs
lola: 12530421 markings, 218756562 edges, 34741 markings/sec, 305 secs
lola: 12718237 markings, 222225223 edges, 37563 markings/sec, 310 secs
lola: 12888607 markings, 225602374 edges, 34074 markings/sec, 315 secs
lola: 13071238 markings, 229017863 edges, 36526 markings/sec, 320 secs
lola: 13241449 markings, 232382644 edges, 34042 markings/sec, 325 secs
lola: 13404852 markings, 235684736 edges, 32681 markings/sec, 330 secs
lola: 13559746 markings, 238934288 edges, 30979 markings/sec, 335 secs
lola: 13743931 markings, 242406735 edges, 36837 markings/sec, 340 secs
lola: 13963091 markings, 245952245 edges, 43832 markings/sec, 345 secs
lola: 14178640 markings, 249521142 edges, 43110 markings/sec, 350 secs
lola: 14384173 markings, 253027503 edges, 41107 markings/sec, 355 secs
lola: 14587351 markings, 256488692 edges, 40636 markings/sec, 360 secs
lola: 14790267 markings, 259969180 edges, 40583 markings/sec, 365 secs
lola: 15002463 markings, 263507458 edges, 42439 markings/sec, 370 secs
lola: 15206197 markings, 266989095 edges, 40747 markings/sec, 375 secs
lola: 15398730 markings, 270394248 edges, 38507 markings/sec, 380 secs
lola: 15610422 markings, 273953033 edges, 42338 markings/sec, 385 secs
lola: 15803611 markings, 277400265 edges, 38638 markings/sec, 390 secs
lola: 16008753 markings, 280930400 edges, 41028 markings/sec, 395 secs
lola: 16201626 markings, 284372472 edges, 38575 markings/sec, 400 secs
lola: 16390904 markings, 287781119 edges, 37856 markings/sec, 405 secs
lola: 16569938 markings, 291106873 edges, 35807 markings/sec, 410 secs
lola: 16741198 markings, 294467636 edges, 34252 markings/sec, 415 secs
lola: 16954851 markings, 298016276 edges, 42731 markings/sec, 420 secs
lola: 17163445 markings, 301512559 edges, 41719 markings/sec, 425 secs
lola: 17353671 markings, 304884632 edges, 38045 markings/sec, 430 secs
lola: 17562703 markings, 308439403 edges, 41806 markings/sec, 435 secs
lola: 17763312 markings, 311907062 edges, 40122 markings/sec, 440 secs
lola: 17962336 markings, 315394840 edges, 39805 markings/sec, 445 secs
lola: 18154529 markings, 318824294 edges, 38439 markings/sec, 450 secs
lola: 18345986 markings, 322246239 edges, 38291 markings/sec, 455 secs
lola: 18528949 markings, 325596106 edges, 36593 markings/sec, 460 secs
lola: 18696597 markings, 328853438 edges, 33530 markings/sec, 465 secs
lola: 18900049 markings, 332418389 edges, 40690 markings/sec, 470 secs
lola: 19098802 markings, 335888283 edges, 39751 markings/sec, 475 secs
lola: 19299513 markings, 339381198 edges, 40142 markings/sec, 480 secs
lola: 19492123 markings, 342812632 edges, 38522 markings/sec, 485 secs
lola: 19682999 markings, 346229316 edges, 38175 markings/sec, 490 secs
lola: 19863903 markings, 349579145 edges, 36181 markings/sec, 495 secs
lola: 20031559 markings, 352851494 edges, 33531 markings/sec, 500 secs
lola: 20234609 markings, 356415504 edges, 40610 markings/sec, 505 secs
lola: 20431162 markings, 359914779 edges, 39311 markings/sec, 510 secs
lola: 20622135 markings, 363376341 edges, 38195 markings/sec, 515 secs
lola: 20803482 markings, 366763984 edges, 36269 markings/sec, 520 secs
lola: 20979240 markings, 370170887 edges, 35152 markings/sec, 525 secs
lola: 21173430 markings, 373648671 edges, 38838 markings/sec, 530 secs
lola: 21357487 markings, 377053205 edges, 36811 markings/sec, 535 secs
lola: 21528221 markings, 380407523 edges, 34147 markings/sec, 540 secs
lola: 21713789 markings, 383833854 edges, 37114 markings/sec, 545 secs
lola: 21880216 markings, 387153237 edges, 33285 markings/sec, 550 secs
lola: 22062566 markings, 390545612 edges, 36470 markings/sec, 555 secs
lola: 22229425 markings, 393853474 edges, 33372 markings/sec, 560 secs
lola: 22392109 markings, 397101877 edges, 32537 markings/sec, 565 secs
lola: 22543317 markings, 400295951 edges, 30242 markings/sec, 570 secs
lola: 22716250 markings, 403696716 edges, 34587 markings/sec, 575 secs
lola: 22931083 markings, 407265985 edges, 42967 markings/sec, 580 secs
lola: 23136485 markings, 410765227 edges, 41080 markings/sec, 585 secs
lola: 23325612 markings, 414143304 edges, 37825 markings/sec, 590 secs
lola: 23542067 markings, 417742186 edges, 43291 markings/sec, 595 secs
lola: 23739042 markings, 421210261 edges, 39395 markings/sec, 600 secs
lola: 23940958 markings, 424721112 edges, 40383 markings/sec, 605 secs
lola: 24135207 markings, 428166368 edges, 38850 markings/sec, 610 secs
lola: 24325514 markings, 431593216 edges, 38061 markings/sec, 615 secs
lola: 24507114 markings, 434948949 edges, 36320 markings/sec, 620 secs
lola: 24672017 markings, 438264822 edges, 32981 markings/sec, 625 secs
lola: 24886086 markings, 441838763 edges, 42814 markings/sec, 630 secs
lola: 25080516 markings, 445283951 edges, 38886 markings/sec, 635 secs
lola: 25283239 markings, 448801690 edges, 40545 markings/sec, 640 secs
lola: 25476005 markings, 452243354 edges, 38553 markings/sec, 645 secs
lola: 25666936 markings, 455653953 edges, 38186 markings/sec, 650 secs
lola: 25847146 markings, 458996481 edges, 36042 markings/sec, 655 secs
lola: 26015363 markings, 462326986 edges, 33643 markings/sec, 660 secs
lola: 26220967 markings, 465885061 edges, 41121 markings/sec, 665 secs
lola: 26417490 markings, 469385617 edges, 39305 markings/sec, 670 secs
lola: 26605010 markings, 472827930 edges, 37504 markings/sec, 675 secs
lola: 26785589 markings, 476208991 edges, 36116 markings/sec, 680 secs
lola: 26968604 markings, 479660690 edges, 36603 markings/sec, 685 secs
lola: 27159867 markings, 483127601 edges, 38253 markings/sec, 690 secs
lola: 27341303 markings, 486517729 edges, 36287 markings/sec, 695 secs
lola: 27515616 markings, 489908572 edges, 34863 markings/sec, 700 secs
lola: 27699602 markings, 493316720 edges, 36797 markings/sec, 705 secs
lola: 27869847 markings, 496664253 edges, 34049 markings/sec, 710 secs
lola: 28045170 markings, 500000091 edges, 35065 markings/sec, 715 secs
lola: 28212958 markings, 503315434 edges, 33558 markings/sec, 720 secs
lola: 28371414 markings, 506575701 edges, 31691 markings/sec, 725 secs
lola: 28523411 markings, 509774964 edges, 30399 markings/sec, 730 secs
lola: 28709525 markings, 513246992 edges, 37223 markings/sec, 735 secs
lola: 28913426 markings, 516773527 edges, 40780 markings/sec, 740 secs
lola: 29110866 markings, 520239559 edges, 39488 markings/sec, 745 secs
lola: 29306723 markings, 523684191 edges, 39171 markings/sec, 750 secs
lola: 29499378 markings, 527122638 edges, 38531 markings/sec, 755 secs
lola: 29685703 markings, 530505915 edges, 37265 markings/sec, 760 secs
lola: 29859881 markings, 533791169 edges, 34836 markings/sec, 765 secs
lola: 30046491 markings, 537277831 edges, 37322 markings/sec, 770 secs
lola: 30242437 markings, 540767820 edges, 39189 markings/sec, 775 secs
lola: 30438131 markings, 544265209 edges, 39139 markings/sec, 780 secs
lola: 30624683 markings, 547687857 edges, 37310 markings/sec, 785 secs
lola: 30794711 markings, 551027602 edges, 34006 markings/sec, 790 secs
lola: 30986908 markings, 554498400 edges, 38439 markings/sec, 795 secs
lola: 31175599 markings, 557932399 edges, 37738 markings/sec, 800 secs
lola: 31348748 markings, 561234784 edges, 34630 markings/sec, 805 secs
lola: 31529941 markings, 564669927 edges, 36239 markings/sec, 810 secs
lola: 31707078 markings, 568008512 edges, 35427 markings/sec, 815 secs
lola: 31879375 markings, 571363518 edges, 34459 markings/sec, 820 secs
lola: 32045543 markings, 574654530 edges, 33234 markings/sec, 825 secs
lola: 32209867 markings, 577927209 edges, 32865 markings/sec, 830 secs
lola: 32369139 markings, 581144924 edges, 31854 markings/sec, 835 secs
lola: 32514979 markings, 584325601 edges, 29168 markings/sec, 840 secs
lola: 32716225 markings, 587872356 edges, 40249 markings/sec, 845 secs
lola: 32899014 markings, 591137595 edges, 36558 markings/sec, 850 secs
lola: 33060375 markings, 594040535 edges, 32272 markings/sec, 855 secs
lola: 33245520 markings, 597439836 edges, 37029 markings/sec, 860 secs
lola: 33414161 markings, 600813341 edges, 33728 markings/sec, 865 secs
lola: 33610763 markings, 604317292 edges, 39320 markings/sec, 870 secs
lola: 33800401 markings, 607755811 edges, 37928 markings/sec, 875 secs
lola: 33973171 markings, 611099609 edges, 34554 markings/sec, 880 secs
lola: 34158627 markings, 614564946 edges, 37091 markings/sec, 885 secs
lola: 34333543 markings, 617907361 edges, 34983 markings/sec, 890 secs
lola: 34508990 markings, 621299088 edges, 35089 markings/sec, 895 secs
lola: 34676967 markings, 624617315 edges, 33595 markings/sec, 900 secs
lola: 34841972 markings, 627909150 edges, 33001 markings/sec, 905 secs
lola: 34998446 markings, 631147481 edges, 31295 markings/sec, 910 secs
lola: 35152027 markings, 634439075 edges, 30716 markings/sec, 915 secs
lola: 35352205 markings, 638007479 edges, 40036 markings/sec, 920 secs
lola: 35541305 markings, 641491582 edges, 37820 markings/sec, 925 secs
lola: 35712206 markings, 644901236 edges, 34180 markings/sec, 930 secs
lola: 35907527 markings, 648419685 edges, 39064 markings/sec, 935 secs
lola: 36084086 markings, 651822929 edges, 35312 markings/sec, 940 secs
lola: 36264239 markings, 655278487 edges, 36031 markings/sec, 945 secs
lola: 36435532 markings, 658660557 edges, 34259 markings/sec, 950 secs
lola: 36601537 markings, 662006833 edges, 33201 markings/sec, 955 secs
lola: 36758484 markings, 665301179 edges, 31389 markings/sec, 960 secs
lola: 36925569 markings, 668709927 edges, 33417 markings/sec, 965 secs
lola: 37112973 markings, 672195418 edges, 37481 markings/sec, 970 secs
lola: 37287475 markings, 675613744 edges, 34900 markings/sec, 975 secs
lola: 37464448 markings, 679011136 edges, 35395 markings/sec, 980 secs
lola: 37635464 markings, 682387539 edges, 34203 markings/sec, 985 secs
lola: 37799298 markings, 685723828 edges, 32767 markings/sec, 990 secs
lola: 37953828 markings, 688977137 edges, 30906 markings/sec, 995 secs
lola: 38126469 markings, 692430186 edges, 34528 markings/sec, 1000 secs
lola: 38298252 markings, 695830001 edges, 34357 markings/sec, 1005 secs
lola: 38466738 markings, 699189308 edges, 33697 markings/sec, 1010 secs
lola: 38627865 markings, 702489536 edges, 32225 markings/sec, 1015 secs
lola: 38777892 markings, 705761559 edges, 30005 markings/sec, 1020 secs
lola: 38949289 markings, 709153313 edges, 34279 markings/sec, 1025 secs
lola: 39113119 markings, 712463270 edges, 32766 markings/sec, 1030 secs
lola: 39260735 markings, 715694252 edges, 29523 markings/sec, 1035 secs
lola: 39423453 markings, 719028134 edges, 32544 markings/sec, 1040 secs
lola: 39575235 markings, 722245973 edges, 30356 markings/sec, 1045 secs
lola: 39726613 markings, 725506607 edges, 30276 markings/sec, 1050 secs
lola: 39872403 markings, 728706165 edges, 29158 markings/sec, 1055 secs
lola: 40015162 markings, 731874544 edges, 28552 markings/sec, 1060 secs
lola: 40151808 markings, 734994350 edges, 27329 markings/sec, 1065 secs
lola: 40275549 markings, 738306663 edges, 24748 markings/sec, 1070 secs
lola: 40493360 markings, 741880833 edges, 43562 markings/sec, 1075 secs
lola: 40703904 markings, 745377075 edges, 42109 markings/sec, 1080 secs
lola: 40915602 markings, 748900470 edges, 42340 markings/sec, 1085 secs
lola: 41120930 markings, 752366151 edges, 41066 markings/sec, 1090 secs
lola: 41309197 markings, 755711289 edges, 37653 markings/sec, 1095 secs
lola: 41525031 markings, 759254267 edges, 43167 markings/sec, 1100 secs
lola: 41729857 markings, 762737308 edges, 40965 markings/sec, 1105 secs
lola: 41926892 markings, 766138606 edges, 39407 markings/sec, 1110 secs
lola: 42128205 markings, 769594232 edges, 40263 markings/sec, 1115 secs
lola: 42329820 markings, 773081943 edges, 40323 markings/sec, 1120 secs
lola: 42525492 markings, 776514274 edges, 39134 markings/sec, 1125 secs
lola: 42719301 markings, 779928203 edges, 38762 markings/sec, 1130 secs
lola: 42910465 markings, 783336404 edges, 38233 markings/sec, 1135 secs
lola: 43094240 markings, 786682741 edges, 36755 markings/sec, 1140 secs
lola: 43267956 markings, 789947248 edges, 34743 markings/sec, 1145 secs
lola: 43454981 markings, 793387276 edges, 37405 markings/sec, 1150 secs
lola: 43664426 markings, 796878228 edges, 41889 markings/sec, 1155 secs
lola: 43864874 markings, 800305429 edges, 40090 markings/sec, 1160 secs
lola: 44053821 markings, 803661113 edges, 37789 markings/sec, 1165 secs
lola: 44263727 markings, 807181668 edges, 41981 markings/sec, 1170 secs
lola: 44455172 markings, 810587313 edges, 38289 markings/sec, 1175 secs
lola: 44656933 markings, 814074830 edges, 40352 markings/sec, 1180 secs
lola: 44847303 markings, 817473454 edges, 38074 markings/sec, 1185 secs
lola: 45033977 markings, 820843045 edges, 37335 markings/sec, 1190 secs
lola: 45212579 markings, 824137165 edges, 35720 markings/sec, 1195 secs
lola: 45377922 markings, 827424365 edges, 33069 markings/sec, 1200 secs
lola: 45588243 markings, 830951570 edges, 42064 markings/sec, 1205 secs
lola: 45779373 markings, 834357046 edges, 38226 markings/sec, 1210 secs
lola: 45981029 markings, 837839311 edges, 40331 markings/sec, 1215 secs
lola: 46171411 markings, 841233448 edges, 38076 markings/sec, 1220 secs
lola: 46359585 markings, 844607100 edges, 37635 markings/sec, 1225 secs
lola: 46537274 markings, 847904293 edges, 35538 markings/sec, 1230 secs
lola: 46702023 markings, 851177016 edges, 32950 markings/sec, 1235 secs
lola: 46905710 markings, 854696802 edges, 40737 markings/sec, 1240 secs
lola: 47100151 markings, 858161762 edges, 38888 markings/sec, 1245 secs
lola: 47287735 markings, 861570975 edges, 37517 markings/sec, 1250 secs
lola: 47467590 markings, 864928258 edges, 35971 markings/sec, 1255 secs
lola: 47644571 markings, 868330477 edges, 35396 markings/sec, 1260 secs
lola: 47834983 markings, 871758437 edges, 38082 markings/sec, 1265 secs
lola: 48015433 markings, 875109566 edges, 36090 markings/sec, 1270 secs
lola: 48184499 markings, 878442051 edges, 33813 markings/sec, 1275 secs
lola: 48368819 markings, 881829699 edges, 36864 markings/sec, 1280 secs
lola: 48535151 markings, 885123707 edges, 33266 markings/sec, 1285 secs
lola: 48712583 markings, 888456047 edges, 35486 markings/sec, 1290 secs
lola: 48877536 markings, 891727173 edges, 32991 markings/sec, 1295 secs
lola: 49037528 markings, 894929480 edges, 31998 markings/sec, 1300 secs
lola: 49187746 markings, 898093806 edges, 30044 markings/sec, 1305 secs
lola: 49357530 markings, 901439771 edges, 33957 markings/sec, 1310 secs
lola: 49569445 markings, 904967016 edges, 42383 markings/sec, 1315 secs
lola: 49772821 markings, 908427361 edges, 40675 markings/sec, 1320 secs
lola: 49961493 markings, 911772438 edges, 37734 markings/sec, 1325 secs
lola: 50174014 markings, 915334599 edges, 42504 markings/sec, 1330 secs
lola: 50370392 markings, 918768146 edges, 39276 markings/sec, 1335 secs
lola: 50569172 markings, 922230049 edges, 39756 markings/sec, 1340 secs
lola: 50760254 markings, 925634110 edges, 38216 markings/sec, 1345 secs
lola: 50949547 markings, 929028124 edges, 37859 markings/sec, 1350 secs
lola: 51128670 markings, 932339368 edges, 35825 markings/sec, 1355 secs
lola: 51291787 markings, 935578752 edges, 32623 markings/sec, 1360 secs
lola: 51499766 markings, 939126037 edges, 41596 markings/sec, 1365 secs
lola: 51696302 markings, 942560876 edges, 39307 markings/sec, 1370 secs
lola: 51895064 markings, 946019100 edges, 39752 markings/sec, 1375 secs
lola: 52085730 markings, 949416977 edges, 38133 markings/sec, 1380 secs
lola: 52274262 markings, 952794833 edges, 37706 markings/sec, 1385 secs
lola: 52453041 markings, 956109021 edges, 35756 markings/sec, 1390 secs
lola: 52619118 markings, 959336343 edges, 33215 markings/sec, 1395 secs
lola: 52819711 markings, 962877415 edges, 40119 markings/sec, 1400 secs
lola: 53013600 markings, 966337713 edges, 38778 markings/sec, 1405 secs
lola: 53203890 markings, 969764551 edges, 38058 markings/sec, 1410 secs
lola: 53383823 markings, 973111527 edges, 35987 markings/sec, 1415 secs
lola: 53556783 markings, 976476069 edges, 34592 markings/sec, 1420 secs
lola: 53747570 markings, 979921133 edges, 38157 markings/sec, 1425 secs
lola: 53931237 markings, 983292393 edges, 36733 markings/sec, 1430 secs
lola: 54096539 markings, 986586707 edges, 33060 markings/sec, 1435 secs
lola: 54283620 markings, 989989216 edges, 37416 markings/sec, 1440 secs
lola: 54454849 markings, 993286861 edges, 34246 markings/sec, 1445 secs
lola: 54629094 markings, 996632666 edges, 34849 markings/sec, 1450 secs
lola: 54793286 markings, 999892023 edges, 32838 markings/sec, 1455 secs
lola: 54955124 markings, 1003119963 edges, 32368 markings/sec, 1460 secs
lola: 55109373 markings, 1006294882 edges, 30850 markings/sec, 1465 secs
lola: 55262400 markings, 1009544158 edges, 30605 markings/sec, 1470 secs
lola: 55471207 markings, 1013047019 edges, 41761 markings/sec, 1475 secs
lola: 55662474 markings, 1016444680 edges, 38253 markings/sec, 1480 secs
lola: 55863285 markings, 1019923624 edges, 40162 markings/sec, 1485 secs
lola: 56053101 markings, 1023308256 edges, 37963 markings/sec, 1490 secs
lola: 56241255 markings, 1026674539 edges, 37631 markings/sec, 1495 secs
lola: 56418731 markings, 1029966824 edges, 35495 markings/sec, 1500 secs
lola: 56582461 markings, 1033228925 edges, 32746 markings/sec, 1505 secs
lola: 56785772 markings, 1036742088 edges, 40662 markings/sec, 1510 secs
lola: 56979814 markings, 1040198638 edges, 38808 markings/sec, 1515 secs
lola: 57167345 markings, 1043598717 edges, 37506 markings/sec, 1520 secs
lola: 57346085 markings, 1046943025 edges, 35748 markings/sec, 1525 secs
lola: 57521733 markings, 1050323590 edges, 35130 markings/sec, 1530 secs
lola: 57711485 markings, 1053740574 edges, 37950 markings/sec, 1535 secs
lola: 57892438 markings, 1057086937 edges, 36191 markings/sec, 1540 secs
lola: 58060997 markings, 1060401394 edges, 33712 markings/sec, 1545 secs
lola: 58244173 markings, 1063781721 edges, 36635 markings/sec, 1550 secs
lola: 58408855 markings, 1067063188 edges, 32936 markings/sec, 1555 secs
lola: 58587287 markings, 1070395732 edges, 35686 markings/sec, 1560 secs
lola: 58752291 markings, 1073658797 edges, 33001 markings/sec, 1565 secs
lola: 58912526 markings, 1076863412 edges, 32047 markings/sec, 1570 secs
lola: 59062939 markings, 1080016955 edges, 30083 markings/sec, 1575 secs
lola: 59225204 markings, 1083320968 edges, 32453 markings/sec, 1580 secs
lola: 59423580 markings, 1086806135 edges, 39675 markings/sec, 1585 secs
lola: 59618337 markings, 1090265822 edges, 38951 markings/sec, 1590 secs
lola: 59804786 markings, 1093669979 edges, 37290 markings/sec, 1595 secs
lola: 59981389 markings, 1096988655 edges, 35321 markings/sec, 1600 secs
lola: 60161552 markings, 1100406919 edges, 36033 markings/sec, 1605 secs
lola: 60349651 markings, 1103811054 edges, 37620 markings/sec, 1610 secs
lola: 60528692 markings, 1107153809 edges, 35808 markings/sec, 1615 secs
lola: 60700020 markings, 1110496656 edges, 34266 markings/sec, 1620 secs
lola: 60882044 markings, 1113855286 edges, 36405 markings/sec, 1625 secs
lola: 61049408 markings, 1117159927 edges, 33473 markings/sec, 1630 secs
lola: 61222889 markings, 1120455370 edges, 34696 markings/sec, 1635 secs
lola: 61388252 markings, 1123724963 edges, 33073 markings/sec, 1640 secs
lola: 61545148 markings, 1126927620 edges, 31379 markings/sec, 1645 secs
lola: 61695979 markings, 1130072026 edges, 30166 markings/sec, 1650 secs
lola: 61866592 markings, 1133451611 edges, 34123 markings/sec, 1655 secs
lola: 62058665 markings, 1136938385 edges, 38415 markings/sec, 1660 secs
lola: 62241683 markings, 1140344713 edges, 36604 markings/sec, 1665 secs
lola: 62417273 markings, 1143748423 edges, 35118 markings/sec, 1670 secs
lola: 62602778 markings, 1147182889 edges, 37101 markings/sec, 1675 secs
lola: 62773102 markings, 1150550941 edges, 34065 markings/sec, 1680 secs
lola: 62950556 markings, 1153913890 edges, 35491 markings/sec, 1685 secs
lola: 63119327 markings, 1157247989 edges, 33754 markings/sec, 1690 secs
lola: 63278910 markings, 1160533084 edges, 31917 markings/sec, 1695 secs
lola: 63432147 markings, 1163751546 edges, 30647 markings/sec, 1700 secs
lola: 63604741 markings, 1167162150 edges, 34519 markings/sec, 1705 secs
lola: 63788380 markings, 1170585312 edges, 36728 markings/sec, 1710 secs
lola: 63960401 markings, 1173958868 edges, 34404 markings/sec, 1715 secs
lola: 64132397 markings, 1177301635 edges, 34399 markings/sec, 1720 secs
lola: 64300723 markings, 1180626563 edges, 33665 markings/sec, 1725 secs
lola: 64460990 markings, 1183892084 edges, 32053 markings/sec, 1730 secs
lola: 64610818 markings, 1187092144 edges, 29966 markings/sec, 1735 secs
lola: 64783785 markings, 1190490958 edges, 34593 markings/sec, 1740 secs
lola: 64953313 markings, 1193842900 edges, 33906 markings/sec, 1745 secs
lola: 65119967 markings, 1197148504 edges, 33331 markings/sec, 1750 secs
lola: 65276800 markings, 1200387776 edges, 31367 markings/sec, 1755 secs
lola: 65423814 markings, 1203613321 edges, 29403 markings/sec, 1760 secs
lola: 65592962 markings, 1206945552 edges, 33830 markings/sec, 1765 secs
lola: 65753757 markings, 1210201308 edges, 32159 markings/sec, 1770 secs
lola: 65899215 markings, 1213372911 edges, 29092 markings/sec, 1775 secs
lola: 66059463 markings, 1216655637 edges, 32050 markings/sec, 1780 secs
lola: 66209062 markings, 1219829816 edges, 29920 markings/sec, 1785 secs
lola: 66358301 markings, 1223031859 edges, 29848 markings/sec, 1790 secs
lola: 66500315 markings, 1226165761 edges, 28403 markings/sec, 1795 secs
lola: 66640547 markings, 1229280109 edges, 28046 markings/sec, 1800 secs
lola: 66774703 markings, 1232338717 edges, 26831 markings/sec, 1805 secs
lola: 66905166 markings, 1235527307 edges, 26093 markings/sec, 1810 secs
lola: 67097021 markings, 1239044518 edges, 38371 markings/sec, 1815 secs
lola: 67303126 markings, 1242518009 edges, 41221 markings/sec, 1820 secs
lola: 67502163 markings, 1245948900 edges, 39807 markings/sec, 1825 secs
lola: 67699073 markings, 1249374097 edges, 39382 markings/sec, 1830 secs
lola: 67903264 markings, 1252865904 edges, 40838 markings/sec, 1835 secs
lola: 68095300 markings, 1256275919 edges, 38407 markings/sec, 1840 secs
lola: 68292413 markings, 1259713632 edges, 39423 markings/sec, 1845 secs
lola: 68484603 markings, 1263115425 edges, 38438 markings/sec, 1850 secs
lola: 68667703 markings, 1266452813 edges, 36620 markings/sec, 1855 secs
lola: 68843587 markings, 1269733043 edges, 35177 markings/sec, 1860 secs
lola: 69021770 markings, 1273115763 edges, 35637 markings/sec, 1865 secs
lola: 69227095 markings, 1276621397 edges, 41065 markings/sec, 1870 secs
lola: 69418847 markings, 1280032116 edges, 38350 markings/sec, 1875 secs
lola: 69618295 markings, 1283481457 edges, 39890 markings/sec, 1880 secs
lola: 69809327 markings, 1286890265 edges, 38206 markings/sec, 1885 secs
lola: 69993538 markings, 1290235859 edges, 36842 markings/sec, 1890 secs
lola: 70168979 markings, 1293519480 edges, 35088 markings/sec, 1895 secs
lola: 70346388 markings, 1296893349 edges, 35482 markings/sec, 1900 secs
lola: 70541310 markings, 1300361955 edges, 38984 markings/sec, 1905 secs
lola: 70736629 markings, 1303833863 edges, 39064 markings/sec, 1910 secs
lola: 70925185 markings, 1307259007 edges, 37711 markings/sec, 1915 secs
lola: 71098807 markings, 1310560815 edges, 34724 markings/sec, 1920 secs
lola: 71283164 markings, 1314015531 edges, 36871 markings/sec, 1925 secs
lola: 71469071 markings, 1317421299 edges, 37181 markings/sec, 1930 secs
lola: 71647315 markings, 1320749547 edges, 35649 markings/sec, 1935 secs
lola: 71823120 markings, 1324123457 edges, 35161 markings/sec, 1940 secs
lola: 72003060 markings, 1327482344 edges, 35988 markings/sec, 1945 secs
lola: 72171583 markings, 1330790256 edges, 33705 markings/sec, 1950 secs
lola: 72342179 markings, 1334066035 edges, 34119 markings/sec, 1955 secs
lola: 72507277 markings, 1337323339 edges, 33020 markings/sec, 1960 secs
lola: 72663915 markings, 1340535739 edges, 31328 markings/sec, 1965 secs
lola: 72814050 markings, 1343676914 edges, 30027 markings/sec, 1970 secs
lola: 72998900 markings, 1347120609 edges, 36970 markings/sec, 1975 secs
lola: 73200477 markings, 1350608526 edges, 40315 markings/sec, 1980 secs
lola: 73395576 markings, 1354029756 edges, 39020 markings/sec, 1985 secs
lola: 73587849 markings, 1357427767 edges, 38455 markings/sec, 1990 secs
lola: 73778713 markings, 1360825368 edges, 38173 markings/sec, 1995 secs
lola: 73961953 markings, 1364161146 edges, 36648 markings/sec, 2000 secs
lola: 74134027 markings, 1367403429 edges, 34415 markings/sec, 2005 secs
lola: 74316812 markings, 1370834417 edges, 36557 markings/sec, 2010 secs
lola: 74510285 markings, 1374284784 edges, 38695 markings/sec, 2015 secs
lola: 74703432 markings, 1377731919 edges, 38629 markings/sec, 2020 secs
lola: 74889376 markings, 1381113650 edges, 37189 markings/sec, 2025 secs
lola: 75060362 markings, 1384409055 edges, 34197 markings/sec, 2030 secs
lola: 75247274 markings, 1387857507 edges, 37382 markings/sec, 2035 secs
lola: 75434604 markings, 1391267895 edges, 37466 markings/sec, 2040 secs
lola: 75608076 markings, 1394551481 edges, 34694 markings/sec, 2045 secs
lola: 75784202 markings, 1397935923 edges, 35225 markings/sec, 2050 secs
lola: 75963404 markings, 1401277427 edges, 35840 markings/sec, 2055 secs
lola: 76132056 markings, 1404590847 edges, 33730 markings/sec, 2060 secs
lola: 76296500 markings, 1407847582 edges, 32889 markings/sec, 2065 secs
lola: 76463322 markings, 1411100343 edges, 33364 markings/sec, 2070 secs
lola: 76620766 markings, 1414300066 edges, 31489 markings/sec, 2075 secs
lola: 76768337 markings, 1417434055 edges, 29514 markings/sec, 2080 secs
lola: 76958075 markings, 1420910500 edges, 37948 markings/sec, 2085 secs
lola: 77151964 markings, 1424366388 edges, 38778 markings/sec, 2090 secs
lola: 77342306 markings, 1427805258 edges, 38068 markings/sec, 2095 secs
lola: 77526009 markings, 1431169109 edges, 36741 markings/sec, 2100 secs
lola: 77690810 markings, 1434477264 edges, 32960 markings/sec, 2105 secs
lola: 77884663 markings, 1437932945 edges, 38771 markings/sec, 2110 secs
lola: 78072343 markings, 1441331291 edges, 37536 markings/sec, 2115 secs
lola: 78243082 markings, 1444615276 edges, 34148 markings/sec, 2120 secs
lola: 78423411 markings, 1448026835 edges, 36066 markings/sec, 2125 secs
lola: 78598039 markings, 1451330281 edges, 34926 markings/sec, 2130 secs
lola: 78770379 markings, 1454664225 edges, 34468 markings/sec, 2135 secs
lola: 78934563 markings, 1457926770 edges, 32837 markings/sec, 2140 secs
lola: 79098202 markings, 1461161477 edges, 32728 markings/sec, 2145 secs
lola: 79254516 markings, 1464347231 edges, 31263 markings/sec, 2150 secs
lola: 79399299 markings, 1467506227 edges, 28957 markings/sec, 2155 secs
lola: 79593239 markings, 1471018904 edges, 38788 markings/sec, 2160 secs
lola: 79783541 markings, 1474490549 edges, 38060 markings/sec, 2165 secs
lola: 79959034 markings, 1477832556 edges, 35099 markings/sec, 2170 secs
lola: 80142174 markings, 1481304424 edges, 36628 markings/sec, 2175 secs
lola: 80320838 markings, 1484681383 edges, 35733 markings/sec, 2180 secs
lola: 80495583 markings, 1488077994 edges, 34949 markings/sec, 2185 secs
lola: 80663195 markings, 1491399955 edges, 33522 markings/sec, 2190 secs
lola: 80830112 markings, 1494699604 edges, 33383 markings/sec, 2195 secs
lola: 80987598 markings, 1497961441 edges, 31497 markings/sec, 2200 secs
lola: 81135366 markings, 1501209648 edges, 29554 markings/sec, 2205 secs
lola: 81328330 markings, 1504695749 edges, 38593 markings/sec, 2210 secs
lola: 81502719 markings, 1508055044 edges, 34878 markings/sec, 2215 secs
lola: 81680482 markings, 1511467749 edges, 35553 markings/sec, 2220 secs
lola: 81849299 markings, 1514808535 edges, 33763 markings/sec, 2225 secs
lola: 82014288 markings, 1518100117 edges, 32998 markings/sec, 2230 secs
lola: 82170058 markings, 1521327248 edges, 31154 markings/sec, 2235 secs
lola: 82324684 markings, 1524621662 edges, 30925 markings/sec, 2240 secs
lola: 82500999 markings, 1527989690 edges, 35263 markings/sec, 2245 secs
lola: 82669888 markings, 1531326837 edges, 33778 markings/sec, 2250 secs
lola: 82830853 markings, 1534622084 edges, 32193 markings/sec, 2255 secs
lola: 82984813 markings, 1537822710 edges, 30792 markings/sec, 2260 secs
lola: 83144497 markings, 1541148335 edges, 31937 markings/sec, 2265 secs
lola: 83308810 markings, 1544435830 edges, 32863 markings/sec, 2270 secs
lola: 83461842 markings, 1547649857 edges, 30606 markings/sec, 2275 secs
lola: 83612986 markings, 1550877536 edges, 30229 markings/sec, 2280 secs
lola: 83769672 markings, 1554115974 edges, 31337 markings/sec, 2285 secs
lola: 83913728 markings, 1557279164 edges, 28811 markings/sec, 2290 secs
lola: 84063768 markings, 1560441306 edges, 30008 markings/sec, 2295 secs
lola: 84206248 markings, 1563586889 edges, 28496 markings/sec, 2300 secs
lola: 84342811 markings, 1566683262 edges, 27313 markings/sec, 2305 secs
lola: 84477386 markings, 1569786643 edges, 26915 markings/sec, 2310 secs
lola: 84620307 markings, 1573125353 edges, 28584 markings/sec, 2315 secs
lola: 84827387 markings, 1576647566 edges, 41416 markings/sec, 2320 secs
lola: 85018830 markings, 1580063381 edges, 38289 markings/sec, 2325 secs
lola: 85220277 markings, 1583536003 edges, 40289 markings/sec, 2330 secs
lola: 85411968 markings, 1586941247 edges, 38338 markings/sec, 2335 secs
lola: 85598287 markings, 1590304190 edges, 37264 markings/sec, 2340 secs
lola: 85773513 markings, 1593581956 edges, 35045 markings/sec, 2345 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no no no no yes yes unknown no no yes unknown unknown no no
lola:
preliminary result: no yes no no no no yes yes unknown no no yes unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no no no yes yes unknown no no yes unknown unknown no no
lola: memory consumption: 76212 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 1589948740688
--------------------
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="Referendum-COL-0050"
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 Referendum-COL-0050, 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-158961529300089"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Referendum-COL-0050.tgz
mv Referendum-COL-0050 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 ;