About the Execution of ITS-LoLa for Referendum-COL-0050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15741.000 | 3600000.00 | 3605152.00 | 12537.90 | F?TTFTTTTT????FT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r172-smll-158987827800355.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is Referendum-COL-0050, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827800355
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 4.0K Apr 12 08:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 11 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 09:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 21:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 21:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 4.9K Mar 24 05:38 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Referendum-COL-0050-CTLCardinality-00
FORMULA_NAME Referendum-COL-0050-CTLCardinality-01
FORMULA_NAME Referendum-COL-0050-CTLCardinality-02
FORMULA_NAME Referendum-COL-0050-CTLCardinality-03
FORMULA_NAME Referendum-COL-0050-CTLCardinality-04
FORMULA_NAME Referendum-COL-0050-CTLCardinality-05
FORMULA_NAME Referendum-COL-0050-CTLCardinality-06
FORMULA_NAME Referendum-COL-0050-CTLCardinality-07
FORMULA_NAME Referendum-COL-0050-CTLCardinality-08
FORMULA_NAME Referendum-COL-0050-CTLCardinality-09
FORMULA_NAME Referendum-COL-0050-CTLCardinality-10
FORMULA_NAME Referendum-COL-0050-CTLCardinality-11
FORMULA_NAME Referendum-COL-0050-CTLCardinality-12
FORMULA_NAME Referendum-COL-0050-CTLCardinality-13
FORMULA_NAME Referendum-COL-0050-CTLCardinality-14
FORMULA_NAME Referendum-COL-0050-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591402304747
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 00:11:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 00:11:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 00:11:47] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-06-06 00:11:47] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 797 ms
[2020-06-06 00:11:47] [INFO ] sort/places :
Voters->voted_no,voted_yes,voting,
Dot->ready,
[2020-06-06 00:11:47] [INFO ] Imported 4 HL places and 3 HL transitions for a total of 151 PT places and 101.0 transition bindings in 15 ms.
[2020-06-06 00:11:47] [INFO ] Computed order based on color domains.
[2020-06-06 00:11:47] [INFO ] Unfolded HLPN to a Petri net with 151 places and 101 transitions in 7 ms.
[2020-06-06 00:11:47] [INFO ] Unfolded HLPN properties in 2 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 53 ms.
Incomplete random walk after 100000 steps, including 1923 resets, run finished after 2377 ms. (steps per millisecond=42 ) properties seen :[1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 101 rows 151 cols
[2020-06-06 00:11:50] [INFO ] Computed 50 place invariants in 8 ms
[2020-06-06 00:11:50] [INFO ] [Real]Absence check using 50 positive place invariants in 68 ms returned sat
[2020-06-06 00:11:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 00:11:50] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2020-06-06 00:11:51] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 00:11:51] [INFO ] [Nat]Absence check using 50 positive place invariants in 15 ms returned unsat
[2020-06-06 00:11:51] [INFO ] [Real]Absence check using 50 positive place invariants in 3 ms returned unsat
[2020-06-06 00:11:51] [INFO ] [Real]Absence check using 50 positive place invariants in 7 ms returned unsat
[2020-06-06 00:11:51] [INFO ] [Real]Absence check using 50 positive place invariants in 3 ms returned unsat
[2020-06-06 00:11:51] [INFO ] [Real]Absence check using 50 positive place invariants in 9 ms returned unsat
[2020-06-06 00:11:51] [INFO ] [Real]Absence check using 50 positive place invariants in 3 ms returned unsat
[2020-06-06 00:11:51] [INFO ] [Real]Absence check using 50 positive place invariants in 6 ms returned unsat
[2020-06-06 00:11:51] [INFO ] [Real]Absence check using 50 positive place invariants in 23 ms returned sat
[2020-06-06 00:11:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 00:11:51] [INFO ] [Real]Absence check using state equation in 99 ms returned sat
[2020-06-06 00:11:51] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 00:11:51] [INFO ] [Nat]Absence check using 50 positive place invariants in 29 ms returned sat
[2020-06-06 00:11:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 00:11:51] [INFO ] [Nat]Absence check using state equation in 96 ms returned sat
[2020-06-06 00:11:51] [INFO ] Computed and/alt/rep : 100/100/100 causal constraints in 12 ms.
[2020-06-06 00:11:51] [INFO ] Added : 27 causal constraints over 6 iterations in 96 ms. Result :sat
[2020-06-06 00:11:51] [INFO ] [Real]Absence check using 50 positive place invariants in 6 ms returned unsat
Successfully simplified 8 atomic propositions for a total of 9 simplifications.
[2020-06-06 00:11:51] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-06 00:11:51] [INFO ] Flatten gal took : 54 ms
[2020-06-06 00:11:52] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-06 00:11:52] [INFO ] Flatten gal took : 32 ms
FORMULA Referendum-COL-0050-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Referendum-COL-0050-CTLCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-06 00:11:52] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 7 ms.
[2020-06-06 00:11:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 3 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ Referendum-COL-0050 @ 3570 seconds
FORMULA Referendum-COL-0050-CTLCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-CTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-CTLCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-CTLCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-CTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-CTLCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0050-CTLCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ Referendum-COL-0050
{
"exit":
{
"memory": 4568016,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 2,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 151,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 101,
"visible_transitions": 0
},
"processed": "EX((EG((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) AND ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p0) AND (p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 2))))",
"processed_size": 967,
"rewrites": 37
},
"net":
{
"conflict_clusters": 151,
"singleton_clusters": 0
},
"result":
{
"preliminary_value": "no unknown no yes yes yes yes yes unknown unknown unknown unknown no yes "
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
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: 252/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 151
lola: finding significant places
lola: 151 places, 101 transitions, 101 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p0)
lola: LP says that atomic proposition is always false: (3 <= p0)
lola: NOT(E (G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))) : A ((E (G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))) U E (G ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))))) : NOT(E (F (A (G ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)))))) : E (G ((0 <= 0))) : E (F ((3 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))) : E (G (NOT(A (G ((3 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))))) : (((E (G ((1 <= 0))) OR E (G ((0 <= 0)))) OR ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + 1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50) AND (p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 <= 2))) OR ((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))) : (E (((0 <= 0) U ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) AND (3 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))) OR (NOT(E (X ((p0 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))) AND ((p0 + 1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR (2 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)))) : E (X (((E (G ((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))) AND (p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p0)) AND (p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 2)))) : (A (F (A (X ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))))) OR E (G ((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))) : E (G ((E (X ((p0 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))) OR (p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))) : E (((((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p0))) U (3 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))) : A (((0 <= 0) U E (X ((2 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50))))) : (E (G ((0 <= 0))) OR ((p0 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
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:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 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: 35 rewrites
lola: closed formula file CTLCardinality.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 1 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: 35 rewrites
lola: closed formula file CTLCardinality.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 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: 35 rewrites
lola: closed formula file CTLCardinality.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 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((E (G ((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))) AND ((p1 + p2 + p3 + p4 + p5 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((EG((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) AND ((p1 + p2 + p3 + p4 + p5 + p6 + p... (shortened)
lola: processed formula length: 967
lola: 37 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 499492 markings, 3919136 edges, 99898 markings/sec, 0 secs
lola: 953757 markings, 7729197 edges, 90853 markings/sec, 5 secs
lola: 1375989 markings, 11550965 edges, 84446 markings/sec, 10 secs
lola: 1788334 markings, 15321612 edges, 82469 markings/sec, 15 secs
lola: 2213154 markings, 19035370 edges, 84964 markings/sec, 20 secs
lola: 2601215 markings, 22738148 edges, 77612 markings/sec, 25 secs
lola: 3004597 markings, 26383423 edges, 80676 markings/sec, 30 secs
lola: 3369527 markings, 30020754 edges, 72986 markings/sec, 35 secs
lola: 3761230 markings, 33694520 edges, 78341 markings/sec, 40 secs
lola: 4124194 markings, 37362547 edges, 72593 markings/sec, 45 secs
lola: 4477754 markings, 41066681 edges, 70712 markings/sec, 50 secs
lola: 4790488 markings, 44684244 edges, 62547 markings/sec, 55 secs
lola: 5219891 markings, 48248399 edges, 85881 markings/sec, 60 secs
lola: 5575473 markings, 51439715 edges, 71116 markings/sec, 65 secs
lola: 5925197 markings, 54839956 edges, 69945 markings/sec, 70 secs
lola: 6317600 markings, 58366782 edges, 78481 markings/sec, 75 secs
lola: 6677843 markings, 61883995 edges, 72049 markings/sec, 80 secs
lola: 7027721 markings, 65392164 edges, 69976 markings/sec, 85 secs
lola: 7388437 markings, 68962813 edges, 72143 markings/sec, 90 secs
lola: 7724258 markings, 72532527 edges, 67164 markings/sec, 95 secs
lola: 8001074 markings, 75677411 edges, 55363 markings/sec, 100 secs
lola: 8399905 markings, 79226654 edges, 79766 markings/sec, 105 secs
lola: 8762117 markings, 82761112 edges, 72442 markings/sec, 110 secs
lola: 9122698 markings, 86282807 edges, 72116 markings/sec, 115 secs
lola: 9470071 markings, 89812774 edges, 69475 markings/sec, 120 secs
lola: 9813002 markings, 93393038 edges, 68586 markings/sec, 125 secs
lola: 10117797 markings, 96876345 edges, 60959 markings/sec, 130 secs
lola: 10497202 markings, 100464931 edges, 75881 markings/sec, 135 secs
lola: 10848192 markings, 104004367 edges, 70198 markings/sec, 140 secs
lola: 11192605 markings, 107607924 edges, 68883 markings/sec, 145 secs
lola: 11497753 markings, 111129154 edges, 61030 markings/sec, 150 secs
lola: 11845969 markings, 114656745 edges, 69643 markings/sec, 155 secs
lola: 12185162 markings, 118230253 edges, 67839 markings/sec, 160 secs
lola: 12490952 markings, 121725549 edges, 61158 markings/sec, 165 secs
lola: 12835433 markings, 125367993 edges, 68896 markings/sec, 170 secs
lola: 13144596 markings, 128920062 edges, 61833 markings/sec, 175 secs
lola: 13467710 markings, 132575474 edges, 64623 markings/sec, 180 secs
lola: 13773222 markings, 136172817 edges, 61102 markings/sec, 185 secs
lola: 14066678 markings, 139719005 edges, 58691 markings/sec, 190 secs
lola: 14329162 markings, 143170564 edges, 52497 markings/sec, 195 secs
lola: 14728434 markings, 146623429 edges, 79854 markings/sec, 200 secs
lola: 15100534 markings, 149931731 edges, 74420 markings/sec, 205 secs
lola: 15425380 markings, 153145427 edges, 64969 markings/sec, 210 secs
lola: 15794588 markings, 156395255 edges, 73842 markings/sec, 215 secs
lola: 16117297 markings, 159622716 edges, 64542 markings/sec, 220 secs
lola: 16472548 markings, 162924091 edges, 71050 markings/sec, 225 secs
lola: 16799151 markings, 166188584 edges, 65321 markings/sec, 230 secs
lola: 17110492 markings, 169457115 edges, 62268 markings/sec, 235 secs
lola: 17410859 markings, 172743204 edges, 60073 markings/sec, 240 secs
lola: 17725954 markings, 175878875 edges, 63019 markings/sec, 245 secs
lola: 18096591 markings, 179323217 edges, 74127 markings/sec, 250 secs
lola: 18451000 markings, 182749713 edges, 70882 markings/sec, 255 secs
lola: 18796062 markings, 186183258 edges, 69012 markings/sec, 260 secs
lola: 19136634 markings, 189635470 edges, 68114 markings/sec, 265 secs
lola: 19454806 markings, 193059738 edges, 63634 markings/sec, 270 secs
lola: 19756239 markings, 196353455 edges, 60287 markings/sec, 275 secs
lola: 20103463 markings, 199748779 edges, 69445 markings/sec, 280 secs
lola: 20442961 markings, 203183740 edges, 67900 markings/sec, 285 secs
lola: 20777006 markings, 206659239 edges, 66809 markings/sec, 290 secs
lola: 21067015 markings, 210016955 edges, 58002 markings/sec, 295 secs
lola: 21406418 markings, 213454302 edges, 67881 markings/sec, 300 secs
lola: 21736497 markings, 216909448 edges, 66016 markings/sec, 305 secs
lola: 22022855 markings, 220250128 edges, 57272 markings/sec, 310 secs
lola: 22347213 markings, 223617019 edges, 64872 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 1890064 KB
lola: time consumption: 326 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (A (X ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)))
lola: processed formula length: 362
lola: 36 rewrites
lola: closed formula file CTLCardinality.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: Planning: workflow for reachability check: stateequation (--findpath=off)
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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: formula 0: (p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 5 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (X ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(AX((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 +... (shortened)
lola: processed formula length: 659
lola: 37 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 668406 markings, 1346355 edges, 133681 markings/sec, 0 secs
lola: 1292844 markings, 2672717 edges, 124888 markings/sec, 5 secs
lola: 1915796 markings, 4027824 edges, 124590 markings/sec, 10 secs
lola: 2554161 markings, 5330993 edges, 127673 markings/sec, 15 secs
lola: 3166462 markings, 6691506 edges, 122460 markings/sec, 20 secs
lola: 3764850 markings, 8033344 edges, 119678 markings/sec, 25 secs
lola: 4349247 markings, 9395826 edges, 116879 markings/sec, 30 secs
lola: 4927571 markings, 10787035 edges, 115665 markings/sec, 35 secs
lola: 5497396 markings, 12199161 edges, 113965 markings/sec, 40 secs
lola: 6067483 markings, 13638140 edges, 114017 markings/sec, 45 secs
lola: 6625848 markings, 15069586 edges, 111673 markings/sec, 50 secs
lola: 7179172 markings, 16520210 edges, 110665 markings/sec, 55 secs
lola: 7716482 markings, 17996853 edges, 107462 markings/sec, 60 secs
lola: 8243704 markings, 19515619 edges, 105444 markings/sec, 65 secs
lola: 8753533 markings, 21064483 edges, 101966 markings/sec, 70 secs
lola: 9265693 markings, 22630424 edges, 102432 markings/sec, 75 secs
lola: 9757886 markings, 24219871 edges, 98439 markings/sec, 80 secs
lola: 10237449 markings, 25845295 edges, 95913 markings/sec, 85 secs
lola: 10701930 markings, 27534427 edges, 92896 markings/sec, 90 secs
lola: 11142033 markings, 29299842 edges, 88021 markings/sec, 95 secs
lola: 11574341 markings, 31082351 edges, 86462 markings/sec, 100 secs
lola: 11989209 markings, 32989178 edges, 82974 markings/sec, 105 secs
lola: 12374483 markings, 34958710 edges, 77055 markings/sec, 110 secs
lola: 12720738 markings, 37035179 edges, 69251 markings/sec, 115 secs
lola: 13032357 markings, 39119540 edges, 62324 markings/sec, 120 secs
lola: 13294539 markings, 41352541 edges, 52436 markings/sec, 125 secs
lola: 13858895 markings, 42783296 edges, 112871 markings/sec, 130 secs
lola: 14501669 markings, 44019254 edges, 128555 markings/sec, 135 secs
lola: 15128849 markings, 45289705 edges, 125436 markings/sec, 140 secs
lola: 15751605 markings, 46619400 edges, 124551 markings/sec, 145 secs
lola: 16367266 markings, 47974712 edges, 123132 markings/sec, 150 secs
lola: 16992710 markings, 49219336 edges, 125089 markings/sec, 155 secs
lola: 17612700 markings, 50494755 edges, 123998 markings/sec, 160 secs
lola: 18227056 markings, 51863371 edges, 122871 markings/sec, 165 secs
lola: 18853851 markings, 53177154 edges, 125359 markings/sec, 170 secs
lola: 19481926 markings, 54478777 edges, 125615 markings/sec, 175 secs
lola: 20096766 markings, 55860836 edges, 122968 markings/sec, 180 secs
lola: 20718601 markings, 57187596 edges, 124367 markings/sec, 185 secs
lola: 21348277 markings, 58528392 edges, 125935 markings/sec, 190 secs
lola: 21958946 markings, 59908877 edges, 122134 markings/sec, 195 secs
lola: 22582213 markings, 61264623 edges, 124653 markings/sec, 200 secs
lola: 23195709 markings, 62659317 edges, 122699 markings/sec, 205 secs
lola: 23803883 markings, 64075732 edges, 121635 markings/sec, 210 secs
lola: 24413320 markings, 65479473 edges, 121887 markings/sec, 215 secs
lola: 25014578 markings, 66923823 edges, 120252 markings/sec, 220 secs
lola: 25614696 markings, 68370645 edges, 120024 markings/sec, 225 secs
lola: 26187935 markings, 69896711 edges, 114648 markings/sec, 230 secs
lola: 26730438 markings, 71391778 edges, 108501 markings/sec, 235 secs
lola: 27341232 markings, 72596276 edges, 122159 markings/sec, 240 secs
lola: 27930699 markings, 73867466 edges, 117893 markings/sec, 245 secs
lola: 28505718 markings, 75142663 edges, 115004 markings/sec, 250 secs
lola: 29071818 markings, 76444510 edges, 113220 markings/sec, 255 secs
lola: 29642423 markings, 77728036 edges, 114121 markings/sec, 260 secs
lola: 30198809 markings, 79024794 edges, 111277 markings/sec, 265 secs
lola: 30754796 markings, 80326262 edges, 111197 markings/sec, 270 secs
lola: 31293277 markings, 81655555 edges, 107696 markings/sec, 275 secs
lola: 31816443 markings, 82997410 edges, 104633 markings/sec, 280 secs
lola: 32328630 markings, 84347853 edges, 102437 markings/sec, 285 secs
lola: 32827041 markings, 85704435 edges, 99682 markings/sec, 290 secs
lola: 33323110 markings, 87055144 edges, 99214 markings/sec, 295 secs
lola: 33808584 markings, 88428163 edges, 97095 markings/sec, 300 secs
lola: 34275822 markings, 89825133 edges, 93448 markings/sec, 305 secs
lola: 34734860 markings, 91249265 edges, 91808 markings/sec, 310 secs
lola: 35183339 markings, 92692169 edges, 89696 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 9664456 KB
lola: time consumption: 651 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 9664456 KB
lola: time consumption: 651 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (X ((p0 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99))) OR (p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG((EX((p0 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)) OR (p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p6... (shortened)
lola: processed formula length: 975
lola: 37 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 481478 markings, 3748908 edges, 96296 markings/sec, 0 secs
lola: 904492 markings, 7333146 edges, 84603 markings/sec, 5 secs
lola: 1309773 markings, 10923194 edges, 81056 markings/sec, 10 secs
lola: 1687116 markings, 14493677 edges, 75469 markings/sec, 15 secs
lola: 2099624 markings, 17997365 edges, 82502 markings/sec, 20 secs
lola: 2480089 markings, 21506936 edges, 76093 markings/sec, 25 secs
lola: 2850655 markings, 24995665 edges, 74113 markings/sec, 30 secs
lola: 3225691 markings, 28501021 edges, 75007 markings/sec, 35 secs
lola: 3587858 markings, 31980742 edges, 72433 markings/sec, 40 secs
lola: 3938455 markings, 35485558 edges, 70119 markings/sec, 45 secs
lola: 4287972 markings, 39032944 edges, 69903 markings/sec, 50 secs
lola: 4614581 markings, 42589700 edges, 65322 markings/sec, 55 secs
lola: 4962082 markings, 46010335 edges, 69500 markings/sec, 60 secs
lola: 5351134 markings, 49400386 edges, 77810 markings/sec, 65 secs
lola: 5717521 markings, 52817182 edges, 73277 markings/sec, 70 secs
lola: 6077754 markings, 56201528 edges, 72047 markings/sec, 75 secs
lola: 6444994 markings, 59615859 edges, 73448 markings/sec, 80 secs
lola: 6795968 markings, 62993162 edges, 70195 markings/sec, 85 secs
lola: 7131077 markings, 66355460 edges, 67022 markings/sec, 90 secs
lola: 7468520 markings, 69775498 edges, 67489 markings/sec, 95 secs
lola: 7780268 markings, 73157854 edges, 62350 markings/sec, 100 secs
lola: 8101252 markings, 76512974 edges, 64197 markings/sec, 105 secs
lola: 8469496 markings, 79896995 edges, 73649 markings/sec, 110 secs
lola: 8816718 markings, 83270607 edges, 69444 markings/sec, 115 secs
lola: 9152573 markings, 86643404 edges, 67171 markings/sec, 120 secs
lola: 9496187 markings, 90049514 edges, 68723 markings/sec, 125 secs
lola: 9818664 markings, 93466150 edges, 64495 markings/sec, 130 secs
lola: 10107913 markings, 96796811 edges, 57850 markings/sec, 135 secs
lola: 10471031 markings, 100196754 edges, 72624 markings/sec, 140 secs
lola: 10810479 markings, 103597629 edges, 67890 markings/sec, 145 secs
lola: 11136179 markings, 107011976 edges, 65140 markings/sec, 150 secs
lola: 11439044 markings, 110395845 edges, 60573 markings/sec, 155 secs
lola: 11764230 markings, 113771608 edges, 65037 markings/sec, 160 secs
lola: 12089724 markings, 117183890 edges, 65099 markings/sec, 165 secs
lola: 12389240 markings, 120536465 edges, 59903 markings/sec, 170 secs
lola: 12703695 markings, 123942937 edges, 62891 markings/sec, 175 secs
lola: 13007073 markings, 127329265 edges, 60676 markings/sec, 180 secs
lola: 13311472 markings, 130748719 edges, 60880 markings/sec, 185 secs
lola: 13604095 markings, 134172165 edges, 58525 markings/sec, 190 secs
lola: 13892873 markings, 137587094 edges, 57756 markings/sec, 195 secs
lola: 14143798 markings, 140694220 edges, 50185 markings/sec, 200 secs
lola: 14363157 markings, 143577895 edges, 43872 markings/sec, 205 secs
lola: 14760532 markings, 146875051 edges, 79475 markings/sec, 210 secs
lola: 15126123 markings, 150149646 edges, 73118 markings/sec, 215 secs
lola: 15461230 markings, 153422829 edges, 67021 markings/sec, 220 secs
lola: 15829213 markings, 156712906 edges, 73597 markings/sec, 225 secs
lola: 16157273 markings, 159959661 edges, 65612 markings/sec, 230 secs
lola: 16502108 markings, 163230714 edges, 68967 markings/sec, 235 secs
lola: 16826885 markings, 166476924 edges, 64955 markings/sec, 240 secs
lola: 17139613 markings, 169756811 edges, 62546 markings/sec, 245 secs
lola: 17434162 markings, 173007994 edges, 58910 markings/sec, 250 secs
lola: 17763678 markings, 176244151 edges, 65903 markings/sec, 255 secs
lola: 18117113 markings, 179530084 edges, 70687 markings/sec, 260 secs
lola: 18457261 markings, 182807644 edges, 68030 markings/sec, 265 secs
lola: 18787272 markings, 186097108 edges, 66002 markings/sec, 270 secs
lola: 19111547 markings, 189388032 edges, 64855 markings/sec, 275 secs
lola: 19420277 markings, 192680884 edges, 61746 markings/sec, 280 secs
lola: 19700386 markings, 195863113 edges, 56022 markings/sec, 285 secs
lola: 20049860 markings, 199178708 edges, 69895 markings/sec, 290 secs
lola: 20376224 markings, 202444090 edges, 65273 markings/sec, 295 secs
lola: 20693241 markings, 205766907 edges, 63403 markings/sec, 300 secs
lola: 20989247 markings, 209054830 edges, 59201 markings/sec, 305 secs
lola: 21301613 markings, 212329243 edges, 62473 markings/sec, 310 secs
lola: 21619473 markings, 215660841 edges, 63572 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 2944052 KB
lola: time consumption: 975 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X ((2 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(EX((2 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)))
lola: processed formula length: 303
lola: 37 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 52 markings, 51 edges
lola: ========================================
lola: subprocess 7 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p0 + 1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR (2 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p0 + 1 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) OR (2 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 +... (shortened)
lola: processed formula length: 622
lola: 35 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 2 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 432 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 ... (shortened)
lola: processed formula length: 1020
lola: 36 rewrites
lola: closed formula file CTLCardinality.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:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) AND (3 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 465 markings, 1323 edges
lola: state equation: write sara problem file to CTLCardinality-8-0.sara
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: lola: The Boolean predicate is true.
state equation: calling and running sara
lola: ========================================
lola: subprocess 8 will run for 432 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((3 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)))
lola: processed formula length: 313
lola: 36 rewrites
lola: closed formula file CTLCardinality.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:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (3 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
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: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 9 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p1... (shortened)
lola: processed formula length: 655
lola: 38 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
sara: try reading problem file CTLCardinality-8-0.sara.
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
sara: could not read problem information -- aborting [#01]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: formula 0: (p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: 27 markings, 26 edges
lola: formula 1: (p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 + 1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 10 will run for 648 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + 1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p1... (shortened)
lola: processed formula length: 641
lola: 38 rewrites
lola: closed formula file CTLCardinality.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: Planning: workflow for reachability check: stateequation (--findpath=off)
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:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: formula 0: (p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + 1 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: The predicate does not eventually occur.
lola: 52 markings, 51 edges
lola: ========================================
lola: subprocess 11 will run for 865 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (G ((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: A(EG((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p100 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 +... (shortened)
lola: processed formula length: 1257
lola: 38 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1551651 markings, 3302070 edges, 310330 markings/sec, 0 secs
lola: 2792732 markings, 6010288 edges, 248216 markings/sec, 5 secs
lola: 3998563 markings, 8833922 edges, 241166 markings/sec, 10 secs
lola: 5220249 markings, 11850515 edges, 244337 markings/sec, 15 secs
lola: 6334518 markings, 14911456 edges, 222854 markings/sec, 20 secs
lola: 7345699 markings, 17927790 edges, 202236 markings/sec, 25 secs
lola: 8249430 markings, 20975173 edges, 180746 markings/sec, 30 secs
lola: 9040022 markings, 23961005 edges, 158118 markings/sec, 35 secs
lola: 9740446 markings, 27137291 edges, 140085 markings/sec, 40 secs
lola: 10280620 markings, 30213681 edges, 108035 markings/sec, 45 secs
lola: 10664278 markings, 33214164 edges, 76732 markings/sec, 50 secs
lola: 11965230 markings, 36111853 edges, 260190 markings/sec, 55 secs
lola: 13333302 markings, 39041702 edges, 273614 markings/sec, 60 secs
lola: 14686101 markings, 41976116 edges, 270560 markings/sec, 65 secs
lola: 16048646 markings, 44925623 edges, 272509 markings/sec, 70 secs
lola: 17418501 markings, 47895759 edges, 273971 markings/sec, 75 secs
lola: 18730370 markings, 50899497 edges, 262374 markings/sec, 80 secs
lola: 19979994 markings, 53928421 edges, 249925 markings/sec, 85 secs
lola: 21170069 markings, 56940646 edges, 238015 markings/sec, 90 secs
lola: 22464032 markings, 59750821 edges, 258793 markings/sec, 95 secs
lola: 23667476 markings, 62520605 edges, 240689 markings/sec, 100 secs
lola: 24780624 markings, 65256137 edges, 222630 markings/sec, 105 secs
lola: 25797583 markings, 67940854 edges, 203392 markings/sec, 110 secs
lola: 26728038 markings, 70612700 edges, 186091 markings/sec, 115 secs
lola: 27584288 markings, 73287449 edges, 171250 markings/sec, 120 secs
lola: 28359524 markings, 75924993 edges, 155047 markings/sec, 125 secs
lola: 29035911 markings, 78538369 edges, 135277 markings/sec, 130 secs
lola: 29631880 markings, 81243388 edges, 119194 markings/sec, 135 secs
lola: 30126214 markings, 83906734 edges, 98867 markings/sec, 140 secs
lola: 30501284 markings, 86514075 edges, 75014 markings/sec, 145 secs
lola: 31175104 markings, 89061558 edges, 134764 markings/sec, 150 secs
lola: 32371537 markings, 91490090 edges, 239287 markings/sec, 155 secs
lola: 33549173 markings, 94054431 edges, 235527 markings/sec, 160 secs
lola: 34722425 markings, 96704194 edges, 234650 markings/sec, 165 secs
lola: 35912070 markings, 99414520 edges, 237929 markings/sec, 170 secs
lola: 37143928 markings, 102195982 edges, 246372 markings/sec, 175 secs
lola: 38344954 markings, 105008616 edges, 240205 markings/sec, 180 secs
lola: 39476371 markings, 107843190 edges, 226283 markings/sec, 185 secs
lola: 40507070 markings, 110747670 edges, 206140 markings/sec, 190 secs
lola: 41767341 markings, 113552015 edges, 252054 markings/sec, 195 secs
lola: 42946111 markings, 116297572 edges, 235754 markings/sec, 200 secs
lola: 44031205 markings, 118996889 edges, 217019 markings/sec, 205 secs
lola: 45026071 markings, 121640745 edges, 198973 markings/sec, 210 secs
lola: 45933261 markings, 124256888 edges, 181438 markings/sec, 215 secs
lola: 46756825 markings, 126857002 edges, 164713 markings/sec, 220 secs
lola: 47481900 markings, 129421605 edges, 145015 markings/sec, 225 secs
lola: 48112981 markings, 131964170 edges, 126216 markings/sec, 230 secs
lola: 48688483 markings, 134549810 edges, 115100 markings/sec, 235 secs
lola: 49107481 markings, 136840310 edges, 83800 markings/sec, 240 secs
lola: 49468534 markings, 139345803 edges, 72211 markings/sec, 245 secs
lola: 50027971 markings, 141813746 edges, 111887 markings/sec, 250 secs
lola: 51183006 markings, 144221878 edges, 231007 markings/sec, 255 secs
lola: 52243462 markings, 146596275 edges, 212091 markings/sec, 260 secs
lola: 53339792 markings, 149012442 edges, 219266 markings/sec, 265 secs
lola: 54488722 markings, 151646372 edges, 229786 markings/sec, 270 secs
lola: 55592527 markings, 154272980 edges, 220761 markings/sec, 275 secs
lola: 56658479 markings, 156932812 edges, 213190 markings/sec, 280 secs
lola: 57753117 markings, 159676369 edges, 218928 markings/sec, 285 secs
lola: 58774830 markings, 162464504 edges, 204343 markings/sec, 290 secs
lola: 59855400 markings, 165256016 edges, 216114 markings/sec, 295 secs
lola: 61019052 markings, 167973831 edges, 232730 markings/sec, 300 secs
lola: 62102055 markings, 170667314 edges, 216601 markings/sec, 305 secs
lola: 63098356 markings, 173324368 edges, 199260 markings/sec, 310 secs
lola: 64008697 markings, 175956012 edges, 182068 markings/sec, 315 secs
lola: 64831649 markings, 178566623 edges, 164590 markings/sec, 320 secs
lola: 65553432 markings, 181143694 edges, 144357 markings/sec, 325 secs
lola: 66206144 markings, 183749244 edges, 130542 markings/sec, 330 secs
lola: 66775810 markings, 186360188 edges, 113933 markings/sec, 335 secs
lola: 67234693 markings, 188965702 edges, 91777 markings/sec, 340 secs
lola: 67590973 markings, 191517059 edges, 71256 markings/sec, 345 secs
lola: 68368912 markings, 194051395 edges, 155588 markings/sec, 350 secs
lola: 69447373 markings, 196449334 edges, 215692 markings/sec, 355 secs
lola: 70514638 markings, 198859539 edges, 213453 markings/sec, 360 secs
lola: 71530324 markings, 201271177 edges, 203137 markings/sec, 365 secs
lola: 72597471 markings, 203720606 edges, 213429 markings/sec, 370 secs
lola: 73661572 markings, 206369139 edges, 212820 markings/sec, 375 secs
lola: 74741947 markings, 209110883 edges, 216075 markings/sec, 380 secs
lola: 75791002 markings, 211905403 edges, 209811 markings/sec, 385 secs
lola: 76667202 markings, 214494538 edges, 175240 markings/sec, 390 secs
lola: 77719365 markings, 217153220 edges, 210433 markings/sec, 395 secs
lola: 78819175 markings, 219827519 edges, 219962 markings/sec, 400 secs
lola: 79835235 markings, 222468671 edges, 203212 markings/sec, 405 secs
lola: 80763833 markings, 225072224 edges, 185720 markings/sec, 410 secs
lola: 81614995 markings, 227669153 edges, 170232 markings/sec, 415 secs
lola: 82354836 markings, 230171073 edges, 147968 markings/sec, 420 secs
lola: 82967527 markings, 232454352 edges, 122538 markings/sec, 425 secs
lola: 83576879 markings, 235043762 edges, 121870 markings/sec, 430 secs
lola: 84101473 markings, 237621381 edges, 104919 markings/sec, 435 secs
lola: 84512861 markings, 240176778 edges, 82278 markings/sec, 440 secs
lola: 84816274 markings, 242600963 edges, 60683 markings/sec, 445 secs
lola: 85821674 markings, 245041321 edges, 201080 markings/sec, 450 secs
lola: 86786560 markings, 247391887 edges, 192977 markings/sec, 455 secs
lola: 87875743 markings, 249833903 edges, 217837 markings/sec, 460 secs
lola: 88868241 markings, 252241447 edges, 198500 markings/sec, 465 secs
lola: 89855203 markings, 254686493 edges, 197392 markings/sec, 470 secs
lola: 90878819 markings, 257257485 edges, 204723 markings/sec, 475 secs
lola: 91906922 markings, 259993692 edges, 205621 markings/sec, 480 secs
lola: 92876992 markings, 262762001 edges, 194014 markings/sec, 485 secs
lola: 93766674 markings, 265602941 edges, 177936 markings/sec, 490 secs
lola: 94873941 markings, 268283632 edges, 221453 markings/sec, 495 secs
lola: 95886853 markings, 270902550 edges, 202582 markings/sec, 500 secs
lola: 96841406 markings, 273520065 edges, 190911 markings/sec, 505 secs
lola: 97701792 markings, 276091379 edges, 172077 markings/sec, 510 secs
lola: 98487825 markings, 278667569 edges, 157207 markings/sec, 515 secs
lola: 99181849 markings, 281223410 edges, 138805 markings/sec, 520 secs
lola: 99788519 markings, 283814324 edges, 121334 markings/sec, 525 secs
lola: 100317480 markings, 286374348 edges, 105792 markings/sec, 530 secs
lola: 100728638 markings, 288903421 edges, 82232 markings/sec, 535 secs
lola: 101045853 markings, 291390714 edges, 63443 markings/sec, 540 secs
lola: 102005009 markings, 293855128 edges, 191831 markings/sec, 545 secs
lola: 102945691 markings, 296217178 edges, 188136 markings/sec, 550 secs
lola: 103992194 markings, 298646056 edges, 209301 markings/sec, 555 secs
lola: 104785705 markings, 300682486 edges, 158702 markings/sec, 560 secs
lola: 105664325 markings, 302868137 edges, 175724 markings/sec, 565 secs
lola: 106534880 markings, 305078204 edges, 174111 markings/sec, 570 secs
lola: 107378960 markings, 307324467 edges, 168816 markings/sec, 575 secs
lola: 108226894 markings, 309744683 edges, 169587 markings/sec, 580 secs
lola: 109040376 markings, 312225490 edges, 162696 markings/sec, 585 secs
lola: 109818136 markings, 314740053 edges, 155552 markings/sec, 590 secs
lola: 110759476 markings, 317112185 edges, 188268 markings/sec, 595 secs
lola: 111640722 markings, 319422633 edges, 176249 markings/sec, 600 secs
lola: 112463600 markings, 321738302 edges, 164576 markings/sec, 605 secs
lola: 113214843 markings, 324041584 edges, 150249 markings/sec, 610 secs
lola: 113900646 markings, 326332150 edges, 137161 markings/sec, 615 secs
lola: 114513889 markings, 328592458 edges, 122649 markings/sec, 620 secs
lola: 115062308 markings, 330859357 edges, 109684 markings/sec, 625 secs
lola: 115548240 markings, 333166118 edges, 97186 markings/sec, 630 secs
lola: 115944015 markings, 335422062 edges, 79155 markings/sec, 635 secs
lola: 116265593 markings, 337636239 edges, 64316 markings/sec, 640 secs
lola: 116660754 markings, 339821687 edges, 79032 markings/sec, 645 secs
lola: 117575350 markings, 341933194 edges, 182919 markings/sec, 650 secs
lola: 118318547 markings, 343963545 edges, 148639 markings/sec, 655 secs
lola: 119243802 markings, 346111812 edges, 185051 markings/sec, 660 secs
lola: 120034674 markings, 348223996 edges, 158174 markings/sec, 665 secs
lola: 120888056 markings, 350424552 edges, 170676 markings/sec, 670 secs
lola: 121735865 markings, 352651860 edges, 169562 markings/sec, 675 secs
lola: 122550081 markings, 354901793 edges, 162843 markings/sec, 680 secs
lola: 123355139 markings, 357231346 edges, 161012 markings/sec, 685 secs
lola: 124205118 markings, 359943795 edges, 169996 markings/sec, 690 secs
lola: 125047401 markings, 362632351 edges, 168457 markings/sec, 695 secs
lola: 126021001 markings, 365184061 edges, 194720 markings/sec, 700 secs
lola: 126914491 markings, 367699535 edges, 178698 markings/sec, 705 secs
lola: 127726847 markings, 370182217 edges, 162471 markings/sec, 710 secs
lola: 128464647 markings, 372656321 edges, 147560 markings/sec, 715 secs
lola: 129029611 markings, 374738731 edges, 112993 markings/sec, 720 secs
lola: 129617750 markings, 377178783 edges, 117628 markings/sec, 725 secs
lola: 130134657 markings, 379691994 edges, 103381 markings/sec, 730 secs
lola: 130534822 markings, 381977931 edges, 80033 markings/sec, 735 secs
lola: 130854324 markings, 384290249 edges, 63900 markings/sec, 740 secs
lola: 131465872 markings, 386674824 edges, 122310 markings/sec, 745 secs
lola: 132397354 markings, 388981701 edges, 186296 markings/sec, 750 secs
lola: 133269291 markings, 391290568 edges, 174387 markings/sec, 755 secs
lola: 134129153 markings, 393596893 edges, 171972 markings/sec, 760 secs
lola: 135038357 markings, 395961656 edges, 181841 markings/sec, 765 secs
lola: 135905756 markings, 398344229 edges, 173480 markings/sec, 770 secs
lola: 136755868 markings, 400770667 edges, 170022 markings/sec, 775 secs
lola: 137574414 markings, 403237194 edges, 163709 markings/sec, 780 secs
lola: 138374055 markings, 405839650 edges, 159928 markings/sec, 785 secs
lola: 139124541 markings, 408485553 edges, 150097 markings/sec, 790 secs
lola: 140057176 markings, 410990617 edges, 186527 markings/sec, 795 secs
lola: 140908988 markings, 413452476 edges, 170362 markings/sec, 800 secs
lola: 141689854 markings, 415904284 edges, 156173 markings/sec, 805 secs
lola: 142398482 markings, 418344858 edges, 141726 markings/sec, 810 secs
lola: 143022096 markings, 420751635 edges, 124723 markings/sec, 815 secs
lola: 143573423 markings, 423194068 edges, 110265 markings/sec, 820 secs
lola: 144042141 markings, 425649516 edges, 93744 markings/sec, 825 secs
lola: 144419505 markings, 428044996 edges, 75473 markings/sec, 830 secs
lola: 144694149 markings, 430414895 edges, 54929 markings/sec, 835 secs
lola: 145646052 markings, 432763483 edges, 190381 markings/sec, 840 secs
lola: 146410863 markings, 435007057 edges, 152962 markings/sec, 845 secs
lola: 147356562 markings, 437368695 edges, 189140 markings/sec, 850 secs
lola: 148179752 markings, 439695390 edges, 164638 markings/sec, 855 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no yes yes unknown yes yes unknown unknown unknown unknown no yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown no yes yes unknown yes yes unknown unknown unknown unknown no yes
lola: memory consumption: 11948728 KB
lola: time consumption: 1840 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 864 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p0))) U (3 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E (((((p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= p0))) U (3 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + ... (shortened)
lola: processed formula length: 604
lola: 38 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (3 <= p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: sara is running 0 secs || 346845 markings, 3119957 edges, 69369 markings/sec, 0 secs
lola: sara is running 5 secs || 646787 markings, 6126416 edges, 59988 markings/sec, 5 secs
lola: sara is running 10 secs || 931872 markings, 9118713 edges, 57017 markings/sec, 10 secs
lola: sara is running 15 secs || 1212338 markings, 12040726 edges, 56093 markings/sec, 15 secs
lola: sara is running 20 secs || 1483474 markings, 14920103 edges, 54227 markings/sec, 20 secs
lola: sara is running 25 secs || 1747001 markings, 17818840 edges, 52705 markings/sec, 25 secs
lola: sara is running 30 secs || 1998494 markings, 20752824 edges, 50299 markings/sec, 30 secs
lola: sara is running 35 secs || 2266091 markings, 23622057 edges, 53519 markings/sec, 35 secs
lola: sara is running 40 secs || 2531983 markings, 26453773 edges, 53178 markings/sec, 40 secs
lola: sara is running 45 secs || 2769600 markings, 29070933 edges, 47523 markings/sec, 45 secs
lola: sara is running 50 secs || 3008705 markings, 31832909 edges, 47821 markings/sec, 50 secs
lola: sara is running 55 secs || 3247790 markings, 34590420 edges, 47817 markings/sec, 55 secs
lola: sara is running 60 secs || 3490762 markings, 37348357 edges, 48594 markings/sec, 60 secs
lola: sara is running 65 secs || 3722473 markings, 40142960 edges, 46342 markings/sec, 65 secs
lola: sara is running 70 secs || 3953574 markings, 42964503 edges, 46220 markings/sec, 70 secs
lola: sara is running 75 secs || 4172662 markings, 45812187 edges, 43818 markings/sec, 75 secs
lola: sara is running 80 secs || 4432464 markings, 48473254 edges, 51960 markings/sec, 80 secs
lola: sara is running 85 secs || 4676495 markings, 51115100 edges, 48806 markings/sec, 85 secs
lola: sara is running 90 secs || 4918278 markings, 53768893 edges, 48357 markings/sec, 90 secs
lola: sara is running 95 secs || 5147851 markings, 56444694 edges, 45915 markings/sec, 95 secs
lola: sara is running 100 secs || 5380220 markings, 59105006 edges, 46474 markings/sec, 100 secs
lola: sara is running 105 secs || 5613404 markings, 61768148 edges, 46637 markings/sec, 105 secs
lola: sara is running 110 secs || 5836171 markings, 64455252 edges, 44553 markings/sec, 110 secs
lola: sara is running 115 secs || 6058208 markings, 67172368 edges, 44407 markings/sec, 115 secs
lola: sara is running 120 secs || 6267827 markings, 69901796 edges, 41924 markings/sec, 120 secs
lola: sara is running 125 secs || 6508105 markings, 72571079 edges, 48056 markings/sec, 125 secs
lola: sara is running 130 secs || 6735914 markings, 75242620 edges, 45562 markings/sec, 130 secs
lola: sara is running 135 secs || 6958751 markings, 77917381 edges, 44567 markings/sec, 135 secs
lola: sara is running 140 secs || 7175892 markings, 80620400 edges, 43428 markings/sec, 140 secs
lola: sara is running 145 secs || 7385220 markings, 83313578 edges, 41866 markings/sec, 145 secs
lola: sara is running 150 secs || 7604155 markings, 86001511 edges, 43787 markings/sec, 150 secs
lola: sara is running 155 secs || 7818209 markings, 88724603 edges, 42811 markings/sec, 155 secs
lola: sara is running 160 secs || 8030498 markings, 91465527 edges, 42458 markings/sec, 160 secs
lola: sara is running 165 secs || 8234744 markings, 94227139 edges, 40849 markings/sec, 165 secs
lola: sara is running 170 secs || 8443206 markings, 96943689 edges, 41692 markings/sec, 170 secs
lola: sara is running 175 secs || 8692113 markings, 99482539 edges, 49781 markings/sec, 175 secs
lola: sara is running 180 secs || 8916640 markings, 102002991 edges, 44905 markings/sec, 180 secs
lola: sara is running 185 secs || 9149806 markings, 104532927 edges, 46633 markings/sec, 185 secs
lola: sara is running 190 secs || 9367063 markings, 107086477 edges, 43451 markings/sec, 190 secs
lola: sara is running 195 secs || 9593276 markings, 109633233 edges, 45243 markings/sec, 195 secs
lola: sara is running 200 secs || 9812803 markings, 112163799 edges, 43905 markings/sec, 200 secs
lola: sara is running 205 secs || 10026103 markings, 114740272 edges, 42660 markings/sec, 205 secs
lola: sara is running 210 secs || 10238564 markings, 117339649 edges, 42492 markings/sec, 210 secs
lola: sara is running 215 secs || 10442150 markings, 119953463 edges, 40717 markings/sec, 215 secs
lola: sara is running 220 secs || 10668991 markings, 122518320 edges, 45368 markings/sec, 220 secs
lola: sara is running 225 secs || 10889601 markings, 125088227 edges, 44122 markings/sec, 225 secs
lola: sara is running 230 secs || 11103911 markings, 127654828 edges, 42862 markings/sec, 230 secs
lola: sara is running 235 secs || 11313716 markings, 130237905 edges, 41961 markings/sec, 235 secs
lola: sara is running 240 secs || 11510925 markings, 132819300 edges, 39442 markings/sec, 240 secs
lola: sara is running 245 secs || 11726355 markings, 135397978 edges, 43086 markings/sec, 245 secs
lola: sara is running 250 secs || 11929327 markings, 137971127 edges, 40594 markings/sec, 250 secs
lola: sara is running 255 secs || 12131545 markings, 140592249 edges, 40444 markings/sec, 255 secs
lola: sara is running 260 secs || 12329107 markings, 143225923 edges, 39512 markings/sec, 260 secs
lola: sara is running 265 secs || 12521391 markings, 145869126 edges, 38457 markings/sec, 265 secs
lola: sara is running 270 secs || 12741536 markings, 148457929 edges, 44029 markings/sec, 270 secs
lola: sara is running 275 secs || 12965206 markings, 151043738 edges, 44734 markings/sec, 275 secs
lola: sara is running 280 secs || 13180734 markings, 153633893 edges, 43106 markings/sec, 280 secs
lola: sara is running 285 secs || 13392288 markings, 156228818 edges, 42311 markings/sec, 285 secs
lola: sara is running 290 secs || 13593878 markings, 158835089 edges, 40318 markings/sec, 290 secs
lola: sara is running 295 secs || 13809435 markings, 161433039 edges, 43111 markings/sec, 295 secs
lola: sara is running 300 secs || 14014506 markings, 164019356 edges, 41014 markings/sec, 300 secs
lola: sara is running 305 secs || 14215842 markings, 166646646 edges, 40267 markings/sec, 305 secs
lola: sara is running 310 secs || 14414633 markings, 169290927 edges, 39758 markings/sec, 310 secs
lola: sara is running 315 secs || 14609807 markings, 171955673 edges, 39035 markings/sec, 315 secs
lola: sara is running 320 secs || 14815445 markings, 174564896 edges, 41128 markings/sec, 320 secs
lola: sara is running 325 secs || 15027867 markings, 177187606 edges, 42484 markings/sec, 325 secs
lola: sara is running 330 secs || 15225343 markings, 179798902 edges, 39495 markings/sec, 330 secs
lola: sara is running 335 secs || 15426876 markings, 182399620 edges, 40307 markings/sec, 335 secs
lola: sara is running 340 secs || 15619033 markings, 185024511 edges, 38431 markings/sec, 340 secs
lola: sara is running 345 secs || 15812352 markings, 187649393 edges, 38664 markings/sec, 345 secs
lola: sara is running 350 secs || 16008676 markings, 190267407 edges, 39265 markings/sec, 350 secs
lola: sara is running 355 secs || 16200185 markings, 192915676 edges, 38302 markings/sec, 355 secs
lola: sara is running 360 secs || 16391937 markings, 195592018 edges, 38350 markings/sec, 360 secs
lola: sara is running 365 secs || 16578908 markings, 198282936 edges, 37394 markings/sec, 365 secs
lola: sara is running 370 secs || 16755985 markings, 200964933 edges, 35415 markings/sec, 370 secs
lola: sara is running 375 secs || 16995132 markings, 203439623 edges, 47829 markings/sec, 375 secs
lola: sara is running 380 secs || 17223591 markings, 205892004 edges, 45692 markings/sec, 380 secs
lola: sara is running 385 secs || 17444683 markings, 208324044 edges, 44218 markings/sec, 385 secs
lola: sara is running 390 secs || 17659317 markings, 210776916 edges, 42927 markings/sec, 390 secs
lola: sara is running 395 secs || 17862932 markings, 213211016 edges, 40723 markings/sec, 395 secs
lola: sara is running 400 secs || 18079116 markings, 215624368 edges, 43237 markings/sec, 400 secs
lola: sara is running 405 secs || 18287597 markings, 218070386 edges, 41696 markings/sec, 405 secs
lola: sara is running 410 secs || 18494774 markings, 220542966 edges, 41435 markings/sec, 410 secs
lola: sara is running 415 secs || 18695236 markings, 223030639 edges, 40092 markings/sec, 415 secs
lola: sara is running 420 secs || 18880191 markings, 225490500 edges, 36991 markings/sec, 420 secs
lola: sara is running 425 secs || 19105695 markings, 227937721 edges, 45101 markings/sec, 425 secs
lola: sara is running 430 secs || 19296884 markings, 230165170 edges, 38238 markings/sec, 430 secs
lola: sara is running 435 secs || 19499876 markings, 232601346 edges, 40598 markings/sec, 435 secs
lola: sara is running 440 secs || 19697271 markings, 235035351 edges, 39479 markings/sec, 440 secs
lola: sara is running 445 secs || 19884521 markings, 237466595 edges, 37450 markings/sec, 445 secs
lola: sara is running 450 secs || 20086379 markings, 239904490 edges, 40372 markings/sec, 450 secs
lola: sara is running 455 secs || 20282252 markings, 242350896 edges, 39175 markings/sec, 455 secs
lola: sara is running 460 secs || 20469505 markings, 244825464 edges, 37451 markings/sec, 460 secs
lola: sara is running 465 secs || 20663628 markings, 247326547 edges, 38825 markings/sec, 465 secs
lola: sara is running 470 secs || 20846067 markings, 249824923 edges, 36488 markings/sec, 470 secs
lola: sara is running 475 secs || 21035559 markings, 252293981 edges, 37898 markings/sec, 475 secs
lola: sara is running 480 secs || 21257927 markings, 254787219 edges, 44474 markings/sec, 480 secs
lola: sara is running 485 secs || 21464613 markings, 257262419 edges, 41337 markings/sec, 485 secs
lola: sara is running 490 secs || 21673128 markings, 259728957 edges, 41703 markings/sec, 490 secs
lola: sara is running 495 secs || 21870192 markings, 262206267 edges, 39413 markings/sec, 495 secs
lola: sara is running 500 secs || 22060919 markings, 264668972 edges, 38145 markings/sec, 500 secs
lola: sara is running 505 secs || 22264343 markings, 267134612 edges, 40685 markings/sec, 505 secs
lola: sara is running 510 secs || 22461370 markings, 269630951 edges, 39405 markings/sec, 510 secs
lola: sara is running 515 secs || 22654937 markings, 272145330 edges, 38713 markings/sec, 515 secs
lola: sara is running 520 secs || 22844668 markings, 274676288 edges, 37946 markings/sec, 520 secs
lola: sara is running 525 secs || 23025606 markings, 277204549 edges, 36188 markings/sec, 525 secs
lola: sara is running 530 secs || 23227519 markings, 279691325 edges, 40383 markings/sec, 530 secs
lola: sara is running 535 secs || 23428610 markings, 282206024 edges, 40218 markings/sec, 535 secs
lola: sara is running 540 secs || 23618776 markings, 284713912 edges, 38033 markings/sec, 540 secs
lola: sara is running 545 secs || 23810700 markings, 287190617 edges, 38385 markings/sec, 545 secs
lola: sara is running 550 secs || 23993332 markings, 289691012 edges, 36526 markings/sec, 550 secs
lola: sara is running 555 secs || 24175695 markings, 292192788 edges, 36473 markings/sec, 555 secs
lola: sara is running 560 secs || 24365625 markings, 294701161 edges, 37986 markings/sec, 560 secs
lola: sara is running 565 secs || 24551657 markings, 297236826 edges, 37206 markings/sec, 565 secs
lola: sara is running 570 secs || 24734183 markings, 299791309 edges, 36505 markings/sec, 570 secs
lola: sara is running 575 secs || 24911565 markings, 302349389 edges, 35476 markings/sec, 575 secs
lola: sara is running 580 secs || 25087510 markings, 304926348 edges, 35189 markings/sec, 580 secs
lola: sara is running 585 secs || 25285630 markings, 307419718 edges, 39624 markings/sec, 585 secs
lola: sara is running 590 secs || 25505977 markings, 309921216 edges, 44069 markings/sec, 590 secs
lola: sara is running 595 secs || 25709646 markings, 312407458 edges, 40734 markings/sec, 595 secs
lola: sara is running 600 secs || 25916171 markings, 314868972 edges, 41305 markings/sec, 600 secs
lola: sara is running 605 secs || 26112077 markings, 317350403 edges, 39181 markings/sec, 605 secs
lola: sara is running 610 secs || 26311582 markings, 319848633 edges, 39901 markings/sec, 610 secs
lola: sara is running 615 secs || 26514103 markings, 322341697 edges, 40504 markings/sec, 615 secs
lola: sara is running 620 secs || 26706338 markings, 324849918 edges, 38447 markings/sec, 620 secs
lola: sara is running 625 secs || 26905470 markings, 327402389 edges, 39826 markings/sec, 625 secs
lola: sara is running 630 secs || 27094534 markings, 329953151 edges, 37813 markings/sec, 630 secs
lola: sara is running 635 secs || 27270650 markings, 332470059 edges, 35223 markings/sec, 635 secs
lola: sara is running 640 secs || 27483636 markings, 334983292 edges, 42597 markings/sec, 640 secs
lola: sara is running 645 secs || 27682210 markings, 337498750 edges, 39715 markings/sec, 645 secs
lola: sara is running 650 secs || 27875052 markings, 340005691 edges, 38568 markings/sec, 650 secs
lola: sara is running 655 secs || 28062454 markings, 342511860 edges, 37480 markings/sec, 655 secs
lola: sara is running 660 secs || 28244881 markings, 345027189 edges, 36485 markings/sec, 660 secs
lola: sara is running 665 secs || 28435508 markings, 347563276 edges, 38125 markings/sec, 665 secs
lola: sara is running 670 secs || 28625458 markings, 350092792 edges, 37990 markings/sec, 670 secs
lola: sara is running 675 secs || 28805160 markings, 352627854 edges, 35940 markings/sec, 675 secs
lola: sara is running 680 secs || 28992069 markings, 355207906 edges, 37382 markings/sec, 680 secs
lola: sara is running 685 secs || 29170327 markings, 357784941 edges, 35652 markings/sec, 685 secs
lola: sara is running 690 secs || 29338467 markings, 360341382 edges, 33628 markings/sec, 690 secs
lola: sara is running 695 secs || 29546524 markings, 362865628 edges, 41611 markings/sec, 695 secs
lola: sara is running 700 secs || 29747053 markings, 365400422 edges, 40106 markings/sec, 700 secs
lola: sara is running 705 secs || 29941397 markings, 367933756 edges, 38869 markings/sec, 705 secs
lola: sara is running 710 secs || 30131445 markings, 370441927 edges, 38010 markings/sec, 710 secs
lola: sara is running 715 secs || 30317524 markings, 372977525 edges, 37216 markings/sec, 715 secs
lola: sara is running 720 secs || 30505796 markings, 375518997 edges, 37654 markings/sec, 720 secs
lola: sara is running 725 secs || 30694916 markings, 378040696 edges, 37824 markings/sec, 725 secs
lola: sara is running 730 secs || 30878317 markings, 380582679 edges, 36680 markings/sec, 730 secs
lola: sara is running 735 secs || 31061615 markings, 383148009 edges, 36660 markings/sec, 735 secs
lola: sara is running 740 secs || 31242415 markings, 385731522 edges, 36160 markings/sec, 740 secs
lola: sara is running 745 secs || 31413866 markings, 388304804 edges, 34290 markings/sec, 745 secs
lola: sara is running 750 secs || 31603620 markings, 390840611 edges, 37951 markings/sec, 750 secs
lola: sara is running 755 secs || 31795405 markings, 393411576 edges, 38357 markings/sec, 755 secs
lola: sara is running 760 secs || 31973265 markings, 395961849 edges, 35572 markings/sec, 760 secs
lola: sara is running 765 secs || 32158771 markings, 398493987 edges, 37101 markings/sec, 765 secs
lola: sara is running 770 secs || 32335460 markings, 401058049 edges, 35338 markings/sec, 770 secs
lola: sara is running 775 secs || 32500674 markings, 403607920 edges, 33043 markings/sec, 775 secs
lola: sara is running 780 secs || 32690716 markings, 406207230 edges, 38008 markings/sec, 780 secs
lola: sara is running 785 secs || 32867416 markings, 408778450 edges, 35340 markings/sec, 785 secs
lola: sara is running 790 secs || 33035394 markings, 411366521 edges, 33596 markings/sec, 790 secs
lola: sara is running 795 secs || 33215713 markings, 414005092 edges, 36064 markings/sec, 795 secs
lola: sara is running 800 secs || 33372976 markings, 416443460 edges, 31453 markings/sec, 800 secs
lola: sara is running 805 secs || 33528556 markings, 418968228 edges, 31116 markings/sec, 805 secs
lola: sara is running 810 secs || 33753875 markings, 421354861 edges, 45064 markings/sec, 810 secs
lola: sara is running 815 secs || 33953698 markings, 423482961 edges, 39965 markings/sec, 815 secs
lola: sara is running 820 secs || 34167186 markings, 425820826 edges, 42698 markings/sec, 820 secs
lola: sara is running 825 secs || 34373219 markings, 428156989 edges, 41207 markings/sec, 825 secs
lola: sara is running 830 secs || 34568590 markings, 430497491 edges, 39074 markings/sec, 830 secs
lola: sara is running 835 secs || 34781717 markings, 432845426 edges, 42625 markings/sec, 835 secs
lola: sara is running 840 secs || 34982626 markings, 435174380 edges, 40182 markings/sec, 840 secs
lola: sara is running 845 secs || 35179424 markings, 437549512 edges, 39360 markings/sec, 845 secs
lola: sara is running 850 secs || 35375646 markings, 439942398 edges, 39244 markings/sec, 850 secs
lola: sara is running 855 secs || 35565303 markings, 442338984 edges, 37931 markings/sec, 855 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no yes yes unknown yes yes unknown unknown unknown unknown no yes
lola: memory consumption: 1828004 KB
lola: time consumption: 2705 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 865 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: (p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= 2)
lola: processed formula length: 354
lola: 38 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
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: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 52 markings, 51 edges
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: lola: ========================================
lola: ...considering subproblem: E (X ((E (G ((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150))) AND ((p1 + p2 + p3 + p4 + p5 +... (shortened)
lola: ========================================
lola: formula 1: (p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 <= 2)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulasSUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: ========================================
lola: processed formula: EX((EG((1 <= p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)) AND ((p1 + p2 + p3 + p4 + p5 + p6 + p... (shortened)
lola: processed formula length: 967
lola: 37 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 467083 markings, 3619113 edges, 93417 markings/sec, 0 secs
lola: 910216 markings, 7378935 edges, 88627 markings/sec, 5 secs
lola: 1332173 markings, 11123880 edges, 84391 markings/sec, 10 secs
lola: 1727840 markings, 14826939 edges, 79133 markings/sec, 15 secs
lola: 2153819 markings, 18496027 edges, 85196 markings/sec, 20 secs
lola: 2543910 markings, 22141826 edges, 78018 markings/sec, 25 secs
lola: 2936097 markings, 25771669 edges, 78437 markings/sec, 30 secs
lola: 3316424 markings, 29420943 edges, 76065 markings/sec, 35 secs
lola: 3703265 markings, 33113069 edges, 77368 markings/sec, 40 secs
lola: 4064726 markings, 36729663 edges, 72292 markings/sec, 45 secs
lola: 4417009 markings, 40415503 edges, 70457 markings/sec, 50 secs
lola: 4737332 markings, 44033746 edges, 64065 markings/sec, 55 secs
lola: 5134094 markings, 47552843 edges, 79352 markings/sec, 60 secs
lola: 5532213 markings, 51065895 edges, 79624 markings/sec, 65 secs
lola: 5899452 markings, 54608995 edges, 73448 markings/sec, 70 secs
lola: 6293550 markings, 58139116 edges, 78820 markings/sec, 75 secs
lola: 6651961 markings, 61643510 edges, 71682 markings/sec, 80 secs
lola: 7003366 markings, 65098584 edges, 70281 markings/sec, 85 secs
lola: 7348042 markings, 68586246 edges, 68935 markings/sec, 90 secs
lola: 7683469 markings, 72091231 edges, 67085 markings/sec, 95 secs
lola: 7982208 markings, 75534024 edges, 59748 markings/sec, 100 secs
lola: 8378513 markings, 79033052 edges, 79261 markings/sec, 105 secs
lola: 8729845 markings, 82484138 edges, 70266 markings/sec, 110 secs
lola: 9094562 markings, 85978300 edges, 72943 markings/sec, 115 secs
lola: 9440307 markings, 89465419 edges, 69149 markings/sec, 120 secs
lola: 9782492 markings, 93038416 edges, 68437 markings/sec, 125 secs
lola: 10082801 markings, 96511516 edges, 60062 markings/sec, 130 secs
lola: 10459439 markings, 100075384 edges, 75328 markings/sec, 135 secs
lola: 10812936 markings, 103623411 edges, 70699 markings/sec, 140 secs
lola: 11154599 markings, 107200888 edges, 68333 markings/sec, 145 secs
lola: 11466518 markings, 110729957 edges, 62384 markings/sec, 150 secs
lola: 11808941 markings, 114260230 edges, 68485 markings/sec, 155 secs
lola: 12152432 markings, 117852211 edges, 68698 markings/sec, 160 secs
lola: 12452370 markings, 121335361 edges, 59988 markings/sec, 165 secs
lola: 12796479 markings, 124943013 edges, 68822 markings/sec, 170 secs
lola: 13098070 markings, 128450067 edges, 60318 markings/sec, 175 secs
lola: 13427916 markings, 132097443 edges, 65969 markings/sec, 180 secs
lola: 13732037 markings, 135651530 edges, 60824 markings/sec, 185 secs
lola: 14024512 markings, 139200166 edges, 58495 markings/sec, 190 secs
lola: 14294442 markings, 142682551 edges, 53986 markings/sec, 195 secs
lola: 14673398 markings, 146130476 edges, 75791 markings/sec, 200 secs
lola: 15063688 markings, 149560988 edges, 78058 markings/sec, 205 secs
lola: 15405880 markings, 152972944 edges, 68438 markings/sec, 210 secs
lola: 15792302 markings, 156372679 edges, 77284 markings/sec, 215 secs
lola: 16135126 markings, 159776716 edges, 68565 markings/sec, 220 secs
lola: 16500773 markings, 163219033 edges, 73129 markings/sec, 225 secs
lola: 16841724 markings, 166632428 edges, 68190 markings/sec, 230 secs
lola: 17170852 markings, 170079381 edges, 65826 markings/sec, 235 secs
lola: 17472987 markings, 173471573 edges, 60427 markings/sec, 240 secs
lola: 17834632 markings, 176860329 edges, 72329 markings/sec, 245 secs
lola: 18191125 markings, 180292154 edges, 71299 markings/sec, 250 secs
lola: 18550725 markings, 183706495 edges, 71920 markings/sec, 255 secs
lola: 18890271 markings, 187107623 edges, 67909 markings/sec, 260 secs
lola: 19220710 markings, 190531849 edges, 66088 markings/sec, 265 secs
lola: 19530660 markings, 193927831 edges, 61990 markings/sec, 270 secs
lola: 19854217 markings, 197272146 edges, 64711 markings/sec, 275 secs
lola: 20198112 markings, 200683392 edges, 68779 markings/sec, 280 secs
lola: 20510295 markings, 203844237 edges, 62437 markings/sec, 285 secs
lola: 20833204 markings, 207282949 edges, 64582 markings/sec, 290 secs
lola: 21129204 markings, 210632972 edges, 59200 markings/sec, 295 secs
lola: 21468419 markings, 214064314 edges, 67843 markings/sec, 300 secs
lola: 21790994 markings, 217495876 edges, 64515 markings/sec, 305 secs
lola: 22084786 markings, 220848647 edges, 58758 markings/sec, 310 secs
lola: 22409766 markings, 224307639 edges, 64996 markings/sec, 315 secs
lola: 22699780 markings, 227660554 edges, 58003 markings/sec, 320 secs
lola: 23011383 markings, 231150782 edges, 62321 markings/sec, 325 secs
lola: 23304766 markings, 234582828 edges, 58677 markings/sec, 330 secs
lola: 23583859 markings, 237975712 edges, 55819 markings/sec, 335 secs
lola: 23841705 markings, 241285303 edges, 51569 markings/sec, 340 secs
lola: 24184943 markings, 244648232 edges, 68648 markings/sec, 345 secs
lola: 24545460 markings, 248071444 edges, 72103 markings/sec, 350 secs
lola: 24899266 markings, 251460329 edges, 70761 markings/sec, 355 secs
lola: 25240661 markings, 254859343 edges, 68279 markings/sec, 360 secs
lola: 25573073 markings, 258279468 edges, 66482 markings/sec, 365 secs
lola: 25883593 markings, 261668276 edges, 62104 markings/sec, 370 secs
lola: 26195416 markings, 264976903 edges, 62365 markings/sec, 375 secs
lola: 26540730 markings, 268390822 edges, 69063 markings/sec, 380 secs
lola: 26880623 markings, 271797222 edges, 67979 markings/sec, 385 secs
lola: 27202672 markings, 275220138 edges, 64410 markings/sec, 390 secs
lola: 27490739 markings, 278519230 edges, 57613 markings/sec, 395 secs
lola: 27830930 markings, 281931741 edges, 68038 markings/sec, 400 secs
lola: 28152067 markings, 285348912 edges, 64227 markings/sec, 405 secs
lola: 28442109 markings, 288676506 edges, 58008 markings/sec, 410 secs
lola: 28766737 markings, 292115735 edges, 64926 markings/sec, 415 secs
lola: 29054059 markings, 295445062 edges, 57464 markings/sec, 420 secs
lola: 29367330 markings, 298921796 edges, 62654 markings/sec, 425 secs
lola: 29659859 markings, 302336566 edges, 58506 markings/sec, 430 secs
lola: 29936785 markings, 305703582 edges, 55385 markings/sec, 435 secs
lola: 30197352 markings, 309008847 edges, 52113 markings/sec, 440 secs
lola: 30515930 markings, 312360648 edges, 63716 markings/sec, 445 secs
lola: 30858123 markings, 315778812 edges, 68439 markings/sec, 450 secs
lola: 31196102 markings, 319219779 edges, 67596 markings/sec, 455 secs
lola: 31512147 markings, 322628393 edges, 63209 markings/sec, 460 secs
lola: 31813683 markings, 325975845 edges, 60307 markings/sec, 465 secs
lola: 32153292 markings, 329416206 edges, 67922 markings/sec, 470 secs
lola: 32466345 markings, 332825149 edges, 62611 markings/sec, 475 secs
lola: 32768709 markings, 336199557 edges, 60473 markings/sec, 480 secs
lola: 33086846 markings, 339635293 edges, 63627 markings/sec, 485 secs
lola: 33382073 markings, 343014542 edges, 59045 markings/sec, 490 secs
lola: 33681626 markings, 346460043 edges, 59911 markings/sec, 495 secs
lola: 33973288 markings, 349878230 edges, 58332 markings/sec, 500 secs
lola: 34248859 markings, 353199007 edges, 55114 markings/sec, 505 secs
lola: 34500150 markings, 356475070 edges, 50258 markings/sec, 510 secs
lola: 34824617 markings, 359871024 edges, 64893 markings/sec, 515 secs
lola: 35157535 markings, 363347298 edges, 66584 markings/sec, 520 secs
lola: 35453388 markings, 366733132 edges, 59171 markings/sec, 525 secs
lola: 35778938 markings, 370188759 edges, 65110 markings/sec, 530 secs
lola: 36059332 markings, 373362250 edges, 56079 markings/sec, 535 secs
lola: 36368953 markings, 376832217 edges, 61924 markings/sec, 540 secs
lola: 36665590 markings, 380285129 edges, 59327 markings/sec, 545 secs
lola: 36952007 markings, 383706370 edges, 57283 markings/sec, 550 secs
lola: 37206672 markings, 386896126 edges, 50933 markings/sec, 555 secs
lola: 37453807 markings, 389976927 edges, 49427 markings/sec, 560 secs
lola: 37776893 markings, 393418592 edges, 64617 markings/sec, 565 secs
lola: 38069951 markings, 396793932 edges, 58612 markings/sec, 570 secs
lola: 38376417 markings, 400261701 edges, 61293 markings/sec, 575 secs
lola: 38668886 markings, 403682538 edges, 58494 markings/sec, 580 secs
lola: 38948142 markings, 407064946 edges, 55851 markings/sec, 585 secs
lola: 39204888 markings, 410376766 edges, 51349 markings/sec, 590 secs
lola: 39499748 markings, 413796843 edges, 58972 markings/sec, 595 secs
lola: 39797259 markings, 417250227 edges, 59502 markings/sec, 600 secs
lola: 40084757 markings, 420662232 edges, 57500 markings/sec, 605 secs
lola: 40351620 markings, 423996956 edges, 53373 markings/sec, 610 secs
lola: 40611497 markings, 427318845 edges, 51975 markings/sec, 615 secs
lola: 40907483 markings, 430816887 edges, 59197 markings/sec, 620 secs
lola: 41183980 markings, 434259062 edges, 55299 markings/sec, 625 secs
lola: 41444158 markings, 437636921 edges, 52036 markings/sec, 630 secs
lola: 41722912 markings, 441081656 edges, 55751 markings/sec, 635 secs
lola: 41977524 markings, 444447200 edges, 50922 markings/sec, 640 secs
lola: 42241122 markings, 447842656 edges, 52720 markings/sec, 645 secs
lola: 42491764 markings, 451188256 edges, 50128 markings/sec, 650 secs
lola: 42729820 markings, 454482689 edges, 47611 markings/sec, 655 secs
lola: 42956526 markings, 457729193 edges, 45341 markings/sec, 660 secs
lola: 43279586 markings, 460982871 edges, 64612 markings/sec, 665 secs
lola: 43649115 markings, 464249532 edges, 73906 markings/sec, 670 secs
lola: 43999894 markings, 467523709 edges, 70156 markings/sec, 675 secs
lola: 44341986 markings, 470730800 edges, 68418 markings/sec, 680 secs
lola: 44692981 markings, 473986146 edges, 70199 markings/sec, 685 secs
lola: 45025610 markings, 477191167 edges, 66526 markings/sec, 690 secs
lola: 45346154 markings, 480393650 edges, 64109 markings/sec, 695 secs
lola: 45663796 markings, 483604438 edges, 63528 markings/sec, 700 secs
lola: 45967518 markings, 486837565 edges, 60744 markings/sec, 705 secs
lola: 46232025 markings, 489932518 edges, 52901 markings/sec, 710 secs
lola: 46605248 markings, 493198733 edges, 74645 markings/sec, 715 secs
lola: 46927214 markings, 496391931 edges, 64393 markings/sec, 720 secs
lola: 47271666 markings, 499617914 edges, 68890 markings/sec, 725 secs
lola: 47589259 markings, 502797599 edges, 63519 markings/sec, 730 secs
lola: 47899521 markings, 505999145 edges, 62052 markings/sec, 735 secs
lola: 48190995 markings, 509176048 edges, 58295 markings/sec, 740 secs
lola: 48482148 markings, 512286170 edges, 58231 markings/sec, 745 secs
lola: 48805722 markings, 515477786 edges, 64715 markings/sec, 750 secs
lola: 49124230 markings, 518665551 edges, 63702 markings/sec, 755 secs
lola: 49432861 markings, 521877341 edges, 61726 markings/sec, 760 secs
lola: 49711053 markings, 525018279 edges, 55638 markings/sec, 765 secs
lola: 50017308 markings, 528183047 edges, 61251 markings/sec, 770 secs
lola: 50321156 markings, 531374587 edges, 60770 markings/sec, 775 secs
lola: 50607418 markings, 534524305 edges, 57252 markings/sec, 780 secs
lola: 50895141 markings, 537688377 edges, 57545 markings/sec, 785 secs
lola: 51187327 markings, 540880023 edges, 58437 markings/sec, 790 secs
lola: 51462483 markings, 544021333 edges, 55031 markings/sec, 795 secs
lola: 51742120 markings, 547234829 edges, 55927 markings/sec, 800 secs
lola: 52016207 markings, 550431815 edges, 54817 markings/sec, 805 secs
lola: 52276190 markings, 553577862 edges, 51997 markings/sec, 810 secs
lola: 52516857 markings, 556647332 edges, 48133 markings/sec, 815 secs
lola: 52822232 markings, 559778119 edges, 61075 markings/sec, 820 secs
lola: 53171042 markings, 563016324 edges, 69762 markings/sec, 825 secs
lola: 53495796 markings, 566179307 edges, 64951 markings/sec, 830 secs
lola: 53813957 markings, 569357228 edges, 63632 markings/sec, 835 secs
lola: 54133035 markings, 572560433 edges, 63816 markings/sec, 840 secs
lola: 54441690 markings, 575793969 edges, 61731 markings/sec, 845 secs
lola: 54711793 markings, 578903333 edges, 54021 markings/sec, 850 secs
lola: 55053259 markings, 582151458 edges, 68293 markings/sec, 855 secs
lola: 55375205 markings, 585372412 edges, 64389 markings/sec, 860 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no yes yes yes yes yes unknown unknown unknown unknown no yes
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no unknown no yes yes yes yes yes unknown unknown unknown unknown no yes
lola:
preliminary result: no unknown no yes yes yes yes yes unknown unknown unknown unknown no yes
lola: memory consumption: 4567700 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no yes yes yes yes yes unknown unknown unknown unknown no yes
lola: memory consumption: 4568016 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Referendum-COL-0050"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
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 itslola"
echo " Input is Referendum-COL-0050, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-158987827800355"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Referendum-COL-0050.tgz
mv Referendum-COL-0050 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;