About the Execution of 2019-Gold for Eratosthenes-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8713.700 | 3570273.00 | 3693576.00 | 450.10 | ?FTTTT?TFTTFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r075-tajo-158922839800259.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 Eratosthenes-PT-100, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-tajo-158922839800259
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 14 12:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 14 12:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 14 12:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 14 12:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 14 12:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 134K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Eratosthenes-PT-100-00
FORMULA_NAME Eratosthenes-PT-100-01
FORMULA_NAME Eratosthenes-PT-100-02
FORMULA_NAME Eratosthenes-PT-100-03
FORMULA_NAME Eratosthenes-PT-100-04
FORMULA_NAME Eratosthenes-PT-100-05
FORMULA_NAME Eratosthenes-PT-100-06
FORMULA_NAME Eratosthenes-PT-100-07
FORMULA_NAME Eratosthenes-PT-100-08
FORMULA_NAME Eratosthenes-PT-100-09
FORMULA_NAME Eratosthenes-PT-100-10
FORMULA_NAME Eratosthenes-PT-100-11
FORMULA_NAME Eratosthenes-PT-100-12
FORMULA_NAME Eratosthenes-PT-100-13
FORMULA_NAME Eratosthenes-PT-100-14
FORMULA_NAME Eratosthenes-PT-100-15
=== Now, execution of the tool begins
BK_START 1589557392314
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ Eratosthenes-PT-100 @ 3570 seconds
FORMULA Eratosthenes-PT-100-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-100-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ Eratosthenes-PT-100
{
"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": "Fri May 15 15:43:12 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 126
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 126
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 126
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 126
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 126
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 126
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 126
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 126
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A (F ((G (F (((p55 <= p74) AND (p55 + 1 <= p48)))) OR X (TRUE))))",
"processed_size": 65,
"rewrites": 126
},
"result":
{
"edges": 566,
"markings": 149,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"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": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (X ((p38 <= p10)))))",
"processed_size": 28,
"rewrites": 126
},
"result":
{
"edges": 218,
"markings": 129,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 611
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "A (X (TRUE))",
"processed_size": 12,
"rewrites": 126
},
"result":
{
"edges": 283,
"markings": 75,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 764
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 3,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 3,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A (X (G ((X (G ((p98 <= 0))) OR (((p50 <= 0)) AND G ((p80 <= 0)))))))",
"processed_size": 69,
"rewrites": 126
},
"result":
{
"edges": 75,
"markings": 75,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1018
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (X (F ((p84 + 1 <= p58))))))",
"processed_size": 36,
"rewrites": 126
},
"result":
{
"edges": 219,
"markings": 123,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 13,
"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": 1528
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((p20 + 1 <= p99)))",
"processed_size": 24,
"rewrites": 128
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"error": null,
"memory": 21840,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(F(*)) : FALSE : TRUE : A(F((G(F(**)) OR X(TRUE)))) : TRUE : TRUE : A(F((X((** AND **)) AND (F(*) OR X(G((** AND **))))))) : A(X(TRUE)) : A(X(G((X(G(*)) OR (* AND G(*)))))) : TRUE : TRUE : A(G(*)) : A(X(X(X(**)))) : FALSE : FALSE : A(X(X(X(F(*)))))"
},
"net":
{
"arcs": 849,
"conflict_clusters": 11,
"places": 99,
"places_significant": 74,
"singleton_clusters": 0,
"transitions": 283
},
"result":
{
"interim_value": "unknown no yes yes yes yes unknown yes no yes yes no no no no no ",
"preliminary_value": "unknown no yes yes yes yes unknown yes no yes yes no no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 382/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 99
lola: finding significant places
lola: 99 places, 283 transitions, 74 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: place invariant simplifies atomic proposition
lola: before: (3 <= p2)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p83 <= p76)
lola: after: (1 <= p76)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= p37)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= p2)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p31 <= p44)
lola: after: (1 <= p44)
lola: LP says that atomic proposition is always false: (2 <= p96)
lola: LP says that atomic proposition is always false: (3 <= p51)
lola: LP says that atomic proposition is always false: (3 <= p51)
lola: LP says that atomic proposition is always false: (3 <= p51)
lola: LP says that atomic proposition is always false: (2 <= p95)
lola: place invariant simplifies atomic proposition
lola: before: (p7 <= p47)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p3 <= p67)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p13 <= p2)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p13 <= p2)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= p7)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p59 <= p51)
lola: after: (1 <= p51)
lola: place invariant simplifies atomic proposition
lola: before: (p59 <= p51)
lola: after: (1 <= p51)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= p7)
lola: after: (2 <= 0)
lola: LP says that atomic proposition is always false: (2 <= p82)
lola: place invariant simplifies atomic proposition
lola: before: (p83 <= p80)
lola: after: (1 <= p80)
lola: place invariant simplifies atomic proposition
lola: before: (2 <= p19)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p37 <= p23)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (2 <= p19)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p68 <= p71)
lola: after: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (p37 <= p23)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (1 <= p83)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (3 <= p93)
lola: LP says that atomic proposition is always false: (3 <= p63)
lola: LP says that atomic proposition is always false: (2 <= p4)
lola: place invariant simplifies atomic proposition
lola: before: (1 <= p2)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p63 <= p7)
lola: after: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always false: (3 <= p18)
lola: A ((NOT(G (((1 <= p76)))) AND NOT(((0 <= 1) U (2 <= 0))))) : A (((G ((1 <= p44)) U (2 <= p96)) OR (((3 <= p51) OR F ((3 <= p51))) U (3 <= p51)))) : A (((1 <= p82) U G ((F ((2 <= p95)) OR G ((0 <= 0)))))) : A (F ((X (G (X (F (((p55 <= p74) AND (p55 + 1 <= p48)))))) OR F (((p55 <= p74) U X ((0 <= 0))))))) : A ((((0 <= 0) OR F (G ((p32 <= p45)))) OR G (F ((0 <= 0))))) : A (NOT(((((2 <= 0) AND X (X ((1 <= p51)))) U G (NOT(G ((1 <= p51))))) AND G (F ((2 <= 0)))))) : A (NOT(G ((G ((p30 <= p51)) U NOT((X ((p44 <= p70)) AND X ((p20 <= p91)))))))) : A (X (G (X (G (X ((p82 <= 1))))))) : A (X (G (NOT((F (X ((1 <= p98))) AND (((1 <= p50)) OR F ((1 <= p80)))))))) : A ((F (()) U ())) : A (F (NOT(X (())))) : A (NOT((X (((p20 + 1 <= p99) AND (p9 <= p86))) U F ((p99 <= p20))))) : A (X ((F (G (())) U X (X ((p38 <= p10)))))) : A (G (X (G (NOT(G ((p63 <= 1))))))) : A (X ((G (X ((3 <= p18))) AND NOT(G ((p48 <= p66)))))) : A (X (X (NOT(X (G ((p58 <= p84)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 126 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 126 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 126 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 126 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 126 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 126 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 126 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 126 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (F (((p55 <= p74) AND (p55 + 1 <= p48)))) OR X (TRUE))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (F (((p55 <= p74) AND (p55 + 1 <= p48)))) OR X (TRUE))))
lola: processed formula length: 65
lola: 126 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: 149 markings, 566 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((X (((p44 <= p70) AND (p20 <= p91))) AND (F ((p51 + 1 <= p30)) OR X (G (((p44 <= p70) AND (p20 <= p91))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X (((p44 <= p70) AND (p20 <= p91))) AND (F ((p51 + 1 <= p30)) OR X (G (((p44 <= p70) AND (p20 <= p91))))))))
lola: processed formula length: 115
lola: 126 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: 213951 markings, 6260791 edges, 42790 markings/sec, 0 secs
lola: 417205 markings, 13115437 edges, 40651 markings/sec, 5 secs
lola: 618975 markings, 19897042 edges, 40354 markings/sec, 10 secs
lola: 785030 markings, 26691376 edges, 33211 markings/sec, 15 secs
lola: 958092 markings, 33452846 edges, 34612 markings/sec, 20 secs
lola: 1141845 markings, 39822545 edges, 36751 markings/sec, 25 secs
lola: 1289292 markings, 46169172 edges, 29489 markings/sec, 30 secs
lola: 1450524 markings, 52725953 edges, 32246 markings/sec, 35 secs
lola: 1627698 markings, 59380883 edges, 35435 markings/sec, 40 secs
lola: 1753259 markings, 66038520 edges, 25112 markings/sec, 45 secs
lola: 1919024 markings, 72650957 edges, 33153 markings/sec, 50 secs
lola: 2087057 markings, 79292358 edges, 33607 markings/sec, 55 secs
lola: 2262545 markings, 86032466 edges, 35098 markings/sec, 60 secs
lola: 2452799 markings, 92741905 edges, 38051 markings/sec, 65 secs
lola: 2642854 markings, 99400051 edges, 38011 markings/sec, 70 secs
lola: 2802666 markings, 106022695 edges, 31962 markings/sec, 75 secs
lola: 2958099 markings, 112656854 edges, 31087 markings/sec, 80 secs
lola: 3140872 markings, 119277746 edges, 36555 markings/sec, 85 secs
lola: 3286791 markings, 125885944 edges, 29184 markings/sec, 90 secs
lola: 3436011 markings, 132005733 edges, 29844 markings/sec, 95 secs
lola: 3585339 markings, 138285499 edges, 29866 markings/sec, 100 secs
lola: 3718900 markings, 144848193 edges, 26712 markings/sec, 105 secs
lola: 3861592 markings, 151349262 edges, 28538 markings/sec, 110 secs
lola: 3988970 markings, 157821988 edges, 25476 markings/sec, 115 secs
lola: 4181970 markings, 164481066 edges, 38600 markings/sec, 120 secs
lola: 4346216 markings, 171163353 edges, 32849 markings/sec, 125 secs
lola: 4490533 markings, 177805022 edges, 28863 markings/sec, 130 secs
lola: 4668889 markings, 184188677 edges, 35671 markings/sec, 135 secs
lola: 4805762 markings, 190215171 edges, 27375 markings/sec, 140 secs
lola: 4939703 markings, 196258199 edges, 26788 markings/sec, 145 secs
lola: 5088654 markings, 202506064 edges, 29790 markings/sec, 150 secs
lola: 5220386 markings, 209057560 edges, 26346 markings/sec, 155 secs
lola: 5364080 markings, 215640925 edges, 28739 markings/sec, 160 secs
lola: 5491292 markings, 222167186 edges, 25442 markings/sec, 165 secs
lola: 5658226 markings, 228682691 edges, 33387 markings/sec, 170 secs
lola: 5777027 markings, 235144637 edges, 23760 markings/sec, 175 secs
lola: 5911701 markings, 241610252 edges, 26935 markings/sec, 180 secs
lola: 6039731 markings, 248084736 edges, 25606 markings/sec, 185 secs
lola: 6208376 markings, 254711158 edges, 33729 markings/sec, 190 secs
lola: 6362262 markings, 261293310 edges, 30777 markings/sec, 195 secs
lola: 6498058 markings, 267818594 edges, 27159 markings/sec, 200 secs
lola: 6667029 markings, 273937928 edges, 33794 markings/sec, 205 secs
lola: 6799637 markings, 280091770 edges, 26522 markings/sec, 210 secs
lola: 6938819 markings, 286580615 edges, 27836 markings/sec, 215 secs
lola: 7087103 markings, 293056086 edges, 29657 markings/sec, 220 secs
lola: 7214007 markings, 299577268 edges, 25381 markings/sec, 225 secs
lola: 7351194 markings, 306042744 edges, 27437 markings/sec, 230 secs
lola: 7475622 markings, 312459381 edges, 24886 markings/sec, 235 secs
lola: 7632743 markings, 318851924 edges, 31424 markings/sec, 240 secs
lola: 7733501 markings, 325261100 edges, 20152 markings/sec, 245 secs
lola: 7862226 markings, 331636270 edges, 25745 markings/sec, 250 secs
lola: 7977653 markings, 337978564 edges, 23085 markings/sec, 255 secs
lola: 8171613 markings, 344644320 edges, 38792 markings/sec, 260 secs
lola: 8343309 markings, 351375358 edges, 34339 markings/sec, 265 secs
lola: 8492758 markings, 358051339 edges, 29890 markings/sec, 270 secs
lola: 8682658 markings, 364687234 edges, 37980 markings/sec, 275 secs
lola: 8837995 markings, 371289528 edges, 31067 markings/sec, 280 secs
lola: 8978316 markings, 377875680 edges, 28064 markings/sec, 285 secs
lola: 9160041 markings, 384525552 edges, 36345 markings/sec, 290 secs
lola: 9309348 markings, 391131997 edges, 29861 markings/sec, 295 secs
lola: 9450569 markings, 397735608 edges, 28244 markings/sec, 300 secs
lola: 9614050 markings, 404242578 edges, 32696 markings/sec, 305 secs
lola: 9729047 markings, 410816769 edges, 22999 markings/sec, 310 secs
lola: 9866059 markings, 417313662 edges, 27402 markings/sec, 315 secs
lola: 9988831 markings, 423778896 edges, 24554 markings/sec, 320 secs
lola: 10182776 markings, 430374782 edges, 38789 markings/sec, 325 secs
lola: 10344230 markings, 436951966 edges, 32291 markings/sec, 330 secs
lola: 10486574 markings, 443489195 edges, 28469 markings/sec, 335 secs
lola: 10667200 markings, 449997567 edges, 36125 markings/sec, 340 secs
lola: 10813955 markings, 456460585 edges, 29351 markings/sec, 345 secs
lola: 10952195 markings, 462937639 edges, 27648 markings/sec, 350 secs
lola: 11119308 markings, 469405829 edges, 33423 markings/sec, 355 secs
lola: 11236435 markings, 475932480 edges, 23425 markings/sec, 360 secs
lola: 11385140 markings, 482405056 edges, 29741 markings/sec, 365 secs
lola: 11513018 markings, 488826692 edges, 25576 markings/sec, 370 secs
lola: 11669272 markings, 495262822 edges, 31251 markings/sec, 375 secs
lola: 11796956 markings, 501630184 edges, 25537 markings/sec, 380 secs
lola: 11925516 markings, 508015449 edges, 25712 markings/sec, 385 secs
lola: 12056552 markings, 514445535 edges, 26207 markings/sec, 390 secs
lola: 12209052 markings, 521044456 edges, 30500 markings/sec, 395 secs
lola: 12357282 markings, 527596643 edges, 29646 markings/sec, 400 secs
lola: 12488377 markings, 534097932 edges, 26219 markings/sec, 405 secs
lola: 12660028 markings, 540666939 edges, 34330 markings/sec, 410 secs
lola: 12793537 markings, 547190072 edges, 26702 markings/sec, 415 secs
lola: 12930867 markings, 553748566 edges, 27466 markings/sec, 420 secs
lola: 13069640 markings, 560302292 edges, 27755 markings/sec, 425 secs
lola: 13200656 markings, 566920616 edges, 26203 markings/sec, 430 secs
lola: 13334272 markings, 573459590 edges, 26723 markings/sec, 435 secs
lola: 13457527 markings, 579937060 edges, 24651 markings/sec, 440 secs
lola: 13607344 markings, 586372124 edges, 29963 markings/sec, 445 secs
lola: 13710763 markings, 592851606 edges, 20684 markings/sec, 450 secs
lola: 13829839 markings, 598887024 edges, 23815 markings/sec, 455 secs
lola: 13946787 markings, 605275327 edges, 23390 markings/sec, 460 secs
lola: 14094137 markings, 611745604 edges, 29470 markings/sec, 465 secs
lola: 14222246 markings, 618282859 edges, 25622 markings/sec, 470 secs
lola: 14362644 markings, 624721173 edges, 28080 markings/sec, 475 secs
lola: 14487639 markings, 631100029 edges, 24999 markings/sec, 480 secs
lola: 14651038 markings, 637464706 edges, 32680 markings/sec, 485 secs
lola: 14765695 markings, 643806366 edges, 22931 markings/sec, 490 secs
lola: 14897605 markings, 650154934 edges, 26382 markings/sec, 495 secs
lola: 15011537 markings, 656478977 edges, 22786 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes yes yes yes unknown unknown unknown yes yes unknown unknown no no unknown
lola: memory consumption: 3055128 KB
lola: time consumption: 514 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 10 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X ((p38 <= p10)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X ((p38 <= p10)))))
lola: processed formula length: 28
lola: 126 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: 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: 129 markings, 218 edges
lola: ========================================
lola: subprocess 11 will run for 611 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 126 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: 75 markings, 283 edges
lola: ========================================
lola: subprocess 12 will run for 764 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((X (G ((p98 <= 0))) OR (((p50 <= 0)) AND G ((p80 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((X (G ((p98 <= 0))) OR (((p50 <= 0)) AND G ((p80 <= 0)))))))
lola: processed formula length: 69
lola: 126 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 75 markings, 75 edges
lola: ========================================
lola: subprocess 13 will run for 1018 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (F ((p84 + 1 <= p58))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F ((p84 + 1 <= p58))))))
lola: processed formula length: 36
lola: 126 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: 123 markings, 219 edges
lola: ========================================
lola: subprocess 14 will run for 1528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p20 + 1 <= p99)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G ((p20 + 1 <= p99)))
lola: processed formula length: 24
lola: 128 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)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p99 <= p20)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 3056 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p76 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((1 <= p76))
lola: processed formula length: 12
lola: 128 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: 980333 markings, 5451085 edges, 196067 markings/sec, 0 secs
lola: 1836938 markings, 10464194 edges, 171321 markings/sec, 5 secs
lola: 2663022 markings, 16113215 edges, 165217 markings/sec, 10 secs
lola: 3408536 markings, 21695091 edges, 149103 markings/sec, 15 secs
lola: 4298405 markings, 27330542 edges, 177974 markings/sec, 20 secs
lola: 5296101 markings, 33109017 edges, 199539 markings/sec, 25 secs
lola: 6119802 markings, 38936153 edges, 164740 markings/sec, 30 secs
lola: 6832581 markings, 44682387 edges, 142556 markings/sec, 35 secs
lola: 7377733 markings, 50583306 edges, 109030 markings/sec, 40 secs
lola: 7803509 markings, 56713975 edges, 85155 markings/sec, 45 secs
lola: 8359387 markings, 62644901 edges, 111176 markings/sec, 50 secs
lola: 9018981 markings, 68171216 edges, 131919 markings/sec, 55 secs
lola: 9671185 markings, 73696255 edges, 130441 markings/sec, 60 secs
lola: 10227039 markings, 79220453 edges, 111171 markings/sec, 65 secs
lola: 10633319 markings, 84942059 edges, 81256 markings/sec, 70 secs
lola: 11024280 markings, 90602457 edges, 78192 markings/sec, 75 secs
lola: 11517804 markings, 96196251 edges, 98705 markings/sec, 80 secs
lola: 12186521 markings, 101633317 edges, 133743 markings/sec, 85 secs
lola: 12828272 markings, 107156964 edges, 128350 markings/sec, 90 secs
lola: 13408002 markings, 112583037 edges, 115946 markings/sec, 95 secs
lola: 13823485 markings, 118295924 edges, 83097 markings/sec, 100 secs
lola: 14186417 markings, 123917329 edges, 72586 markings/sec, 105 secs
lola: 14592491 markings, 129791461 edges, 81215 markings/sec, 110 secs
lola: 15196558 markings, 135512186 edges, 120813 markings/sec, 115 secs
lola: 15821683 markings, 141080199 edges, 125025 markings/sec, 120 secs
lola: 16569462 markings, 146849308 edges, 149556 markings/sec, 125 secs
lola: 17030747 markings, 152490338 edges, 92257 markings/sec, 130 secs
lola: 17432768 markings, 158172565 edges, 80404 markings/sec, 135 secs
lola: 17802086 markings, 163801995 edges, 73864 markings/sec, 140 secs
lola: 18358836 markings, 169284504 edges, 111350 markings/sec, 145 secs
lola: 18981524 markings, 174626452 edges, 124538 markings/sec, 150 secs
lola: 19628195 markings, 179974094 edges, 129334 markings/sec, 155 secs
lola: 20158859 markings, 185300553 edges, 106133 markings/sec, 160 secs
lola: 20537468 markings, 190823261 edges, 75722 markings/sec, 165 secs
lola: 21014260 markings, 196485137 edges, 95358 markings/sec, 170 secs
lola: 22015587 markings, 202314899 edges, 200265 markings/sec, 175 secs
lola: 22938894 markings, 208095666 edges, 184661 markings/sec, 180 secs
lola: 23748910 markings, 213916541 edges, 162003 markings/sec, 185 secs
lola: 24461219 markings, 219677629 edges, 142462 markings/sec, 190 secs
lola: 25416760 markings, 225452285 edges, 191108 markings/sec, 195 secs
lola: 26264703 markings, 231103810 edges, 169589 markings/sec, 200 secs
lola: 26861817 markings, 236756832 edges, 119423 markings/sec, 205 secs
lola: 27448779 markings, 242336550 edges, 117392 markings/sec, 210 secs
lola: 27908519 markings, 247992689 edges, 91948 markings/sec, 215 secs
lola: 28216275 markings, 253865691 edges, 61551 markings/sec, 220 secs
lola: 28556979 markings, 259869835 edges, 68141 markings/sec, 225 secs
lola: 29122094 markings, 265716833 edges, 113023 markings/sec, 230 secs
lola: 29634822 markings, 271374068 edges, 102546 markings/sec, 235 secs
lola: 30282310 markings, 277112119 edges, 129498 markings/sec, 240 secs
lola: 30711430 markings, 282739656 edges, 85824 markings/sec, 245 secs
lola: 31055178 markings, 288623280 edges, 68750 markings/sec, 250 secs
lola: 31344665 markings, 294370971 edges, 57897 markings/sec, 255 secs
lola: 31627887 markings, 300173691 edges, 56644 markings/sec, 260 secs
lola: 32089929 markings, 305926074 edges, 92408 markings/sec, 265 secs
lola: 32671839 markings, 311529033 edges, 116382 markings/sec, 270 secs
lola: 33247079 markings, 317100499 edges, 115048 markings/sec, 275 secs
lola: 33747203 markings, 322639563 edges, 100025 markings/sec, 280 secs
lola: 34082893 markings, 328365797 edges, 67138 markings/sec, 285 secs
lola: 34385659 markings, 334069339 edges, 60553 markings/sec, 290 secs
lola: 34658995 markings, 339810080 edges, 54667 markings/sec, 295 secs
lola: 34980158 markings, 345769935 edges, 64233 markings/sec, 300 secs
lola: 35388520 markings, 351631972 edges, 81672 markings/sec, 305 secs
lola: 36008691 markings, 357297792 edges, 124034 markings/sec, 310 secs
lola: 36561867 markings, 362917871 edges, 110635 markings/sec, 315 secs
lola: 37098604 markings, 368529527 edges, 107347 markings/sec, 320 secs
lola: 37442408 markings, 374266187 edges, 68761 markings/sec, 325 secs
lola: 37742507 markings, 379995907 edges, 60020 markings/sec, 330 secs
lola: 38019742 markings, 385784257 edges, 55447 markings/sec, 335 secs
lola: 38341350 markings, 391552739 edges, 64322 markings/sec, 340 secs
lola: 38897955 markings, 397164984 edges, 111321 markings/sec, 345 secs
lola: 39393247 markings, 402612958 edges, 99058 markings/sec, 350 secs
lola: 40015452 markings, 408140577 edges, 124441 markings/sec, 355 secs
lola: 40448115 markings, 413613021 edges, 86533 markings/sec, 360 secs
lola: 40781817 markings, 419439228 edges, 66740 markings/sec, 365 secs
lola: 41059992 markings, 425358068 edges, 55635 markings/sec, 370 secs
lola: 41416285 markings, 431129807 edges, 71259 markings/sec, 375 secs
lola: 41909838 markings, 436789107 edges, 98711 markings/sec, 380 secs
lola: 42333864 markings, 442429104 edges, 84805 markings/sec, 385 secs
lola: 42768606 markings, 448031356 edges, 86948 markings/sec, 390 secs
lola: 43108071 markings, 453606088 edges, 67893 markings/sec, 395 secs
lola: 43516262 markings, 459436566 edges, 81638 markings/sec, 400 secs
lola: 44014244 markings, 465171310 edges, 99596 markings/sec, 405 secs
lola: 44443801 markings, 470960446 edges, 85911 markings/sec, 410 secs
lola: 44859916 markings, 476619720 edges, 83223 markings/sec, 415 secs
lola: 45186773 markings, 482341384 edges, 65371 markings/sec, 420 secs
lola: 45539532 markings, 488104550 edges, 70552 markings/sec, 425 secs
lola: 46021169 markings, 493935782 edges, 96327 markings/sec, 430 secs
lola: 46394571 markings, 499643886 edges, 74680 markings/sec, 435 secs
lola: 46811591 markings, 505206665 edges, 83404 markings/sec, 440 secs
lola: 47158408 markings, 510704210 edges, 69363 markings/sec, 445 secs
lola: 47424524 markings, 516178868 edges, 53223 markings/sec, 450 secs
lola: 47851318 markings, 521665687 edges, 85359 markings/sec, 455 secs
lola: 48227165 markings, 527142854 edges, 75169 markings/sec, 460 secs
lola: 48555662 markings, 532593941 edges, 65699 markings/sec, 465 secs
lola: 48824848 markings, 538046850 edges, 53837 markings/sec, 470 secs
lola: 49089270 markings, 543763858 edges, 52884 markings/sec, 475 secs
lola: 49345941 markings, 549426231 edges, 51334 markings/sec, 480 secs
lola: 49607547 markings, 555055021 edges, 52321 markings/sec, 485 secs
lola: 50059080 markings, 560619406 edges, 90307 markings/sec, 490 secs
lola: 50498632 markings, 566378613 edges, 87910 markings/sec, 495 secs
lola: 50913834 markings, 572133714 edges, 83040 markings/sec, 500 secs
lola: 51355924 markings, 577884084 edges, 88418 markings/sec, 505 secs
lola: 51724953 markings, 583670763 edges, 73806 markings/sec, 510 secs
lola: 52140478 markings, 589461473 edges, 83105 markings/sec, 515 secs
lola: 52501471 markings, 595231520 edges, 72199 markings/sec, 520 secs
lola: 52822375 markings, 601033460 edges, 64181 markings/sec, 525 secs
lola: 53198243 markings, 606774913 edges, 75174 markings/sec, 530 secs
lola: 53531026 markings, 612561798 edges, 66557 markings/sec, 535 secs
lola: 53829532 markings, 618295576 edges, 59701 markings/sec, 540 secs
lola: 54210603 markings, 624101115 edges, 76214 markings/sec, 545 secs
lola: 54544922 markings, 629662970 edges, 66864 markings/sec, 550 secs
lola: 54821037 markings, 635216183 edges, 55223 markings/sec, 555 secs
lola: 55199297 markings, 640743200 edges, 75652 markings/sec, 560 secs
lola: 55480409 markings, 646229172 edges, 56222 markings/sec, 565 secs
lola: 55772921 markings, 651687176 edges, 58502 markings/sec, 570 secs
lola: 56050187 markings, 657191112 edges, 55453 markings/sec, 575 secs
lola: 56329849 markings, 662780550 edges, 55932 markings/sec, 580 secs
lola: 56612321 markings, 668479457 edges, 56494 markings/sec, 585 secs
lola: 56865946 markings, 674225361 edges, 50725 markings/sec, 590 secs
lola: 57119091 markings, 679950667 edges, 50629 markings/sec, 595 secs
lola: 57362293 markings, 685717614 edges, 48640 markings/sec, 600 secs
lola: 57584425 markings, 691174211 edges, 44426 markings/sec, 605 secs
lola: 57791240 markings, 696523406 edges, 41363 markings/sec, 610 secs
lola: 58048562 markings, 701889335 edges, 51464 markings/sec, 615 secs
lola: 58695651 markings, 707569694 edges, 129418 markings/sec, 620 secs
lola: 59302570 markings, 713196782 edges, 121384 markings/sec, 625 secs
lola: 59942101 markings, 718862434 edges, 127906 markings/sec, 630 secs
lola: 60574221 markings, 724591600 edges, 126424 markings/sec, 635 secs
lola: 61201757 markings, 730316183 edges, 125507 markings/sec, 640 secs
lola: 61792215 markings, 735961729 edges, 118092 markings/sec, 645 secs
lola: 62406989 markings, 741695893 edges, 122955 markings/sec, 650 secs
lola: 62993449 markings, 747395880 edges, 117292 markings/sec, 655 secs
lola: 63626398 markings, 753148064 edges, 126590 markings/sec, 660 secs
lola: 64271905 markings, 758953830 edges, 129101 markings/sec, 665 secs
lola: 64905504 markings, 764894530 edges, 126720 markings/sec, 670 secs
lola: 65561054 markings, 770770929 edges, 131110 markings/sec, 675 secs
lola: 66166874 markings, 776593605 edges, 121164 markings/sec, 680 secs
lola: 66803785 markings, 782413375 edges, 127382 markings/sec, 685 secs
lola: 67373087 markings, 788182514 edges, 113860 markings/sec, 690 secs
lola: 68012347 markings, 794065366 edges, 127852 markings/sec, 695 secs
lola: 68577607 markings, 799912087 edges, 113052 markings/sec, 700 secs
lola: 69196473 markings, 805823942 edges, 123773 markings/sec, 705 secs
lola: 69736182 markings, 811668426 edges, 107942 markings/sec, 710 secs
lola: 70352687 markings, 817519434 edges, 123301 markings/sec, 715 secs
lola: 70912119 markings, 823353389 edges, 111886 markings/sec, 720 secs
lola: 71489977 markings, 829170311 edges, 115572 markings/sec, 725 secs
lola: 72021608 markings, 834972665 edges, 106326 markings/sec, 730 secs
lola: 72529408 markings, 840737690 edges, 101560 markings/sec, 735 secs
lola: 73085084 markings, 846600580 edges, 111135 markings/sec, 740 secs
lola: 73516682 markings, 852368263 edges, 86320 markings/sec, 745 secs
lola: 74104919 markings, 858211794 edges, 117647 markings/sec, 750 secs
lola: 74633800 markings, 863998680 edges, 105776 markings/sec, 755 secs
lola: 75144578 markings, 869768090 edges, 102156 markings/sec, 760 secs
lola: 75695733 markings, 875549450 edges, 110231 markings/sec, 765 secs
lola: 76168770 markings, 881149938 edges, 94607 markings/sec, 770 secs
lola: 76721557 markings, 886885927 edges, 110557 markings/sec, 775 secs
lola: 77201615 markings, 892601620 edges, 96012 markings/sec, 780 secs
lola: 77655386 markings, 898313727 edges, 90754 markings/sec, 785 secs
lola: 78187918 markings, 904074330 edges, 106506 markings/sec, 790 secs
lola: 78605807 markings, 909813562 edges, 83578 markings/sec, 795 secs
lola: 79138226 markings, 915678347 edges, 106484 markings/sec, 800 secs
lola: 79693936 markings, 921522080 edges, 111142 markings/sec, 805 secs
lola: 80168806 markings, 927363029 edges, 94974 markings/sec, 810 secs
lola: 80713641 markings, 933232699 edges, 108967 markings/sec, 815 secs
lola: 81159302 markings, 938823447 edges, 89132 markings/sec, 820 secs
lola: 81653526 markings, 944610560 edges, 98845 markings/sec, 825 secs
lola: 82164639 markings, 950454965 edges, 102223 markings/sec, 830 secs
lola: 82560507 markings, 956169982 edges, 79174 markings/sec, 835 secs
lola: 83052314 markings, 961999474 edges, 98361 markings/sec, 840 secs
lola: 83501191 markings, 967829905 edges, 89775 markings/sec, 845 secs
lola: 83884474 markings, 973520696 edges, 76657 markings/sec, 850 secs
lola: 84408907 markings, 979214001 edges, 104887 markings/sec, 855 secs
lola: 84873406 markings, 984895092 edges, 92900 markings/sec, 860 secs
lola: 85321071 markings, 990590260 edges, 89533 markings/sec, 865 secs
lola: 85809222 markings, 996349765 edges, 97630 markings/sec, 870 secs
lola: 86211004 markings, 1001961051 edges, 80356 markings/sec, 875 secs
lola: 86636331 markings, 1007440818 edges, 85065 markings/sec, 880 secs
lola: 87087196 markings, 1012912065 edges, 90173 markings/sec, 885 secs
lola: 87459693 markings, 1018298313 edges, 74499 markings/sec, 890 secs
lola: 87806833 markings, 1023183958 edges, 69428 markings/sec, 895 secs
lola: 88236872 markings, 1028815482 edges, 86008 markings/sec, 900 secs
lola: 88592084 markings, 1033973030 edges, 71042 markings/sec, 905 secs
lola: 88945021 markings, 1039361588 edges, 70587 markings/sec, 910 secs
lola: 89436355 markings, 1044523869 edges, 98267 markings/sec, 915 secs
lola: 89878599 markings, 1050182752 edges, 88449 markings/sec, 920 secs
lola: 90285857 markings, 1055786205 edges, 81452 markings/sec, 925 secs
lola: 90777884 markings, 1061460702 edges, 98405 markings/sec, 930 secs
lola: 91176938 markings, 1067097573 edges, 79811 markings/sec, 935 secs
lola: 91571930 markings, 1072714961 edges, 78998 markings/sec, 940 secs
lola: 91996506 markings, 1077704998 edges, 84915 markings/sec, 945 secs
lola: 92357939 markings, 1082898888 edges, 72287 markings/sec, 950 secs
lola: 92630295 markings, 1087762292 edges, 54471 markings/sec, 955 secs
lola: 93081769 markings, 1093300259 edges, 90295 markings/sec, 960 secs
lola: 93471098 markings, 1098919147 edges, 77866 markings/sec, 965 secs
lola: 93784025 markings, 1104472722 edges, 62585 markings/sec, 970 secs
lola: 94162525 markings, 1109948189 edges, 75700 markings/sec, 975 secs
lola: 94591048 markings, 1115490377 edges, 85705 markings/sec, 980 secs
lola: 94959603 markings, 1121030787 edges, 73711 markings/sec, 985 secs
lola: 95306834 markings, 1126618333 edges, 69446 markings/sec, 990 secs
lola: 95702716 markings, 1131992683 edges, 79176 markings/sec, 995 secs
lola: 96055792 markings, 1137291874 edges, 70615 markings/sec, 1000 secs
lola: 96340358 markings, 1142450508 edges, 56913 markings/sec, 1005 secs
lola: 96690998 markings, 1147701180 edges, 70128 markings/sec, 1010 secs
lola: 97049247 markings, 1152893882 edges, 71650 markings/sec, 1015 secs
lola: 97379645 markings, 1158176570 edges, 66080 markings/sec, 1020 secs
lola: 97645704 markings, 1163291934 edges, 53212 markings/sec, 1025 secs
lola: 97983298 markings, 1168705571 edges, 67519 markings/sec, 1030 secs
lola: 98328093 markings, 1174165686 edges, 68959 markings/sec, 1035 secs
lola: 98645107 markings, 1179744523 edges, 63403 markings/sec, 1040 secs
lola: 98903616 markings, 1185123988 edges, 51702 markings/sec, 1045 secs
lola: 99297134 markings, 1190878690 edges, 78704 markings/sec, 1050 secs
lola: 99700036 markings, 1196589688 edges, 80580 markings/sec, 1055 secs
lola: 100103870 markings, 1202211246 edges, 80767 markings/sec, 1060 secs
lola: 100452154 markings, 1207743029 edges, 69657 markings/sec, 1065 secs
lola: 100791243 markings, 1213356405 edges, 67818 markings/sec, 1070 secs
lola: 101051279 markings, 1218910371 edges, 52007 markings/sec, 1075 secs
lola: 101418534 markings, 1224607492 edges, 73451 markings/sec, 1080 secs
lola: 101774604 markings, 1230232774 edges, 71214 markings/sec, 1085 secs
lola: 102134138 markings, 1235714382 edges, 71907 markings/sec, 1090 secs
lola: 102465958 markings, 1241309847 edges, 66364 markings/sec, 1095 secs
lola: 102759898 markings, 1246777991 edges, 58788 markings/sec, 1100 secs
lola: 103033831 markings, 1252253825 edges, 54787 markings/sec, 1105 secs
lola: 103324126 markings, 1257814300 edges, 58059 markings/sec, 1110 secs
lola: 103703902 markings, 1263406355 edges, 75955 markings/sec, 1115 secs
lola: 104098618 markings, 1268701085 edges, 78943 markings/sec, 1120 secs
lola: 104427435 markings, 1274048928 edges, 65763 markings/sec, 1125 secs
lola: 104742206 markings, 1279503732 edges, 62954 markings/sec, 1130 secs
lola: 105058395 markings, 1284985547 edges, 63238 markings/sec, 1135 secs
lola: 105315808 markings, 1290574364 edges, 51483 markings/sec, 1140 secs
lola: 105657827 markings, 1296262575 edges, 68404 markings/sec, 1145 secs
lola: 105975976 markings, 1301651049 edges, 63630 markings/sec, 1150 secs
lola: 106305402 markings, 1306939398 edges, 65885 markings/sec, 1155 secs
lola: 106600770 markings, 1312270936 edges, 59074 markings/sec, 1160 secs
lola: 106867935 markings, 1317592364 edges, 53433 markings/sec, 1165 secs
lola: 107137639 markings, 1322857079 edges, 53941 markings/sec, 1170 secs
lola: 107354912 markings, 1328172138 edges, 43455 markings/sec, 1175 secs
lola: 107753815 markings, 1333615684 edges, 79781 markings/sec, 1180 secs
lola: 108094586 markings, 1339000802 edges, 68154 markings/sec, 1185 secs
lola: 108368010 markings, 1344436239 edges, 54685 markings/sec, 1190 secs
lola: 108753013 markings, 1350038858 edges, 77001 markings/sec, 1195 secs
lola: 109044699 markings, 1355635575 edges, 58337 markings/sec, 1200 secs
lola: 109287364 markings, 1361132097 edges, 48533 markings/sec, 1205 secs
lola: 109562256 markings, 1366645471 edges, 54978 markings/sec, 1210 secs
lola: 109904938 markings, 1372277702 edges, 68536 markings/sec, 1215 secs
lola: 110197705 markings, 1377850309 edges, 58553 markings/sec, 1220 secs
lola: 110467446 markings, 1383366921 edges, 53948 markings/sec, 1225 secs
lola: 110736951 markings, 1388948132 edges, 53901 markings/sec, 1230 secs
lola: 110987700 markings, 1394444732 edges, 50150 markings/sec, 1235 secs
lola: 111228694 markings, 1399903800 edges, 48199 markings/sec, 1240 secs
lola: 111429768 markings, 1405196802 edges, 40215 markings/sec, 1245 secs
lola: 111683975 markings, 1410561210 edges, 50841 markings/sec, 1250 secs
lola: 112003102 markings, 1416245745 edges, 63825 markings/sec, 1255 secs
lola: 112305128 markings, 1421779265 edges, 60405 markings/sec, 1260 secs
lola: 112547080 markings, 1427378265 edges, 48390 markings/sec, 1265 secs
lola: 112842070 markings, 1432942903 edges, 58998 markings/sec, 1270 secs
lola: 113116492 markings, 1438493726 edges, 54884 markings/sec, 1275 secs
lola: 113389691 markings, 1443966713 edges, 54640 markings/sec, 1280 secs
lola: 113588664 markings, 1449525810 edges, 39795 markings/sec, 1285 secs
lola: 113871058 markings, 1455108168 edges, 56479 markings/sec, 1290 secs
lola: 114140863 markings, 1460711409 edges, 53961 markings/sec, 1295 secs
lola: 114421501 markings, 1466211849 edges, 56128 markings/sec, 1300 secs
lola: 114615338 markings, 1471730382 edges, 38767 markings/sec, 1305 secs
lola: 114861109 markings, 1477265820 edges, 49154 markings/sec, 1310 secs
lola: 115111865 markings, 1482540178 edges, 50151 markings/sec, 1315 secs
lola: 115343529 markings, 1487684163 edges, 46333 markings/sec, 1320 secs
lola: 115545867 markings, 1492862820 edges, 40468 markings/sec, 1325 secs
lola: 115693104 markings, 1498024715 edges, 29447 markings/sec, 1330 secs
lola: 116503627 markings, 1503517627 edges, 162105 markings/sec, 1335 secs
lola: 117318032 markings, 1509028122 edges, 162881 markings/sec, 1340 secs
lola: 118101221 markings, 1514610690 edges, 156638 markings/sec, 1345 secs
lola: 119022174 markings, 1520406352 edges, 184191 markings/sec, 1350 secs
lola: 119709130 markings, 1526034931 edges, 137391 markings/sec, 1355 secs
lola: 120127628 markings, 1531957139 edges, 83700 markings/sec, 1360 secs
lola: 120505541 markings, 1538007827 edges, 75583 markings/sec, 1365 secs
lola: 121003747 markings, 1543856674 edges, 99641 markings/sec, 1370 secs
lola: 121606316 markings, 1549642038 edges, 120514 markings/sec, 1375 secs
lola: 122093884 markings, 1555479169 edges, 97514 markings/sec, 1380 secs
lola: 122490245 markings, 1561445912 edges, 79272 markings/sec, 1385 secs
lola: 122856658 markings, 1567330672 edges, 73283 markings/sec, 1390 secs
lola: 123288206 markings, 1573153474 edges, 86310 markings/sec, 1395 secs
lola: 123860950 markings, 1578842970 edges, 114549 markings/sec, 1400 secs
lola: 124423483 markings, 1584534777 edges, 112507 markings/sec, 1405 secs
lola: 124814700 markings, 1590395233 edges, 78243 markings/sec, 1410 secs
lola: 125163846 markings, 1596180944 edges, 69829 markings/sec, 1415 secs
lola: 125537628 markings, 1602201992 edges, 74756 markings/sec, 1420 secs
lola: 125980074 markings, 1608119221 edges, 88489 markings/sec, 1425 secs
lola: 126565656 markings, 1613871018 edges, 117116 markings/sec, 1430 secs
lola: 127113491 markings, 1619579984 edges, 109567 markings/sec, 1435 secs
lola: 127513993 markings, 1625536691 edges, 80100 markings/sec, 1440 secs
lola: 127863919 markings, 1631477056 edges, 69985 markings/sec, 1445 secs
lola: 128199894 markings, 1636759978 edges, 67195 markings/sec, 1450 secs
lola: 128728778 markings, 1642200669 edges, 105777 markings/sec, 1455 secs
lola: 129252869 markings, 1647563393 edges, 104818 markings/sec, 1460 secs
lola: 129710400 markings, 1652990706 edges, 91506 markings/sec, 1465 secs
lola: 130049268 markings, 1658501656 edges, 67774 markings/sec, 1470 secs
lola: 130485840 markings, 1664053662 edges, 87314 markings/sec, 1475 secs
lola: 131382951 markings, 1669554337 edges, 179422 markings/sec, 1480 secs
lola: 132130358 markings, 1674985433 edges, 149481 markings/sec, 1485 secs
lola: 132906401 markings, 1680281201 edges, 155209 markings/sec, 1490 secs
lola: 133659907 markings, 1685492453 edges, 150701 markings/sec, 1495 secs
lola: 134222166 markings, 1690607441 edges, 112452 markings/sec, 1500 secs
lola: 134612010 markings, 1696273314 edges, 77969 markings/sec, 1505 secs
lola: 134917947 markings, 1702137731 edges, 61187 markings/sec, 1510 secs
lola: 135211196 markings, 1707804094 edges, 58650 markings/sec, 1515 secs
lola: 135588815 markings, 1712405795 edges, 75524 markings/sec, 1520 secs
lola: 136038118 markings, 1717627081 edges, 89861 markings/sec, 1525 secs
lola: 136509827 markings, 1723175221 edges, 94342 markings/sec, 1530 secs
lola: 136817944 markings, 1728817156 edges, 61623 markings/sec, 1535 secs
lola: 137115774 markings, 1734431423 edges, 59566 markings/sec, 1540 secs
lola: 137382302 markings, 1740028533 edges, 53306 markings/sec, 1545 secs
lola: 137678638 markings, 1745765793 edges, 59267 markings/sec, 1550 secs
lola: 138162838 markings, 1751386277 edges, 96840 markings/sec, 1555 secs
lola: 138647960 markings, 1756952720 edges, 97024 markings/sec, 1560 secs
lola: 139061185 markings, 1762505667 edges, 82645 markings/sec, 1565 secs
lola: 139377959 markings, 1768254083 edges, 63355 markings/sec, 1570 secs
lola: 139653493 markings, 1773866374 edges, 55107 markings/sec, 1575 secs
lola: 139874325 markings, 1778915215 edges, 44166 markings/sec, 1580 secs
lola: 140135851 markings, 1783963089 edges, 52305 markings/sec, 1585 secs
lola: 140426713 markings, 1789763780 edges, 58172 markings/sec, 1590 secs
lola: 140960985 markings, 1795397650 edges, 106854 markings/sec, 1595 secs
lola: 141451190 markings, 1800890543 edges, 98041 markings/sec, 1600 secs
lola: 141817265 markings, 1806437142 edges, 73215 markings/sec, 1605 secs
lola: 142117994 markings, 1812031143 edges, 60146 markings/sec, 1610 secs
lola: 142387222 markings, 1817705985 edges, 53846 markings/sec, 1615 secs
lola: 142647050 markings, 1823392725 edges, 51966 markings/sec, 1620 secs
lola: 142987371 markings, 1828927119 edges, 68064 markings/sec, 1625 secs
lola: 143470654 markings, 1834428850 edges, 96657 markings/sec, 1630 secs
lola: 143983631 markings, 1839984255 edges, 102595 markings/sec, 1635 secs
lola: 144321897 markings, 1845498082 edges, 67653 markings/sec, 1640 secs
lola: 144596318 markings, 1850951216 edges, 54884 markings/sec, 1645 secs
lola: 144844993 markings, 1856423062 edges, 49735 markings/sec, 1650 secs
lola: 145458838 markings, 1862041355 edges, 122769 markings/sec, 1655 secs
lola: 146293065 markings, 1867693088 edges, 166845 markings/sec, 1660 secs
lola: 146982686 markings, 1873311536 edges, 137924 markings/sec, 1665 secs
lola: 147820654 markings, 1878871607 edges, 167594 markings/sec, 1670 secs
lola: 148374337 markings, 1884362164 edges, 110737 markings/sec, 1675 secs
lola: 148863578 markings, 1889767763 edges, 97848 markings/sec, 1680 secs
lola: 149161079 markings, 1895579805 edges, 59500 markings/sec, 1685 secs
lola: 149442775 markings, 1901362262 edges, 56339 markings/sec, 1690 secs
lola: 149713731 markings, 1907197019 edges, 54191 markings/sec, 1695 secs
lola: 150229799 markings, 1913044385 edges, 103214 markings/sec, 1700 secs
lola: 150700467 markings, 1918853261 edges, 94134 markings/sec, 1705 secs
lola: 151065033 markings, 1924697634 edges, 72913 markings/sec, 1710 secs
lola: 151372757 markings, 1930680234 edges, 61545 markings/sec, 1715 secs
lola: 151644307 markings, 1936532050 edges, 54310 markings/sec, 1720 secs
lola: 151903522 markings, 1942461040 edges, 51843 markings/sec, 1725 secs
lola: 152236599 markings, 1948355887 edges, 66615 markings/sec, 1730 secs
lola: 152702813 markings, 1954070214 edges, 93243 markings/sec, 1735 secs
lola: 153184895 markings, 1959788962 edges, 96416 markings/sec, 1740 secs
lola: 153511903 markings, 1965447974 edges, 65402 markings/sec, 1745 secs
lola: 153782695 markings, 1970676240 edges, 54158 markings/sec, 1750 secs
lola: 154032597 markings, 1976169301 edges, 49980 markings/sec, 1755 secs
lola: 154264847 markings, 1981730536 edges, 46450 markings/sec, 1760 secs
lola: 154524744 markings, 1987111771 edges, 51979 markings/sec, 1765 secs
lola: 154770803 markings, 1992333395 edges, 49212 markings/sec, 1770 secs
lola: 155237304 markings, 1997524485 edges, 93300 markings/sec, 1775 secs
lola: 155674381 markings, 2003010588 edges, 87415 markings/sec, 1780 secs
lola: 156038224 markings, 2008448119 edges, 72769 markings/sec, 1785 secs
lola: 156338191 markings, 2014142709 edges, 59993 markings/sec, 1790 secs
lola: 156593945 markings, 2019704634 edges, 51151 markings/sec, 1795 secs
lola: 156824188 markings, 2025306971 edges, 46049 markings/sec, 1800 secs
lola: 157101065 markings, 2030923972 edges, 55375 markings/sec, 1805 secs
lola: 157483244 markings, 2036091416 edges, 76436 markings/sec, 1810 secs
lola: 157898521 markings, 2041621473 edges, 83055 markings/sec, 1815 secs
lola: 158358363 markings, 2047196522 edges, 91968 markings/sec, 1820 secs
lola: 158651161 markings, 2052842717 edges, 58560 markings/sec, 1825 secs
lola: 158907240 markings, 2058395975 edges, 51216 markings/sec, 1830 secs
lola: 159151336 markings, 2064065172 edges, 48819 markings/sec, 1835 secs
lola: 159791565 markings, 2069747345 edges, 128046 markings/sec, 1840 secs
lola: 160571001 markings, 2075334025 edges, 155887 markings/sec, 1845 secs
lola: 161224784 markings, 2080925175 edges, 130757 markings/sec, 1850 secs
lola: 162007341 markings, 2086525940 edges, 156511 markings/sec, 1855 secs
lola: 162563581 markings, 2092107748 edges, 111248 markings/sec, 1860 secs
lola: 163026142 markings, 2097652215 edges, 92512 markings/sec, 1865 secs
lola: 163335043 markings, 2103457999 edges, 61780 markings/sec, 1870 secs
lola: 163580423 markings, 2109349957 edges, 49076 markings/sec, 1875 secs
lola: 163817168 markings, 2114735347 edges, 47349 markings/sec, 1880 secs
lola: 164061335 markings, 2119791223 edges, 48833 markings/sec, 1885 secs
lola: 164510962 markings, 2125492298 edges, 89925 markings/sec, 1890 secs
lola: 164886887 markings, 2130599367 edges, 75185 markings/sec, 1895 secs
lola: 165220051 markings, 2135827246 edges, 66633 markings/sec, 1900 secs
lola: 165473988 markings, 2141643540 edges, 50787 markings/sec, 1905 secs
lola: 165726420 markings, 2147336910 edges, 50486 markings/sec, 1910 secs
lola: 165967383 markings, 2153070783 edges, 48193 markings/sec, 1915 secs
lola: 166197599 markings, 2158749745 edges, 46043 markings/sec, 1920 secs
lola: 166438177 markings, 2164342856 edges, 48116 markings/sec, 1925 secs
lola: 166884187 markings, 2169687138 edges, 89202 markings/sec, 1930 secs
lola: 167273245 markings, 2175172052 edges, 77812 markings/sec, 1935 secs
lola: 167632579 markings, 2180607114 edges, 71867 markings/sec, 1940 secs
lola: 167882388 markings, 2186167677 edges, 49962 markings/sec, 1945 secs
lola: 168122714 markings, 2191610684 edges, 48065 markings/sec, 1950 secs
lola: 168354762 markings, 2197215300 edges, 46410 markings/sec, 1955 secs
lola: 168571938 markings, 2202865029 edges, 43435 markings/sec, 1960 secs
lola: 168819329 markings, 2208740510 edges, 49478 markings/sec, 1965 secs
lola: 169059901 markings, 2214515424 edges, 48114 markings/sec, 1970 secs
lola: 169524183 markings, 2220171627 edges, 92856 markings/sec, 1975 secs
lola: 169923909 markings, 2225777817 edges, 79945 markings/sec, 1980 secs
lola: 170286385 markings, 2231394444 edges, 72495 markings/sec, 1985 secs
lola: 170538072 markings, 2237170589 edges, 50337 markings/sec, 1990 secs
lola: 170784873 markings, 2242889159 edges, 49360 markings/sec, 1995 secs
lola: 171019984 markings, 2248595545 edges, 47022 markings/sec, 2000 secs
lola: 171249880 markings, 2254404557 edges, 45979 markings/sec, 2005 secs
lola: 171487108 markings, 2260085792 edges, 47446 markings/sec, 2010 secs
lola: 171950332 markings, 2265680645 edges, 92645 markings/sec, 2015 secs
lola: 172342103 markings, 2271187586 edges, 78354 markings/sec, 2020 secs
lola: 172702054 markings, 2276692946 edges, 71990 markings/sec, 2025 secs
lola: 172952629 markings, 2282339016 edges, 50115 markings/sec, 2030 secs
lola: 173190864 markings, 2288015618 edges, 47647 markings/sec, 2035 secs
lola: 173417939 markings, 2293723615 edges, 45415 markings/sec, 2040 secs
lola: 173769577 markings, 2299488052 edges, 70328 markings/sec, 2045 secs
lola: 174235416 markings, 2305284388 edges, 93168 markings/sec, 2050 secs
lola: 174642184 markings, 2311068421 edges, 81354 markings/sec, 2055 secs
lola: 175065722 markings, 2316801916 edges, 84708 markings/sec, 2060 secs
lola: 175400263 markings, 2322474699 edges, 66908 markings/sec, 2065 secs
lola: 175745934 markings, 2328140131 edges, 69134 markings/sec, 2070 secs
lola: 176240851 markings, 2333925904 edges, 98983 markings/sec, 2075 secs
lola: 176625258 markings, 2339696470 edges, 76881 markings/sec, 2080 secs
lola: 177040362 markings, 2345376350 edges, 83021 markings/sec, 2085 secs
lola: 177386259 markings, 2351062392 edges, 69179 markings/sec, 2090 secs
lola: 177646408 markings, 2356662817 edges, 52030 markings/sec, 2095 secs
lola: 178088828 markings, 2362327144 edges, 88484 markings/sec, 2100 secs
lola: 178502197 markings, 2368032875 edges, 82674 markings/sec, 2105 secs
lola: 178862657 markings, 2373670948 edges, 72092 markings/sec, 2110 secs
lola: 179253274 markings, 2379302569 edges, 78123 markings/sec, 2115 secs
lola: 179571858 markings, 2384974384 edges, 63717 markings/sec, 2120 secs
lola: 179869499 markings, 2390569317 edges, 59528 markings/sec, 2125 secs
lola: 180283794 markings, 2396234469 edges, 82859 markings/sec, 2130 secs
lola: 180667533 markings, 2401903037 edges, 76748 markings/sec, 2135 secs
lola: 180963093 markings, 2407560827 edges, 59112 markings/sec, 2140 secs
lola: 181228578 markings, 2413187314 edges, 53097 markings/sec, 2145 secs
lola: 181485179 markings, 2418820892 edges, 51320 markings/sec, 2150 secs
lola: 181729552 markings, 2424432948 edges, 48875 markings/sec, 2155 secs
lola: 182037198 markings, 2430027067 edges, 61529 markings/sec, 2160 secs
lola: 182490086 markings, 2435827514 edges, 90578 markings/sec, 2165 secs
lola: 182845126 markings, 2441562552 edges, 71008 markings/sec, 2170 secs
lola: 183219867 markings, 2447269803 edges, 74948 markings/sec, 2175 secs
lola: 183580664 markings, 2452998861 edges, 72159 markings/sec, 2180 secs
lola: 183864218 markings, 2458744970 edges, 56711 markings/sec, 2185 secs
lola: 184205957 markings, 2464490204 edges, 68348 markings/sec, 2190 secs
lola: 184617975 markings, 2470168004 edges, 82404 markings/sec, 2195 secs
lola: 184947559 markings, 2475859871 edges, 65917 markings/sec, 2200 secs
lola: 185219103 markings, 2481511113 edges, 54309 markings/sec, 2205 secs
lola: 185465123 markings, 2487124957 edges, 49204 markings/sec, 2210 secs
lola: 185707893 markings, 2492722818 edges, 48554 markings/sec, 2215 secs
lola: 185928613 markings, 2498105171 edges, 44144 markings/sec, 2220 secs
lola: 186199419 markings, 2503493532 edges, 54161 markings/sec, 2225 secs
lola: 186571671 markings, 2508907166 edges, 74450 markings/sec, 2230 secs
lola: 186927110 markings, 2514324286 edges, 71088 markings/sec, 2235 secs
lola: 187217968 markings, 2519699033 edges, 58172 markings/sec, 2240 secs
lola: 187555077 markings, 2525061823 edges, 67422 markings/sec, 2245 secs
lola: 187846943 markings, 2530432158 edges, 58373 markings/sec, 2250 secs
lola: 188082297 markings, 2535786118 edges, 47071 markings/sec, 2255 secs
lola: 188381507 markings, 2541159762 edges, 59842 markings/sec, 2260 secs
lola: 188748137 markings, 2546489779 edges, 73326 markings/sec, 2265 secs
lola: 189042427 markings, 2551872521 edges, 58858 markings/sec, 2270 secs
lola: 189282934 markings, 2557198030 edges, 48101 markings/sec, 2275 secs
lola: 189501909 markings, 2562541889 edges, 43795 markings/sec, 2280 secs
lola: 189706826 markings, 2567816015 edges, 40983 markings/sec, 2285 secs
lola: 189916435 markings, 2573114724 edges, 41922 markings/sec, 2290 secs
lola: 190113045 markings, 2578393599 edges, 39322 markings/sec, 2295 secs
lola: 190330615 markings, 2583670086 edges, 43514 markings/sec, 2300 secs
lola: 190740506 markings, 2589111875 edges, 81978 markings/sec, 2305 secs
lola: 191104585 markings, 2594517937 edges, 72816 markings/sec, 2310 secs
lola: 191441566 markings, 2599907226 edges, 67396 markings/sec, 2315 secs
lola: 191801813 markings, 2605316766 edges, 72049 markings/sec, 2320 secs
lola: 192100048 markings, 2610740401 edges, 59647 markings/sec, 2325 secs
lola: 192380286 markings, 2616067786 edges, 56048 markings/sec, 2330 secs
lola: 192787927 markings, 2621452360 edges, 81528 markings/sec, 2335 secs
lola: 193146488 markings, 2626804411 edges, 71712 markings/sec, 2340 secs
lola: 193460053 markings, 2632099180 edges, 62713 markings/sec, 2345 secs
lola: 193835843 markings, 2637469872 edges, 75158 markings/sec, 2350 secs
lola: 194131745 markings, 2642825911 edges, 59180 markings/sec, 2355 secs
lola: 194403350 markings, 2648106254 edges, 54321 markings/sec, 2360 secs
lola: 194727201 markings, 2653448675 edges, 64770 markings/sec, 2365 secs
lola: 195071776 markings, 2658821303 edges, 68915 markings/sec, 2370 secs
lola: 195372329 markings, 2664138901 edges, 60111 markings/sec, 2375 secs
lola: 195671430 markings, 2669530139 edges, 59820 markings/sec, 2380 secs
lola: 195967221 markings, 2674936823 edges, 59158 markings/sec, 2385 secs
lola: 196228933 markings, 2680352184 edges, 52342 markings/sec, 2390 secs
lola: 196471788 markings, 2685696310 edges, 48571 markings/sec, 2395 secs
lola: 196749878 markings, 2691016023 edges, 55618 markings/sec, 2400 secs
lola: 197071231 markings, 2696386770 edges, 64271 markings/sec, 2405 secs
lola: 197366662 markings, 2701701003 edges, 59086 markings/sec, 2410 secs
lola: 197620940 markings, 2706953180 edges, 50856 markings/sec, 2415 secs
lola: 197919452 markings, 2712352203 edges, 59702 markings/sec, 2420 secs
lola: 198160899 markings, 2717668851 edges, 48289 markings/sec, 2425 secs
lola: 198390874 markings, 2723014355 edges, 45995 markings/sec, 2430 secs
lola: 198613454 markings, 2728261492 edges, 44516 markings/sec, 2435 secs
lola: 198949088 markings, 2733661346 edges, 67127 markings/sec, 2440 secs
lola: 199244008 markings, 2739070223 edges, 58984 markings/sec, 2445 secs
lola: 199513905 markings, 2744478005 edges, 53979 markings/sec, 2450 secs
lola: 199751692 markings, 2749809780 edges, 47557 markings/sec, 2455 secs
lola: 200095944 markings, 2755214246 edges, 68850 markings/sec, 2460 secs
lola: 200348686 markings, 2760608130 edges, 50548 markings/sec, 2465 secs
lola: 200576230 markings, 2765970884 edges, 45509 markings/sec, 2470 secs
lola: 200795128 markings, 2771457147 edges, 43780 markings/sec, 2475 secs
lola: 201150871 markings, 2776886343 edges, 71149 markings/sec, 2480 secs
lola: 201412326 markings, 2782264704 edges, 52291 markings/sec, 2485 secs
lola: 201654087 markings, 2787683443 edges, 48352 markings/sec, 2490 secs
lola: 201884563 markings, 2793189083 edges, 46095 markings/sec, 2495 secs
lola: 202206676 markings, 2798759900 edges, 64423 markings/sec, 2500 secs
lola: 202453686 markings, 2804330115 edges, 49402 markings/sec, 2505 secs
lola: 202670845 markings, 2809874742 edges, 43432 markings/sec, 2510 secs
lola: 202861078 markings, 2815334152 edges, 38047 markings/sec, 2515 secs
lola: 203167636 markings, 2820829988 edges, 61312 markings/sec, 2520 secs
lola: 203413496 markings, 2826208569 edges, 49172 markings/sec, 2525 secs
lola: 203643401 markings, 2831603185 edges, 45981 markings/sec, 2530 secs
lola: 203864248 markings, 2836896896 edges, 44169 markings/sec, 2535 secs
lola: 204119800 markings, 2842296024 edges, 51110 markings/sec, 2540 secs
lola: 204359036 markings, 2847639733 edges, 47847 markings/sec, 2545 secs
lola: 204583770 markings, 2853019124 edges, 44947 markings/sec, 2550 secs
lola: 204789830 markings, 2858337333 edges, 41212 markings/sec, 2555 secs
lola: 204961538 markings, 2863582494 edges, 34342 markings/sec, 2560 secs
lola: 205194932 markings, 2868998599 edges, 46679 markings/sec, 2565 secs
lola: 205415281 markings, 2874315122 edges, 44070 markings/sec, 2570 secs
lola: 205629462 markings, 2879680312 edges, 42836 markings/sec, 2575 secs
lola: 205822931 markings, 2884979023 edges, 38694 markings/sec, 2580 secs
lola: 205990899 markings, 2890196915 edges, 33594 markings/sec, 2585 secs
lola: 206203610 markings, 2895572980 edges, 42542 markings/sec, 2590 secs
lola: 206404375 markings, 2900886199 edges, 40153 markings/sec, 2595 secs
lola: 206586820 markings, 2906165510 edges, 36489 markings/sec, 2600 secs
lola: 206761782 markings, 2911471504 edges, 34992 markings/sec, 2605 secs
lola: 206943159 markings, 2916710940 edges, 36275 markings/sec, 2610 secs
lola: 207166844 markings, 2922029825 edges, 44737 markings/sec, 2615 secs
lola: 207577816 markings, 2927716606 edges, 82194 markings/sec, 2620 secs
lola: 207993353 markings, 2933341013 edges, 83107 markings/sec, 2625 secs
lola: 208397921 markings, 2938912705 edges, 80914 markings/sec, 2630 secs
lola: 208797851 markings, 2944437308 edges, 79986 markings/sec, 2635 secs
lola: 209198734 markings, 2950066388 edges, 80177 markings/sec, 2640 secs
lola: 209605260 markings, 2955709554 edges, 81305 markings/sec, 2645 secs
lola: 209982617 markings, 2961037913 edges, 75471 markings/sec, 2650 secs
lola: 210373361 markings, 2966382595 edges, 78149 markings/sec, 2655 secs
lola: 210764726 markings, 2971909692 edges, 78273 markings/sec, 2660 secs
lola: 211196176 markings, 2977798714 edges, 86290 markings/sec, 2665 secs
lola: 211601891 markings, 2983631759 edges, 81143 markings/sec, 2670 secs
lola: 212020282 markings, 2989482356 edges, 83678 markings/sec, 2675 secs
lola: 212445320 markings, 2995247733 edges, 85008 markings/sec, 2680 secs
lola: 212845633 markings, 3000889125 edges, 80063 markings/sec, 2685 secs
lola: 213231318 markings, 3006178188 edges, 77137 markings/sec, 2690 secs
lola: 213610314 markings, 3011717683 edges, 75799 markings/sec, 2695 secs
lola: 214006246 markings, 3017127321 edges, 79186 markings/sec, 2700 secs
lola: 214387657 markings, 3022467620 edges, 76282 markings/sec, 2705 secs
lola: 214775609 markings, 3027868228 edges, 77590 markings/sec, 2710 secs
lola: 215148943 markings, 3032950563 edges, 74667 markings/sec, 2715 secs
lola: 215507836 markings, 3038381008 edges, 71779 markings/sec, 2720 secs
lola: 215816541 markings, 3043762824 edges, 61741 markings/sec, 2725 secs
lola: 216123509 markings, 3049131257 edges, 61394 markings/sec, 2730 secs
lola: 216443260 markings, 3054923147 edges, 63950 markings/sec, 2735 secs
lola: 216760718 markings, 3060690978 edges, 63492 markings/sec, 2740 secs
lola: 217079742 markings, 3066429993 edges, 63805 markings/sec, 2745 secs
lola: 217383293 markings, 3072170524 edges, 60710 markings/sec, 2750 secs
lola: 217705484 markings, 3077962078 edges, 64438 markings/sec, 2755 secs
lola: 217991757 markings, 3083698466 edges, 57255 markings/sec, 2760 secs
lola: 218286514 markings, 3089390515 edges, 58951 markings/sec, 2765 secs
lola: 218608106 markings, 3095128585 edges, 64318 markings/sec, 2770 secs
lola: 218923835 markings, 3100828354 edges, 63146 markings/sec, 2775 secs
lola: 219222668 markings, 3106536085 edges, 59767 markings/sec, 2780 secs
lola: 219540903 markings, 3112301890 edges, 63647 markings/sec, 2785 secs
lola: 219818515 markings, 3118002316 edges, 55522 markings/sec, 2790 secs
lola: 220111074 markings, 3123739690 edges, 58512 markings/sec, 2795 secs
lola: 220426999 markings, 3129513569 edges, 63185 markings/sec, 2800 secs
lola: 220763596 markings, 3135246782 edges, 67319 markings/sec, 2805 secs
lola: 221069625 markings, 3140917482 edges, 61206 markings/sec, 2810 secs
lola: 221370812 markings, 3146614356 edges, 60237 markings/sec, 2815 secs
lola: 221671276 markings, 3152328129 edges, 60093 markings/sec, 2820 secs
lola: 221945623 markings, 3158057931 edges, 54869 markings/sec, 2825 secs
lola: 222241376 markings, 3163751757 edges, 59151 markings/sec, 2830 secs
lola: 222568395 markings, 3169405425 edges, 65404 markings/sec, 2835 secs
lola: 222881670 markings, 3175037154 edges, 62655 markings/sec, 2840 secs
lola: 223172524 markings, 3180698241 edges, 58171 markings/sec, 2845 secs
lola: 223480602 markings, 3186398391 edges, 61616 markings/sec, 2850 secs
lola: 223747986 markings, 3192092917 edges, 53477 markings/sec, 2855 secs
lola: 224151495 markings, 3197829953 edges, 80702 markings/sec, 2860 secs
lola: 224594181 markings, 3203612031 edges, 88537 markings/sec, 2865 secs
lola: 225004170 markings, 3209373127 edges, 81998 markings/sec, 2870 secs
lola: 225424187 markings, 3215109130 edges, 84003 markings/sec, 2875 secs
lola: 225754753 markings, 3220857574 edges, 66113 markings/sec, 2880 secs
lola: 226125080 markings, 3226624861 edges, 74065 markings/sec, 2885 secs
lola: 226607666 markings, 3232400476 edges, 96517 markings/sec, 2890 secs
lola: 226998331 markings, 3238186213 edges, 78133 markings/sec, 2895 secs
lola: 227411865 markings, 3243874675 edges, 82707 markings/sec, 2900 secs
lola: 227749619 markings, 3249574145 edges, 67551 markings/sec, 2905 secs
lola: 228005179 markings, 3255237738 edges, 51112 markings/sec, 2910 secs
lola: 228470940 markings, 3261035624 edges, 93152 markings/sec, 2915 secs
lola: 228885287 markings, 3266825311 edges, 82869 markings/sec, 2920 secs
lola: 229249771 markings, 3272593139 edges, 72897 markings/sec, 2925 secs
lola: 229631992 markings, 3278299017 edges, 76444 markings/sec, 2930 secs
lola: 229938918 markings, 3284034914 edges, 61385 markings/sec, 2935 secs
lola: 230256018 markings, 3289728722 edges, 63420 markings/sec, 2940 secs
lola: 230672666 markings, 3295297566 edges, 83330 markings/sec, 2945 secs
lola: 231016149 markings, 3300811717 edges, 68697 markings/sec, 2950 secs
lola: 231291644 markings, 3306247798 edges, 55099 markings/sec, 2955 secs
lola: 231540258 markings, 3311660796 edges, 49723 markings/sec, 2960 secs
lola: 231775753 markings, 3317047591 edges, 47099 markings/sec, 2965 secs
lola: 232006455 markings, 3322435479 edges, 46140 markings/sec, 2970 secs
lola: 232223889 markings, 3327785300 edges, 43487 markings/sec, 2975 secs
lola: 232647840 markings, 3333229773 edges, 84790 markings/sec, 2980 secs
lola: 233050375 markings, 3338695847 edges, 80507 markings/sec, 2985 secs
lola: 233387809 markings, 3344111598 edges, 67487 markings/sec, 2990 secs
lola: 233781774 markings, 3349490510 edges, 78793 markings/sec, 2995 secs
lola: 234174465 markings, 3354909969 edges, 78538 markings/sec, 3000 secs
lola: 234494299 markings, 3360287071 edges, 63967 markings/sec, 3005 secs
lola: 234844053 markings, 3365696643 edges, 69951 markings/sec, 3010 secs
lola: 235172293 markings, 3371171255 edges, 65648 markings/sec, 3015 secs
lola: 235448428 markings, 3376561004 edges, 55227 markings/sec, 3020 secs
lola: 235781022 markings, 3381902753 edges, 66519 markings/sec, 3025 secs
lola: 236083563 markings, 3387291576 edges, 60508 markings/sec, 3030 secs
lola: 236345842 markings, 3392654943 edges, 52456 markings/sec, 3035 secs
lola: 236678042 markings, 3398070575 edges, 66440 markings/sec, 3040 secs
lola: 236965709 markings, 3403503743 edges, 57533 markings/sec, 3045 secs
lola: 237311463 markings, 3408921252 edges, 69151 markings/sec, 3050 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes yes yes yes unknown yes no yes yes no no no no no
lola: time limit reached - aborting
lola:
preliminary result: unknown no yes yes yes yes unknown yes no yes yes no no no no no
lola:
preliminary result: unknown no yes yes yes yes unknown yes no yes yes no no no no no
lola: memory consumption: 21840 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 1589560962587
--------------------
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="Eratosthenes-PT-100"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is Eratosthenes-PT-100, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r075-tajo-158922839800259"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Eratosthenes-PT-100.tgz
mv Eratosthenes-PT-100 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;