About the Execution of Irma.struct for DLCround-PT-13b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
14136.770 | 3584735.00 | 3609986.00 | 11546.40 | TFT??TTFTTTF???? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 2.1M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is DLCround-PT-13b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r067-smll-152649739700150
=====================================================================
--------------------
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 DLCround-PT-13b-CTLCardinality-00
FORMULA_NAME DLCround-PT-13b-CTLCardinality-01
FORMULA_NAME DLCround-PT-13b-CTLCardinality-02
FORMULA_NAME DLCround-PT-13b-CTLCardinality-03
FORMULA_NAME DLCround-PT-13b-CTLCardinality-04
FORMULA_NAME DLCround-PT-13b-CTLCardinality-05
FORMULA_NAME DLCround-PT-13b-CTLCardinality-06
FORMULA_NAME DLCround-PT-13b-CTLCardinality-07
FORMULA_NAME DLCround-PT-13b-CTLCardinality-08
FORMULA_NAME DLCround-PT-13b-CTLCardinality-09
FORMULA_NAME DLCround-PT-13b-CTLCardinality-10
FORMULA_NAME DLCround-PT-13b-CTLCardinality-11
FORMULA_NAME DLCround-PT-13b-CTLCardinality-12
FORMULA_NAME DLCround-PT-13b-CTLCardinality-13
FORMULA_NAME DLCround-PT-13b-CTLCardinality-14
FORMULA_NAME DLCround-PT-13b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526647444867
BK_STOP 1526651029602
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-13b as instance name.
Using DLCround as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 2247220, 'Memory': 15949.27, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLCardinality lola DLCround-PT-13b...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-13b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-13b: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLCardinality @ DLCround-PT-13b @ 3540 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14070/65536 symbol table entries, 4277 collisions
lola: preprocessing...
lola: finding significant places
lola: 5343 places, 8727 transitions, 5031 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12738 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13b-CTLCardinality.task
lola: E (G (A (F (((p2616 <= p298) AND (p3704 <= p2429)))))) : A (G ((((p2016 <= p1818) OR (1 <= p4500) OR ((2 <= p2422) AND (1 <= p2206))) AND ((p4423 <= 0) OR (p4626 <= 1))))) : NOT(A (F ((2 <= p252)))) : A (G (NOT(A (F ((3 <= p3371)))))) : ((((p2480 <= 0) AND (p2730 <= 2)) OR A (((3 <= p2314) U (p4618 <= p942)))) AND A (G (E (X ((p2328 <= p256)))))) : NOT(A (X (A (F ((1 <= p2603)))))) : E (G (((3 <= p4205) OR (p3773 <= 1) OR ((p2574 + 1 <= p1265) AND ((p4454 <= p1526) OR (2 <= p258)))))) : A ((E (X ((p3875 <= p506))) U A (G ((2 <= p2870))))) : A ((A (G ((2 <= p350))) U E (G ((p3745 <= p3446))))) : E (F ((((p1350 <= 2) AND (p4644 + 1 <= p2561)) OR (2 <= p1969)))) : NOT(NOT(A (G ((p3850 <= 1))))) : NOT((A (X ((p3553 + 1 <= p4638))) OR (E (G ((p2911 <= p2922))) OR (1 <= p292)))) : (NOT(E (((p2215 <= p0) U (3 <= p425)))) AND A (X (((p2971 <= p1142) OR (p3344 + 1 <= p2232))))) : A ((E (X ((3 <= p3375))) U A (G ((p3575 <= p4825))))) : E ((E (F ((p3244 <= p209))) U A (G ((p991 <= p59))))) : ((E (((p4243 <= p2543) U (2 <= p3322))) AND (p111 <= p2772)) OR (2 <= p3580))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (((p2616 <= p298) AND (p3704 <= p2429))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U ((p2616 <= p298) AND (p3704 <= p2429))))))
lola: processed formula length: 68
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 3004 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((p2016 <= p1818) OR (1 <= p4500) OR ((2 <= p2422) AND (1 <= p2206))) AND ((p4423 <= 0) OR (p4626 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
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: RUNNING
lola: state equation: Generated DNF with 8 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 73 markings, 72 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F ((2 <= p252))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (2 <= p252)))
lola: processed formula length: 26
lola: 5 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 1502 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT(A (F ((3 <= p3371))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U A(TRUE U (3 <= p3371))))
lola: processed formula length: 37
lola: 7 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 94218 markings, 298924 edges, 3096156024340480000 markings/sec, 0 secs
lola: 187447 markings, 593830 edges, 18646 markings/sec, 5 secs
lola: 279841 markings, 887958 edges, 18479 markings/sec, 10 secs
lola: 371300 markings, 1178628 edges, 18292 markings/sec, 15 secs
lola: 463245 markings, 1472603 edges, 18389 markings/sec, 20 secs
lola: 556292 markings, 1768280 edges, 18609 markings/sec, 25 secs
lola: 648954 markings, 2062917 edges, 18532 markings/sec, 30 secs
lola: 741291 markings, 2356957 edges, 18467 markings/sec, 35 secs
lola: 822290 markings, 2615587 edges, 16200 markings/sec, 40 secs
lola: 916223 markings, 2915459 edges, 18787 markings/sec, 45 secs
lola: 1009797 markings, 3214306 edges, 18715 markings/sec, 50 secs
lola: 1102654 markings, 3512171 edges, 18571 markings/sec, 55 secs
lola: 1195275 markings, 3809340 edges, 18524 markings/sec, 60 secs
lola: 1287888 markings, 4106643 edges, 18523 markings/sec, 65 secs
lola: 1380374 markings, 4404333 edges, 18497 markings/sec, 70 secs
lola: 1473116 markings, 4700377 edges, 18548 markings/sec, 75 secs
lola: 1565338 markings, 4995977 edges, 18444 markings/sec, 80 secs
lola: 1658358 markings, 5294271 edges, 18604 markings/sec, 85 secs
lola: 1751461 markings, 5592227 edges, 18621 markings/sec, 90 secs
lola: 1844333 markings, 5889881 edges, 18574 markings/sec, 95 secs
lola: 1936796 markings, 6185967 edges, 18493 markings/sec, 100 secs
lola: 2028104 markings, 6480641 edges, 18262 markings/sec, 105 secs
lola: 2119524 markings, 6774752 edges, 18284 markings/sec, 110 secs
lola: 2211881 markings, 7071509 edges, 18471 markings/sec, 115 secs
lola: 2302533 markings, 7364061 edges, 18130 markings/sec, 120 secs
lola: 2393519 markings, 7661105 edges, 18197 markings/sec, 125 secs
lola: 2485217 markings, 7957909 edges, 18340 markings/sec, 130 secs
lola: 2577554 markings, 8255042 edges, 18467 markings/sec, 135 secs
lola: 2671972 markings, 8554868 edges, 18884 markings/sec, 140 secs
lola: 2765015 markings, 8853970 edges, 18609 markings/sec, 145 secs
lola: 2858574 markings, 9151156 edges, 18712 markings/sec, 150 secs
lola: 2951257 markings, 9446326 edges, 18537 markings/sec, 155 secs
lola: 3043257 markings, 9740291 edges, 18400 markings/sec, 160 secs
lola: 3134638 markings, 10034728 edges, 18276 markings/sec, 165 secs
lola: 3226568 markings, 10329267 edges, 18386 markings/sec, 170 secs
lola: 3318887 markings, 10624124 edges, 18464 markings/sec, 175 secs
lola: 3409675 markings, 10917082 edges, 18158 markings/sec, 180 secs
lola: 3500785 markings, 11211217 edges, 18222 markings/sec, 185 secs
lola: 3591910 markings, 11505240 edges, 18225 markings/sec, 190 secs
lola: 3682929 markings, 11796948 edges, 18204 markings/sec, 195 secs
lola: 3773751 markings, 12090036 edges, 18164 markings/sec, 200 secs
lola: 3865386 markings, 12383086 edges, 18327 markings/sec, 205 secs
lola: 3956875 markings, 12676993 edges, 18298 markings/sec, 210 secs
lola: 4047815 markings, 12970951 edges, 18188 markings/sec, 215 secs
lola: 4138979 markings, 13265686 edges, 18233 markings/sec, 220 secs
lola: 4232108 markings, 13562178 edges, 18626 markings/sec, 225 secs
lola: 4324508 markings, 13857739 edges, 18480 markings/sec, 230 secs
lola: 4416753 markings, 14154592 edges, 18449 markings/sec, 235 secs
lola: 4508665 markings, 14450172 edges, 18382 markings/sec, 240 secs
lola: 4600864 markings, 14744765 edges, 18440 markings/sec, 245 secs
lola: 4691414 markings, 15038820 edges, 18110 markings/sec, 250 secs
lola: 4782720 markings, 15333040 edges, 18261 markings/sec, 255 secs
lola: 4874339 markings, 15627290 edges, 18324 markings/sec, 260 secs
lola: 4965211 markings, 15922066 edges, 18174 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((((p2480 <= 0) AND (p2730 <= 2)) OR A (((3 <= p2314) U (p4618 <= p942)))) AND A (G (E (X ((p2328 <= p256))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((p2480 <= 0) AND (p2730 <= 2))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p2480 <= 0) AND (p2730 <= 2))
lola: processed formula length: 31
lola: 0 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((p2328 <= p256)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(EX((p2328 <= p256)))))
lola: processed formula length: 39
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 145830 markings, 184058 edges, 2011398055902838784 markings/sec, 0 secs
lola: 302468 markings, 383732 edges, 31328 markings/sec, 5 secs
lola: 458746 markings, 582907 edges, 31256 markings/sec, 10 secs
lola: 613953 markings, 783026 edges, 31041 markings/sec, 15 secs
lola: 768862 markings, 980518 edges, 30982 markings/sec, 20 secs
lola: 923288 markings, 1179588 edges, 30885 markings/sec, 25 secs
lola: 1077290 markings, 1376372 edges, 30800 markings/sec, 30 secs
lola: 1230421 markings, 1574985 edges, 30626 markings/sec, 35 secs
lola: 1385231 markings, 1772872 edges, 30962 markings/sec, 40 secs
lola: 1537991 markings, 1966617 edges, 30552 markings/sec, 45 secs
lola: 1690860 markings, 2159738 edges, 30574 markings/sec, 50 secs
lola: 1843078 markings, 2354286 edges, 30444 markings/sec, 55 secs
lola: 1995769 markings, 2551469 edges, 30538 markings/sec, 60 secs
lola: 2149008 markings, 2750143 edges, 30648 markings/sec, 65 secs
lola: 2301634 markings, 2948645 edges, 30525 markings/sec, 70 secs
lola: 2453015 markings, 3142529 edges, 30276 markings/sec, 75 secs
lola: 2606046 markings, 3337745 edges, 30606 markings/sec, 80 secs
lola: 2744008 markings, 3513700 edges, 27592 markings/sec, 85 secs
lola: 2895475 markings, 3706913 edges, 30293 markings/sec, 90 secs
lola: 3045607 markings, 3901400 edges, 30026 markings/sec, 95 secs
lola: 3196639 markings, 4096706 edges, 30206 markings/sec, 100 secs
lola: 3348437 markings, 4292530 edges, 30360 markings/sec, 105 secs
lola: 3498623 markings, 4486856 edges, 30037 markings/sec, 110 secs
lola: 3650524 markings, 4684321 edges, 30380 markings/sec, 115 secs
lola: 3801553 markings, 4880198 edges, 30206 markings/sec, 120 secs
lola: 3952983 markings, 5076177 edges, 30286 markings/sec, 125 secs
lola: 4103760 markings, 5270009 edges, 30155 markings/sec, 130 secs
lola: 4257702 markings, 5468930 edges, 30788 markings/sec, 135 secs
lola: 4408700 markings, 5663594 edges, 30200 markings/sec, 140 secs
lola: 4557849 markings, 5860942 edges, 29830 markings/sec, 145 secs
lola: 4709838 markings, 6058242 edges, 30398 markings/sec, 150 secs
lola: 4861183 markings, 6255283 edges, 30269 markings/sec, 155 secs
lola: 5012427 markings, 6452408 edges, 30249 markings/sec, 160 secs
lola: 5163379 markings, 6647914 edges, 30190 markings/sec, 165 secs
lola: 5314828 markings, 6841828 edges, 30290 markings/sec, 170 secs
lola: 5464124 markings, 7033979 edges, 29859 markings/sec, 175 secs
lola: 5614922 markings, 7229877 edges, 30160 markings/sec, 180 secs
lola: 5765218 markings, 7425294 edges, 30059 markings/sec, 185 secs
lola: 5915035 markings, 7620893 edges, 29963 markings/sec, 190 secs
lola: 6065869 markings, 7815268 edges, 30167 markings/sec, 195 secs
lola: 6214451 markings, 8012881 edges, 29716 markings/sec, 200 secs
lola: 6360607 markings, 8201220 edges, 29231 markings/sec, 205 secs
lola: 6510273 markings, 8396252 edges, 29933 markings/sec, 210 secs
lola: 6666093 markings, 8596009 edges, 31164 markings/sec, 215 secs
lola: 6823019 markings, 8794668 edges, 31385 markings/sec, 220 secs
lola: 6978084 markings, 8992144 edges, 31013 markings/sec, 225 secs
lola: 7132650 markings, 9190971 edges, 30913 markings/sec, 230 secs
lola: 7286965 markings, 9388992 edges, 30863 markings/sec, 235 secs
lola: 7439777 markings, 9584832 edges, 30562 markings/sec, 240 secs
lola: 7593464 markings, 9780970 edges, 30737 markings/sec, 245 secs
lola: 7747310 markings, 9978315 edges, 30769 markings/sec, 250 secs
lola: 7900039 markings, 10172670 edges, 30546 markings/sec, 255 secs
lola: 8052350 markings, 10367491 edges, 30462 markings/sec, 260 secs
lola: 8205335 markings, 10563856 edges, 30597 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (X (A (F ((1 <= p2603))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(NOT(A(TRUE U (1 <= p2603))))
lola: processed formula length: 31
lola: 8 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 161 markings, 161 edges
lola: ========================================
lola: subprocess 6 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (((3 <= p4205) OR (p3773 <= 1) OR ((p2574 + 1 <= p1265) AND ((p4454 <= p1526) OR (2 <= p258))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U ((p4205 <= 2) AND (2 <= p3773) AND ((p1265 <= p2574) OR ((p1526 + 1 <= p4454) AND (p258 <= 1))))))
lola: processed formula length: 112
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 917 markings, 917 edges
lola: ========================================
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((p3875 <= p506))) U A (G ((2 <= p2870)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(EX((p3875 <= p506)) U NOT(E(TRUE U (p2870 <= 1))))
lola: processed formula length: 52
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 162 markings, 324 edges
lola: ========================================
lola: subprocess 8 will run for 374 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((A (G ((2 <= p350))) U E (G ((p3745 <= p3446)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(NOT(E(TRUE U (p350 <= 1))) U NOT(A(TRUE U (p3446 + 1 <= p3745))))
lola: processed formula length: 67
lola: 5 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 1503 edges
lola: ========================================
lola: subprocess 9 will run for 427 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((p1350 <= 2) AND (p4644 + 1 <= p2561)) OR (2 <= p1969))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
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: RUNNING
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-CTLCardinality-9.sara.
lola: sara is running 0 secs || 17798 markings, 20371 edges, 3560 markings/sec, 0 secs
lola: sara is running 5 secs || 36816 markings, 42017 edges, 3804 markings/sec, 5 secs
lola: sara is running 10 secs || 56132 markings, 63867 edges, 3863 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 75323 markings, 85797 edges, 3838 markings/sec, 15 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 10 will run for 495 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (G ((p3850 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
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: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-CTLCardinality-10.sara.
lola: sara is running 0 secs || 41930 markings, 49264 edges, 8386 markings/sec, 0 secs
lola: sara is running 5 secs || 79663 markings, 93733 edges, 7547 markings/sec, 5 secs
lola: sara is running 10 secs || 117272 markings, 138028 edges, 7522 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 154446 markings, 181840 edges, 7435 markings/sec, 15 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 11 will run for 590 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (X ((p3553 + 1 <= p4638))) OR (E (G ((p2911 <= p2922))) OR (1 <= p292))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 590 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X ((p4638 <= p3553)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX((p4638 <= p3553))
lola: processed formula length: 20
lola: 10 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((p2922 + 1 <= p2911)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((p2922 + 1 <= p2911)))
lola: processed formula: A (F ((p2922 + 1 <= p2911)))
lola: processed formula length: 28
lola: 9 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 24 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
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: 1455 markings, 1455 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(E (((p2215 <= p0) U (3 <= p425)))) AND A (X (((p2971 <= p1142) OR (p3344 + 1 <= p2232)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: processed formula: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: processed formula length: 37
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 23 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 57670 markings, 66525 edges, 11534 markings/sec, 0 secs
lola: 118323 markings, 136632 edges, 12131 markings/sec, 5 secs
lola: 174332 markings, 201093 edges, 11202 markings/sec, 10 secs
lola: 234845 markings, 271077 edges, 12103 markings/sec, 15 secs
lola: 295751 markings, 341596 edges, 12181 markings/sec, 20 secs
lola: 360477 markings, 416520 edges, 12945 markings/sec, 25 secs
lola: 421326 markings, 486706 edges, 12170 markings/sec, 30 secs
lola: 473629 markings, 546345 edges, 10461 markings/sec, 35 secs
lola: 527948 markings, 608629 edges, 10864 markings/sec, 40 secs
lola: 582141 markings, 670953 edges, 10839 markings/sec, 45 secs
lola: 640336 markings, 737977 edges, 11639 markings/sec, 50 secs
lola: 694322 markings, 799790 edges, 10797 markings/sec, 55 secs
lola: 751170 markings, 864945 edges, 11370 markings/sec, 60 secs
lola: 808257 markings, 930598 edges, 11417 markings/sec, 65 secs
lola: 880679 markings, 1017044 edges, 14484 markings/sec, 70 secs
lola: 949964 markings, 1099170 edges, 13857 markings/sec, 75 secs
lola: 1009715 markings, 1168016 edges, 11950 markings/sec, 80 secs
lola: 1068447 markings, 1235755 edges, 11746 markings/sec, 85 secs
lola: 1131841 markings, 1308929 edges, 12679 markings/sec, 90 secs
lola: 1184454 markings, 1368966 edges, 10523 markings/sec, 95 secs
lola: 1238038 markings, 1430445 edges, 10717 markings/sec, 100 secs
lola: 1300910 markings, 1502936 edges, 12574 markings/sec, 105 secs
lola: 1360040 markings, 1571012 edges, 11826 markings/sec, 110 secs
lola: 1417586 markings, 1637219 edges, 11509 markings/sec, 115 secs
lola: 1474741 markings, 1702997 edges, 11431 markings/sec, 120 secs
lola: 1535156 markings, 1772876 edges, 12083 markings/sec, 125 secs
lola: 1595858 markings, 1842718 edges, 12140 markings/sec, 130 secs
lola: 1653727 markings, 1909360 edges, 11574 markings/sec, 135 secs
lola: 1717033 markings, 1983236 edges, 12661 markings/sec, 140 secs
lola: 1783773 markings, 2061899 edges, 13348 markings/sec, 145 secs
lola: 1839806 markings, 2126414 edges, 11207 markings/sec, 150 secs
lola: 1896736 markings, 2191823 edges, 11386 markings/sec, 155 secs
lola: 1959323 markings, 2263972 edges, 12517 markings/sec, 160 secs
lola: 2017596 markings, 2330891 edges, 11655 markings/sec, 165 secs
lola: 2076441 markings, 2398567 edges, 11769 markings/sec, 170 secs
lola: 2135584 markings, 2466421 edges, 11829 markings/sec, 175 secs
lola: 2192699 markings, 2532205 edges, 11423 markings/sec, 180 secs
lola: 2251007 markings, 2599391 edges, 11662 markings/sec, 185 secs
lola: 2312120 markings, 2670002 edges, 12223 markings/sec, 190 secs
lola: 2370965 markings, 2737634 edges, 11769 markings/sec, 195 secs
lola: 2434302 markings, 2810864 edges, 12667 markings/sec, 200 secs
lola: 2492946 markings, 2878600 edges, 11729 markings/sec, 205 secs
lola: 2555938 markings, 2951419 edges, 12598 markings/sec, 210 secs
lola: 2615928 markings, 3020580 edges, 11998 markings/sec, 215 secs
lola: 2671800 markings, 3084987 edges, 11174 markings/sec, 220 secs
lola: 2730549 markings, 3152883 edges, 11750 markings/sec, 225 secs
lola: 2789789 markings, 3221445 edges, 11848 markings/sec, 230 secs
lola: 2849097 markings, 3290054 edges, 11862 markings/sec, 235 secs
lola: 2909490 markings, 3359916 edges, 12079 markings/sec, 240 secs
lola: 2968066 markings, 3427704 edges, 11715 markings/sec, 245 secs
lola: 3028867 markings, 3498038 edges, 12160 markings/sec, 250 secs
lola: 3087886 markings, 3566216 edges, 11804 markings/sec, 255 secs
lola: 3148274 markings, 3635949 edges, 12078 markings/sec, 260 secs
lola: 3208713 markings, 3705637 edges, 12088 markings/sec, 265 secs
lola: 3269212 markings, 3775474 edges, 12100 markings/sec, 270 secs
lola: 3329730 markings, 3845461 edges, 12104 markings/sec, 275 secs
lola: 3387514 markings, 3912302 edges, 11557 markings/sec, 280 secs
lola: 3451132 markings, 3985868 edges, 12724 markings/sec, 285 secs
lola: 3511052 markings, 4055022 edges, 11984 markings/sec, 290 secs
lola: 3572732 markings, 4126266 edges, 12336 markings/sec, 295 secs
lola: 3632276 markings, 4195019 edges, 11909 markings/sec, 300 secs
lola: 3689452 markings, 4261163 edges, 11435 markings/sec, 305 secs
lola: 3750523 markings, 4331668 edges, 12214 markings/sec, 310 secs
lola: 3810721 markings, 4401257 edges, 12040 markings/sec, 315 secs
lola: 3869026 markings, 4468450 edges, 11661 markings/sec, 320 secs
lola: 3931232 markings, 4540819 edges, 12441 markings/sec, 325 secs
lola: 3991957 markings, 4611138 edges, 12145 markings/sec, 330 secs
lola: 4056487 markings, 4685642 edges, 12906 markings/sec, 335 secs
lola: 4118931 markings, 4757919 edges, 12489 markings/sec, 340 secs
lola: 4177574 markings, 4825639 edges, 11729 markings/sec, 345 secs
lola: 4241882 markings, 4900196 edges, 12862 markings/sec, 350 secs
lola: 4297186 markings, 4964119 edges, 11061 markings/sec, 355 secs
lola: 4359958 markings, 5036821 edges, 12554 markings/sec, 360 secs
lola: 4420223 markings, 5106508 edges, 12053 markings/sec, 365 secs
lola: 4482322 markings, 5178362 edges, 12420 markings/sec, 370 secs
lola: 4544995 markings, 5250984 edges, 12535 markings/sec, 375 secs
lola: 4607417 markings, 5323229 edges, 12484 markings/sec, 380 secs
lola: 4669087 markings, 5394590 edges, 12334 markings/sec, 385 secs
lola: 4734054 markings, 5470317 edges, 12993 markings/sec, 390 secs
lola: 4794250 markings, 5539924 edges, 12039 markings/sec, 395 secs
lola: 4855697 markings, 5610741 edges, 12289 markings/sec, 400 secs
lola: 4917626 markings, 5682400 edges, 12386 markings/sec, 405 secs
lola: 4980141 markings, 5754740 edges, 12503 markings/sec, 410 secs
lola: 5039776 markings, 5823640 edges, 11927 markings/sec, 415 secs
lola: 5098477 markings, 5891338 edges, 11740 markings/sec, 420 secs
lola: 5158912 markings, 5960809 edges, 12087 markings/sec, 425 secs
lola: 5219431 markings, 6030605 edges, 12104 markings/sec, 430 secs
lola: 5271106 markings, 6090304 edges, 10335 markings/sec, 435 secs
lola: 5333732 markings, 6162837 edges, 12525 markings/sec, 440 secs
lola: 5397597 markings, 6236761 edges, 12773 markings/sec, 445 secs
lola: 5458396 markings, 6307293 edges, 12160 markings/sec, 450 secs
lola: 5517870 markings, 6376323 edges, 11895 markings/sec, 455 secs
lola: 5581900 markings, 6450523 edges, 12806 markings/sec, 460 secs
lola: 5643673 markings, 6522309 edges, 12355 markings/sec, 465 secs
lola: 5709292 markings, 6598528 edges, 13124 markings/sec, 470 secs
lola: 5773636 markings, 6673162 edges, 12869 markings/sec, 475 secs
lola: 5832623 markings, 6741605 edges, 11797 markings/sec, 480 secs
lola: 5895141 markings, 6813669 edges, 12504 markings/sec, 485 secs
lola: 5955697 markings, 6883746 edges, 12111 markings/sec, 490 secs
lola: 6013425 markings, 6950221 edges, 11546 markings/sec, 495 secs
lola: 6074695 markings, 7020951 edges, 12254 markings/sec, 500 secs
lola: 6137397 markings, 7093714 edges, 12540 markings/sec, 505 secs
lola: 6200213 markings, 7166484 edges, 12563 markings/sec, 510 secs
lola: 6264948 markings, 7241847 edges, 12947 markings/sec, 515 secs
lola: 6336471 markings, 7326456 edges, 14305 markings/sec, 520 secs
lola: 6400477 markings, 7401399 edges, 12801 markings/sec, 525 secs
lola: 6457693 markings, 7467518 edges, 11443 markings/sec, 530 secs
lola: 6515375 markings, 7534112 edges, 11536 markings/sec, 535 secs
lola: 6573728 markings, 7601603 edges, 11671 markings/sec, 540 secs
lola: 6634038 markings, 7671538 edges, 12062 markings/sec, 545 secs
lola: 6695077 markings, 7742024 edges, 12208 markings/sec, 550 secs
lola: 6758389 markings, 7815246 edges, 12662 markings/sec, 555 secs
lola: 6822069 markings, 7889141 edges, 12736 markings/sec, 560 secs
lola: 6880934 markings, 7957533 edges, 11773 markings/sec, 565 secs
lola: 6939312 markings, 8025208 edges, 11676 markings/sec, 570 secs
lola: 7003732 markings, 8099978 edges, 12884 markings/sec, 575 secs
lola: 7066013 markings, 8172162 edges, 12456 markings/sec, 580 secs
lola: 7129953 markings, 8246760 edges, 12788 markings/sec, 585 secs
lola: 7191472 markings, 8318027 edges, 12304 markings/sec, 590 secs
lola: 7256537 markings, 8393598 edges, 13013 markings/sec, 595 secs
lola: 7314448 markings, 8460530 edges, 11582 markings/sec, 600 secs
lola: 7379256 markings, 8536222 edges, 12962 markings/sec, 605 secs
lola: 7439239 markings, 8605595 edges, 11997 markings/sec, 610 secs
lola: 7503511 markings, 8680595 edges, 12854 markings/sec, 615 secs
lola: 7567103 markings, 8754196 edges, 12718 markings/sec, 620 secs
lola: 7629303 markings, 8826146 edges, 12440 markings/sec, 625 secs
lola: 7692594 markings, 8899690 edges, 12658 markings/sec, 630 secs
lola: 7753762 markings, 8970526 edges, 12234 markings/sec, 635 secs
lola: 7813439 markings, 9039582 edges, 11935 markings/sec, 640 secs
lola: 7867199 markings, 9101807 edges, 10752 markings/sec, 645 secs
lola: 7927827 markings, 9172430 edges, 12126 markings/sec, 650 secs
lola: 7987426 markings, 9241428 edges, 11920 markings/sec, 655 secs
lola: 8051390 markings, 9315707 edges, 12793 markings/sec, 660 secs
lola: 8115894 markings, 9390461 edges, 12901 markings/sec, 665 secs
lola: 8168370 markings, 9450994 edges, 10495 markings/sec, 670 secs
lola: 8220163 markings, 9510627 edges, 10359 markings/sec, 675 secs
lola: 8280187 markings, 9580043 edges, 12005 markings/sec, 680 secs
lola: 8342297 markings, 9651893 edges, 12422 markings/sec, 685 secs
lola: 8406227 markings, 9726104 edges, 12786 markings/sec, 690 secs
lola: 8467378 markings, 9796755 edges, 12230 markings/sec, 695 secs
lola: 8536253 markings, 9877818 edges, 13775 markings/sec, 700 secs
lola: 8597851 markings, 9949468 edges, 12320 markings/sec, 705 secs
lola: 8655180 markings, 10015721 edges, 11466 markings/sec, 710 secs
lola: 8717443 markings, 10088183 edges, 12453 markings/sec, 715 secs
lola: 8778488 markings, 10158809 edges, 12209 markings/sec, 720 secs
lola: 8838778 markings, 10228390 edges, 12058 markings/sec, 725 secs
lola: 8901040 markings, 10300595 edges, 12452 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((3 <= p3375))) U A (G ((p3575 <= p4825)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(EX((3 <= p3375)) U NOT(E(TRUE U (p4825 + 1 <= p3575))))
lola: processed formula length: 57
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 208856 markings, 264504 edges, 3689329903141912576 markings/sec, 0 secs
lola: 413663 markings, 525301 edges, 40961 markings/sec, 5 secs
lola: 617893 markings, 788148 edges, 40846 markings/sec, 10 secs
lola: 822410 markings, 1048843 edges, 40903 markings/sec, 15 secs
lola: 1023131 markings, 1308351 edges, 40144 markings/sec, 20 secs
lola: 1222440 markings, 1564879 edges, 39862 markings/sec, 25 secs
lola: 1423453 markings, 1821623 edges, 40203 markings/sec, 30 secs
lola: 1622518 markings, 2073565 edges, 39813 markings/sec, 35 secs
lola: 1820050 markings, 2324984 edges, 39506 markings/sec, 40 secs
lola: 2019039 markings, 2581979 edges, 39798 markings/sec, 45 secs
lola: 2219009 markings, 2840339 edges, 39994 markings/sec, 50 secs
lola: 2414674 markings, 3093632 edges, 39133 markings/sec, 55 secs
lola: 2613134 markings, 3346641 edges, 39692 markings/sec, 60 secs
lola: 2809480 markings, 3597661 edges, 39269 markings/sec, 65 secs
lola: 3004216 markings, 3847310 edges, 38947 markings/sec, 70 secs
lola: 3199552 markings, 4100389 edges, 39067 markings/sec, 75 secs
lola: 3396245 markings, 4354658 edges, 39339 markings/sec, 80 secs
lola: 3591379 markings, 4608281 edges, 39027 markings/sec, 85 secs
lola: 3787604 markings, 4862414 edges, 39245 markings/sec, 90 secs
lola: 3982941 markings, 5115414 edges, 39067 markings/sec, 95 secs
lola: 4182367 markings, 5370601 edges, 39885 markings/sec, 100 secs
lola: 4377775 markings, 5622990 edges, 39082 markings/sec, 105 secs
lola: 4570459 markings, 5876724 edges, 38537 markings/sec, 110 secs
lola: 4766915 markings, 6132672 edges, 39291 markings/sec, 115 secs
lola: 4963126 markings, 6388881 edges, 39242 markings/sec, 120 secs
lola: 5157868 markings, 6640685 edges, 38948 markings/sec, 125 secs
lola: 5353017 markings, 6892472 edges, 39030 markings/sec, 130 secs
lola: 5547319 markings, 7141403 edges, 38860 markings/sec, 135 secs
lola: 5741515 markings, 7395569 edges, 38839 markings/sec, 140 secs
lola: 5934473 markings, 7646426 edges, 38592 markings/sec, 145 secs
lola: 6128351 markings, 7898888 edges, 38776 markings/sec, 150 secs
lola: 6320507 markings, 8150187 edges, 38431 markings/sec, 155 secs
lola: 6513742 markings, 8400778 edges, 38647 markings/sec, 160 secs
lola: 6717406 markings, 8660782 edges, 40733 markings/sec, 165 secs
lola: 6921314 markings, 8918803 edges, 40782 markings/sec, 170 secs
lola: 7122502 markings, 9177478 edges, 40238 markings/sec, 175 secs
lola: 7322093 markings, 9433469 edges, 39918 markings/sec, 180 secs
lola: 7521728 markings, 9688476 edges, 39927 markings/sec, 185 secs
lola: 7721161 markings, 9944990 edges, 39887 markings/sec, 190 secs
lola: 7919798 markings, 10197434 edges, 39727 markings/sec, 195 secs
lola: 8117724 markings, 10450810 edges, 39585 markings/sec, 200 secs
lola: 8315817 markings, 10706197 edges, 39619 markings/sec, 205 secs
lola: 8513033 markings, 10961136 edges, 39443 markings/sec, 210 secs
lola: 8711582 markings, 11212867 edges, 39710 markings/sec, 215 secs
lola: 8910503 markings, 11470284 edges, 39784 markings/sec, 220 secs
lola: 9109227 markings, 11725522 edges, 39745 markings/sec, 225 secs
lola: 9308283 markings, 11979407 edges, 39811 markings/sec, 230 secs
lola: 9506843 markings, 12234536 edges, 39712 markings/sec, 235 secs
lola: 9705448 markings, 12489364 edges, 39721 markings/sec, 240 secs
lola: 9900207 markings, 12739470 edges, 38952 markings/sec, 245 secs
lola: 10096188 markings, 12994758 edges, 39196 markings/sec, 250 secs
lola: 10293383 markings, 13248935 edges, 39439 markings/sec, 255 secs
lola: 10492567 markings, 13504540 edges, 39837 markings/sec, 260 secs
lola: 10691884 markings, 13761746 edges, 39863 markings/sec, 265 secs
lola: 10889963 markings, 14019307 edges, 39616 markings/sec, 270 secs
lola: 11085148 markings, 14273817 edges, 39037 markings/sec, 275 secs
lola: 11279444 markings, 14528839 edges, 38859 markings/sec, 280 secs
lola: 11474619 markings, 14782071 edges, 39035 markings/sec, 285 secs
lola: 11669690 markings, 15033321 edges, 39014 markings/sec, 290 secs
lola: 11862235 markings, 15282494 edges, 38509 markings/sec, 295 secs
lola: 12057626 markings, 15534243 edges, 39078 markings/sec, 300 secs
lola: 12251572 markings, 15786449 edges, 38789 markings/sec, 305 secs
lola: 12445471 markings, 16036481 edges, 38780 markings/sec, 310 secs
lola: 12638396 markings, 16287946 edges, 38585 markings/sec, 315 secs
lola: 12830713 markings, 16538990 edges, 38463 markings/sec, 320 secs
lola: 13022855 markings, 16788992 edges, 38428 markings/sec, 325 secs
lola: 13217421 markings, 17041810 edges, 38913 markings/sec, 330 secs
lola: 13409718 markings, 17294510 edges, 38459 markings/sec, 335 secs
lola: 13605318 markings, 17547771 edges, 39120 markings/sec, 340 secs
lola: 13805671 markings, 17805417 edges, 40071 markings/sec, 345 secs
lola: 14004850 markings, 18062021 edges, 39836 markings/sec, 350 secs
lola: 14202337 markings, 18313756 edges, 39497 markings/sec, 355 secs
lola: 14400330 markings, 18567749 edges, 39599 markings/sec, 360 secs
lola: 14598550 markings, 18822474 edges, 39644 markings/sec, 365 secs
lola: 14793359 markings, 19078711 edges, 38962 markings/sec, 370 secs
lola: 14989123 markings, 19329527 edges, 39153 markings/sec, 375 secs
lola: 15185289 markings, 19582748 edges, 39233 markings/sec, 380 secs
lola: 15379050 markings, 19835361 edges, 38752 markings/sec, 385 secs
lola: 15575342 markings, 20090416 edges, 39258 markings/sec, 390 secs
lola: 15767917 markings, 20335146 edges, 38515 markings/sec, 395 secs
lola: 15962635 markings, 20582475 edges, 38944 markings/sec, 400 secs
lola: 16157073 markings, 20830718 edges, 38888 markings/sec, 405 secs
lola: 16353686 markings, 21081852 edges, 39323 markings/sec, 410 secs
lola: 16549470 markings, 21335119 edges, 39157 markings/sec, 415 secs
lola: 16743268 markings, 21582310 edges, 38760 markings/sec, 420 secs
lola: 16943265 markings, 21837951 edges, 39999 markings/sec, 425 secs
lola: 17147844 markings, 22096478 edges, 40916 markings/sec, 430 secs
lola: 17349220 markings, 22353855 edges, 40275 markings/sec, 435 secs
lola: 17549010 markings, 22610900 edges, 39958 markings/sec, 440 secs
lola: 17747769 markings, 22864849 edges, 39752 markings/sec, 445 secs
lola: 17947028 markings, 23120218 edges, 39852 markings/sec, 450 secs
lola: 18145769 markings, 23373991 edges, 39748 markings/sec, 455 secs
lola: 18344217 markings, 23625698 edges, 39690 markings/sec, 460 secs
lola: 18541146 markings, 23877296 edges, 39386 markings/sec, 465 secs
lola: 18740109 markings, 24131911 edges, 39793 markings/sec, 470 secs
lola: 18937918 markings, 24386525 edges, 39562 markings/sec, 475 secs
lola: 19135034 markings, 24639370 edges, 39423 markings/sec, 480 secs
lola: 19332333 markings, 24894042 edges, 39460 markings/sec, 485 secs
lola: 19527887 markings, 25144780 edges, 39111 markings/sec, 490 secs
lola: 19725878 markings, 25400734 edges, 39598 markings/sec, 495 secs
lola: 19924855 markings, 25658469 edges, 39795 markings/sec, 500 secs
lola: 20123022 markings, 25914808 edges, 39633 markings/sec, 505 secs
lola: 20320382 markings, 26169476 edges, 39472 markings/sec, 510 secs
lola: 20518638 markings, 26424540 edges, 39651 markings/sec, 515 secs
lola: 20717414 markings, 26679086 edges, 39755 markings/sec, 520 secs
lola: 20915756 markings, 26934820 edges, 39668 markings/sec, 525 secs
lola: 21114215 markings, 27191857 edges, 39692 markings/sec, 530 secs
lola: 21310993 markings, 27444305 edges, 39356 markings/sec, 535 secs
lola: 21506195 markings, 27700471 edges, 39040 markings/sec, 540 secs
lola: 21702732 markings, 27956307 edges, 39307 markings/sec, 545 secs
lola: 21900204 markings, 28214303 edges, 39494 markings/sec, 550 secs
lola: 22095308 markings, 28468741 edges, 39021 markings/sec, 555 secs
lola: 22293279 markings, 28724609 edges, 39594 markings/sec, 560 secs
lola: 22492012 markings, 28981481 edges, 39747 markings/sec, 565 secs
lola: 22695043 markings, 29241615 edges, 40606 markings/sec, 570 secs
lola: 22896759 markings, 29500014 edges, 40343 markings/sec, 575 secs
lola: 23098204 markings, 29760584 edges, 40289 markings/sec, 580 secs
lola: 23296957 markings, 30019528 edges, 39751 markings/sec, 585 secs
lola: 23495956 markings, 30276429 edges, 39800 markings/sec, 590 secs
lola: 23693654 markings, 30528775 edges, 39540 markings/sec, 595 secs
lola: 23889322 markings, 30781688 edges, 39134 markings/sec, 600 secs
lola: 24084312 markings, 31034243 edges, 38998 markings/sec, 605 secs
lola: 24280683 markings, 31283415 edges, 39274 markings/sec, 610 secs
lola: 24475524 markings, 31535079 edges, 38968 markings/sec, 615 secs
lola: 24670253 markings, 31783224 edges, 38946 markings/sec, 620 secs
lola: 24863853 markings, 32031441 edges, 38720 markings/sec, 625 secs
lola: 25057374 markings, 32278354 edges, 38704 markings/sec, 630 secs
lola: 25251842 markings, 32526623 edges, 38894 markings/sec, 635 secs
lola: 25445164 markings, 32774572 edges, 38664 markings/sec, 640 secs
lola: 25642536 markings, 33030649 edges, 39474 markings/sec, 645 secs
lola: 25836555 markings, 33286022 edges, 38804 markings/sec, 650 secs
lola: 26030133 markings, 33533766 edges, 38716 markings/sec, 655 secs
lola: 26224288 markings, 33783270 edges, 38831 markings/sec, 660 secs
lola: 26418114 markings, 34032320 edges, 38765 markings/sec, 665 secs
lola: 26611634 markings, 34282808 edges, 38704 markings/sec, 670 secs
lola: 26808748 markings, 34535922 edges, 39423 markings/sec, 675 secs
lola: 27002167 markings, 34785486 edges, 38684 markings/sec, 680 secs
lola: 27196135 markings, 35034655 edges, 38794 markings/sec, 685 secs
lola: 27388344 markings, 35281393 edges, 38442 markings/sec, 690 secs
lola: 27580640 markings, 35530298 edges, 38459 markings/sec, 695 secs
lola: 27772265 markings, 35779354 edges, 38325 markings/sec, 700 secs
lola: 27965169 markings, 36029969 edges, 38581 markings/sec, 705 secs
lola: 28158851 markings, 36281786 edges, 38736 markings/sec, 710 secs
lola: 28352999 markings, 36529712 edges, 38830 markings/sec, 715 secs
lola: 28546211 markings, 36777648 edges, 38642 markings/sec, 720 secs
lola: 28741922 markings, 37028695 edges, 39142 markings/sec, 725 secs
lola: 28932502 markings, 37278563 edges, 38116 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 738 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((p3244 <= p209))) U A (G ((p991 <= p59)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(E(TRUE U (p3244 <= p209)) U NOT(E(TRUE U (p59 + 1 <= p991))))
lola: processed formula length: 63
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 210577 markings, 246311 edges, 3689329903141912576 markings/sec, 0 secs
lola: 434120 markings, 511077 edges, 44709 markings/sec, 5 secs
lola: 660614 markings, 778371 edges, 45299 markings/sec, 10 secs
lola: 885593 markings, 1047071 edges, 44996 markings/sec, 15 secs
lola: 1111638 markings, 1317863 edges, 45209 markings/sec, 20 secs
lola: 1335164 markings, 1588706 edges, 44705 markings/sec, 25 secs
lola: 1558042 markings, 1856435 edges, 44576 markings/sec, 30 secs
lola: 1782914 markings, 2127043 edges, 44974 markings/sec, 35 secs
lola: 2004574 markings, 2395627 edges, 44332 markings/sec, 40 secs
lola: 2224805 markings, 2663440 edges, 44046 markings/sec, 45 secs
lola: 2440471 markings, 2932220 edges, 43133 markings/sec, 50 secs
lola: 2662828 markings, 3199949 edges, 44471 markings/sec, 55 secs
lola: 2887285 markings, 3468426 edges, 44891 markings/sec, 60 secs
lola: 3110807 markings, 3735921 edges, 44704 markings/sec, 65 secs
lola: 3334267 markings, 4004505 edges, 44692 markings/sec, 70 secs
lola: 3551062 markings, 4271001 edges, 43359 markings/sec, 75 secs
lola: 3766575 markings, 4533319 edges, 43103 markings/sec, 80 secs
lola: 3984057 markings, 4796299 edges, 43496 markings/sec, 85 secs
lola: 4201771 markings, 5061921 edges, 43543 markings/sec, 90 secs
lola: 4423368 markings, 5328991 edges, 44319 markings/sec, 95 secs
lola: 4642407 markings, 5594410 edges, 43808 markings/sec, 100 secs
lola: 4858602 markings, 5859438 edges, 43239 markings/sec, 105 secs
lola: 5071751 markings, 6124988 edges, 42630 markings/sec, 110 secs
lola: 5283306 markings, 6389926 edges, 42311 markings/sec, 115 secs
lola: 5495932 markings, 6654926 edges, 42525 markings/sec, 120 secs
lola: 5705420 markings, 6917834 edges, 41898 markings/sec, 125 secs
lola: 5917268 markings, 7182915 edges, 42370 markings/sec, 130 secs
lola: 6134038 markings, 7448983 edges, 43354 markings/sec, 135 secs
lola: 6344186 markings, 7713773 edges, 42030 markings/sec, 140 secs
lola: 6555829 markings, 7978445 edges, 42329 markings/sec, 145 secs
lola: 6767892 markings, 8241789 edges, 42413 markings/sec, 150 secs
lola: 6976264 markings, 8505610 edges, 41674 markings/sec, 155 secs
lola: 7186057 markings, 8769239 edges, 41959 markings/sec, 160 secs
lola: 7396537 markings, 9033917 edges, 42096 markings/sec, 165 secs
lola: 7611470 markings, 9298880 edges, 42987 markings/sec, 170 secs
lola: 7823743 markings, 9562681 edges, 42455 markings/sec, 175 secs
lola: 8036799 markings, 9826741 edges, 42611 markings/sec, 180 secs
lola: 8245457 markings, 10090932 edges, 41732 markings/sec, 185 secs
lola: 8453464 markings, 10353753 edges, 41601 markings/sec, 190 secs
lola: 8663567 markings, 10617605 edges, 42021 markings/sec, 195 secs
lola: 8872124 markings, 10879787 edges, 41711 markings/sec, 200 secs
lola: 9079635 markings, 11142003 edges, 41502 markings/sec, 205 secs
lola: 9287833 markings, 11405646 edges, 41640 markings/sec, 210 secs
lola: 9502302 markings, 11669718 edges, 42894 markings/sec, 215 secs
lola: 9709521 markings, 11933084 edges, 41444 markings/sec, 220 secs
lola: 9921364 markings, 12198031 edges, 42369 markings/sec, 225 secs
lola: 10134510 markings, 12460888 edges, 42629 markings/sec, 230 secs
lola: 10339972 markings, 12720224 edges, 41092 markings/sec, 235 secs
lola: 10547337 markings, 12980678 edges, 41473 markings/sec, 240 secs
lola: 10762195 markings, 13244362 edges, 42972 markings/sec, 245 secs
lola: 10983325 markings, 13511490 edges, 44226 markings/sec, 250 secs
lola: 11189172 markings, 13773455 edges, 41169 markings/sec, 255 secs
lola: 11396937 markings, 14035389 edges, 41553 markings/sec, 260 secs
lola: 11602898 markings, 14297121 edges, 41192 markings/sec, 265 secs
lola: 11805512 markings, 14556358 edges, 40523 markings/sec, 270 secs
lola: 12010796 markings, 14817588 edges, 41057 markings/sec, 275 secs
lola: 12224917 markings, 15076994 edges, 42824 markings/sec, 280 secs
lola: 12432099 markings, 15336974 edges, 41436 markings/sec, 285 secs
lola: 12643904 markings, 15596327 edges, 42361 markings/sec, 290 secs
lola: 12855815 markings, 15856309 edges, 42382 markings/sec, 295 secs
lola: 13064993 markings, 16114611 edges, 41836 markings/sec, 300 secs
lola: 13288773 markings, 16381522 edges, 44756 markings/sec, 305 secs
lola: 13499618 markings, 16640415 edges, 42169 markings/sec, 310 secs
lola: 13708706 markings, 16899837 edges, 41818 markings/sec, 315 secs
lola: 13915309 markings, 17158068 edges, 41321 markings/sec, 320 secs
lola: 14123594 markings, 17414913 edges, 41657 markings/sec, 325 secs
lola: 14329358 markings, 17673228 edges, 41153 markings/sec, 330 secs
lola: 14543500 markings, 17937204 edges, 42828 markings/sec, 335 secs
lola: 14752587 markings, 18196398 edges, 41817 markings/sec, 340 secs
lola: 14969797 markings, 18460120 edges, 43442 markings/sec, 345 secs
lola: 15194282 markings, 18731246 edges, 44897 markings/sec, 350 secs
lola: 15412646 markings, 18995507 edges, 43673 markings/sec, 355 secs
lola: 15626060 markings, 19257424 edges, 42683 markings/sec, 360 secs
lola: 15848925 markings, 19522641 edges, 44573 markings/sec, 365 secs
lola: 16069014 markings, 19787810 edges, 44018 markings/sec, 370 secs
lola: 16287750 markings, 20053623 edges, 43747 markings/sec, 375 secs
lola: 16501154 markings, 20316136 edges, 42681 markings/sec, 380 secs
lola: 16712437 markings, 20575906 edges, 42257 markings/sec, 385 secs
lola: 16929045 markings, 20832923 edges, 43322 markings/sec, 390 secs
lola: 17139419 markings, 21090339 edges, 42075 markings/sec, 395 secs
lola: 17349765 markings, 21344634 edges, 42069 markings/sec, 400 secs
lola: 17557727 markings, 21594070 edges, 41592 markings/sec, 405 secs
lola: 17763370 markings, 21846258 edges, 41129 markings/sec, 410 secs
lola: 17977123 markings, 22103248 edges, 42751 markings/sec, 415 secs
lola: 18186186 markings, 22359398 edges, 41813 markings/sec, 420 secs
lola: 18393579 markings, 22617270 edges, 41479 markings/sec, 425 secs
lola: 18605937 markings, 22880092 edges, 42472 markings/sec, 430 secs
lola: 18812788 markings, 23136798 edges, 41370 markings/sec, 435 secs
lola: 19017556 markings, 23393887 edges, 40954 markings/sec, 440 secs
lola: 19227397 markings, 23653428 edges, 41968 markings/sec, 445 secs
lola: 19434596 markings, 23911383 edges, 41440 markings/sec, 450 secs
lola: 19644487 markings, 24173036 edges, 41978 markings/sec, 455 secs
lola: 19863796 markings, 24437220 edges, 43862 markings/sec, 460 secs
lola: 20071960 markings, 24695432 edges, 41633 markings/sec, 465 secs
lola: 20279360 markings, 24956786 edges, 41480 markings/sec, 470 secs
lola: 20493132 markings, 25218041 edges, 42754 markings/sec, 475 secs
lola: 20705312 markings, 25478524 edges, 42436 markings/sec, 480 secs
lola: 20915016 markings, 25737821 edges, 41941 markings/sec, 485 secs
lola: 21121182 markings, 25997455 edges, 41233 markings/sec, 490 secs
lola: 21327150 markings, 26257331 edges, 41194 markings/sec, 495 secs
lola: 21535823 markings, 26515218 edges, 41735 markings/sec, 500 secs
lola: 21743583 markings, 26773910 edges, 41552 markings/sec, 505 secs
lola: 21957112 markings, 27034915 edges, 42706 markings/sec, 510 secs
lola: 22161059 markings, 27293067 edges, 40789 markings/sec, 515 secs
lola: 22367263 markings, 27553888 edges, 41241 markings/sec, 520 secs
lola: 22578741 markings, 27815767 edges, 42296 markings/sec, 525 secs
lola: 22784431 markings, 28076998 edges, 41138 markings/sec, 530 secs
lola: 22993159 markings, 28336279 edges, 41746 markings/sec, 535 secs
lola: 23196858 markings, 28594152 edges, 40740 markings/sec, 540 secs
lola: 23400639 markings, 28853372 edges, 40756 markings/sec, 545 secs
lola: 23608277 markings, 29114505 edges, 41528 markings/sec, 550 secs
lola: 23811644 markings, 29373454 edges, 40673 markings/sec, 555 secs
lola: 24015290 markings, 29628555 edges, 40729 markings/sec, 560 secs
lola: 24217020 markings, 29883246 edges, 40346 markings/sec, 565 secs
lola: 24422724 markings, 30143216 edges, 41141 markings/sec, 570 secs
lola: 24631061 markings, 30403210 edges, 41667 markings/sec, 575 secs
lola: 24835844 markings, 30663342 edges, 40957 markings/sec, 580 secs
lola: 25044989 markings, 30923969 edges, 41829 markings/sec, 585 secs
lola: 25253028 markings, 31183252 edges, 41608 markings/sec, 590 secs
lola: 25460881 markings, 31445311 edges, 41571 markings/sec, 595 secs
lola: 25663891 markings, 31705186 edges, 40602 markings/sec, 600 secs
lola: 25868542 markings, 31963991 edges, 40930 markings/sec, 605 secs
lola: 26076045 markings, 32223979 edges, 41501 markings/sec, 610 secs
lola: 26283563 markings, 32485873 edges, 41504 markings/sec, 615 secs
lola: 26486326 markings, 32744932 edges, 40553 markings/sec, 620 secs
lola: 26688427 markings, 33003489 edges, 40420 markings/sec, 625 secs
lola: 26893454 markings, 33263206 edges, 41005 markings/sec, 630 secs
lola: 27099184 markings, 33523769 edges, 41146 markings/sec, 635 secs
lola: 27304413 markings, 33783860 edges, 41046 markings/sec, 640 secs
lola: 27512863 markings, 34045302 edges, 41690 markings/sec, 645 secs
lola: 27712135 markings, 34303016 edges, 39854 markings/sec, 650 secs
lola: 27914365 markings, 34562079 edges, 40446 markings/sec, 655 secs
lola: 28119042 markings, 34823136 edges, 40935 markings/sec, 660 secs
lola: 28321714 markings, 35080323 edges, 40534 markings/sec, 665 secs
lola: 28523964 markings, 35338219 edges, 40450 markings/sec, 670 secs
lola: 28727325 markings, 35595982 edges, 40672 markings/sec, 675 secs
lola: 28930457 markings, 35855799 edges, 40626 markings/sec, 680 secs
lola: 29134077 markings, 36112973 edges, 40724 markings/sec, 685 secs
lola: 29338372 markings, 36371002 edges, 40859 markings/sec, 690 secs
lola: 29540125 markings, 36628140 edges, 40351 markings/sec, 695 secs
lola: 29742282 markings, 36885825 edges, 40431 markings/sec, 700 secs
lola: 29947638 markings, 37145173 edges, 41071 markings/sec, 705 secs
lola: 30150967 markings, 37400166 edges, 40666 markings/sec, 710 secs
lola: 30351696 markings, 37655813 edges, 40146 markings/sec, 715 secs
lola: 30555695 markings, 37915012 edges, 40800 markings/sec, 720 secs
lola: 30760055 markings, 38172071 edges, 40872 markings/sec, 725 secs
lola: 30964395 markings, 38429509 edges, 40868 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((E (((p4243 <= p2543) U (2 <= p3322))) AND (p111 <= p2772)) OR (2 <= p3580))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((p4243 <= p2543) U (2 <= p3322)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((p4243 <= p2543) U (2 <= p3322))
lola: processed formula length: 34
lola: 1 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 248830 markings, 285201 edges, 49753 markings/sec, 0 secs
lola: 502359 markings, 577693 edges, 50706 markings/sec, 5 secs
lola: 759179 markings, 873904 edges, 51364 markings/sec, 10 secs
lola: 1014065 markings, 1169350 edges, 50977 markings/sec, 15 secs
lola: 1269777 markings, 1467110 edges, 51142 markings/sec, 20 secs
lola: 1519857 markings, 1762759 edges, 50016 markings/sec, 25 secs
lola: 1766664 markings, 2053857 edges, 49361 markings/sec, 30 secs
lola: 2007462 markings, 2338545 edges, 48160 markings/sec, 35 secs
lola: 2247278 markings, 2623226 edges, 47963 markings/sec, 40 secs
lola: 2482178 markings, 2905020 edges, 46980 markings/sec, 45 secs
lola: 2725154 markings, 3197379 edges, 48595 markings/sec, 50 secs
lola: 2968652 markings, 3489213 edges, 48700 markings/sec, 55 secs
lola: 3220094 markings, 3782876 edges, 50288 markings/sec, 60 secs
lola: 3473829 markings, 4074531 edges, 50747 markings/sec, 65 secs
lola: 3717561 markings, 4362530 edges, 48746 markings/sec, 70 secs
lola: 3961748 markings, 4650097 edges, 48837 markings/sec, 75 secs
lola: 4204016 markings, 4939490 edges, 48454 markings/sec, 80 secs
lola: 4446263 markings, 5224754 edges, 48449 markings/sec, 85 secs
lola: 4688979 markings, 5512582 edges, 48543 markings/sec, 90 secs
lola: 4935182 markings, 5803230 edges, 49241 markings/sec, 95 secs
lola: 5182871 markings, 6095851 edges, 49538 markings/sec, 100 secs
lola: 5429317 markings, 6386556 edges, 49289 markings/sec, 105 secs
lola: 5672633 markings, 6675680 edges, 48663 markings/sec, 110 secs
lola: 5911205 markings, 6964858 edges, 47714 markings/sec, 115 secs
lola: 6148402 markings, 7253286 edges, 47439 markings/sec, 120 secs
lola: 6387502 markings, 7542773 edges, 47820 markings/sec, 125 secs
lola: 6621826 markings, 7829000 edges, 46865 markings/sec, 130 secs
lola: 6860649 markings, 8117744 edges, 47765 markings/sec, 135 secs
lola: 7100752 markings, 8406381 edges, 48021 markings/sec, 140 secs
lola: 7338164 markings, 8694347 edges, 47482 markings/sec, 145 secs
lola: 7574830 markings, 8982835 edges, 47333 markings/sec, 150 secs
lola: 7812918 markings, 9269745 edges, 47618 markings/sec, 155 secs
lola: 8044425 markings, 9554431 edges, 46301 markings/sec, 160 secs
lola: 8277325 markings, 9839853 edges, 46580 markings/sec, 165 secs
lola: 8511999 markings, 10127721 edges, 46935 markings/sec, 170 secs
lola: 8754928 markings, 10417737 edges, 48586 markings/sec, 175 secs
lola: 8991488 markings, 10704737 edges, 47312 markings/sec, 180 secs
lola: 9226926 markings, 10990836 edges, 47088 markings/sec, 185 secs
lola: 9465099 markings, 11279253 edges, 47635 markings/sec, 190 secs
lola: 9698132 markings, 11565437 edges, 46607 markings/sec, 195 secs
lola: 9930629 markings, 11849152 edges, 46499 markings/sec, 200 secs
lola: 10164696 markings, 12135444 edges, 46813 markings/sec, 205 secs
lola: 10398117 markings, 12420815 edges, 46684 markings/sec, 210 secs
lola: 10629782 markings, 12706079 edges, 46333 markings/sec, 215 secs
lola: 10860877 markings, 12990576 edges, 46219 markings/sec, 220 secs
lola: 11103249 markings, 13279789 edges, 48474 markings/sec, 225 secs
lola: 11334124 markings, 13563901 edges, 46175 markings/sec, 230 secs
lola: 11569912 markings, 13851359 edges, 47158 markings/sec, 235 secs
lola: 11808646 markings, 14136840 edges, 47747 markings/sec, 240 secs
lola: 12037729 markings, 14417507 edges, 45817 markings/sec, 245 secs
lola: 12269859 markings, 14700886 edges, 46426 markings/sec, 250 secs
lola: 12509264 markings, 14988572 edges, 47881 markings/sec, 255 secs
lola: 12763068 markings, 15283350 edges, 50761 markings/sec, 260 secs
lola: 12991767 markings, 15566615 edges, 45740 markings/sec, 265 secs
lola: 13224314 markings, 15852073 edges, 46509 markings/sec, 270 secs
lola: 13453498 markings, 16134509 edges, 45837 markings/sec, 275 secs
lola: 13681001 markings, 16416597 edges, 45501 markings/sec, 280 secs
lola: 13909689 markings, 16699073 edges, 45738 markings/sec, 285 secs
lola: 14150110 markings, 16985998 edges, 48084 markings/sec, 290 secs
lola: 14383356 markings, 17267768 edges, 46649 markings/sec, 295 secs
lola: 14619324 markings, 17552223 edges, 47194 markings/sec, 300 secs
lola: 14856300 markings, 17835814 edges, 47395 markings/sec, 305 secs
lola: 15096081 markings, 18121953 edges, 47956 markings/sec, 310 secs
lola: 15337976 markings, 18408834 edges, 48379 markings/sec, 315 secs
lola: 15590938 markings, 18701603 edges, 50592 markings/sec, 320 secs
lola: 15822030 markings, 18981681 edges, 46218 markings/sec, 325 secs
lola: 16057751 markings, 19265697 edges, 47144 markings/sec, 330 secs
lola: 16285305 markings, 19543310 edges, 45511 markings/sec, 335 secs
lola: 16515055 markings, 19817602 edges, 45950 markings/sec, 340 secs
lola: 16743200 markings, 20097094 edges, 45629 markings/sec, 345 secs
lola: 16985750 markings, 20385217 edges, 48510 markings/sec, 350 secs
lola: 17214467 markings, 20662384 edges, 45743 markings/sec, 355 secs
lola: 17456953 markings, 20948614 edges, 48497 markings/sec, 360 secs
lola: 17708422 markings, 21243789 edges, 50294 markings/sec, 365 secs
lola: 17955089 markings, 21533323 edges, 49333 markings/sec, 370 secs
lola: 18189372 markings, 21815191 edges, 46857 markings/sec, 375 secs
lola: 18441885 markings, 22108097 edges, 50503 markings/sec, 380 secs
lola: 18690109 markings, 22398245 edges, 49645 markings/sec, 385 secs
lola: 18935657 markings, 22687439 edges, 49110 markings/sec, 390 secs
lola: 19176317 markings, 22973725 edges, 48132 markings/sec, 395 secs
lola: 19418038 markings, 23262306 edges, 48344 markings/sec, 400 secs
lola: 19657619 markings, 23543986 edges, 47916 markings/sec, 405 secs
lola: 19891627 markings, 23820721 edges, 46802 markings/sec, 410 secs
lola: 20127681 markings, 24098330 edges, 47211 markings/sec, 415 secs
lola: 20365119 markings, 24377242 edges, 47488 markings/sec, 420 secs
lola: 20603966 markings, 24657457 edges, 47769 markings/sec, 425 secs
lola: 20839143 markings, 24935421 edges, 47035 markings/sec, 430 secs
lola: 21071297 markings, 25211612 edges, 46431 markings/sec, 435 secs
lola: 21301754 markings, 25484504 edges, 46091 markings/sec, 440 secs
lola: 21528646 markings, 25760307 edges, 45378 markings/sec, 445 secs
lola: 21759383 markings, 26037918 edges, 46147 markings/sec, 450 secs
lola: 21984909 markings, 26310543 edges, 45105 markings/sec, 455 secs
lola: 22208920 markings, 26583244 edges, 44802 markings/sec, 460 secs
lola: 22438138 markings, 26859078 edges, 45844 markings/sec, 465 secs
lola: 22664997 markings, 27132929 edges, 45372 markings/sec, 470 secs
lola: 22890148 markings, 27409387 edges, 45030 markings/sec, 475 secs
lola: 23132596 markings, 27692347 edges, 48490 markings/sec, 480 secs
lola: 23365488 markings, 27970083 edges, 46578 markings/sec, 485 secs
lola: 23591108 markings, 28245780 edges, 45124 markings/sec, 490 secs
lola: 23820704 markings, 28523696 edges, 45919 markings/sec, 495 secs
lola: 24054389 markings, 28802357 edges, 46737 markings/sec, 500 secs
lola: 24287253 markings, 29081292 edges, 46573 markings/sec, 505 secs
lola: 24517925 markings, 29358701 edges, 46134 markings/sec, 510 secs
lola: 24742748 markings, 29634842 edges, 44965 markings/sec, 515 secs
lola: 24968097 markings, 29909401 edges, 45070 markings/sec, 520 secs
lola: 25197880 markings, 30185267 edges, 45957 markings/sec, 525 secs
lola: 25427792 markings, 30463351 edges, 45982 markings/sec, 530 secs
lola: 25661965 markings, 30742662 edges, 46835 markings/sec, 535 secs
lola: 25885465 markings, 31018067 edges, 44700 markings/sec, 540 secs
lola: 26111760 markings, 31295774 edges, 45259 markings/sec, 545 secs
lola: 26341589 markings, 31573507 edges, 45966 markings/sec, 550 secs
lola: 26566298 markings, 31850233 edges, 44942 markings/sec, 555 secs
lola: 26795936 markings, 32128393 edges, 45928 markings/sec, 560 secs
lola: 27022031 markings, 32403989 edges, 45219 markings/sec, 565 secs
lola: 27246125 markings, 32680290 edges, 44819 markings/sec, 570 secs
lola: 27469638 markings, 32956721 edges, 44703 markings/sec, 575 secs
lola: 27696982 markings, 33234296 edges, 45469 markings/sec, 580 secs
lola: 27919343 markings, 33507600 edges, 44472 markings/sec, 585 secs
lola: 28141126 markings, 33779730 edges, 44357 markings/sec, 590 secs
lola: 28365280 markings, 34054032 edges, 44831 markings/sec, 595 secs
lola: 28592033 markings, 34331359 edges, 45351 markings/sec, 600 secs
lola: 28821557 markings, 34609067 edges, 45905 markings/sec, 605 secs
lola: 29047177 markings, 34886098 edges, 45124 markings/sec, 610 secs
lola: 29277783 markings, 35165672 edges, 46121 markings/sec, 615 secs
lola: 29504116 markings, 35441637 edges, 45267 markings/sec, 620 secs
lola: 29729940 markings, 35720021 edges, 45165 markings/sec, 625 secs
lola: 29953515 markings, 35996894 edges, 44715 markings/sec, 630 secs
lola: 30177340 markings, 36271894 edges, 44765 markings/sec, 635 secs
lola: 30408541 markings, 36553180 edges, 46240 markings/sec, 640 secs
lola: 30635043 markings, 36831308 edges, 45300 markings/sec, 645 secs
lola: 30857266 markings, 37106852 edges, 44445 markings/sec, 650 secs
lola: 31079124 markings, 37381623 edges, 44372 markings/sec, 655 secs
lola: 31302163 markings, 37658545 edges, 44608 markings/sec, 660 secs
lola: 31526122 markings, 37934587 edges, 44792 markings/sec, 665 secs
lola: 31752000 markings, 38210939 edges, 45176 markings/sec, 670 secs
lola: 31978126 markings, 38488112 edges, 45225 markings/sec, 675 secs
lola: 32202657 markings, 38765050 edges, 44906 markings/sec, 680 secs
lola: 32419808 markings, 39038694 edges, 43430 markings/sec, 685 secs
lola: 32641860 markings, 39314120 edges, 44410 markings/sec, 690 secs
lola: 32866228 markings, 39591130 edges, 44874 markings/sec, 695 secs
lola: 33089324 markings, 39864882 edges, 44619 markings/sec, 700 secs
lola: 33310004 markings, 40139042 edges, 44136 markings/sec, 705 secs
lola: 33531499 markings, 40412953 edges, 44299 markings/sec, 710 secs
lola: 33754339 markings, 40688453 edges, 44568 markings/sec, 715 secs
lola: 33976962 markings, 40961678 edges, 44525 markings/sec, 720 secs
lola: 34201315 markings, 41236828 edges, 44871 markings/sec, 725 secs
lola: 34421832 markings, 41510135 edges, 44103 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no yes unknown unknown yes yes no yes yes yes no unknown unknown unknown unknown
lola: time limit reached - aborting
FORMULA DLCround-PT-13b-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished 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="DLCround-PT-13b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="irma4mcc-structural"
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
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13b.tgz
mv DLCround-PT-13b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-structural"
echo " Input is DLCround-PT-13b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r067-smll-152649739700150"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
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 ;