About the Execution of 2019-Gold for NoC3x3-PT-8B
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5045.120 | 3570179.00 | 3648754.00 | 352.50 | TTTF?FFFFTTFF?TF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r120-csrt-158961292500113.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is NoC3x3-PT-8B, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-csrt-158961292500113
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.1K Apr 8 15:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 8 15:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 7 18:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 6 20:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 6 20:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 04:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 6 04:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.0M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-8B-00
FORMULA_NAME NoC3x3-PT-8B-01
FORMULA_NAME NoC3x3-PT-8B-02
FORMULA_NAME NoC3x3-PT-8B-03
FORMULA_NAME NoC3x3-PT-8B-04
FORMULA_NAME NoC3x3-PT-8B-05
FORMULA_NAME NoC3x3-PT-8B-06
FORMULA_NAME NoC3x3-PT-8B-07
FORMULA_NAME NoC3x3-PT-8B-08
FORMULA_NAME NoC3x3-PT-8B-09
FORMULA_NAME NoC3x3-PT-8B-10
FORMULA_NAME NoC3x3-PT-8B-11
FORMULA_NAME NoC3x3-PT-8B-12
FORMULA_NAME NoC3x3-PT-8B-13
FORMULA_NAME NoC3x3-PT-8B-14
FORMULA_NAME NoC3x3-PT-8B-15
=== Now, execution of the tool begins
BK_START 1590343017540
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ NoC3x3-PT-8B @ 3570 seconds
FORMULA NoC3x3-PT-8B-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA NoC3x3-PT-8B-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ NoC3x3-PT-8B
{
"exit":
{
"memory": 798972,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (F ((p2975 <= p310))))",
"processed_size": 27,
"rewrites": 100
},
"result":
{
"preliminary_value": "yes yes yes no unknown no no no no yes yes no no unknown yes no "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 23717/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 9140
lola: finding significant places
lola: 9140 places, 14577 transitions, 9041 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (2 <= p6441)
lola: LP says that atomic proposition is always false: (2 <= p8007)
lola: LP says that atomic proposition is always false: (3 <= p8323)
lola: LP says that atomic proposition is always false: (3 <= p8323)
lola: LP says that atomic proposition is always false: (2 <= p8)
lola: LP says that atomic proposition is always false: (3 <= p7957)
lola: LP says that atomic proposition is always false: (3 <= p7957)
lola: LP says that atomic proposition is always false: (3 <= p7957)
lola: LP says that atomic proposition is always false: (2 <= p659)
lola: LP says that atomic proposition is always false: (3 <= p6864)
lola: LP says that atomic proposition is always false: (3 <= p6864)
lola: LP says that atomic proposition is always false: (2 <= p6920)
lola: LP says that atomic proposition is always false: (3 <= p8624)
lola: LP says that atomic proposition is always false: (3 <= p8624)
lola: A (G (((G ((p6628 <= p7009)) OR G ((0 <= p2666))) OR ((p6628 <= p7009) U (p4838 <= p8878))))) : A (X ((F ((p2230 <= p8304)) OR X (G (((((p6139 <= p2678) OR (2 <= p3130)) OR X ((p2230 <= p8304))) OR X ((3 <= p2412)))))))) : A (X (G (X (F ((G ((p6710 <= p7559)) OR NOT(X (())))))))) : A (X (G (X (NOT(G (X ((p847 <= p3368)))))))) : A (F (G ((F ((p2988 <= 2)) OR F (G ((p4733 <= p7476))))))) : A (G (NOT((G (((p6959 <= p708) U F ((p6959 <= p708)))) AND X (F ((p6959 <= p708))))))) : A (NOT(X (NOT(((p1095 <= p1693) AND X (NOT(G (X (NOT(G ((2 <= p8007)))))))))))) : A (X ((G (NOT(((3 <= p8323) U X (NOT(G (X ((3 <= p8323)))))))) U (2 <= p8)))) : A (G ((p2685 + 1 <= p466))) : A (X ((G ((p7957 <= 2)) AND (X ((3 <= p7957)) U ((p4890 <= p328) AND NOT(F (X ((3 <= p7957))))))))) : A (F ((p659 <= 1))) : A (((p6650 + 1 <= p1406) OR (F ((p2525 <= p1358)) AND X ((p1358 + 1 <= p2525))))) : A (F (G (((() AND X ((p4224 <= p2218))) OR X (NOT(X ((p6864 <= 2)))))))) : A (G (((2 <= p6920) OR F ((p2975 <= p310))))) : A (((3 <= p8624) OR X (((p8407 <= p2850) OR X ((G ((3 <= p8624)) U ((p1986 <= p2061) U (p3700 <= p6587)))))))) : A (((1 <= p3717) OR F ((F ((p4717 + 1 <= p3136)) AND NOT(((p3838 <= 0) OR X ((1 <= p3717))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 198 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: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 244 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: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 317 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p4890 <= p328)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p4890 <= p328)))
lola: processed formula length: 23
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((F (G ((p708 + 1 <= p6959))) OR X (G ((p708 + 1 <= p6959))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((F (G ((p708 + 1 <= p6959))) OR X (G ((p708 + 1 <= p6959))))))
lola: processed formula length: 68
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 34 markings, 35 edges
lola: ========================================
lola: subprocess 8 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p6650 + 1 <= p1406) OR (F ((p2525 <= p1358)) AND X ((p1358 + 1 <= p2525)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p6650 + 1 <= p1406) OR (F ((p2525 <= p1358)) AND X ((p1358 + 1 <= p2525)))))
lola: processed formula length: 81
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 33 markings, 33 edges
lola: ========================================
lola: subprocess 9 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F ((p2230 <= p8304)) OR X (G ((((p6139 <= p2678) OR (2 <= p3130)) OR X (((p2230 <= p8304) OR (3 <= p2412)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((p2230 <= p8304)) OR X (G ((((p6139 <= p2678) OR (2 <= p3130)) OR X (((p2230 <= p8304) OR (3 <= p2412)))))))))
lola: processed formula length: 121
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 529 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((p8407 <= p2850) OR X (((p1986 <= p2061) U (p3700 <= p6587))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((p8407 <= p2850) OR X (((p1986 <= p2061) U (p3700 <= p6587))))))
lola: processed formula length: 71
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 11 will run for 635 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((1 <= p3717) OR F ((F ((p4717 + 1 <= p3136)) AND ((1 <= p3838) AND X ((p3717 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((1 <= p3717) OR F ((F ((p4717 + 1 <= p3136)) AND ((1 <= p3838) AND X ((p3717 <= 0)))))))
lola: processed formula length: 92
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 33 markings, 33 edges
lola: ========================================
lola: subprocess 12 will run for 793 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p2685 + 1 <= p466)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p2685 + 1 <= p466)))
lola: processed formula length: 27
lola: 102 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p466 <= p2685)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1058 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p3368 + 1 <= p847))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p3368 + 1 <= p847))))
lola: processed formula length: 31
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 257 markings, 257 edges
lola: ========================================
lola: subprocess 14 will run for 1587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p2975 <= p310))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p2975 <= p310))))
lola: processed formula length: 27
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 19416 markings, 76417 edges, 3883 markings/sec, 0 secs
lola: 38125 markings, 153765 edges, 3742 markings/sec, 5 secs
lola: 56899 markings, 231756 edges, 3755 markings/sec, 10 secs
lola: 75771 markings, 310367 edges, 3774 markings/sec, 15 secs
lola: 90905 markings, 390023 edges, 3027 markings/sec, 20 secs
lola: 109249 markings, 466944 edges, 3669 markings/sec, 25 secs
lola: 125593 markings, 546683 edges, 3269 markings/sec, 30 secs
lola: 145658 markings, 623910 edges, 4013 markings/sec, 35 secs
lola: 163743 markings, 702491 edges, 3617 markings/sec, 40 secs
lola: 181419 markings, 780260 edges, 3535 markings/sec, 45 secs
lola: 194177 markings, 852506 edges, 2552 markings/sec, 50 secs
lola: 211841 markings, 921431 edges, 3533 markings/sec, 55 secs
lola: 227047 markings, 994977 edges, 3041 markings/sec, 60 secs
lola: 247253 markings, 1071808 edges, 4041 markings/sec, 65 secs
lola: 265788 markings, 1152254 edges, 3707 markings/sec, 70 secs
lola: 282403 markings, 1227116 edges, 3323 markings/sec, 75 secs
lola: 295909 markings, 1304450 edges, 2701 markings/sec, 80 secs
lola: 311248 markings, 1373878 edges, 3068 markings/sec, 85 secs
lola: 325702 markings, 1445447 edges, 2891 markings/sec, 90 secs
lola: 342625 markings, 1516028 edges, 3385 markings/sec, 95 secs
lola: 359023 markings, 1588455 edges, 3280 markings/sec, 100 secs
lola: 374100 markings, 1661353 edges, 3015 markings/sec, 105 secs
lola: 390516 markings, 1732163 edges, 3283 markings/sec, 110 secs
lola: 404778 markings, 1809992 edges, 2852 markings/sec, 115 secs
lola: 419189 markings, 1883985 edges, 2882 markings/sec, 120 secs
lola: 435206 markings, 1954324 edges, 3203 markings/sec, 125 secs
lola: 449769 markings, 2027417 edges, 2913 markings/sec, 130 secs
lola: 465135 markings, 2098259 edges, 3073 markings/sec, 135 secs
lola: 481670 markings, 2168818 edges, 3307 markings/sec, 140 secs
lola: 498377 markings, 2243672 edges, 3341 markings/sec, 145 secs
lola: 515718 markings, 2315071 edges, 3468 markings/sec, 150 secs
lola: 538035 markings, 2383112 edges, 4463 markings/sec, 155 secs
lola: 553226 markings, 2454259 edges, 3038 markings/sec, 160 secs
lola: 570728 markings, 2527140 edges, 3500 markings/sec, 165 secs
lola: 586539 markings, 2597574 edges, 3162 markings/sec, 170 secs
lola: 602013 markings, 2668402 edges, 3095 markings/sec, 175 secs
lola: 618893 markings, 2740832 edges, 3376 markings/sec, 180 secs
lola: 632552 markings, 2815325 edges, 2732 markings/sec, 185 secs
lola: 644209 markings, 2888087 edges, 2331 markings/sec, 190 secs
lola: 658384 markings, 2960074 edges, 2835 markings/sec, 195 secs
lola: 674880 markings, 3030734 edges, 3299 markings/sec, 200 secs
lola: 690656 markings, 3102243 edges, 3155 markings/sec, 205 secs
lola: 706117 markings, 3175729 edges, 3092 markings/sec, 210 secs
lola: 720340 markings, 3246691 edges, 2845 markings/sec, 215 secs
lola: 736967 markings, 3317692 edges, 3325 markings/sec, 220 secs
lola: 751936 markings, 3386593 edges, 2994 markings/sec, 225 secs
lola: 767789 markings, 3457256 edges, 3171 markings/sec, 230 secs
lola: 784008 markings, 3527563 edges, 3244 markings/sec, 235 secs
lola: 798569 markings, 3599327 edges, 2912 markings/sec, 240 secs
lola: 816556 markings, 3669773 edges, 3597 markings/sec, 245 secs
lola: 831751 markings, 3740543 edges, 3039 markings/sec, 250 secs
lola: 850461 markings, 3810464 edges, 3742 markings/sec, 255 secs
lola: 863876 markings, 3882972 edges, 2683 markings/sec, 260 secs
lola: 876003 markings, 3954970 edges, 2425 markings/sec, 265 secs
lola: 889039 markings, 4027232 edges, 2607 markings/sec, 270 secs
lola: 901206 markings, 4099208 edges, 2433 markings/sec, 275 secs
lola: 914364 markings, 4170174 edges, 2632 markings/sec, 280 secs
lola: 926361 markings, 4241424 edges, 2399 markings/sec, 285 secs
lola: 943358 markings, 4312032 edges, 3399 markings/sec, 290 secs
lola: 958135 markings, 4382988 edges, 2955 markings/sec, 295 secs
lola: 976432 markings, 4455038 edges, 3659 markings/sec, 300 secs
lola: 992249 markings, 4532992 edges, 3163 markings/sec, 305 secs
lola: 1007256 markings, 4611109 edges, 3001 markings/sec, 310 secs
lola: 1019884 markings, 4690233 edges, 2526 markings/sec, 315 secs
lola: 1036817 markings, 4769013 edges, 3387 markings/sec, 320 secs
lola: 1053581 markings, 4843756 edges, 3353 markings/sec, 325 secs
lola: 1065647 markings, 4921916 edges, 2413 markings/sec, 330 secs
lola: 1077869 markings, 4999860 edges, 2444 markings/sec, 335 secs
lola: 1089412 markings, 5078224 edges, 2309 markings/sec, 340 secs
lola: 1109082 markings, 5155562 edges, 3934 markings/sec, 345 secs
lola: 1126950 markings, 5233174 edges, 3574 markings/sec, 350 secs
lola: 1141045 markings, 5311660 edges, 2819 markings/sec, 355 secs
lola: 1151881 markings, 5391161 edges, 2167 markings/sec, 360 secs
lola: 1166763 markings, 5469061 edges, 2976 markings/sec, 365 secs
lola: 1181512 markings, 5547757 edges, 2950 markings/sec, 370 secs
lola: 1195973 markings, 5623952 edges, 2892 markings/sec, 375 secs
lola: 1209299 markings, 5701617 edges, 2665 markings/sec, 380 secs
lola: 1224407 markings, 5779521 edges, 3022 markings/sec, 385 secs
lola: 1242835 markings, 5856794 edges, 3686 markings/sec, 390 secs
lola: 1257557 markings, 5935268 edges, 2944 markings/sec, 395 secs
lola: 1278062 markings, 6012538 edges, 4101 markings/sec, 400 secs
lola: 1295088 markings, 6090895 edges, 3405 markings/sec, 405 secs
lola: 1313205 markings, 6167552 edges, 3623 markings/sec, 410 secs
lola: 1327730 markings, 6244767 edges, 2905 markings/sec, 415 secs
lola: 1342138 markings, 6321593 edges, 2882 markings/sec, 420 secs
lola: 1355941 markings, 6398460 edges, 2761 markings/sec, 425 secs
lola: 1375225 markings, 6473367 edges, 3857 markings/sec, 430 secs
lola: 1389611 markings, 6544570 edges, 2877 markings/sec, 435 secs
lola: 1400866 markings, 6616870 edges, 2251 markings/sec, 440 secs
lola: 1417933 markings, 6691184 edges, 3413 markings/sec, 445 secs
lola: 1434885 markings, 6770666 edges, 3390 markings/sec, 450 secs
lola: 1450721 markings, 6851708 edges, 3167 markings/sec, 455 secs
lola: 1466742 markings, 6930263 edges, 3204 markings/sec, 460 secs
lola: 1478981 markings, 7010368 edges, 2448 markings/sec, 465 secs
lola: 1493907 markings, 7091137 edges, 2985 markings/sec, 470 secs
lola: 1510132 markings, 7169179 edges, 3245 markings/sec, 475 secs
lola: 1527721 markings, 7247492 edges, 3518 markings/sec, 480 secs
lola: 1547589 markings, 7325980 edges, 3974 markings/sec, 485 secs
lola: 1562706 markings, 7406288 edges, 3023 markings/sec, 490 secs
lola: 1577872 markings, 7487026 edges, 3033 markings/sec, 495 secs
lola: 1591449 markings, 7568244 edges, 2715 markings/sec, 500 secs
lola: 1606119 markings, 7648702 edges, 2934 markings/sec, 505 secs
lola: 1625430 markings, 7729597 edges, 3862 markings/sec, 510 secs
lola: 1643777 markings, 7806364 edges, 3669 markings/sec, 515 secs
lola: 1660274 markings, 7875263 edges, 3299 markings/sec, 520 secs
lola: 1674556 markings, 7941983 edges, 2856 markings/sec, 525 secs
lola: 1687277 markings, 8013822 edges, 2544 markings/sec, 530 secs
lola: 1699339 markings, 8087859 edges, 2412 markings/sec, 535 secs
lola: 1711284 markings, 8165864 edges, 2389 markings/sec, 540 secs
lola: 1722660 markings, 8244436 edges, 2275 markings/sec, 545 secs
lola: 1736229 markings, 8324120 edges, 2714 markings/sec, 550 secs
lola: 1752829 markings, 8404744 edges, 3320 markings/sec, 555 secs
lola: 1768460 markings, 8480323 edges, 3126 markings/sec, 560 secs
lola: 1783877 markings, 8555643 edges, 3083 markings/sec, 565 secs
lola: 1798650 markings, 8628023 edges, 2955 markings/sec, 570 secs
lola: 1810117 markings, 8708044 edges, 2293 markings/sec, 575 secs
lola: 1820523 markings, 8786001 edges, 2081 markings/sec, 580 secs
lola: 1830579 markings, 8864543 edges, 2011 markings/sec, 585 secs
lola: 1840831 markings, 8943235 edges, 2050 markings/sec, 590 secs
lola: 1852072 markings, 9020930 edges, 2248 markings/sec, 595 secs
lola: 1868580 markings, 9099890 edges, 3302 markings/sec, 600 secs
lola: 1885858 markings, 9177686 edges, 3456 markings/sec, 605 secs
lola: 1898843 markings, 9253265 edges, 2597 markings/sec, 610 secs
lola: 1909851 markings, 9331397 edges, 2202 markings/sec, 615 secs
lola: 1921539 markings, 9408868 edges, 2338 markings/sec, 620 secs
lola: 1937715 markings, 9487754 edges, 3235 markings/sec, 625 secs
lola: 1953066 markings, 9563746 edges, 3070 markings/sec, 630 secs
lola: 1968285 markings, 9637470 edges, 3044 markings/sec, 635 secs
lola: 1983118 markings, 9708797 edges, 2967 markings/sec, 640 secs
lola: 1996304 markings, 9779481 edges, 2637 markings/sec, 645 secs
lola: 2009444 markings, 9856887 edges, 2628 markings/sec, 650 secs
lola: 2022919 markings, 9933967 edges, 2695 markings/sec, 655 secs
lola: 2036159 markings, 10011658 edges, 2648 markings/sec, 660 secs
lola: 2050853 markings, 10090185 edges, 2939 markings/sec, 665 secs
lola: 2067335 markings, 10165972 edges, 3296 markings/sec, 670 secs
lola: 2081263 markings, 10240293 edges, 2786 markings/sec, 675 secs
lola: 2093572 markings, 10318030 edges, 2462 markings/sec, 680 secs
lola: 2111159 markings, 10395709 edges, 3517 markings/sec, 685 secs
lola: 2130613 markings, 10470044 edges, 3891 markings/sec, 690 secs
lola: 2144009 markings, 10546724 edges, 2679 markings/sec, 695 secs
lola: 2155500 markings, 10624919 edges, 2298 markings/sec, 700 secs
lola: 2167710 markings, 10704613 edges, 2442 markings/sec, 705 secs
lola: 2182977 markings, 10785054 edges, 3053 markings/sec, 710 secs
lola: 2197122 markings, 10857328 edges, 2829 markings/sec, 715 secs
lola: 2206419 markings, 10934578 edges, 1859 markings/sec, 720 secs
lola: 2217979 markings, 11012097 edges, 2312 markings/sec, 725 secs
lola: 2235434 markings, 11092683 edges, 3491 markings/sec, 730 secs
lola: 2251575 markings, 11164966 edges, 3228 markings/sec, 735 secs
lola: 2263060 markings, 11240132 edges, 2297 markings/sec, 740 secs
lola: 2274280 markings, 11316327 edges, 2244 markings/sec, 745 secs
lola: 2285591 markings, 11397678 edges, 2262 markings/sec, 750 secs
lola: 2299466 markings, 11476436 edges, 2775 markings/sec, 755 secs
lola: 2313342 markings, 11549401 edges, 2775 markings/sec, 760 secs
lola: 2325373 markings, 11615062 edges, 2406 markings/sec, 765 secs
lola: 2334558 markings, 11687517 edges, 1837 markings/sec, 770 secs
lola: 2344528 markings, 11759433 edges, 1994 markings/sec, 775 secs
lola: 2353240 markings, 11833584 edges, 1742 markings/sec, 780 secs
lola: 2370233 markings, 11913193 edges, 3399 markings/sec, 785 secs
lola: 2384828 markings, 11991698 edges, 2919 markings/sec, 790 secs
lola: 2398116 markings, 12071532 edges, 2658 markings/sec, 795 secs
lola: 2413823 markings, 12147416 edges, 3141 markings/sec, 800 secs
lola: 2427573 markings, 12221585 edges, 2750 markings/sec, 805 secs
lola: 2441126 markings, 12297776 edges, 2711 markings/sec, 810 secs
lola: 2452918 markings, 12374325 edges, 2358 markings/sec, 815 secs
lola: 2466547 markings, 12452930 edges, 2726 markings/sec, 820 secs
lola: 2482616 markings, 12530304 edges, 3214 markings/sec, 825 secs
lola: 2496288 markings, 12606899 edges, 2734 markings/sec, 830 secs
lola: 2508671 markings, 12683910 edges, 2477 markings/sec, 835 secs
lola: 2526415 markings, 12763950 edges, 3549 markings/sec, 840 secs
lola: 2544314 markings, 12840351 edges, 3580 markings/sec, 845 secs
lola: 2562128 markings, 12915312 edges, 3563 markings/sec, 850 secs
lola: 2579410 markings, 12985327 edges, 3456 markings/sec, 855 secs
lola: 2592295 markings, 13055723 edges, 2577 markings/sec, 860 secs
lola: 2603722 markings, 13127706 edges, 2285 markings/sec, 865 secs
lola: 2618279 markings, 13198535 edges, 2911 markings/sec, 870 secs
lola: 2633245 markings, 13266589 edges, 2993 markings/sec, 875 secs
lola: 2645957 markings, 13334038 edges, 2542 markings/sec, 880 secs
lola: 2657002 markings, 13410053 edges, 2209 markings/sec, 885 secs
lola: 2670156 markings, 13490903 edges, 2631 markings/sec, 890 secs
lola: 2690180 markings, 13569477 edges, 4005 markings/sec, 895 secs
lola: 2708201 markings, 13643860 edges, 3604 markings/sec, 900 secs
lola: 2721202 markings, 13721969 edges, 2600 markings/sec, 905 secs
lola: 2733585 markings, 13799587 edges, 2477 markings/sec, 910 secs
lola: 2744579 markings, 13877678 edges, 2199 markings/sec, 915 secs
lola: 2756814 markings, 13958511 edges, 2447 markings/sec, 920 secs
lola: 2772504 markings, 14035967 edges, 3138 markings/sec, 925 secs
lola: 2787315 markings, 14109435 edges, 2962 markings/sec, 930 secs
lola: 2801838 markings, 14179408 edges, 2905 markings/sec, 935 secs
lola: 2816436 markings, 14250579 edges, 2920 markings/sec, 940 secs
lola: 2830270 markings, 14324387 edges, 2767 markings/sec, 945 secs
lola: 2842491 markings, 14405077 edges, 2444 markings/sec, 950 secs
lola: 2854685 markings, 14487645 edges, 2439 markings/sec, 955 secs
lola: 2870173 markings, 14568198 edges, 3098 markings/sec, 960 secs
lola: 2884803 markings, 14643157 edges, 2926 markings/sec, 965 secs
lola: 2895184 markings, 14723893 edges, 2076 markings/sec, 970 secs
lola: 2905019 markings, 14805231 edges, 1967 markings/sec, 975 secs
lola: 2917893 markings, 14885328 edges, 2575 markings/sec, 980 secs
lola: 2934973 markings, 14964347 edges, 3416 markings/sec, 985 secs
lola: 2951902 markings, 15039834 edges, 3386 markings/sec, 990 secs
lola: 2962716 markings, 15119840 edges, 2163 markings/sec, 995 secs
lola: 2977742 markings, 15190905 edges, 3005 markings/sec, 1000 secs
lola: 2990914 markings, 15267909 edges, 2634 markings/sec, 1005 secs
lola: 3005837 markings, 15343360 edges, 2985 markings/sec, 1010 secs
lola: 3029807 markings, 15414706 edges, 4794 markings/sec, 1015 secs
lola: 3049893 markings, 15493852 edges, 4017 markings/sec, 1020 secs
lola: 3066472 markings, 15572747 edges, 3316 markings/sec, 1025 secs
lola: 3085167 markings, 15651851 edges, 3739 markings/sec, 1030 secs
lola: 3100405 markings, 15732594 edges, 3048 markings/sec, 1035 secs
lola: 3120317 markings, 15812168 edges, 3982 markings/sec, 1040 secs
lola: 3136946 markings, 15892800 edges, 3326 markings/sec, 1045 secs
lola: 3156526 markings, 15971751 edges, 3916 markings/sec, 1050 secs
lola: 3172352 markings, 16051713 edges, 3165 markings/sec, 1055 secs
lola: 3187078 markings, 16132461 edges, 2945 markings/sec, 1060 secs
lola: 3201733 markings, 16211499 edges, 2931 markings/sec, 1065 secs
lola: 3221563 markings, 16290759 edges, 3966 markings/sec, 1070 secs
lola: 3239465 markings, 16370389 edges, 3580 markings/sec, 1075 secs
lola: 3255741 markings, 16448900 edges, 3255 markings/sec, 1080 secs
lola: 3271159 markings, 16528467 edges, 3084 markings/sec, 1085 secs
lola: 3289923 markings, 16606655 edges, 3753 markings/sec, 1090 secs
lola: 3309725 markings, 16681669 edges, 3960 markings/sec, 1095 secs
lola: 3321721 markings, 16760871 edges, 2399 markings/sec, 1100 secs
lola: 3334803 markings, 16840377 edges, 2616 markings/sec, 1105 secs
lola: 3350522 markings, 16920583 edges, 3144 markings/sec, 1110 secs
lola: 3367382 markings, 16997419 edges, 3372 markings/sec, 1115 secs
lola: 3380877 markings, 17074313 edges, 2699 markings/sec, 1120 secs
lola: 3392388 markings, 17153342 edges, 2302 markings/sec, 1125 secs
lola: 3407965 markings, 17232261 edges, 3115 markings/sec, 1130 secs
lola: 3424133 markings, 17309811 edges, 3234 markings/sec, 1135 secs
lola: 3436141 markings, 17389164 edges, 2402 markings/sec, 1140 secs
lola: 3452483 markings, 17468183 edges, 3268 markings/sec, 1145 secs
lola: 3467544 markings, 17543766 edges, 3012 markings/sec, 1150 secs
lola: 3481350 markings, 17620376 edges, 2761 markings/sec, 1155 secs
lola: 3494087 markings, 17697327 edges, 2547 markings/sec, 1160 secs
lola: 3509916 markings, 17774818 edges, 3166 markings/sec, 1165 secs
lola: 3529148 markings, 17850422 edges, 3846 markings/sec, 1170 secs
lola: 3544446 markings, 17921960 edges, 3060 markings/sec, 1175 secs
lola: 3556205 markings, 17993830 edges, 2352 markings/sec, 1180 secs
lola: 3567775 markings, 18066307 edges, 2314 markings/sec, 1185 secs
lola: 3584153 markings, 18142755 edges, 3276 markings/sec, 1190 secs
lola: 3600877 markings, 18217347 edges, 3345 markings/sec, 1195 secs
lola: 3611865 markings, 18293248 edges, 2198 markings/sec, 1200 secs
lola: 3626365 markings, 18369336 edges, 2900 markings/sec, 1205 secs
lola: 3643763 markings, 18444916 edges, 3480 markings/sec, 1210 secs
lola: 3659701 markings, 18518074 edges, 3188 markings/sec, 1215 secs
lola: 3671749 markings, 18589505 edges, 2410 markings/sec, 1220 secs
lola: 3684828 markings, 18661090 edges, 2616 markings/sec, 1225 secs
lola: 3698484 markings, 18731133 edges, 2731 markings/sec, 1230 secs
lola: 3709899 markings, 18801769 edges, 2283 markings/sec, 1235 secs
lola: 3720830 markings, 18872960 edges, 2186 markings/sec, 1240 secs
lola: 3731356 markings, 18942652 edges, 2105 markings/sec, 1245 secs
lola: 3741648 markings, 19016222 edges, 2058 markings/sec, 1250 secs
lola: 3749706 markings, 19088482 edges, 1612 markings/sec, 1255 secs
lola: 3761080 markings, 19159775 edges, 2275 markings/sec, 1260 secs
lola: 3773444 markings, 19226805 edges, 2473 markings/sec, 1265 secs
lola: 3785801 markings, 19295522 edges, 2471 markings/sec, 1270 secs
lola: 3797559 markings, 19363101 edges, 2352 markings/sec, 1275 secs
lola: 3809445 markings, 19432570 edges, 2377 markings/sec, 1280 secs
lola: 3821083 markings, 19503640 edges, 2328 markings/sec, 1285 secs
lola: 3831831 markings, 19573413 edges, 2150 markings/sec, 1290 secs
lola: 3842637 markings, 19651406 edges, 2161 markings/sec, 1295 secs
lola: 3855411 markings, 19731317 edges, 2555 markings/sec, 1300 secs
lola: 3870172 markings, 19809551 edges, 2952 markings/sec, 1305 secs
lola: 3882470 markings, 19889635 edges, 2460 markings/sec, 1310 secs
lola: 3893831 markings, 19968939 edges, 2272 markings/sec, 1315 secs
lola: 3903257 markings, 20048788 edges, 1885 markings/sec, 1320 secs
lola: 3917162 markings, 20126650 edges, 2781 markings/sec, 1325 secs
lola: 3930003 markings, 20205538 edges, 2568 markings/sec, 1330 secs
lola: 3944292 markings, 20283748 edges, 2858 markings/sec, 1335 secs
lola: 3958650 markings, 20361883 edges, 2872 markings/sec, 1340 secs
lola: 3973043 markings, 20439932 edges, 2879 markings/sec, 1345 secs
lola: 3986077 markings, 20517416 edges, 2607 markings/sec, 1350 secs
lola: 3998600 markings, 20594880 edges, 2505 markings/sec, 1355 secs
lola: 4010816 markings, 20672410 edges, 2443 markings/sec, 1360 secs
lola: 4021329 markings, 20749757 edges, 2103 markings/sec, 1365 secs
lola: 4033655 markings, 20821889 edges, 2465 markings/sec, 1370 secs
lola: 4048362 markings, 20891726 edges, 2941 markings/sec, 1375 secs
lola: 4060176 markings, 20961203 edges, 2363 markings/sec, 1380 secs
lola: 4071548 markings, 21032832 edges, 2274 markings/sec, 1385 secs
lola: 4082447 markings, 21104796 edges, 2180 markings/sec, 1390 secs
lola: 4092881 markings, 21177408 edges, 2087 markings/sec, 1395 secs
lola: 4101524 markings, 21253474 edges, 1729 markings/sec, 1400 secs
lola: 4114995 markings, 21332808 edges, 2694 markings/sec, 1405 secs
lola: 4128871 markings, 21411627 edges, 2775 markings/sec, 1410 secs
lola: 4142337 markings, 21485383 edges, 2693 markings/sec, 1415 secs
lola: 4154806 markings, 21558287 edges, 2494 markings/sec, 1420 secs
lola: 4165953 markings, 21627234 edges, 2229 markings/sec, 1425 secs
lola: 4177761 markings, 21698439 edges, 2362 markings/sec, 1430 secs
lola: 4188731 markings, 21769783 edges, 2194 markings/sec, 1435 secs
lola: 4199023 markings, 21841433 edges, 2058 markings/sec, 1440 secs
lola: 4210029 markings, 21913187 edges, 2201 markings/sec, 1445 secs
lola: 4222503 markings, 21985814 edges, 2495 markings/sec, 1450 secs
lola: 4233052 markings, 22056648 edges, 2110 markings/sec, 1455 secs
lola: 4243830 markings, 22134790 edges, 2156 markings/sec, 1460 secs
lola: 4254242 markings, 22214445 edges, 2082 markings/sec, 1465 secs
lola: 4264360 markings, 22293342 edges, 2024 markings/sec, 1470 secs
lola: 4272871 markings, 22374178 edges, 1702 markings/sec, 1475 secs
lola: 4283658 markings, 22455386 edges, 2157 markings/sec, 1480 secs
lola: 4296147 markings, 22534827 edges, 2498 markings/sec, 1485 secs
lola: 4306932 markings, 22604068 edges, 2157 markings/sec, 1490 secs
lola: 4317002 markings, 22674264 edges, 2014 markings/sec, 1495 secs
lola: 4327589 markings, 22743584 edges, 2117 markings/sec, 1500 secs
lola: 4338488 markings, 22814679 edges, 2180 markings/sec, 1505 secs
lola: 4348552 markings, 22884751 edges, 2013 markings/sec, 1510 secs
lola: 4358652 markings, 22955809 edges, 2020 markings/sec, 1515 secs
lola: 4368698 markings, 23035738 edges, 2009 markings/sec, 1520 secs
lola: 4383507 markings, 23114949 edges, 2962 markings/sec, 1525 secs
lola: 4396926 markings, 23195428 edges, 2684 markings/sec, 1530 secs
lola: 4409068 markings, 23275897 edges, 2428 markings/sec, 1535 secs
lola: 4420570 markings, 23356942 edges, 2300 markings/sec, 1540 secs
lola: 4430630 markings, 23438017 edges, 2012 markings/sec, 1545 secs
lola: 4445161 markings, 23516773 edges, 2906 markings/sec, 1550 secs
lola: 4459609 markings, 23594037 edges, 2890 markings/sec, 1555 secs
lola: 4472674 markings, 23673016 edges, 2613 markings/sec, 1560 secs
lola: 4485845 markings, 23752309 edges, 2634 markings/sec, 1565 secs
lola: 4497918 markings, 23828176 edges, 2415 markings/sec, 1570 secs
lola: 4512304 markings, 23904434 edges, 2877 markings/sec, 1575 secs
lola: 4524914 markings, 23980219 edges, 2522 markings/sec, 1580 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes no unknown no no no no yes yes no no unknown yes no
lola: memory consumption: 3960536 KB
lola: time consumption: 1983 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((p2988 <= 2) OR G ((p4733 <= p7476))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((p2988 <= 2) OR G ((p4733 <= p7476))))))
lola: processed formula length: 50
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 19145 markings, 75203 edges, 3829 markings/sec, 0 secs
lola: 37471 markings, 151366 edges, 3665 markings/sec, 5 secs
lola: 56017 markings, 227732 edges, 3709 markings/sec, 10 secs
lola: 74934 markings, 305258 edges, 3783 markings/sec, 15 secs
lola: 89659 markings, 383514 edges, 2945 markings/sec, 20 secs
lola: 107201 markings, 459004 edges, 3508 markings/sec, 25 secs
lola: 123225 markings, 536351 edges, 3205 markings/sec, 30 secs
lola: 142209 markings, 612326 edges, 3797 markings/sec, 35 secs
lola: 160355 markings, 688862 edges, 3629 markings/sec, 40 secs
lola: 178089 markings, 765524 edges, 3547 markings/sec, 45 secs
lola: 192714 markings, 843355 edges, 2925 markings/sec, 50 secs
lola: 211261 markings, 918276 edges, 3709 markings/sec, 55 secs
lola: 227429 markings, 996649 edges, 3234 markings/sec, 60 secs
lola: 247275 markings, 1071939 edges, 3969 markings/sec, 65 secs
lola: 264951 markings, 1149072 edges, 3535 markings/sec, 70 secs
lola: 282205 markings, 1225983 edges, 3451 markings/sec, 75 secs
lola: 295874 markings, 1304254 edges, 2734 markings/sec, 80 secs
lola: 312508 markings, 1381434 edges, 3327 markings/sec, 85 secs
lola: 327979 markings, 1459183 edges, 3094 markings/sec, 90 secs
lola: 347714 markings, 1534872 edges, 3947 markings/sec, 95 secs
lola: 363953 markings, 1612902 edges, 3248 markings/sec, 100 secs
lola: 381746 markings, 1692592 edges, 3559 markings/sec, 105 secs
lola: 398563 markings, 1773051 edges, 3363 markings/sec, 110 secs
lola: 412269 markings, 1854558 edges, 2741 markings/sec, 115 secs
lola: 430989 markings, 1929956 edges, 3744 markings/sec, 120 secs
lola: 446155 markings, 2009214 edges, 3033 markings/sec, 125 secs
lola: 462753 markings, 2087536 edges, 3320 markings/sec, 130 secs
lola: 480568 markings, 2164209 edges, 3563 markings/sec, 135 secs
lola: 498034 markings, 2242172 edges, 3493 markings/sec, 140 secs
lola: 517454 markings, 2320753 edges, 3884 markings/sec, 145 secs
lola: 539975 markings, 2391560 edges, 4504 markings/sec, 150 secs
lola: 554816 markings, 2463130 edges, 2968 markings/sec, 155 secs
lola: 572415 markings, 2533391 edges, 3520 markings/sec, 160 secs
lola: 588438 markings, 2605865 edges, 3205 markings/sec, 165 secs
lola: 605215 markings, 2683838 edges, 3355 markings/sec, 170 secs
lola: 623165 markings, 2761511 edges, 3590 markings/sec, 175 secs
lola: 636988 markings, 2839943 edges, 2765 markings/sec, 180 secs
lola: 649316 markings, 2919240 edges, 2466 markings/sec, 185 secs
lola: 665967 markings, 2996823 edges, 3330 markings/sec, 190 secs
lola: 685071 markings, 3074248 edges, 3821 markings/sec, 195 secs
lola: 702916 markings, 3151961 edges, 3569 markings/sec, 200 secs
lola: 717374 markings, 3230023 edges, 2892 markings/sec, 205 secs
lola: 734852 markings, 3307898 edges, 3496 markings/sec, 210 secs
lola: 751776 markings, 3385735 edges, 3385 markings/sec, 215 secs
lola: 769536 markings, 3463346 edges, 3552 markings/sec, 220 secs
lola: 787371 markings, 3540692 edges, 3567 markings/sec, 225 secs
lola: 803693 markings, 3618632 edges, 3264 markings/sec, 230 secs
lola: 822497 markings, 3695906 edges, 3761 markings/sec, 235 secs
lola: 843123 markings, 3772530 edges, 4125 markings/sec, 240 secs
lola: 858158 markings, 3850211 edges, 3007 markings/sec, 245 secs
lola: 871122 markings, 3929331 edges, 2593 markings/sec, 250 secs
lola: 885322 markings, 4008653 edges, 2840 markings/sec, 255 secs
lola: 899055 markings, 4087572 edges, 2747 markings/sec, 260 secs
lola: 913430 markings, 4165386 edges, 2875 markings/sec, 265 secs
lola: 926689 markings, 4243234 edges, 2652 markings/sec, 270 secs
lola: 945726 markings, 4320052 edges, 3807 markings/sec, 275 secs
lola: 962363 markings, 4397928 edges, 3327 markings/sec, 280 secs
lola: 980332 markings, 4475926 edges, 3594 markings/sec, 285 secs
lola: 995285 markings, 4554166 edges, 2991 markings/sec, 290 secs
lola: 1010875 markings, 4632344 edges, 3118 markings/sec, 295 secs
lola: 1024433 markings, 4711706 edges, 2712 markings/sec, 300 secs
lola: 1041327 markings, 4789266 edges, 3379 markings/sec, 305 secs
lola: 1057030 markings, 4863976 edges, 3141 markings/sec, 310 secs
lola: 1068755 markings, 4943050 edges, 2345 markings/sec, 315 secs
lola: 1080889 markings, 5022146 edges, 2427 markings/sec, 320 secs
lola: 1094073 markings, 5100592 edges, 2637 markings/sec, 325 secs
lola: 1113007 markings, 5178052 edges, 3787 markings/sec, 330 secs
lola: 1131567 markings, 5255751 edges, 3712 markings/sec, 335 secs
lola: 1144839 markings, 5334968 edges, 2654 markings/sec, 340 secs
lola: 1156523 markings, 5414769 edges, 2337 markings/sec, 345 secs
lola: 1171561 markings, 5493173 edges, 3008 markings/sec, 350 secs
lola: 1186560 markings, 5571613 edges, 3000 markings/sec, 355 secs
lola: 1200267 markings, 5649380 edges, 2741 markings/sec, 360 secs
lola: 1213961 markings, 5727664 edges, 2739 markings/sec, 365 secs
lola: 1231261 markings, 5805916 edges, 3460 markings/sec, 370 secs
lola: 1247373 markings, 5883955 edges, 3222 markings/sec, 375 secs
lola: 1263914 markings, 5960006 edges, 3308 markings/sec, 380 secs
lola: 1281058 markings, 6030578 edges, 3429 markings/sec, 385 secs
lola: 1297929 markings, 6101327 edges, 3374 markings/sec, 390 secs
lola: 1313806 markings, 6171786 edges, 3175 markings/sec, 395 secs
lola: 1328449 markings, 6249462 edges, 2929 markings/sec, 400 secs
lola: 1342504 markings, 6323302 edges, 2811 markings/sec, 405 secs
lola: 1356545 markings, 6401268 edges, 2808 markings/sec, 410 secs
lola: 1376822 markings, 6478995 edges, 4055 markings/sec, 415 secs
lola: 1391652 markings, 6558095 edges, 2966 markings/sec, 420 secs
lola: 1405069 markings, 6637689 edges, 2683 markings/sec, 425 secs
lola: 1424942 markings, 6715744 edges, 3975 markings/sec, 430 secs
lola: 1439545 markings, 6795234 edges, 2921 markings/sec, 435 secs
lola: 1456052 markings, 6874055 edges, 3301 markings/sec, 440 secs
lola: 1470562 markings, 6952753 edges, 2902 markings/sec, 445 secs
lola: 1482344 markings, 7032931 edges, 2356 markings/sec, 450 secs
lola: 1498350 markings, 7112862 edges, 3201 markings/sec, 455 secs
lola: 1514655 markings, 7189929 edges, 3261 markings/sec, 460 secs
lola: 1532167 markings, 7268542 edges, 3502 markings/sec, 465 secs
lola: 1550812 markings, 7345817 edges, 3729 markings/sec, 470 secs
lola: 1566366 markings, 7424462 edges, 3111 markings/sec, 475 secs
lola: 1580743 markings, 7504058 edges, 2875 markings/sec, 480 secs
lola: 1594343 markings, 7584077 edges, 2720 markings/sec, 485 secs
lola: 1609548 markings, 7664816 edges, 3041 markings/sec, 490 secs
lola: 1628718 markings, 7743895 edges, 3834 markings/sec, 495 secs
lola: 1647353 markings, 7821021 edges, 3727 markings/sec, 500 secs
lola: 1665510 markings, 7896427 edges, 3631 markings/sec, 505 secs
lola: 1680458 markings, 7974308 edges, 2990 markings/sec, 510 secs
lola: 1693753 markings, 8054417 edges, 2659 markings/sec, 515 secs
lola: 1706400 markings, 8134597 edges, 2529 markings/sec, 520 secs
lola: 1717990 markings, 8215699 edges, 2318 markings/sec, 525 secs
lola: 1730926 markings, 8296519 edges, 2587 markings/sec, 530 secs
lola: 1747565 markings, 8377556 edges, 3328 markings/sec, 535 secs
lola: 1763521 markings, 8456228 edges, 3191 markings/sec, 540 secs
lola: 1779084 markings, 8532689 edges, 3113 markings/sec, 545 secs
lola: 1794849 markings, 8606612 edges, 3153 markings/sec, 550 secs
lola: 1806193 markings, 8684097 edges, 2269 markings/sec, 555 secs
lola: 1818092 markings, 8763786 edges, 2380 markings/sec, 560 secs
lola: 1828147 markings, 8844268 edges, 2011 markings/sec, 565 secs
lola: 1838686 markings, 8924637 edges, 2108 markings/sec, 570 secs
lola: 1849235 markings, 9004572 edges, 2110 markings/sec, 575 secs
lola: 1865342 markings, 9084317 edges, 3221 markings/sec, 580 secs
lola: 1882293 markings, 9162098 edges, 3390 markings/sec, 585 secs
lola: 1896907 markings, 9239914 edges, 2923 markings/sec, 590 secs
lola: 1908446 markings, 9320125 edges, 2308 markings/sec, 595 secs
lola: 1920231 markings, 9399964 edges, 2357 markings/sec, 600 secs
lola: 1936310 markings, 9480603 edges, 3216 markings/sec, 605 secs
lola: 1952090 markings, 9559207 edges, 3156 markings/sec, 610 secs
lola: 1967858 markings, 9635164 edges, 3154 markings/sec, 615 secs
lola: 1983125 markings, 9708842 edges, 3053 markings/sec, 620 secs
lola: 1996936 markings, 9783096 edges, 2762 markings/sec, 625 secs
lola: 2010389 markings, 9862476 edges, 2691 markings/sec, 630 secs
lola: 2024610 markings, 9941949 edges, 2844 markings/sec, 635 secs
lola: 2037568 markings, 10021585 edges, 2592 markings/sec, 640 secs
lola: 2053389 markings, 10102121 edges, 3164 markings/sec, 645 secs
lola: 2070448 markings, 10179700 edges, 3412 markings/sec, 650 secs
lola: 2083770 markings, 10257187 edges, 2664 markings/sec, 655 secs
lola: 2096798 markings, 10336851 edges, 2606 markings/sec, 660 secs
lola: 2116500 markings, 10416089 edges, 3940 markings/sec, 665 secs
lola: 2135269 markings, 10492633 edges, 3754 markings/sec, 670 secs
lola: 2147889 markings, 10572403 edges, 2524 markings/sec, 675 secs
lola: 2159006 markings, 10652536 edges, 2223 markings/sec, 680 secs
lola: 2172985 markings, 10732530 edges, 2796 markings/sec, 685 secs
lola: 2187617 markings, 10809712 edges, 2926 markings/sec, 690 secs
lola: 2200653 markings, 10885810 edges, 2607 markings/sec, 695 secs
lola: 2211359 markings, 10965945 edges, 2141 markings/sec, 700 secs
lola: 2225500 markings, 11046807 edges, 2828 markings/sec, 705 secs
lola: 2242665 markings, 11125347 edges, 3433 markings/sec, 710 secs
lola: 2257612 markings, 11202488 edges, 2989 markings/sec, 715 secs
lola: 2268938 markings, 11282027 edges, 2265 markings/sec, 720 secs
lola: 2280910 markings, 11361046 edges, 2394 markings/sec, 725 secs
lola: 2292817 markings, 11441692 edges, 2381 markings/sec, 730 secs
lola: 2308029 markings, 11521149 edges, 3042 markings/sec, 735 secs
lola: 2322918 markings, 11597424 edges, 2978 markings/sec, 740 secs
lola: 2333382 markings, 11677129 edges, 2093 markings/sec, 745 secs
lola: 2344232 markings, 11757138 edges, 2170 markings/sec, 750 secs
lola: 2353848 markings, 11836953 edges, 1923 markings/sec, 755 secs
lola: 2370871 markings, 11915951 edges, 3405 markings/sec, 760 secs
lola: 2385213 markings, 11994153 edges, 2868 markings/sec, 765 secs
lola: 2398657 markings, 12073814 edges, 2689 markings/sec, 770 secs
lola: 2414793 markings, 12152291 edges, 3227 markings/sec, 775 secs
lola: 2429003 markings, 12229301 edges, 2842 markings/sec, 780 secs
lola: 2442460 markings, 12308573 edges, 2691 markings/sec, 785 secs
lola: 2454751 markings, 12385656 edges, 2458 markings/sec, 790 secs
lola: 2469005 markings, 12465201 edges, 2851 markings/sec, 795 secs
lola: 2485228 markings, 12543811 edges, 3245 markings/sec, 800 secs
lola: 2498732 markings, 12622810 edges, 2701 markings/sec, 805 secs
lola: 2512201 markings, 12702295 edges, 2694 markings/sec, 810 secs
lola: 2530289 markings, 12780484 edges, 3618 markings/sec, 815 secs
lola: 2548665 markings, 12858492 edges, 3675 markings/sec, 820 secs
lola: 2566202 markings, 12932426 edges, 3507 markings/sec, 825 secs
lola: 2583035 markings, 12999864 edges, 3367 markings/sec, 830 secs
lola: 2594926 markings, 13071070 edges, 2378 markings/sec, 835 secs
lola: 2606647 markings, 13144276 edges, 2344 markings/sec, 840 secs
lola: 2623964 markings, 13224270 edges, 3463 markings/sec, 845 secs
lola: 2641142 markings, 13300860 edges, 3436 markings/sec, 850 secs
lola: 2652700 markings, 13379055 edges, 2312 markings/sec, 855 secs
lola: 2664738 markings, 13457594 edges, 2408 markings/sec, 860 secs
lola: 2680050 markings, 13529998 edges, 3062 markings/sec, 865 secs
lola: 2698148 markings, 13600540 edges, 3620 markings/sec, 870 secs
lola: 2711953 markings, 13670732 edges, 2761 markings/sec, 875 secs
lola: 2725704 markings, 13748512 edges, 2750 markings/sec, 880 secs
lola: 2737866 markings, 13827612 edges, 2432 markings/sec, 885 secs
lola: 2749491 markings, 13907775 edges, 2325 markings/sec, 890 secs
lola: 2761855 markings, 13986227 edges, 2473 markings/sec, 895 secs
lola: 2777145 markings, 14058803 edges, 3058 markings/sec, 900 secs
lola: 2791508 markings, 14129764 edges, 2873 markings/sec, 905 secs
lola: 2806090 markings, 14201113 edges, 2916 markings/sec, 910 secs
lola: 2821769 markings, 14275207 edges, 3136 markings/sec, 915 secs
lola: 2834812 markings, 14352501 edges, 2609 markings/sec, 920 secs
lola: 2845913 markings, 14432272 edges, 2220 markings/sec, 925 secs
lola: 2859622 markings, 14512809 edges, 2742 markings/sec, 930 secs
lola: 2874625 markings, 14591777 edges, 3001 markings/sec, 935 secs
lola: 2888240 markings, 14668698 edges, 2723 markings/sec, 940 secs
lola: 2898800 markings, 14748994 edges, 2112 markings/sec, 945 secs
lola: 2909425 markings, 14829885 edges, 2125 markings/sec, 950 secs
lola: 2923216 markings, 14909839 edges, 2758 markings/sec, 955 secs
lola: 2940358 markings, 14988509 edges, 3428 markings/sec, 960 secs
lola: 2955596 markings, 15065646 edges, 3048 markings/sec, 965 secs
lola: 2967865 markings, 15141425 edges, 2454 markings/sec, 970 secs
lola: 2982059 markings, 15214271 edges, 2839 markings/sec, 975 secs
lola: 2994608 markings, 15291967 edges, 2510 markings/sec, 980 secs
lola: 3011117 markings, 15362088 edges, 3302 markings/sec, 985 secs
lola: 3035264 markings, 15436592 edges, 4829 markings/sec, 990 secs
lola: 3054109 markings, 15514265 edges, 3769 markings/sec, 995 secs
lola: 3070838 markings, 15592817 edges, 3346 markings/sec, 1000 secs
lola: 3088208 markings, 15669403 edges, 3474 markings/sec, 1005 secs
lola: 3103804 markings, 15748331 edges, 3119 markings/sec, 1010 secs
lola: 3123414 markings, 15826282 edges, 3922 markings/sec, 1015 secs
lola: 3140290 markings, 15905181 edges, 3375 markings/sec, 1020 secs
lola: 3158944 markings, 15982660 edges, 3731 markings/sec, 1025 secs
lola: 3174057 markings, 16061437 edges, 3023 markings/sec, 1030 secs
lola: 3188731 markings, 16140151 edges, 2935 markings/sec, 1035 secs
lola: 3202884 markings, 16218828 edges, 2831 markings/sec, 1040 secs
lola: 3222582 markings, 16294471 edges, 3940 markings/sec, 1045 secs
lola: 3239223 markings, 16369496 edges, 3328 markings/sec, 1050 secs
lola: 3254576 markings, 16440027 edges, 3071 markings/sec, 1055 secs
lola: 3268250 markings, 16511742 edges, 2735 markings/sec, 1060 secs
lola: 3284770 markings, 16586250 edges, 3304 markings/sec, 1065 secs
lola: 3304885 markings, 16663986 edges, 4023 markings/sec, 1070 secs
lola: 3318606 markings, 16742951 edges, 2744 markings/sec, 1075 secs
lola: 3332303 markings, 16822459 edges, 2739 markings/sec, 1080 secs
lola: 3346830 markings, 16903450 edges, 2905 markings/sec, 1085 secs
lola: 3364022 markings, 16982330 edges, 3438 markings/sec, 1090 secs
lola: 3378985 markings, 17059903 edges, 2993 markings/sec, 1095 secs
lola: 3390017 markings, 17139920 edges, 2206 markings/sec, 1100 secs
lola: 3404801 markings, 17219318 edges, 2957 markings/sec, 1105 secs
lola: 3422274 markings, 17297769 edges, 3495 markings/sec, 1110 secs
lola: 3434308 markings, 17377790 edges, 2407 markings/sec, 1115 secs
lola: 3450145 markings, 17457247 edges, 3167 markings/sec, 1120 secs
lola: 3466465 markings, 17534491 edges, 3264 markings/sec, 1125 secs
lola: 3480276 markings, 17612518 edges, 2762 markings/sec, 1130 secs
lola: 3492892 markings, 17691446 edges, 2523 markings/sec, 1135 secs
lola: 3508859 markings, 17771369 edges, 3193 markings/sec, 1140 secs
lola: 3529103 markings, 17850194 edges, 4049 markings/sec, 1145 secs
lola: 3545596 markings, 17927920 edges, 3299 markings/sec, 1150 secs
lola: 3558652 markings, 18007356 edges, 2611 markings/sec, 1155 secs
lola: 3572108 markings, 18087852 edges, 2691 markings/sec, 1160 secs
lola: 3589538 markings, 18166909 edges, 3486 markings/sec, 1165 secs
lola: 3605147 markings, 18243515 edges, 3122 markings/sec, 1170 secs
lola: 3617704 markings, 18322455 edges, 2511 markings/sec, 1175 secs
lola: 3633447 markings, 18399721 edges, 3149 markings/sec, 1180 secs
lola: 3650537 markings, 18474845 edges, 3418 markings/sec, 1185 secs
lola: 3665148 markings, 18551647 edges, 2922 markings/sec, 1190 secs
lola: 3678259 markings, 18631122 edges, 2622 markings/sec, 1195 secs
lola: 3694691 markings, 18709656 edges, 3286 markings/sec, 1200 secs
lola: 3707966 markings, 18788893 edges, 2655 markings/sec, 1205 secs
lola: 3720290 markings, 18869235 edges, 2465 markings/sec, 1210 secs
lola: 3732483 markings, 18949154 edges, 2439 markings/sec, 1215 secs
lola: 3743222 markings, 19029290 edges, 2148 markings/sec, 1220 secs
lola: 3752652 markings, 19109664 edges, 1886 markings/sec, 1225 secs
lola: 3766633 markings, 19188626 edges, 2796 markings/sec, 1230 secs
lola: 3780179 markings, 19267135 edges, 2709 markings/sec, 1235 secs
lola: 3794555 markings, 19344957 edges, 2875 markings/sec, 1240 secs
lola: 3807981 markings, 19423935 edges, 2685 markings/sec, 1245 secs
lola: 3820928 markings, 19502716 edges, 2589 markings/sec, 1250 secs
lola: 3832840 markings, 19580189 edges, 2382 markings/sec, 1255 secs
lola: 3842710 markings, 19651893 edges, 1974 markings/sec, 1260 secs
lola: 3854413 markings, 19724624 edges, 2341 markings/sec, 1265 secs
lola: 3868692 markings, 19799127 edges, 2856 markings/sec, 1270 secs
lola: 3880478 markings, 19877335 edges, 2357 markings/sec, 1275 secs
lola: 3892407 markings, 19957316 edges, 2386 markings/sec, 1280 secs
lola: 3901657 markings, 20037866 edges, 1850 markings/sec, 1285 secs
lola: 3915629 markings, 20116525 edges, 2794 markings/sec, 1290 secs
lola: 3928333 markings, 20195734 edges, 2541 markings/sec, 1295 secs
lola: 3942640 markings, 20273897 edges, 2861 markings/sec, 1300 secs
lola: 3957039 markings, 20353089 edges, 2880 markings/sec, 1305 secs
lola: 3971483 markings, 20431197 edges, 2889 markings/sec, 1310 secs
lola: 3984703 markings, 20509311 edges, 2644 markings/sec, 1315 secs
lola: 3997350 markings, 20587968 edges, 2529 markings/sec, 1320 secs
lola: 4009805 markings, 20666395 edges, 2491 markings/sec, 1325 secs
lola: 4020959 markings, 20744939 edges, 2231 markings/sec, 1330 secs
lola: 4034353 markings, 20824913 edges, 2679 markings/sec, 1335 secs
lola: 4050298 markings, 20903019 edges, 3189 markings/sec, 1340 secs
lola: 4063460 markings, 20982066 edges, 2632 markings/sec, 1345 secs
lola: 4075667 markings, 21061737 edges, 2441 markings/sec, 1350 secs
lola: 4088030 markings, 21141536 edges, 2473 markings/sec, 1355 secs
lola: 4098545 markings, 21222075 edges, 2103 markings/sec, 1360 secs
lola: 4109318 markings, 21302946 edges, 2155 markings/sec, 1365 secs
lola: 4123759 markings, 21381072 edges, 2888 markings/sec, 1370 secs
lola: 4137902 markings, 21460583 edges, 2829 markings/sec, 1375 secs
lola: 4151593 markings, 21539762 edges, 2738 markings/sec, 1380 secs
lola: 4164297 markings, 21618164 edges, 2541 markings/sec, 1385 secs
lola: 4177515 markings, 21696900 edges, 2644 markings/sec, 1390 secs
lola: 4189457 markings, 21775882 edges, 2388 markings/sec, 1395 secs
lola: 4201961 markings, 21854997 edges, 2501 markings/sec, 1400 secs
lola: 4214112 markings, 21934832 edges, 2430 markings/sec, 1405 secs
lola: 4227024 markings, 22013785 edges, 2582 markings/sec, 1410 secs
lola: 4238126 markings, 22093415 edges, 2220 markings/sec, 1415 secs
lola: 4248676 markings, 22173732 edges, 2110 markings/sec, 1420 secs
lola: 4259560 markings, 22254181 edges, 2177 markings/sec, 1425 secs
lola: 4268933 markings, 22335359 edges, 1875 markings/sec, 1430 secs
lola: 4277591 markings, 22416228 edges, 1732 markings/sec, 1435 secs
lola: 4290127 markings, 22496740 edges, 2507 markings/sec, 1440 secs
lola: 4302396 markings, 22574610 edges, 2454 markings/sec, 1445 secs
lola: 4313893 markings, 22651991 edges, 2299 markings/sec, 1450 secs
lola: 4326113 markings, 22732213 edges, 2444 markings/sec, 1455 secs
lola: 4338006 markings, 22811662 edges, 2379 markings/sec, 1460 secs
lola: 4349196 markings, 22889359 edges, 2238 markings/sec, 1465 secs
lola: 4360276 markings, 22969464 edges, 2216 markings/sec, 1470 secs
lola: 4371088 markings, 23049109 edges, 2162 markings/sec, 1475 secs
lola: 4385469 markings, 23128463 edges, 2876 markings/sec, 1480 secs
lola: 4398858 markings, 23208119 edges, 2678 markings/sec, 1485 secs
lola: 4410870 markings, 23287931 edges, 2402 markings/sec, 1490 secs
lola: 4422084 markings, 23368410 edges, 2243 markings/sec, 1495 secs
lola: 4432490 markings, 23448495 edges, 2081 markings/sec, 1500 secs
lola: 4446706 markings, 23526513 edges, 2843 markings/sec, 1505 secs
lola: 4461543 markings, 23605937 edges, 2967 markings/sec, 1510 secs
lola: 4474931 markings, 23685703 edges, 2678 markings/sec, 1515 secs
lola: 4487694 markings, 23766526 edges, 2553 markings/sec, 1520 secs
lola: 4500701 markings, 23843193 edges, 2601 markings/sec, 1525 secs
lola: 4515079 markings, 23921014 edges, 2876 markings/sec, 1530 secs
lola: 4528320 markings, 23999078 edges, 2648 markings/sec, 1535 secs
lola: 4540605 markings, 24077247 edges, 2457 markings/sec, 1540 secs
lola: 4551905 markings, 24156236 edges, 2260 markings/sec, 1545 secs
lola: 4561869 markings, 24236069 edges, 1993 markings/sec, 1550 secs
lola: 4573270 markings, 24315492 edges, 2280 markings/sec, 1555 secs
lola: 4583673 markings, 24395169 edges, 2081 markings/sec, 1560 secs
lola: 4593700 markings, 24474503 edges, 2005 markings/sec, 1565 secs
lola: 4602196 markings, 24555101 edges, 1699 markings/sec, 1570 secs
lola: 4614295 markings, 24634363 edges, 2420 markings/sec, 1575 secs
lola: 4627360 markings, 24713764 edges, 2613 markings/sec, 1580 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes no unknown no no no no yes yes no no unknown yes no
lola: memory consumption: 4027876 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (F ((p2975 <= p310))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p2975 <= p310))))
lola: processed formula length: 27
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes no unknown no no no no yes yes no no unknown yes no
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: yes yes yes no unknown no no no no yes yes no no unknown yes no
lola:
preliminary result: yes yes yes no unknown no no no no yes yes no no unknown yes no
lola: memory consumption: 798972 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: lola: memory consumption: 798972 KB
writing JSON to LTLCardinality.json
lola: time consumption: 3570 seconds
lola: lola: closed JSON file LTLCardinality.json
print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no unknown no no no no yes yes no no unknown yes no
rslt: finished
BK_STOP 1590346587719
--------------------
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="NoC3x3-PT-8B"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is NoC3x3-PT-8B, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-csrt-158961292500113"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8B.tgz
mv NoC3x3-PT-8B execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;