About the Execution of ITS-LoLa for DLCround-PT-11a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15783.240 | 3600000.00 | 3693544.00 | 12974.30 | TT?TTFFFTFFTTF?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r180-ebro-158987900400579.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is DLCround-PT-11a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r180-ebro-158987900400579
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 940K
-rw-r--r-- 1 mcc users 3.5K Mar 30 20:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 20:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 10:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 29 10:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 06:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 06:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 00:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 27 00:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 762K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-11a-CTLCardinality-00
FORMULA_NAME DLCround-PT-11a-CTLCardinality-01
FORMULA_NAME DLCround-PT-11a-CTLCardinality-02
FORMULA_NAME DLCround-PT-11a-CTLCardinality-03
FORMULA_NAME DLCround-PT-11a-CTLCardinality-04
FORMULA_NAME DLCround-PT-11a-CTLCardinality-05
FORMULA_NAME DLCround-PT-11a-CTLCardinality-06
FORMULA_NAME DLCround-PT-11a-CTLCardinality-07
FORMULA_NAME DLCround-PT-11a-CTLCardinality-08
FORMULA_NAME DLCround-PT-11a-CTLCardinality-09
FORMULA_NAME DLCround-PT-11a-CTLCardinality-10
FORMULA_NAME DLCround-PT-11a-CTLCardinality-11
FORMULA_NAME DLCround-PT-11a-CTLCardinality-12
FORMULA_NAME DLCround-PT-11a-CTLCardinality-13
FORMULA_NAME DLCround-PT-11a-CTLCardinality-14
FORMULA_NAME DLCround-PT-11a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591253735242
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 06:55:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 06:55:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 06:55:38] [INFO ] Load time of PNML (sax parser for PT used): 355 ms
[2020-06-04 06:55:38] [INFO ] Transformed 377 places.
[2020-06-04 06:55:38] [INFO ] Transformed 2993 transitions.
[2020-06-04 06:55:38] [INFO ] Found NUPN structural information;
[2020-06-04 06:55:38] [INFO ] Parsed PT model containing 377 places and 2993 transitions in 463 ms.
Ensure Unique test removed 280 transitions
Reduce redundant transitions removed 280 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 77 ms.
Incomplete random walk after 100000 steps, including 0 resets, run finished after 1516 ms. (steps per millisecond=65 ) properties seen :[1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0]
[2020-06-04 06:55:40] [INFO ] Flow matrix only has 234 transitions (discarded 2479 similar events)
// Phase 1: matrix 234 rows 377 cols
[2020-06-04 06:55:40] [INFO ] Computed 244 place invariants in 32 ms
[2020-06-04 06:55:41] [INFO ] [Real]Absence check using 244 positive place invariants in 230 ms returned sat
[2020-06-04 06:55:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:41] [INFO ] [Real]Absence check using state equation in 638 ms returned sat
[2020-06-04 06:55:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:42] [INFO ] [Nat]Absence check using 244 positive place invariants in 126 ms returned unsat
[2020-06-04 06:55:42] [INFO ] [Real]Absence check using 244 positive place invariants in 174 ms returned sat
[2020-06-04 06:55:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:42] [INFO ] [Real]Absence check using state equation in 615 ms returned sat
[2020-06-04 06:55:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:43] [INFO ] [Nat]Absence check using 244 positive place invariants in 161 ms returned unsat
[2020-06-04 06:55:43] [INFO ] [Real]Absence check using 244 positive place invariants in 165 ms returned sat
[2020-06-04 06:55:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:44] [INFO ] [Real]Absence check using state equation in 647 ms returned sat
[2020-06-04 06:55:44] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:44] [INFO ] [Nat]Absence check using 244 positive place invariants in 116 ms returned unsat
[2020-06-04 06:55:45] [INFO ] [Real]Absence check using 244 positive place invariants in 170 ms returned sat
[2020-06-04 06:55:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:45] [INFO ] [Real]Absence check using state equation in 684 ms returned sat
[2020-06-04 06:55:45] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:45] [INFO ] [Nat]Absence check using 244 positive place invariants in 41 ms returned unsat
[2020-06-04 06:55:46] [INFO ] [Real]Absence check using 244 positive place invariants in 158 ms returned sat
[2020-06-04 06:55:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:46] [INFO ] [Real]Absence check using state equation in 717 ms returned sat
[2020-06-04 06:55:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:47] [INFO ] [Nat]Absence check using 244 positive place invariants in 121 ms returned unsat
[2020-06-04 06:55:47] [INFO ] [Real]Absence check using 244 positive place invariants in 163 ms returned sat
[2020-06-04 06:55:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:48] [INFO ] [Real]Absence check using state equation in 699 ms returned sat
[2020-06-04 06:55:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:48] [INFO ] [Nat]Absence check using 244 positive place invariants in 79 ms returned unsat
[2020-06-04 06:55:48] [INFO ] [Real]Absence check using 244 positive place invariants in 151 ms returned sat
[2020-06-04 06:55:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:49] [INFO ] [Real]Absence check using state equation in 620 ms returned sat
[2020-06-04 06:55:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:49] [INFO ] [Nat]Absence check using 244 positive place invariants in 66 ms returned unsat
[2020-06-04 06:55:49] [INFO ] [Real]Absence check using 244 positive place invariants in 159 ms returned sat
[2020-06-04 06:55:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:50] [INFO ] [Real]Absence check using state equation in 613 ms returned sat
[2020-06-04 06:55:50] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:50] [INFO ] [Nat]Absence check using 244 positive place invariants in 55 ms returned unsat
[2020-06-04 06:55:50] [INFO ] [Real]Absence check using 244 positive place invariants in 143 ms returned sat
[2020-06-04 06:55:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:51] [INFO ] [Real]Absence check using state equation in 596 ms returned sat
[2020-06-04 06:55:51] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:51] [INFO ] [Nat]Absence check using 244 positive place invariants in 120 ms returned unsat
[2020-06-04 06:55:51] [INFO ] [Real]Absence check using 244 positive place invariants in 144 ms returned sat
[2020-06-04 06:55:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:52] [INFO ] [Real]Absence check using state equation in 659 ms returned sat
[2020-06-04 06:55:52] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:52] [INFO ] [Nat]Absence check using 244 positive place invariants in 97 ms returned unsat
[2020-06-04 06:55:52] [INFO ] [Real]Absence check using 244 positive place invariants in 169 ms returned sat
[2020-06-04 06:55:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:55:53] [INFO ] [Real]Absence check using state equation in 608 ms returned sat
[2020-06-04 06:55:53] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:55:53] [INFO ] [Nat]Absence check using 244 positive place invariants in 76 ms returned unsat
Successfully simplified 11 atomic propositions for a total of 11 simplifications.
[2020-06-04 06:55:54] [INFO ] Initial state reduction rules for CTL removed 12 formulas.
[2020-06-04 06:55:54] [INFO ] Flatten gal took : 374 ms
[2020-06-04 06:55:54] [INFO ] Initial state reduction rules for CTL removed 12 formulas.
[2020-06-04 06:55:54] [INFO ] Flatten gal took : 223 ms
FORMULA DLCround-PT-11a-CTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-11a-CTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 06:55:54] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 9 ms.
[2020-06-04 06:55:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 68 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ DLCround-PT-11a @ 3570 seconds
FORMULA DLCround-PT-11a-CTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-11a-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ DLCround-PT-11a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Jun 4 06:55:55 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 890
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "DEADLOCK",
"processed_size": 8,
"rewrites": 8
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1187
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 3,
"adisj": 9,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "E (F (((((1 <= p266)) AND ((p201 <= 0))) OR (((1 <= p74)) AND ((p95 <= 0))) OR (((1 <= p230)) AND ((p69 <= 0)) AND ((1 <= p77)) AND ((p172 <= 0))))))",
"processed_size": 151,
"rewrites": 9
},
"result":
{
"edges": 20,
"markings": 6,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 8,
"problems": 3
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"error": null,
"memory": 9561768,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E((A(F(**)) U **)) : DEADLOCK : E(F(**)) : E(F(A(G(**))))"
},
"net":
{
"arcs": 10661,
"conflict_clusters": 26,
"places": 377,
"places_significant": 133,
"singleton_clusters": 0,
"transitions": 2713
},
"result":
{
"interim_value": "unknown no yes unknown ",
"preliminary_value": "unknown no yes unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3090/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 377
lola: finding significant places
lola: 377 places, 2713 transitions, 133 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p105 <= 1)
lola: LP says that atomic proposition is always true: (p140 <= 1)
lola: LP says that atomic proposition is always true: (p201 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p172 <= 1)
lola: LP says that atomic proposition is always true: (p295 <= 1)
lola: E ((A (F ((((p262 <= 0)) OR ((1 <= p68))))) U (((1 <= p22)) AND ((p105 <= 0)) AND (((p128 <= 0)) OR ((1 <= p140)))))) : (E (G ((1 <= 0))) OR A (G (A (X ((1 <= 0)))))) : E (F (((((1 <= p266)) AND ((p201 <= 0))) OR (((1 <= p74)) AND ((p95 <= 0))) OR (((1 <= p230)) AND ((p69 <= 0)) AND ((1 <= p77)) AND ((p172 <= 0)))))) : E (F (A (G (((p295 <= 0))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:200
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 8 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 1187 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((((1 <= p266)) AND ((p201 <= 0))) OR (((1 <= p74)) AND ((p95 <= 0))) OR (((1 <= p230)) AND ((p69 <= 0)) AND ((1 <= p77)) AND ((p172 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((((1 <= p266)) AND ((p201 <= 0))) OR (((1 <= p74)) AND ((p95 <= 0))) OR (((1 <= p230)) AND ((p69 <= 0)) AND ((1 <= p77)) AND ((p172 <= 0))))))
lola: processed formula length: 151
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((((1 <= p266)) AND ((p201 <= 0))) OR (((1 <= p74)) AND ((p95 <= 0))) OR (((1 <= p230)) AND ((p69 <= 0)) AND ((1 <= p77)) AND ((p172 <= 0))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 8 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 20 edges
lola: ========================================
lola: subprocess 2 will run for 1781 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((p295 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p295))
lola: processed formula length: 13
lola: 12 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p295 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p295))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-2-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-2-1.sara.
lola: state equation: write sara problem file to CTLCardinality-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-2-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 76055 markings, 2273302 edges, 15211 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 145078 markings, 4573626 edges, 13805 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 214903 markings, 6884887 edges, 13965 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 277451 markings, 9070366 edges, 12510 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 344761 markings, 11346497 edges, 13462 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 412700 markings, 13634919 edges, 13588 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 477944 markings, 15893513 edges, 13049 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 542897 markings, 18161594 edges, 12991 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 607982 markings, 20432280 edges, 13017 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 671094 markings, 22725559 edges, 12622 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 729334 markings, 24975160 edges, 11648 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 789601 markings, 27240718 edges, 12053 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 850845 markings, 29508520 edges, 12249 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 911307 markings, 31783288 edges, 12092 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 971834 markings, 34047026 edges, 12105 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 1037869 markings, 36441394 edges, 13207 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 1103931 markings, 38822063 edges, 13212 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 1167829 markings, 41181702 edges, 12780 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 1233111 markings, 43492772 edges, 13056 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 1296767 markings, 45783706 edges, 12731 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 1361564 markings, 48069121 edges, 12959 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 1428513 markings, 50396969 edges, 13390 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 1493128 markings, 52702746 edges, 12923 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 1558474 markings, 55020631 edges, 13069 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 1623686 markings, 57313366 edges, 13042 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 1685525 markings, 59599565 edges, 12368 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 1746500 markings, 61802825 edges, 12195 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 1806638 markings, 64034472 edges, 12028 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 1878030 markings, 66302649 edges, 14278 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 1943755 markings, 68619975 edges, 13145 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 2007365 markings, 70896938 edges, 12722 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 2073404 markings, 73175326 edges, 13208 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 2135185 markings, 75374852 edges, 12356 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 2194213 markings, 77603050 edges, 11806 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 2255523 markings, 79827024 edges, 12262 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 2315571 markings, 82039126 edges, 12010 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 2380743 markings, 84263310 edges, 13034 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 2440193 markings, 86475647 edges, 11890 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 2499986 markings, 88675298 edges, 11959 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 2563541 markings, 90890251 edges, 12711 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 2624323 markings, 93102043 edges, 12156 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 2684615 markings, 95302434 edges, 12058 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 2743114 markings, 97502960 edges, 11700 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 2808515 markings, 99723624 edges, 13080 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 2879319 markings, 101953427 edges, 14161 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 2944698 markings, 104202075 edges, 13076 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 3009933 markings, 106434423 edges, 13047 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 3073276 markings, 108649756 edges, 12669 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 3130645 markings, 110825470 edges, 11474 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 3201830 markings, 113124169 edges, 14237 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 3269049 markings, 115416732 edges, 13444 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 3334337 markings, 117726788 edges, 13058 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 3404828 markings, 120019067 edges, 14098 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 3478208 markings, 122264238 edges, 14676 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 3546632 markings, 124482611 edges, 13685 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 3612150 markings, 126700270 edges, 13104 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 3674324 markings, 128956564 edges, 12435 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 3740273 markings, 131228874 edges, 13190 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 3803384 markings, 133466755 edges, 12622 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 3867416 markings, 135769213 edges, 12806 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 3932110 markings, 138072850 edges, 12939 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 3993800 markings, 140268126 edges, 12338 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 4054737 markings, 142435665 edges, 12187 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 4113437 markings, 144581317 edges, 11740 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 4171633 markings, 146702283 edges, 11639 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 4228671 markings, 148851960 edges, 11408 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 4285955 markings, 150976792 edges, 11457 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 4344883 markings, 153128196 edges, 11786 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 4402360 markings, 155272939 edges, 11495 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 4465206 markings, 157445892 edges, 12569 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 4524668 markings, 159574848 edges, 11892 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 4582867 markings, 161713281 edges, 11640 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 4643691 markings, 163868439 edges, 12165 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 4698954 markings, 165978378 edges, 11053 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 4755147 markings, 168097565 edges, 11239 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 4812427 markings, 170209576 edges, 11456 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 4870811 markings, 172308139 edges, 11677 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 4930847 markings, 174453784 edges, 12007 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 4988779 markings, 176600563 edges, 11586 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 5045942 markings, 178714230 edges, 11433 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 5105036 markings, 180845836 edges, 11819 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 5166484 markings, 183019067 edges, 12290 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 5227242 markings, 185217083 edges, 12152 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 5283796 markings, 187366790 edges, 11311 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 5339667 markings, 189443523 edges, 11174 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 5398344 markings, 191613168 edges, 11735 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 5454154 markings, 193736907 edges, 11162 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 5514719 markings, 195897853 edges, 12113 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 5573732 markings, 198055382 edges, 11803 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 5634314 markings, 200236665 edges, 12116 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 5698965 markings, 202459225 edges, 12930 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 5766807 markings, 204724344 edges, 13568 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 5833244 markings, 206968932 edges, 13287 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 5897762 markings, 209153634 edges, 12904 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 5965270 markings, 211371642 edges, 13502 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 6034123 markings, 213569650 edges, 13771 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 6100175 markings, 215854928 edges, 13210 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 6166435 markings, 218139750 edges, 13252 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 6228909 markings, 220312476 edges, 12495 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 6293434 markings, 222452745 edges, 12905 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 6355844 markings, 224583176 edges, 12482 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 6417844 markings, 226674496 edges, 12400 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 6478923 markings, 228782755 edges, 12216 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 6543362 markings, 231007420 edges, 12888 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 6609291 markings, 233241982 edges, 13186 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 6683184 markings, 235467522 edges, 14779 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 6752993 markings, 237615823 edges, 13962 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 6831343 markings, 239823875 edges, 15670 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 6900987 markings, 242018410 edges, 13929 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 6966454 markings, 244234402 edges, 13093 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 7030214 markings, 246392380 edges, 12752 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 7096972 markings, 248637909 edges, 13352 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 7157441 markings, 250734623 edges, 12094 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 7222656 markings, 252939127 edges, 13043 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 7286064 markings, 255132197 edges, 12682 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 7345665 markings, 257296509 edges, 11920 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 7407365 markings, 259499763 edges, 12340 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 7465303 markings, 261602089 edges, 11588 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 7531906 markings, 263787676 edges, 13321 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 7598527 markings, 266020028 edges, 13324 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 7670451 markings, 268235043 edges, 14385 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 7736090 markings, 270372671 edges, 13128 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 7795962 markings, 272422954 edges, 11974 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 7862289 markings, 274639860 edges, 13265 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 7926249 markings, 276818759 edges, 12792 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 7991976 markings, 278988556 edges, 13145 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 8059373 markings, 281190557 edges, 13479 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 8124505 markings, 283344836 edges, 13026 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 8189671 markings, 285511168 edges, 13033 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 8252126 markings, 287646748 edges, 12491 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 8313638 markings, 289767929 edges, 12302 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 8375369 markings, 291876046 edges, 12346 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 8445058 markings, 294071678 edges, 13938 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 8515526 markings, 296330216 edges, 14094 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 8582919 markings, 298557365 edges, 13479 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 8647622 markings, 300705342 edges, 12941 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 8711071 markings, 302839643 edges, 12690 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 8779709 markings, 305054472 edges, 13728 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 8842438 markings, 307246100 edges, 12546 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 8913189 markings, 309401190 edges, 14150 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 8987557 markings, 311601154 edges, 14874 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 9051492 markings, 313719436 edges, 12787 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 9111335 markings, 315790166 edges, 11969 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 9169918 markings, 317828990 edges, 11717 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 9229614 markings, 319943510 edges, 11939 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 9289740 markings, 322085673 edges, 12025 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 9346496 markings, 324138582 edges, 11351 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 9403593 markings, 326188618 edges, 11419 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 9459532 markings, 328258693 edges, 11188 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 9518104 markings, 330302464 edges, 11714 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 9580657 markings, 332458593 edges, 12511 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 9638826 markings, 334495277 edges, 11634 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 9701025 markings, 336589882 edges, 12440 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 9764324 markings, 338663380 edges, 12660 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 9822020 markings, 340660194 edges, 11539 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 9880389 markings, 342704049 edges, 11674 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 9939884 markings, 344751693 edges, 11899 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 9995591 markings, 346730803 edges, 11141 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 10051701 markings, 348724146 edges, 11222 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 10110253 markings, 350740729 edges, 11710 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 10177710 markings, 352901078 edges, 13491 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 10241727 markings, 355027494 edges, 12803 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 10297978 markings, 357030269 edges, 11250 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 10356297 markings, 359039145 edges, 11664 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 10411353 markings, 361016225 edges, 11011 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 10478165 markings, 363107962 edges, 13362 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 10545316 markings, 365186187 edges, 13430 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 10599768 markings, 367125445 edges, 10890 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 10660644 markings, 369191125 edges, 12175 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 10713991 markings, 371118698 edges, 10669 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 10768915 markings, 373082349 edges, 10985 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 10822821 markings, 375009622 edges, 10781 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 10882879 markings, 377056777 edges, 12012 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 10938147 markings, 379039761 edges, 11054 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 10994415 markings, 381015259 edges, 11254 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 11054905 markings, 383087019 edges, 12098 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 11109493 markings, 385070272 edges, 10918 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 11166850 markings, 387077772 edges, 11471 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 11231581 markings, 389192096 edges, 12946 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 11296438 markings, 391229079 edges, 12971 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 11349523 markings, 393162996 edges, 10617 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 11400980 markings, 395037966 edges, 10291 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 11456017 markings, 397004157 edges, 11007 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 11511072 markings, 399002082 edges, 11011 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 11574405 markings, 401090572 edges, 12667 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 11631825 markings, 403090001 edges, 11484 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 11687125 markings, 405077278 edges, 11060 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 11742094 markings, 407074187 edges, 10994 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 11799754 markings, 409120166 edges, 11532 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 11860688 markings, 411216166 edges, 12187 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 11917878 markings, 413220580 edges, 11438 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 11983425 markings, 415476733 edges, 13109 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 12052203 markings, 417741487 edges, 13756 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 12112947 markings, 419838226 edges, 12149 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 12174469 markings, 421977225 edges, 12304 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 12237084 markings, 424066535 edges, 12523 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 12304901 markings, 426182328 edges, 13563 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 12374407 markings, 428301427 edges, 13901 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 12442340 markings, 430372598 edges, 13587 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 12506618 markings, 432519171 edges, 12856 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 12566744 markings, 434606466 edges, 12025 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 12631379 markings, 436700078 edges, 12927 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 12699347 markings, 438863738 edges, 13594 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 12758590 markings, 440960389 edges, 11849 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 12817236 markings, 443032919 edges, 11729 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 12881935 markings, 445123786 edges, 12940 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 12940231 markings, 447171070 edges, 11659 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 13001529 markings, 449277614 edges, 12260 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 13058678 markings, 451315214 edges, 11430 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 13125575 markings, 453431798 edges, 13379 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 13184577 markings, 455497267 edges, 11800 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 13244334 markings, 457589968 edges, 11951 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 13298757 markings, 459581921 edges, 10885 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 13354443 markings, 461616121 edges, 11137 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 13419725 markings, 463719675 edges, 13056 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 13480277 markings, 465780905 edges, 12110 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 13536760 markings, 467844199 edges, 11297 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 13595274 markings, 469910985 edges, 11703 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 13651840 markings, 471973364 edges, 11313 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 13709942 markings, 474014105 edges, 11620 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 13766246 markings, 476032167 edges, 11261 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 13823035 markings, 478052187 edges, 11358 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 13877188 markings, 479996108 edges, 10831 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 13934161 markings, 482008984 edges, 11395 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 13993139 markings, 484021926 edges, 11796 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 14052783 markings, 486023786 edges, 11929 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 14111809 markings, 488138025 edges, 11805 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 14170745 markings, 490213445 edges, 11787 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 14226486 markings, 492214164 edges, 11148 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 14284824 markings, 494230410 edges, 11668 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 14338904 markings, 496185375 edges, 10816 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 14394055 markings, 498116945 edges, 11030 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 14454349 markings, 500156755 edges, 12059 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 14512262 markings, 502208800 edges, 11583 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 14567487 markings, 504175515 edges, 11045 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 14619529 markings, 506095381 edges, 10408 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 14672879 markings, 508046252 edges, 10670 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 14725027 markings, 509963791 edges, 10430 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 14776168 markings, 511849505 edges, 10228 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 14834949 markings, 513859126 edges, 11756 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 14891405 markings, 515824068 edges, 11291 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 14946816 markings, 517801110 edges, 11082 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 15007717 markings, 519920882 edges, 12180 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 15067597 markings, 521974448 edges, 11976 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 15124746 markings, 523982365 edges, 11430 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 15185059 markings, 526016154 edges, 12063 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 15244735 markings, 528041470 edges, 11935 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 15300689 markings, 530057971 edges, 11191 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 15358974 markings, 532060396 edges, 11657 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 15415607 markings, 534056503 edges, 11327 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 15469765 markings, 535978494 edges, 10832 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 15519406 markings, 537740902 edges, 9928 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 15566909 markings, 539446474 edges, 9501 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 15617783 markings, 541325545 edges, 10175 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 15672245 markings, 543300810 edges, 10892 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 15727783 markings, 545215311 edges, 11108 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 15782038 markings, 547150170 edges, 10851 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 15834805 markings, 549071435 edges, 10553 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 15887255 markings, 551017658 edges, 10490 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 15941423 markings, 552997759 edges, 10834 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 15999482 markings, 555014888 edges, 11612 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 16053282 markings, 556976330 edges, 10760 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 16109393 markings, 559001201 edges, 11222 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 16168436 markings, 561063030 edges, 11809 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 16227971 markings, 563131695 edges, 11907 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 16295578 markings, 565356375 edges, 13521 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 16364238 markings, 567548593 edges, 13732 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 16423709 markings, 569615401 edges, 11894 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 16480677 markings, 571634590 edges, 11394 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 16540657 markings, 573713739 edges, 11996 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 16596962 markings, 575752282 edges, 11261 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 16654407 markings, 577766413 edges, 11489 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 16711668 markings, 579770218 edges, 11452 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 16771024 markings, 581834801 edges, 11871 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 16829046 markings, 583881440 edges, 11604 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 16889338 markings, 585923362 edges, 12058 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 16944057 markings, 587853694 edges, 10944 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 16998675 markings, 589858476 edges, 10924 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 17049257 markings, 591730141 edges, 10116 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 17104482 markings, 593624448 edges, 11045 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 17164586 markings, 595724511 edges, 12021 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 17222926 markings, 597741504 edges, 11668 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 17273810 markings, 599630162 edges, 10177 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 17323405 markings, 601457461 edges, 9919 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 17379760 markings, 603469314 edges, 11271 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 17408059 markings, 604526802 edges, 5660 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 17409394 markings, 604577633 edges, 267 markings/sec, 1430 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 2112 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F ((((p262 <= 0)) OR ((1 <= p68))))) U (((1 <= p22)) AND ((p105 <= 0)) AND (((p128 <= 0)) OR ((1 <= p140))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AF((((p262 <= 0)) OR ((1 <= p68)))) U (((1 <= p22)) AND ((p105 <= 0)) AND (((p128 <= 0)) OR ((1 <= p140)))))
lola: processed formula length: 112
lola: 10 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 86830 markings, 2209008 edges, 17366 markings/sec, 0 secs
lola: 165243 markings, 4416321 edges, 15683 markings/sec, 5 secs
lola: 242798 markings, 6620700 edges, 15511 markings/sec, 10 secs
lola: 323181 markings, 8812540 edges, 16077 markings/sec, 15 secs
lola: 398219 markings, 10946161 edges, 15008 markings/sec, 20 secs
lola: 471446 markings, 13058935 edges, 14645 markings/sec, 25 secs
lola: 546107 markings, 15159458 edges, 14932 markings/sec, 30 secs
lola: 620120 markings, 17319939 edges, 14803 markings/sec, 35 secs
lola: 693346 markings, 19447880 edges, 14645 markings/sec, 40 secs
lola: 765950 markings, 21545615 edges, 14521 markings/sec, 45 secs
lola: 837387 markings, 23733184 edges, 14287 markings/sec, 50 secs
lola: 906328 markings, 25899445 edges, 13788 markings/sec, 55 secs
lola: 974173 markings, 28040969 edges, 13569 markings/sec, 60 secs
lola: 1044518 markings, 30201667 edges, 14069 markings/sec, 65 secs
lola: 1113587 markings, 32371412 edges, 13814 markings/sec, 70 secs
lola: 1188295 markings, 34652531 edges, 14942 markings/sec, 75 secs
lola: 1259091 markings, 36830488 edges, 14159 markings/sec, 80 secs
lola: 1331821 markings, 39057165 edges, 14546 markings/sec, 85 secs
lola: 1403944 markings, 41207297 edges, 14425 markings/sec, 90 secs
lola: 1476340 markings, 43382197 edges, 14479 markings/sec, 95 secs
lola: 1546642 markings, 45546748 edges, 14060 markings/sec, 100 secs
lola: 1617340 markings, 47721463 edges, 14140 markings/sec, 105 secs
lola: 1685423 markings, 49837485 edges, 13617 markings/sec, 110 secs
lola: 1754204 markings, 51991467 edges, 13756 markings/sec, 115 secs
lola: 1822312 markings, 54118576 edges, 13622 markings/sec, 120 secs
lola: 1896193 markings, 56310843 edges, 14776 markings/sec, 125 secs
lola: 1970335 markings, 58493857 edges, 14828 markings/sec, 130 secs
lola: 2041235 markings, 60618425 edges, 14180 markings/sec, 135 secs
lola: 2114002 markings, 62747566 edges, 14553 markings/sec, 140 secs
lola: 2187933 markings, 64883543 edges, 14786 markings/sec, 145 secs
lola: 2258340 markings, 66984233 edges, 14081 markings/sec, 150 secs
lola: 2329352 markings, 69083518 edges, 14202 markings/sec, 155 secs
lola: 2401638 markings, 71200438 edges, 14457 markings/sec, 160 secs
lola: 2479867 markings, 73348229 edges, 15646 markings/sec, 165 secs
lola: 2550765 markings, 75447303 edges, 14180 markings/sec, 170 secs
lola: 2623571 markings, 77554889 edges, 14561 markings/sec, 175 secs
lola: 2696651 markings, 79732863 edges, 14616 markings/sec, 180 secs
lola: 2771823 markings, 81912970 edges, 15034 markings/sec, 185 secs
lola: 2840385 markings, 83993671 edges, 13712 markings/sec, 190 secs
lola: 2909338 markings, 86087088 edges, 13791 markings/sec, 195 secs
lola: 2977165 markings, 88138460 edges, 13565 markings/sec, 200 secs
lola: 3045486 markings, 90184505 edges, 13664 markings/sec, 205 secs
lola: 3113819 markings, 92264015 edges, 13667 markings/sec, 210 secs
lola: 3182362 markings, 94284570 edges, 13709 markings/sec, 215 secs
lola: 3247579 markings, 96282218 edges, 13043 markings/sec, 220 secs
lola: 3321211 markings, 98365228 edges, 14726 markings/sec, 225 secs
lola: 3399306 markings, 100525931 edges, 15619 markings/sec, 230 secs
lola: 3470984 markings, 102663975 edges, 14336 markings/sec, 235 secs
lola: 3535781 markings, 104645045 edges, 12959 markings/sec, 240 secs
lola: 3602383 markings, 106664468 edges, 13320 markings/sec, 245 secs
lola: 3672380 markings, 108749349 edges, 13999 markings/sec, 250 secs
lola: 3746019 markings, 110834970 edges, 14728 markings/sec, 255 secs
lola: 3824648 markings, 113007642 edges, 15726 markings/sec, 260 secs
lola: 3901450 markings, 115108696 edges, 15360 markings/sec, 265 secs
lola: 3979415 markings, 117214077 edges, 15593 markings/sec, 270 secs
lola: 4055940 markings, 119317400 edges, 15305 markings/sec, 275 secs
lola: 4134415 markings, 121380510 edges, 15695 markings/sec, 280 secs
lola: 4212093 markings, 123468019 edges, 15536 markings/sec, 285 secs
lola: 4284668 markings, 125533816 edges, 14515 markings/sec, 290 secs
lola: 4349657 markings, 127532492 edges, 12998 markings/sec, 295 secs
lola: 4417646 markings, 129569751 edges, 13598 markings/sec, 300 secs
lola: 4487463 markings, 131599718 edges, 13963 markings/sec, 305 secs
lola: 4559288 markings, 133705146 edges, 14365 markings/sec, 310 secs
lola: 4633095 markings, 135887405 edges, 14761 markings/sec, 315 secs
lola: 4701299 markings, 137955357 edges, 13641 markings/sec, 320 secs
lola: 4775709 markings, 140065394 edges, 14882 markings/sec, 325 secs
lola: 4848004 markings, 142161137 edges, 14459 markings/sec, 330 secs
lola: 4913582 markings, 144158540 edges, 13116 markings/sec, 335 secs
lola: 4980018 markings, 146177263 edges, 13287 markings/sec, 340 secs
lola: 5043160 markings, 148091461 edges, 12628 markings/sec, 345 secs
lola: 5107803 markings, 150057231 edges, 12929 markings/sec, 350 secs
lola: 5178993 markings, 152125215 edges, 14238 markings/sec, 355 secs
lola: 5248080 markings, 154126465 edges, 13817 markings/sec, 360 secs
lola: 5313439 markings, 156017660 edges, 13072 markings/sec, 365 secs
lola: 5377750 markings, 158009084 edges, 12862 markings/sec, 370 secs
lola: 5450963 markings, 160106230 edges, 14643 markings/sec, 375 secs
lola: 5521788 markings, 162181284 edges, 14165 markings/sec, 380 secs
lola: 5596643 markings, 164254030 edges, 14971 markings/sec, 385 secs
lola: 5663786 markings, 166270930 edges, 13429 markings/sec, 390 secs
lola: 5733089 markings, 168328051 edges, 13861 markings/sec, 395 secs
lola: 5797708 markings, 170317319 edges, 12924 markings/sec, 400 secs
lola: 5866399 markings, 172324742 edges, 13738 markings/sec, 405 secs
lola: 5934676 markings, 174345659 edges, 13655 markings/sec, 410 secs
lola: 6005355 markings, 176475855 edges, 14136 markings/sec, 415 secs
lola: 6071025 markings, 178455375 edges, 13134 markings/sec, 420 secs
lola: 6138954 markings, 180473607 edges, 13586 markings/sec, 425 secs
lola: 6204919 markings, 182487477 edges, 13193 markings/sec, 430 secs
lola: 6273053 markings, 184506706 edges, 13627 markings/sec, 435 secs
lola: 6342176 markings, 186491815 edges, 13825 markings/sec, 440 secs
lola: 6408669 markings, 188501005 edges, 13299 markings/sec, 445 secs
lola: 6477994 markings, 190526706 edges, 13865 markings/sec, 450 secs
lola: 6545362 markings, 192529819 edges, 13474 markings/sec, 455 secs
lola: 6609529 markings, 194510121 edges, 12833 markings/sec, 460 secs
lola: 6673448 markings, 196483824 edges, 12784 markings/sec, 465 secs
lola: 6740460 markings, 198503697 edges, 13402 markings/sec, 470 secs
lola: 6805648 markings, 200487841 edges, 13038 markings/sec, 475 secs
lola: 6871142 markings, 202476518 edges, 13099 markings/sec, 480 secs
lola: 6936252 markings, 204460076 edges, 13022 markings/sec, 485 secs
lola: 7003322 markings, 206469853 edges, 13414 markings/sec, 490 secs
lola: 7070937 markings, 208469765 edges, 13523 markings/sec, 495 secs
lola: 7139141 markings, 210481793 edges, 13641 markings/sec, 500 secs
lola: 7206415 markings, 212480826 edges, 13455 markings/sec, 505 secs
lola: 7277902 markings, 214533800 edges, 14297 markings/sec, 510 secs
lola: 7343715 markings, 216524432 edges, 13163 markings/sec, 515 secs
lola: 7409984 markings, 218506671 edges, 13254 markings/sec, 520 secs
lola: 7476685 markings, 220475664 edges, 13340 markings/sec, 525 secs
lola: 7545160 markings, 222509175 edges, 13695 markings/sec, 530 secs
lola: 7617621 markings, 224605172 edges, 14492 markings/sec, 535 secs
lola: 7688166 markings, 226700312 edges, 14109 markings/sec, 540 secs
lola: 7758002 markings, 228757773 edges, 13967 markings/sec, 545 secs
lola: 7826697 markings, 230758147 edges, 13739 markings/sec, 550 secs
lola: 7895284 markings, 232778559 edges, 13717 markings/sec, 555 secs
lola: 7960881 markings, 234742346 edges, 13119 markings/sec, 560 secs
lola: 8024018 markings, 236692310 edges, 12627 markings/sec, 565 secs
lola: 8095558 markings, 238764866 edges, 14308 markings/sec, 570 secs
lola: 8164104 markings, 240770586 edges, 13709 markings/sec, 575 secs
lola: 8230394 markings, 242739755 edges, 13258 markings/sec, 580 secs
lola: 8295206 markings, 244762558 edges, 12962 markings/sec, 585 secs
lola: 8367181 markings, 246814543 edges, 14395 markings/sec, 590 secs
lola: 8435458 markings, 248803614 edges, 13655 markings/sec, 595 secs
lola: 8498161 markings, 250743547 edges, 12541 markings/sec, 600 secs
lola: 8562407 markings, 252686848 edges, 12849 markings/sec, 605 secs
lola: 8628332 markings, 254694060 edges, 13185 markings/sec, 610 secs
lola: 8697616 markings, 256687373 edges, 13857 markings/sec, 615 secs
lola: 8762030 markings, 258641221 edges, 12883 markings/sec, 620 secs
lola: 8827720 markings, 260624853 edges, 13138 markings/sec, 625 secs
lola: 8890877 markings, 262571424 edges, 12631 markings/sec, 630 secs
lola: 8952988 markings, 264484181 edges, 12422 markings/sec, 635 secs
lola: 9014782 markings, 266402853 edges, 12359 markings/sec, 640 secs
lola: 9078449 markings, 268370049 edges, 12733 markings/sec, 645 secs
lola: 9143929 markings, 270351102 edges, 13096 markings/sec, 650 secs
lola: 9206920 markings, 272270823 edges, 12598 markings/sec, 655 secs
lola: 9274616 markings, 274257771 edges, 13539 markings/sec, 660 secs
lola: 9344205 markings, 276309324 edges, 13918 markings/sec, 665 secs
lola: 9418647 markings, 278325958 edges, 14888 markings/sec, 670 secs
lola: 9501366 markings, 280401762 edges, 16544 markings/sec, 675 secs
lola: 9579834 markings, 282551250 edges, 15694 markings/sec, 680 secs
lola: 9653362 markings, 284683404 edges, 14706 markings/sec, 685 secs
lola: 9721663 markings, 286737001 edges, 13660 markings/sec, 690 secs
lola: 9786552 markings, 288724912 edges, 12978 markings/sec, 695 secs
lola: 9863762 markings, 290795489 edges, 15442 markings/sec, 700 secs
lola: 9937216 markings, 292798114 edges, 14691 markings/sec, 705 secs
lola: 10004673 markings, 294804009 edges, 13491 markings/sec, 710 secs
lola: 10070851 markings, 296800552 edges, 13236 markings/sec, 715 secs
lola: 10138178 markings, 298770774 edges, 13465 markings/sec, 720 secs
lola: 10200328 markings, 300720811 edges, 12430 markings/sec, 725 secs
lola: 10260555 markings, 302657532 edges, 12045 markings/sec, 730 secs
lola: 10327232 markings, 304594964 edges, 13335 markings/sec, 735 secs
lola: 10391135 markings, 306535946 edges, 12781 markings/sec, 740 secs
lola: 10454392 markings, 308481373 edges, 12651 markings/sec, 745 secs
lola: 10515922 markings, 310411979 edges, 12306 markings/sec, 750 secs
lola: 10588191 markings, 312432826 edges, 14454 markings/sec, 755 secs
lola: 10660839 markings, 314531748 edges, 14530 markings/sec, 760 secs
lola: 10733143 markings, 316591582 edges, 14461 markings/sec, 765 secs
lola: 10802274 markings, 318581820 edges, 13826 markings/sec, 770 secs
lola: 10869684 markings, 320553869 edges, 13482 markings/sec, 775 secs
lola: 10942359 markings, 322570555 edges, 14535 markings/sec, 780 secs
lola: 11011493 markings, 324547111 edges, 13827 markings/sec, 785 secs
lola: 11078122 markings, 326486951 edges, 13326 markings/sec, 790 secs
lola: 11144789 markings, 328421592 edges, 13333 markings/sec, 795 secs
lola: 11209414 markings, 330331784 edges, 12925 markings/sec, 800 secs
lola: 11275730 markings, 332261633 edges, 13263 markings/sec, 805 secs
lola: 11340783 markings, 334173996 edges, 13011 markings/sec, 810 secs
lola: 11419285 markings, 336206539 edges, 15700 markings/sec, 815 secs
lola: 11491756 markings, 338254557 edges, 14494 markings/sec, 820 secs
lola: 11562021 markings, 340211263 edges, 14053 markings/sec, 825 secs
lola: 11628073 markings, 342105541 edges, 13210 markings/sec, 830 secs
lola: 11695689 markings, 344066166 edges, 13523 markings/sec, 835 secs
lola: 11762861 markings, 346006016 edges, 13434 markings/sec, 840 secs
lola: 11826332 markings, 347884869 edges, 12694 markings/sec, 845 secs
lola: 11891275 markings, 349799613 edges, 12989 markings/sec, 850 secs
lola: 11957727 markings, 351755794 edges, 13290 markings/sec, 855 secs
lola: 12026283 markings, 353683525 edges, 13711 markings/sec, 860 secs
lola: 12092121 markings, 355606367 edges, 13168 markings/sec, 865 secs
lola: 12157836 markings, 357525455 edges, 13143 markings/sec, 870 secs
lola: 12229894 markings, 359555474 edges, 14412 markings/sec, 875 secs
lola: 12295333 markings, 361483700 edges, 13088 markings/sec, 880 secs
lola: 12358391 markings, 363371997 edges, 12612 markings/sec, 885 secs
lola: 12432773 markings, 365395152 edges, 14876 markings/sec, 890 secs
lola: 12507377 markings, 367385988 edges, 14921 markings/sec, 895 secs
lola: 12579598 markings, 369449548 edges, 14444 markings/sec, 900 secs
lola: 12647574 markings, 371435777 edges, 13595 markings/sec, 905 secs
lola: 12718497 markings, 373447877 edges, 14185 markings/sec, 910 secs
lola: 12788208 markings, 375441549 edges, 13942 markings/sec, 915 secs
lola: 12858559 markings, 377396588 edges, 14070 markings/sec, 920 secs
lola: 12926106 markings, 379349465 edges, 13509 markings/sec, 925 secs
lola: 12989877 markings, 381243705 edges, 12754 markings/sec, 930 secs
lola: 13059319 markings, 383190058 edges, 13888 markings/sec, 935 secs
lola: 13124818 markings, 385070323 edges, 13100 markings/sec, 940 secs
lola: 13189384 markings, 386952415 edges, 12913 markings/sec, 945 secs
lola: 13271420 markings, 388986314 edges, 16407 markings/sec, 950 secs
lola: 13344584 markings, 390955433 edges, 14633 markings/sec, 955 secs
lola: 13413192 markings, 392915611 edges, 13722 markings/sec, 960 secs
lola: 13476717 markings, 394817977 edges, 12705 markings/sec, 965 secs
lola: 13538491 markings, 396649545 edges, 12355 markings/sec, 970 secs
lola: 13600837 markings, 398514883 edges, 12469 markings/sec, 975 secs
lola: 13664200 markings, 400392162 edges, 12673 markings/sec, 980 secs
lola: 13730754 markings, 402270831 edges, 13311 markings/sec, 985 secs
lola: 13796774 markings, 404189894 edges, 13204 markings/sec, 990 secs
lola: 13864457 markings, 406156931 edges, 13537 markings/sec, 995 secs
lola: 13929586 markings, 408197547 edges, 13026 markings/sec, 1000 secs
lola: 13994746 markings, 410356442 edges, 13032 markings/sec, 1005 secs
lola: 14060905 markings, 412502313 edges, 13232 markings/sec, 1010 secs
lola: 14126935 markings, 414617179 edges, 13206 markings/sec, 1015 secs
lola: 14191704 markings, 416686053 edges, 12954 markings/sec, 1020 secs
lola: 14254655 markings, 418758138 edges, 12590 markings/sec, 1025 secs
lola: 14317416 markings, 420814595 edges, 12552 markings/sec, 1030 secs
lola: 14386369 markings, 422860901 edges, 13791 markings/sec, 1035 secs
lola: 14456817 markings, 424840712 edges, 14090 markings/sec, 1040 secs
lola: 14526639 markings, 426809404 edges, 13964 markings/sec, 1045 secs
lola: 14598509 markings, 428788985 edges, 14374 markings/sec, 1050 secs
lola: 14665165 markings, 430681908 edges, 13331 markings/sec, 1055 secs
lola: 14736509 markings, 432607389 edges, 14269 markings/sec, 1060 secs
lola: 14804604 markings, 434518597 edges, 13619 markings/sec, 1065 secs
lola: 14871568 markings, 436403335 edges, 13393 markings/sec, 1070 secs
lola: 14938039 markings, 438273327 edges, 13294 markings/sec, 1075 secs
lola: 15006148 markings, 440418870 edges, 13622 markings/sec, 1080 secs
lola: 15081095 markings, 442512492 edges, 14989 markings/sec, 1085 secs
lola: 15152265 markings, 444522250 edges, 14234 markings/sec, 1090 secs
lola: 15232093 markings, 446648124 edges, 15966 markings/sec, 1095 secs
lola: 15305558 markings, 448717353 edges, 14693 markings/sec, 1100 secs
lola: 15375167 markings, 450693114 edges, 13922 markings/sec, 1105 secs
lola: 15442712 markings, 452617833 edges, 13509 markings/sec, 1110 secs
lola: 15503889 markings, 454553914 edges, 12235 markings/sec, 1115 secs
lola: 15565729 markings, 456546958 edges, 12368 markings/sec, 1120 secs
lola: 15628651 markings, 458531439 edges, 12584 markings/sec, 1125 secs
lola: 15688712 markings, 460427467 edges, 12012 markings/sec, 1130 secs
lola: 15749643 markings, 462285214 edges, 12186 markings/sec, 1135 secs
lola: 15821981 markings, 464187513 edges, 14468 markings/sec, 1140 secs
lola: 15890876 markings, 466148153 edges, 13779 markings/sec, 1145 secs
lola: 15954985 markings, 467985965 edges, 12822 markings/sec, 1150 secs
lola: 16020569 markings, 469786082 edges, 13117 markings/sec, 1155 secs
lola: 16088525 markings, 471639221 edges, 13591 markings/sec, 1160 secs
lola: 16151936 markings, 473486409 edges, 12682 markings/sec, 1165 secs
lola: 16217222 markings, 475347558 edges, 13057 markings/sec, 1170 secs
lola: 16282357 markings, 477256397 edges, 13027 markings/sec, 1175 secs
lola: 16341284 markings, 479175286 edges, 11785 markings/sec, 1180 secs
lola: 16404816 markings, 481054665 edges, 12706 markings/sec, 1185 secs
lola: 16466534 markings, 482832752 edges, 12344 markings/sec, 1190 secs
lola: 16526985 markings, 484741084 edges, 12090 markings/sec, 1195 secs
lola: 16591134 markings, 486697473 edges, 12830 markings/sec, 1200 secs
lola: 16655921 markings, 488597531 edges, 12957 markings/sec, 1205 secs
lola: 16722477 markings, 490481933 edges, 13311 markings/sec, 1210 secs
lola: 16795578 markings, 492516852 edges, 14620 markings/sec, 1215 secs
lola: 16872177 markings, 494394258 edges, 15320 markings/sec, 1220 secs
lola: 16947584 markings, 496298378 edges, 15081 markings/sec, 1225 secs
lola: 17018434 markings, 498218238 edges, 14170 markings/sec, 1230 secs
lola: 17080998 markings, 500014622 edges, 12513 markings/sec, 1235 secs
lola: 17139240 markings, 501676017 edges, 11648 markings/sec, 1240 secs
lola: 17206698 markings, 503529865 edges, 13492 markings/sec, 1245 secs
lola: 17274809 markings, 505374252 edges, 13622 markings/sec, 1250 secs
lola: 17336475 markings, 507332161 edges, 12333 markings/sec, 1255 secs
lola: 17396709 markings, 509286818 edges, 12047 markings/sec, 1260 secs
lola: 17459483 markings, 511290563 edges, 12555 markings/sec, 1265 secs
lola: 17523298 markings, 513195263 edges, 12763 markings/sec, 1270 secs
lola: 17582385 markings, 515066833 edges, 11817 markings/sec, 1275 secs
lola: 17644872 markings, 517047561 edges, 12497 markings/sec, 1280 secs
lola: 17698836 markings, 518826618 edges, 10793 markings/sec, 1285 secs
lola: 17757904 markings, 520695679 edges, 11814 markings/sec, 1290 secs
lola: 17817150 markings, 522597302 edges, 11849 markings/sec, 1295 secs
lola: 17878247 markings, 524475587 edges, 12219 markings/sec, 1300 secs
lola: 17938595 markings, 526330792 edges, 12070 markings/sec, 1305 secs
lola: 18001477 markings, 528108906 edges, 12576 markings/sec, 1310 secs
lola: 18060994 markings, 529794165 edges, 11903 markings/sec, 1315 secs
lola: 18124758 markings, 531538383 edges, 12753 markings/sec, 1320 secs
lola: 18192750 markings, 533414793 edges, 13598 markings/sec, 1325 secs
lola: 18268363 markings, 535379258 edges, 15123 markings/sec, 1330 secs
lola: 18338631 markings, 537360768 edges, 14054 markings/sec, 1335 secs
lola: 18404562 markings, 539229893 edges, 13186 markings/sec, 1340 secs
lola: 18471508 markings, 541002171 edges, 13389 markings/sec, 1345 secs
lola: 18546884 markings, 542930319 edges, 15075 markings/sec, 1350 secs
lola: 18621885 markings, 544931284 edges, 15000 markings/sec, 1355 secs
lola: 18690147 markings, 546866091 edges, 13652 markings/sec, 1360 secs
lola: 18758857 markings, 548767709 edges, 13742 markings/sec, 1365 secs
lola: 18825237 markings, 550683008 edges, 13276 markings/sec, 1370 secs
lola: 18895369 markings, 552558042 edges, 14026 markings/sec, 1375 secs
lola: 18961832 markings, 554376673 edges, 13293 markings/sec, 1380 secs
lola: 19020941 markings, 556133534 edges, 11822 markings/sec, 1385 secs
lola: 19082642 markings, 557922871 edges, 12340 markings/sec, 1390 secs
lola: 19145917 markings, 559762985 edges, 12655 markings/sec, 1395 secs
lola: 19217256 markings, 561816212 edges, 14268 markings/sec, 1400 secs
lola: 19277038 markings, 563542239 edges, 11956 markings/sec, 1405 secs
lola: 19340460 markings, 565355019 edges, 12684 markings/sec, 1410 secs
lola: 19399978 markings, 567093146 edges, 11904 markings/sec, 1415 secs
lola: 19460424 markings, 568892335 edges, 12089 markings/sec, 1420 secs
lola: 19520765 markings, 570629774 edges, 12068 markings/sec, 1425 secs
lola: 19588868 markings, 572482973 edges, 13621 markings/sec, 1430 secs
lola: 19660246 markings, 574398139 edges, 14276 markings/sec, 1435 secs
lola: 19726961 markings, 576279245 edges, 13343 markings/sec, 1440 secs
lola: 19788807 markings, 578123391 edges, 12369 markings/sec, 1445 secs
lola: 19854855 markings, 579979004 edges, 13210 markings/sec, 1450 secs
lola: 19925612 markings, 581843260 edges, 14151 markings/sec, 1455 secs
lola: 19997776 markings, 583779299 edges, 14433 markings/sec, 1460 secs
lola: 20061041 markings, 585617313 edges, 12653 markings/sec, 1465 secs
lola: 20122974 markings, 587414139 edges, 12387 markings/sec, 1470 secs
lola: 20188399 markings, 589236265 edges, 13085 markings/sec, 1475 secs
lola: 20228512 markings, 590371837 edges, 8023 markings/sec, 1480 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((p295 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p295))
lola: processed formula length: 13
lola: 12 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p295))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p295 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-4-1.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-4-1.sara.
sara: try reading problem file CTLCardinality-4-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 68961 markings, 2045003 edges, 13792 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 138978 markings, 4365898 edges, 14003 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 207017 markings, 6648672 edges, 13608 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 273704 markings, 8931141 edges, 13337 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 340707 markings, 11196752 edges, 13401 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 407333 markings, 13472610 edges, 13325 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 472824 markings, 15718440 edges, 13098 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 535776 markings, 17943200 edges, 12590 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 600338 markings, 20167054 edges, 12912 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 662933 markings, 22421005 edges, 12519 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 720669 markings, 24633161 edges, 11547 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 780102 markings, 26862376 edges, 11887 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 839124 markings, 29067795 edges, 11804 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 898751 markings, 31308005 edges, 11925 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 957795 markings, 33521349 edges, 11809 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 1022063 markings, 35848005 edges, 12854 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 1086996 markings, 38210964 edges, 12987 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 1150107 markings, 40543554 edges, 12622 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 1215939 markings, 42859977 edges, 13166 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 1277958 markings, 45122838 edges, 12404 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 1343770 markings, 47402015 edges, 13162 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 1407969 markings, 49665202 edges, 12840 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 1470299 markings, 51898144 edges, 12466 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 1534644 markings, 54165977 edges, 12869 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 1598203 markings, 56404199 edges, 12712 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 1659383 markings, 58621794 edges, 12236 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 1718079 markings, 60807774 edges, 11739 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 1777062 markings, 62973327 edges, 11797 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 1842693 markings, 65178859 edges, 13126 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 1911552 markings, 67449953 edges, 13772 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 1973077 markings, 69676818 edges, 12305 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 2037984 markings, 71926594 edges, 12981 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 2098948 markings, 74121601 edges, 12193 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 2158837 markings, 76284750 edges, 11978 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 2214315 markings, 78354323 edges, 11096 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 2274147 markings, 80503307 edges, 11966 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 2332432 markings, 82630698 edges, 11657 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 2394104 markings, 84761299 edges, 12334 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 2451384 markings, 86901217 edges, 11456 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 2510659 markings, 89034560 edges, 11855 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 2571608 markings, 91186301 edges, 12190 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 2629806 markings, 93308851 edges, 11640 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 2688099 markings, 95432799 edges, 11659 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 2744153 markings, 97539931 edges, 11211 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 2806977 markings, 99660691 edges, 12565 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 2876726 markings, 101843538 edges, 13950 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 2939678 markings, 104017630 edges, 12590 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 3000536 markings, 106130185 edges, 12172 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 3062229 markings, 108254299 edges, 12339 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 3118044 markings, 110353307 edges, 11163 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 3185126 markings, 112564821 edges, 13416 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 3250643 markings, 114759749 edges, 13103 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 3313273 markings, 116957830 edges, 12526 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 3375916 markings, 119118670 edges, 12529 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 3445831 markings, 121277236 edges, 13983 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 3513607 markings, 123418322 edges, 13555 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 3578608 markings, 125534241 edges, 13000 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 3637903 markings, 127634682 edges, 11859 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 3696038 markings, 129688980 edges, 11627 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 3757993 markings, 131834185 edges, 12391 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 3815989 markings, 133947884 edges, 11599 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 3880978 markings, 136263638 edges, 12998 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 3945014 markings, 138543306 edges, 12807 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 4003593 markings, 140642118 edges, 11716 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 4064314 markings, 142752337 edges, 12144 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 4119294 markings, 144799127 edges, 10996 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 4175554 markings, 146851784 edges, 11252 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 4231134 markings, 148938342 edges, 11116 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 4286191 markings, 150985841 edges, 11011 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 4341933 markings, 153024537 edges, 11148 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 4397331 markings, 155083971 edges, 11080 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 4457236 markings, 157152095 edges, 11981 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 4513963 markings, 159179183 edges, 11345 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 4568567 markings, 161203135 edges, 10921 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 4628143 markings, 163279201 edges, 11915 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 4681994 markings, 165326638 edges, 10770 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 4733703 markings, 167305087 edges, 10342 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 4790529 markings, 169359997 edges, 11365 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 4843798 markings, 171332786 edges, 10654 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 4901840 markings, 173389445 edges, 11608 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 4957431 markings, 175420712 edges, 11118 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 5011375 markings, 177419520 edges, 10789 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 5066618 markings, 179451950 edges, 11049 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 5123576 markings, 181486243 edges, 11392 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 5181544 markings, 183560943 edges, 11594 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 5236608 markings, 185572454 edges, 11013 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 5290936 markings, 187604854 edges, 10866 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 5344169 markings, 189618506 edges, 10647 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 5399573 markings, 191657409 edges, 11081 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 5452481 markings, 193676211 edges, 10582 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 5510257 markings, 195748344 edges, 11555 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 5567386 markings, 197824975 edges, 11426 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 5624440 markings, 199888179 edges, 11411 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 5685314 markings, 201983723 edges, 12175 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 5747389 markings, 204110807 edges, 12415 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 5812175 markings, 206251097 edges, 12957 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 5873609 markings, 208343468 edges, 12287 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 5936055 markings, 210415900 edges, 12489 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 6003132 markings, 212533950 edges, 13415 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 6065200 markings, 214632024 edges, 12414 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 6126850 markings, 216802244 edges, 12330 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 6188638 markings, 218935683 edges, 12358 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 6246526 markings, 220929825 edges, 11578 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 6307503 markings, 222937359 edges, 12195 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 6366599 markings, 224966517 edges, 11819 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 6426373 markings, 226969794 edges, 11955 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 6484789 markings, 228980396 edges, 11683 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 6545776 markings, 231090039 edges, 12197 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 6606441 markings, 233158336 edges, 12133 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 6675756 markings, 235236039 edges, 13863 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 6742069 markings, 237282203 edges, 13263 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 6814086 markings, 239376490 edges, 14403 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 6883762 markings, 241438528 edges, 13935 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 6945746 markings, 243518516 edges, 12397 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 7004401 markings, 245521641 edges, 11731 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 7066490 markings, 247588355 edges, 12418 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 7125249 markings, 249648873 edges, 11752 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 7188878 markings, 251748342 edges, 12726 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 7247638 markings, 253813117 edges, 11752 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 7305908 markings, 255831433 edges, 11654 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 7361976 markings, 257890261 edges, 11214 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 7420421 markings, 259965820 edges, 11689 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 7475435 markings, 261962688 edges, 11003 markings/sec, 610 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no yes unknown
lola:
preliminary result: unknown no yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes unknown
lola: memory consumption: 9561768 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-11a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is DLCround-PT-11a, 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 r180-ebro-158987900400579"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-11a.tgz
mv DLCround-PT-11a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;