About the Execution of 2019-Gold for CloudDeployment-PT-4b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4285.070 | 3570134.00 | 3623248.00 | 9126.10 | ??FF?FFF?FTFTF?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r045-smll-158902068300078.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is CloudDeployment-PT-4b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300078
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 28 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 591K 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 CloudDeployment-PT-4b-00
FORMULA_NAME CloudDeployment-PT-4b-01
FORMULA_NAME CloudDeployment-PT-4b-02
FORMULA_NAME CloudDeployment-PT-4b-03
FORMULA_NAME CloudDeployment-PT-4b-04
FORMULA_NAME CloudDeployment-PT-4b-05
FORMULA_NAME CloudDeployment-PT-4b-06
FORMULA_NAME CloudDeployment-PT-4b-07
FORMULA_NAME CloudDeployment-PT-4b-08
FORMULA_NAME CloudDeployment-PT-4b-09
FORMULA_NAME CloudDeployment-PT-4b-10
FORMULA_NAME CloudDeployment-PT-4b-11
FORMULA_NAME CloudDeployment-PT-4b-12
FORMULA_NAME CloudDeployment-PT-4b-13
FORMULA_NAME CloudDeployment-PT-4b-14
FORMULA_NAME CloudDeployment-PT-4b-15
=== Now, execution of the tool begins
BK_START 1590051077440
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CloudDeployment-PT-4b @ 3570 seconds
FORMULA CloudDeployment-PT-4b-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-4b-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CloudDeployment-PT-4b
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu May 21 08:51:17 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 223
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (X ((FIREABLE(t969) OR (F (FIREABLE(t419)) OR G ((FIREABLE(t1502) AND X (FIREABLE(t1502)))))))))",
"processed_size": 101,
"rewrites": 94
},
"result":
{
"edges": 155,
"markings": 155,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 241
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((G ((FIREABLE(t556) AND X ((FIREABLE(t623) AND NOT FIREABLE(t770))))) OR X (G (FIREABLE(t623)))))",
"processed_size": 100,
"rewrites": 94
},
"result":
{
"edges": 155,
"markings": 155,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 265
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (F (NOT FIREABLE(t265))))",
"processed_size": 30,
"rewrites": 94
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 295
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((FIREABLE(t1516) OR (FIREABLE(t114) AND X (FIREABLE(t909))))))",
"processed_size": 68,
"rewrites": 94
},
"result":
{
"edges": 155,
"markings": 155,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 332
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (F ((NOT FIREABLE(t284) AND X ((X (NOT FIREABLE(t1785)) OR G (NOT FIREABLE(t284))))))))",
"processed_size": 92,
"rewrites": 94
},
"result":
{
"edges": 7,
"markings": 7,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 379
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (((FIREABLE(t1513) AND (FIREABLE(t1400) OR FIREABLE(t1369))) U X (F (FIREABLE(t497)))))",
"processed_size": 90,
"rewrites": 94
},
"result":
{
"edges": 155,
"markings": 155,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 455
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (G (FIREABLE(t267))))",
"processed_size": 26,
"rewrites": 94
},
"result":
{
"edges": 148,
"markings": 147,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 569
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(t565))))",
"processed_size": 26,
"rewrites": 94
},
"result":
{
"edges": 146,
"markings": 146,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 759
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F ((G (FIREABLE(t1681)) AND F (FIREABLE(t1211)))))",
"processed_size": 53,
"rewrites": 94
},
"result":
{
"edges": 146,
"markings": 146,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1139
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 6,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(t1676) OR ((FIREABLE(t1676) AND (FIREABLE(t1474) U FIREABLE(t1039))) OR G (F ((FIREABLE(t1039) AND F (FIREABLE(t1676))))))))",
"processed_size": 137,
"rewrites": 94
},
"result":
{
"edges": 146,
"markings": 146,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2279
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2279
},
"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": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(t1161)",
"processed_size": 15,
"rewrites": 94
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 2845076,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G(*)) AND A(X(G((* AND X(F((* OR F(*))))))))) : A((X(X(F((** AND F(**))))) OR G((* AND *)))) : (** AND A(G(F((** AND G(**)))))) : A((** OR ((** AND (** U **)) OR G(F((** AND F(**))))))) : (A(G(F(*))) AND A(X(F((X(G(**)) OR (G(*) AND F(G(**)))))))) : A(F((G(**) AND F(**)))) : A(F(G(**))) : A(X(X((** OR (F(**) OR G((** AND X(**)))))))) : A(X(X(G(**)))) : A((G((** AND X((** AND *)))) OR X(G(**)))) : A(X(F(*))) : A(F((** OR (** AND X(**))))) : A(X(F((* AND X((X(*) OR G(*))))))) : A(G(F(**))) : A(((** U X((** OR X(**)))) OR G(**))) : A((** U X(F(**))))"
},
"net":
{
"arcs": 8741,
"conflict_clusters": 1037,
"places": 1182,
"places_significant": 1165,
"singleton_clusters": 0,
"transitions": 1824
},
"result":
{
"interim_value": "unknown unknown no no unknown no no no unknown no yes no yes no unknown no ",
"preliminary_value": "unknown unknown no no unknown no no no unknown no yes no yes no unknown no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3006/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1182
lola: finding significant places
lola: 1182 places, 1824 transitions, 1165 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 LTLFireability.xml
lola: A (NOT(F (((FIREABLE(t1087) OR X (FIREABLE(t1158))) OR X (G ((X (FIREABLE(t409)) AND G (X (FIREABLE(t1158)))))))))) : A ((X (X (F ((FIREABLE(t1339) AND F (FIREABLE(t436)))))) OR (NOT(F (FIREABLE(t1339))) AND NOT(F (FIREABLE(t436)))))) : A ((FIREABLE(t1161) AND G (X ((F (X (FIREABLE(t1169))) U F ((FIREABLE(t1169) AND G (FIREABLE(t818))))))))) : A (((FIREABLE(t1676) OR (FIREABLE(t1676) AND (FIREABLE(t1474) U FIREABLE(t1039)))) OR G (F ((FIREABLE(t1039) AND F (FIREABLE(t1676))))))) : A (NOT((F (G (FIREABLE(t1622))) OR X (NOT(F ((NOT(F (FIREABLE(t1622))) U X (G (FIREABLE(t499)))))))))) : A (F ((G (FIREABLE(t1681)) AND F (((NOT FIREABLE(t1681) OR FIREABLE(t266)) U FIREABLE(t1211)))))) : A (F ((X (G ((G (FIREABLE(t1019)) OR X ((FIREABLE(t712) OR FIREABLE(t255)))))) U G (FIREABLE(t267))))) : A (X (X (((FIREABLE(t969) OR F (FIREABLE(t419))) OR G ((FIREABLE(t1502) AND X (FIREABLE(t1502)))))))) : A (X (X (G (NOT FIREABLE(t439))))) : A ((G (((FIREABLE(t556) AND X (FIREABLE(t623))) AND NOT(X (FIREABLE(t770))))) OR X (G (FIREABLE(t623))))) : A (NOT(G (X (FIREABLE(t265))))) : A (F ((FIREABLE(t1516) OR (FIREABLE(t114) AND X (FIREABLE(t909)))))) : A (X (F (NOT((FIREABLE(t284) OR (X (X (FIREABLE(t1785))) AND X (F ((F (FIREABLE(t536)) U FIREABLE(t284)))))))))) : A (G (X ((NOT((X (FIREABLE(t565)) U FIREABLE(t565))) U (FIREABLE(t565) OR F (FIREABLE(t565))))))) : A (((FIREABLE(t606) U X ((FIREABLE(t1652) OR X (FIREABLE(t409))))) OR G (NOT FIREABLE(t1652)))) : A (((FIREABLE(t1513) AND (FIREABLE(t1400) OR FIREABLE(t1369))) U F (X (FIREABLE(t497)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:500
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t1087))) AND A (X (G ((NOT FIREABLE(t1158) AND X (F ((NOT FIREABLE(t409) OR F (NOT FIREABLE(t1158))))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t1087)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(t1087)))
lola: processed formula length: 27
lola: 96 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t1087)
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 LTLFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file LTLFireability-0.sara.
sara: error: :3755: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 79774 markings, 235848 edges, 15955 markings/sec, 0 secs
lola: sara is running 5 secs || 155299 markings, 491561 edges, 15105 markings/sec, 5 secs
lola: sara is running 10 secs || 228852 markings, 748037 edges, 14711 markings/sec, 10 secs
lola: sara is running 15 secs || 311420 markings, 996153 edges, 16514 markings/sec, 15 secs
lola: sara is running 20 secs || 388246 markings, 1251354 edges, 15365 markings/sec, 20 secs
lola: sara is running 25 secs || 461193 markings, 1505168 edges, 14589 markings/sec, 25 secs
lola: sara is running 30 secs || 558201 markings, 1730879 edges, 19402 markings/sec, 30 secs
lola: sara is running 35 secs || 649549 markings, 1976666 edges, 18270 markings/sec, 35 secs
lola: sara is running 40 secs || 742205 markings, 2207973 edges, 18531 markings/sec, 40 secs
lola: sara is running 45 secs || 827553 markings, 2450998 edges, 17070 markings/sec, 45 secs
lola: sara is running 50 secs || 912053 markings, 2689533 edges, 16900 markings/sec, 50 secs
lola: sara is running 55 secs || 992515 markings, 2952683 edges, 16092 markings/sec, 55 secs
lola: sara is running 60 secs || 1068389 markings, 3238310 edges, 15175 markings/sec, 60 secs
lola: sara is running 65 secs || 1143713 markings, 3511316 edges, 15065 markings/sec, 65 secs
lola: sara is running 70 secs || 1220892 markings, 3777579 edges, 15436 markings/sec, 70 secs
lola: sara is running 75 secs || 1290678 markings, 4050209 edges, 13957 markings/sec, 75 secs
lola: sara is running 80 secs || 1369107 markings, 4287127 edges, 15686 markings/sec, 80 secs
lola: sara is running 85 secs || 1458367 markings, 4496681 edges, 17852 markings/sec, 85 secs
lola: sara is running 90 secs || 1539092 markings, 4728084 edges, 16145 markings/sec, 90 secs
lola: sara is running 95 secs || 1624883 markings, 4935608 edges, 17158 markings/sec, 95 secs
lola: sara is running 100 secs || 1702805 markings, 5160530 edges, 15584 markings/sec, 100 secs
lola: sara is running 105 secs || 1780252 markings, 5383000 edges, 15489 markings/sec, 105 secs
lola: sara is running 110 secs || 1848209 markings, 5668681 edges, 13591 markings/sec, 110 secs
lola: sara is running 115 secs || 1919465 markings, 5964580 edges, 14251 markings/sec, 115 secs
lola: sara is running 120 secs || 1980089 markings, 6281497 edges, 12125 markings/sec, 120 secs
lola: sara is running 125 secs || 2045069 markings, 6575606 edges, 12996 markings/sec, 125 secs
lola: sara is running 130 secs || 2109091 markings, 6873292 edges, 12804 markings/sec, 130 secs
lola: sara is running 135 secs || 2169791 markings, 7166274 edges, 12140 markings/sec, 135 secs
lola: sara is running 140 secs || 2234793 markings, 7442840 edges, 13000 markings/sec, 140 secs
lola: sara is running 145 secs || 2309845 markings, 7689391 edges, 15010 markings/sec, 145 secs
lola: sara is running 150 secs || 2381385 markings, 7955281 edges, 14308 markings/sec, 150 secs
lola: sara is running 155 secs || 2451691 markings, 8214512 edges, 14061 markings/sec, 155 secs
lola: sara is running 160 secs || 2526197 markings, 8451815 edges, 14901 markings/sec, 160 secs
lola: sara is running 165 secs || 2589752 markings, 8717427 edges, 12711 markings/sec, 165 secs
lola: sara is running 170 secs || 2656944 markings, 8966272 edges, 13438 markings/sec, 170 secs
lola: sara is running 175 secs || 2730787 markings, 9207495 edges, 14769 markings/sec, 175 secs
lola: sara is running 180 secs || 2806391 markings, 9464275 edges, 15121 markings/sec, 180 secs
lola: sara is running 185 secs || 2873495 markings, 9735238 edges, 13421 markings/sec, 185 secs
lola: sara is running 190 secs || 2948214 markings, 9975335 edges, 14944 markings/sec, 190 secs
lola: sara is running 195 secs || 3013519 markings, 10239746 edges, 13061 markings/sec, 195 secs
lola: sara is running 200 secs || 3081276 markings, 10491320 edges, 13551 markings/sec, 200 secs
lola: sara is running 205 secs || 3150150 markings, 10717118 edges, 13775 markings/sec, 205 secs
lola: sara is running 210 secs || 3220157 markings, 10942226 edges, 14001 markings/sec, 210 secs
lola: sara is running 215 secs || 3287992 markings, 11213073 edges, 13567 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 360648 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 360672 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (F ((FIREABLE(t1339) AND F (FIREABLE(t436)))))) OR G ((NOT FIREABLE(t1339) AND NOT FIREABLE(t436)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (F ((FIREABLE(t1339) AND F (FIREABLE(t436)))))) OR G ((NOT FIREABLE(t1339) AND NOT FIREABLE(t436)))))
lola: processed formula length: 110
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 105682 markings, 470074 edges, 21136 markings/sec, 0 secs
lola: 210607 markings, 940456 edges, 20985 markings/sec, 5 secs
lola: 311809 markings, 1403357 edges, 20240 markings/sec, 10 secs
lola: 410516 markings, 1871208 edges, 19741 markings/sec, 15 secs
lola: 491771 markings, 2339954 edges, 16251 markings/sec, 20 secs
lola: 585493 markings, 2807834 edges, 18744 markings/sec, 25 secs
lola: 686862 markings, 3270430 edges, 20274 markings/sec, 30 secs
lola: 769191 markings, 3732161 edges, 16466 markings/sec, 35 secs
lola: 847021 markings, 4190191 edges, 15566 markings/sec, 40 secs
lola: 919007 markings, 4653134 edges, 14397 markings/sec, 45 secs
lola: 988732 markings, 5111564 edges, 13945 markings/sec, 50 secs
lola: 1074144 markings, 5572832 edges, 17082 markings/sec, 55 secs
lola: 1141985 markings, 6033179 edges, 13568 markings/sec, 60 secs
lola: 1218748 markings, 6494296 edges, 15353 markings/sec, 65 secs
lola: 1301274 markings, 6953603 edges, 16505 markings/sec, 70 secs
lola: 1373498 markings, 7413444 edges, 14445 markings/sec, 75 secs
lola: 1448892 markings, 7881187 edges, 15079 markings/sec, 80 secs
lola: 1518320 markings, 8340541 edges, 13886 markings/sec, 85 secs
lola: 1604185 markings, 8802745 edges, 17173 markings/sec, 90 secs
lola: 1686386 markings, 9272062 edges, 16440 markings/sec, 95 secs
lola: 1773208 markings, 9741126 edges, 17364 markings/sec, 100 secs
lola: 1858472 markings, 10210613 edges, 17053 markings/sec, 105 secs
lola: 1941057 markings, 10678480 edges, 16517 markings/sec, 110 secs
lola: 2025697 markings, 11145949 edges, 16928 markings/sec, 115 secs
lola: 2108172 markings, 11613700 edges, 16495 markings/sec, 120 secs
lola: 2180040 markings, 12082416 edges, 14374 markings/sec, 125 secs
lola: 2252985 markings, 12552550 edges, 14589 markings/sec, 130 secs
lola: 2335425 markings, 13021439 edges, 16488 markings/sec, 135 secs
lola: 2411945 markings, 13484081 edges, 15304 markings/sec, 140 secs
lola: 2487075 markings, 13945223 edges, 15026 markings/sec, 145 secs
lola: 2550286 markings, 14407141 edges, 12642 markings/sec, 150 secs
lola: 2617494 markings, 14871410 edges, 13442 markings/sec, 155 secs
lola: 2680482 markings, 15332346 edges, 12598 markings/sec, 160 secs
lola: 2747256 markings, 15794684 edges, 13355 markings/sec, 165 secs
lola: 2809522 markings, 16252054 edges, 12453 markings/sec, 170 secs
lola: 2876546 markings, 16715638 edges, 13405 markings/sec, 175 secs
lola: 2938888 markings, 17173816 edges, 12468 markings/sec, 180 secs
lola: 3005017 markings, 17634660 edges, 13226 markings/sec, 185 secs
lola: 3067692 markings, 18094080 edges, 12535 markings/sec, 190 secs
lola: 3134566 markings, 18557509 edges, 13375 markings/sec, 195 secs
lola: 3197658 markings, 19018609 edges, 12618 markings/sec, 200 secs
lola: 3261812 markings, 19481199 edges, 12831 markings/sec, 205 secs
lola: 3334999 markings, 19949655 edges, 14637 markings/sec, 210 secs
lola: 3405093 markings, 20422034 edges, 14019 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 519140 KB
lola: time consumption: 449 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (NOT FIREABLE(t1622)))) AND A (X (F ((X (G (FIREABLE(t499))) OR (G (NOT FIREABLE(t1622)) AND F (G (FIREABLE(t499)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (NOT FIREABLE(t1622))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (NOT FIREABLE(t1622))))
lola: processed formula length: 31
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 149128 markings, 427900 edges, 29826 markings/sec, 0 secs
lola: 270733 markings, 867496 edges, 24321 markings/sec, 5 secs
lola: 384692 markings, 1306803 edges, 22792 markings/sec, 10 secs
lola: 515291 markings, 1748111 edges, 26120 markings/sec, 15 secs
lola: 623852 markings, 2187736 edges, 21712 markings/sec, 20 secs
lola: 750202 markings, 2623215 edges, 25270 markings/sec, 25 secs
lola: 880664 markings, 3056982 edges, 26092 markings/sec, 30 secs
lola: 1026261 markings, 3488230 edges, 29119 markings/sec, 35 secs
lola: 1157455 markings, 3920681 edges, 26239 markings/sec, 40 secs
lola: 1278825 markings, 4359959 edges, 24274 markings/sec, 45 secs
lola: 1402926 markings, 4795338 edges, 24820 markings/sec, 50 secs
lola: 1512536 markings, 5232660 edges, 21922 markings/sec, 55 secs
lola: 1623761 markings, 5669106 edges, 22245 markings/sec, 60 secs
lola: 1744018 markings, 6108876 edges, 24051 markings/sec, 65 secs
lola: 1861701 markings, 6543883 edges, 23537 markings/sec, 70 secs
lola: 2010593 markings, 6962869 edges, 29778 markings/sec, 75 secs
lola: 2139213 markings, 7386607 edges, 25724 markings/sec, 80 secs
lola: 2252467 markings, 7810764 edges, 22651 markings/sec, 85 secs
lola: 2366000 markings, 8235959 edges, 22707 markings/sec, 90 secs
lola: 2483687 markings, 8660990 edges, 23537 markings/sec, 95 secs
lola: 2605656 markings, 9082866 edges, 24394 markings/sec, 100 secs
lola: 2723088 markings, 9506216 edges, 23486 markings/sec, 105 secs
lola: 2847096 markings, 9933212 edges, 24802 markings/sec, 110 secs
lola: 2972632 markings, 10360349 edges, 25107 markings/sec, 115 secs
lola: 3107550 markings, 10780145 edges, 26984 markings/sec, 120 secs
lola: 3262862 markings, 11187015 edges, 31062 markings/sec, 125 secs
lola: 3401782 markings, 11612563 edges, 27784 markings/sec, 130 secs
lola: 3518713 markings, 12030662 edges, 23386 markings/sec, 135 secs
lola: 3653833 markings, 12422507 edges, 27024 markings/sec, 140 secs
lola: 3771213 markings, 12800206 edges, 23476 markings/sec, 145 secs
lola: 3873108 markings, 13166842 edges, 20379 markings/sec, 150 secs
lola: 4008950 markings, 13586959 edges, 27168 markings/sec, 155 secs
lola: 4135789 markings, 14014720 edges, 25368 markings/sec, 160 secs
lola: 4269625 markings, 14436043 edges, 26767 markings/sec, 165 secs
lola: 4364877 markings, 14861069 edges, 19050 markings/sec, 170 secs
lola: 4470709 markings, 15280699 edges, 21166 markings/sec, 175 secs
lola: 4583295 markings, 15676848 edges, 22517 markings/sec, 180 secs
lola: 4721586 markings, 16063398 edges, 27658 markings/sec, 185 secs
lola: 4845511 markings, 16448711 edges, 24785 markings/sec, 190 secs
lola: 4958335 markings, 16824510 edges, 22565 markings/sec, 195 secs
lola: 5035560 markings, 17179499 edges, 15445 markings/sec, 200 secs
lola: 5127714 markings, 17540046 edges, 18431 markings/sec, 205 secs
lola: 5234415 markings, 17939508 edges, 21340 markings/sec, 210 secs
lola: 5342701 markings, 18329239 edges, 21657 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 896808 KB
lola: time consumption: 671 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 897064 KB
lola: time consumption: 671 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((FIREABLE(t969) OR (F (FIREABLE(t419)) OR G ((FIREABLE(t1502) AND X (FIREABLE(t1502)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((FIREABLE(t969) OR (F (FIREABLE(t419)) OR G ((FIREABLE(t1502) AND X (FIREABLE(t1502)))))))))
lola: processed formula length: 101
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 4 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (NOT FIREABLE(t439)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (NOT FIREABLE(t439)))))
lola: processed formula length: 34
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 105288 markings, 468600 edges, 21058 markings/sec, 0 secs
lola: 209437 markings, 937374 edges, 20830 markings/sec, 5 secs
lola: 311823 markings, 1404378 edges, 20477 markings/sec, 10 secs
lola: 410601 markings, 1871800 edges, 19756 markings/sec, 15 secs
lola: 491914 markings, 2341583 edges, 16263 markings/sec, 20 secs
lola: 580630 markings, 2782927 edges, 17743 markings/sec, 25 secs
lola: 682928 markings, 3249732 edges, 20460 markings/sec, 30 secs
lola: 764381 markings, 3712125 edges, 16291 markings/sec, 35 secs
lola: 844460 markings, 4176513 edges, 16016 markings/sec, 40 secs
lola: 918436 markings, 4641356 edges, 14795 markings/sec, 45 secs
lola: 987754 markings, 5105336 edges, 13864 markings/sec, 50 secs
lola: 1071298 markings, 5558435 edges, 16709 markings/sec, 55 secs
lola: 1138306 markings, 6014940 edges, 13402 markings/sec, 60 secs
lola: 1216420 markings, 6479674 edges, 15623 markings/sec, 65 secs
lola: 1297628 markings, 6940384 edges, 16242 markings/sec, 70 secs
lola: 1372375 markings, 7398153 edges, 14949 markings/sec, 75 secs
lola: 1446088 markings, 7864452 edges, 14743 markings/sec, 80 secs
lola: 1516156 markings, 8326353 edges, 14014 markings/sec, 85 secs
lola: 1601943 markings, 8791428 edges, 17157 markings/sec, 90 secs
lola: 1683652 markings, 9254487 edges, 16342 markings/sec, 95 secs
lola: 1770213 markings, 9726641 edges, 17312 markings/sec, 100 secs
lola: 1856138 markings, 10197482 edges, 17185 markings/sec, 105 secs
lola: 1939308 markings, 10666406 edges, 16634 markings/sec, 110 secs
lola: 2023853 markings, 11134423 edges, 16909 markings/sec, 115 secs
lola: 2106063 markings, 11602057 edges, 16442 markings/sec, 120 secs
lola: 2177839 markings, 12069714 edges, 14355 markings/sec, 125 secs
lola: 2251069 markings, 12541158 edges, 14646 markings/sec, 130 secs
lola: 2332955 markings, 13009406 edges, 16377 markings/sec, 135 secs
lola: 2409525 markings, 13469889 edges, 15314 markings/sec, 140 secs
lola: 2484075 markings, 13931108 edges, 14910 markings/sec, 145 secs
lola: 2546947 markings, 14391895 edges, 12574 markings/sec, 150 secs
lola: 2614301 markings, 14856495 edges, 13471 markings/sec, 155 secs
lola: 2677312 markings, 15317742 edges, 12602 markings/sec, 160 secs
lola: 2743848 markings, 15779233 edges, 13307 markings/sec, 165 secs
lola: 2806537 markings, 16238939 edges, 12538 markings/sec, 170 secs
lola: 2873219 markings, 16701120 edges, 13336 markings/sec, 175 secs
lola: 2935534 markings, 17159146 edges, 12463 markings/sec, 180 secs
lola: 3001378 markings, 17619334 edges, 13169 markings/sec, 185 secs
lola: 3063811 markings, 18077528 edges, 12487 markings/sec, 190 secs
lola: 3130365 markings, 18538672 edges, 13311 markings/sec, 195 secs
lola: 3193749 markings, 18999716 edges, 12677 markings/sec, 200 secs
lola: 3258898 markings, 19463438 edges, 13030 markings/sec, 205 secs
lola: 3331832 markings, 19931085 edges, 14587 markings/sec, 210 secs
lola: 3401563 markings, 20401135 edges, 13946 markings/sec, 215 secs
lola: 3485845 markings, 20874746 edges, 16856 markings/sec, 220 secs
lola: 3571201 markings, 21343965 edges, 17071 markings/sec, 225 secs
lola: 3654583 markings, 21815592 edges, 16676 markings/sec, 230 secs
lola: 3739185 markings, 22283173 edges, 16920 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 561648 KB
lola: time consumption: 912 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((FIREABLE(t556) AND X ((FIREABLE(t623) AND NOT FIREABLE(t770))))) OR X (G (FIREABLE(t623)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((FIREABLE(t556) AND X ((FIREABLE(t623) AND NOT FIREABLE(t770))))) OR X (G (FIREABLE(t623)))))
lola: processed formula length: 100
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 6 will run for 265 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (NOT FIREABLE(t265))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (NOT FIREABLE(t265))))
lola: processed formula length: 30
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t1516) OR (FIREABLE(t114) AND X (FIREABLE(t909))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t1516) OR (FIREABLE(t114) AND X (FIREABLE(t909))))))
lola: processed formula length: 68
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 8 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((NOT FIREABLE(t284) AND X ((X (NOT FIREABLE(t1785)) OR G (NOT FIREABLE(t284))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((NOT FIREABLE(t284) AND X ((X (NOT FIREABLE(t1785)) OR G (NOT FIREABLE(t284))))))))
lola: processed formula length: 92
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 7 markings, 7 edges
lola: ========================================
lola: subprocess 9 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t606) U X ((FIREABLE(t1652) OR X (FIREABLE(t409))))) OR G (NOT FIREABLE(t1652))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t606) U X ((FIREABLE(t1652) OR X (FIREABLE(t409))))) OR G (NOT FIREABLE(t1652))))
lola: processed formula length: 95
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 106206 markings, 474849 edges, 21241 markings/sec, 0 secs
lola: 210965 markings, 943249 edges, 20952 markings/sec, 5 secs
lola: 312918 markings, 1410289 edges, 20391 markings/sec, 10 secs
lola: 412356 markings, 1880693 edges, 19888 markings/sec, 15 secs
lola: 493838 markings, 2352753 edges, 16296 markings/sec, 20 secs
lola: 588545 markings, 2821345 edges, 18941 markings/sec, 25 secs
lola: 688539 markings, 3283940 edges, 19999 markings/sec, 30 secs
lola: 773098 markings, 3745564 edges, 16912 markings/sec, 35 secs
lola: 849492 markings, 4207195 edges, 15279 markings/sec, 40 secs
lola: 922643 markings, 4672691 edges, 14630 markings/sec, 45 secs
lola: 992499 markings, 5132579 edges, 13971 markings/sec, 50 secs
lola: 1077895 markings, 5594060 edges, 17079 markings/sec, 55 secs
lola: 1147185 markings, 6060070 edges, 13858 markings/sec, 60 secs
lola: 1224463 markings, 6520886 edges, 15456 markings/sec, 65 secs
lola: 1307467 markings, 6981607 edges, 16601 markings/sec, 70 secs
lola: 1374263 markings, 7440887 edges, 13359 markings/sec, 75 secs
lola: 1453710 markings, 7906896 edges, 15889 markings/sec, 80 secs
lola: 1523211 markings, 8368055 edges, 13900 markings/sec, 85 secs
lola: 1610720 markings, 8832478 edges, 17502 markings/sec, 90 secs
lola: 1691556 markings, 9303087 edges, 16167 markings/sec, 95 secs
lola: 1778149 markings, 9766896 edges, 17319 markings/sec, 100 secs
lola: 1857242 markings, 10201779 edges, 15819 markings/sec, 105 secs
lola: 1940613 markings, 10673756 edges, 16674 markings/sec, 110 secs
lola: 2025606 markings, 11144940 edges, 16999 markings/sec, 115 secs
lola: 2108621 markings, 11615879 edges, 16603 markings/sec, 120 secs
lola: 2180311 markings, 12086547 edges, 14338 markings/sec, 125 secs
lola: 2253958 markings, 12557830 edges, 14729 markings/sec, 130 secs
lola: 2336680 markings, 13027833 edges, 16544 markings/sec, 135 secs
lola: 2413167 markings, 13488905 edges, 15297 markings/sec, 140 secs
lola: 2488450 markings, 13951568 edges, 15057 markings/sec, 145 secs
lola: 2550814 markings, 14409652 edges, 12473 markings/sec, 150 secs
lola: 2617716 markings, 14872471 edges, 13380 markings/sec, 155 secs
lola: 2680013 markings, 15330204 edges, 12459 markings/sec, 160 secs
lola: 2746769 markings, 15792487 edges, 13351 markings/sec, 165 secs
lola: 2809036 markings, 16249941 edges, 12453 markings/sec, 170 secs
lola: 2875779 markings, 16711887 edges, 13349 markings/sec, 175 secs
lola: 2937996 markings, 17169638 edges, 12443 markings/sec, 180 secs
lola: 3004347 markings, 17631791 edges, 13270 markings/sec, 185 secs
lola: 3066507 markings, 18089128 edges, 12432 markings/sec, 190 secs
lola: 3132994 markings, 18550968 edges, 13297 markings/sec, 195 secs
lola: 3195522 markings, 19009770 edges, 12506 markings/sec, 200 secs
lola: 3259690 markings, 19468106 edges, 12834 markings/sec, 205 secs
lola: 3332367 markings, 19934573 edges, 14535 markings/sec, 210 secs
lola: 3402371 markings, 20405570 edges, 14001 markings/sec, 215 secs
lola: 3486652 markings, 20879161 edges, 16856 markings/sec, 220 secs
lola: 3572861 markings, 21351691 edges, 17242 markings/sec, 225 secs
lola: 3655650 markings, 21822940 edges, 16558 markings/sec, 230 secs
lola: 3741817 markings, 22295664 edges, 17233 markings/sec, 235 secs
lola: 3825104 markings, 22769565 edges, 16657 markings/sec, 240 secs
lola: 3896048 markings, 23243337 edges, 14189 markings/sec, 245 secs
lola: 3970482 markings, 23716107 edges, 14887 markings/sec, 250 secs
lola: 4055568 markings, 24189871 edges, 17017 markings/sec, 255 secs
lola: 4125518 markings, 24620272 edges, 13990 markings/sec, 260 secs
lola: 4201002 markings, 25084233 edges, 15097 markings/sec, 265 secs
lola: 4264650 markings, 25548059 edges, 12730 markings/sec, 270 secs
lola: 4331954 markings, 26012814 edges, 13461 markings/sec, 275 secs
lola: 4395037 markings, 26474122 edges, 12617 markings/sec, 280 secs
lola: 4462215 markings, 26938410 edges, 13436 markings/sec, 285 secs
lola: 4525007 markings, 27398234 edges, 12558 markings/sec, 290 secs
lola: 4591649 markings, 27860005 edges, 13328 markings/sec, 295 secs
lola: 4654663 markings, 28321050 edges, 12603 markings/sec, 300 secs
lola: 4721350 markings, 28784313 edges, 13337 markings/sec, 305 secs
lola: 4784306 markings, 29244935 edges, 12591 markings/sec, 310 secs
lola: 4851481 markings, 29709357 edges, 13435 markings/sec, 315 secs
lola: 4914415 markings, 30169967 edges, 12587 markings/sec, 320 secs
lola: 4976605 markings, 30631402 edges, 12438 markings/sec, 325 secs
lola: 5050290 markings, 31100032 edges, 14737 markings/sec, 330 secs
lola: 5120251 markings, 31568954 edges, 13992 markings/sec, 335 secs
lola: 5193690 markings, 32041244 edges, 14688 markings/sec, 340 secs
lola: 5264000 markings, 32515883 edges, 14062 markings/sec, 345 secs
lola: 5336923 markings, 32983274 edges, 14585 markings/sec, 350 secs
lola: 5410237 markings, 33452167 edges, 14663 markings/sec, 355 secs
lola: 5480892 markings, 33923173 edges, 14131 markings/sec, 360 secs
lola: 5549851 markings, 34394242 edges, 13792 markings/sec, 365 secs
lola: 5609984 markings, 34860045 edges, 12027 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown no yes no yes unknown unknown unknown
lola: memory consumption: 828800 KB
lola: time consumption: 1291 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t1513) AND (FIREABLE(t1400) OR FIREABLE(t1369))) U X (F (FIREABLE(t497)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t1513) AND (FIREABLE(t1400) OR FIREABLE(t1369))) U X (F (FIREABLE(t497)))))
lola: processed formula length: 90
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 11 will run for 455 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t267))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t267))))
lola: processed formula length: 26
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 147 markings, 148 edges
lola: ========================================
lola: subprocess 12 will run for 569 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t565))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t565))))
lola: processed formula length: 26
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 146 markings, 146 edges
lola: ========================================
lola: subprocess 13 will run for 759 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (FIREABLE(t1681)) AND F (FIREABLE(t1211)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (FIREABLE(t1681)) AND F (FIREABLE(t1211)))))
lola: processed formula length: 53
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 146 markings, 146 edges
lola: ========================================
lola: subprocess 14 will run for 1139 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t1676) OR ((FIREABLE(t1676) AND (FIREABLE(t1474) U FIREABLE(t1039))) OR G (F ((FIREABLE(t1039) AND F (FIREABLE(t1676))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t1676) OR ((FIREABLE(t1676) AND (FIREABLE(t1474) U FIREABLE(t1039))) OR G (F ((FIREABLE(t1039) AND F (FIREABLE(t1676))))))))
lola: processed formula length: 137
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 146 markings, 146 edges
lola: ========================================
lola: subprocess 15 will run for 2279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t1161) AND A (G (F ((FIREABLE(t1169) AND G (FIREABLE(t818)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t1161)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t1161)
lola: processed formula length: 15
lola: 94 rewrites
lola: closed formula file LTLFireability.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: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t1087))) AND A (X (G ((NOT FIREABLE(t1158) AND X (F ((NOT FIREABLE(t409) OR F (NOT FIREABLE(t1158))))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t1087)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(t1087)))
lola: processed formula length: 27
lola: 96 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t1087)
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 LTLFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file LTLFireability-16-0.sara.
sara: error: :3755: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 82588 markings, 244180 edges, 16518 markings/sec, 0 secs
lola: sara is running 5 secs || 157654 markings, 497202 edges, 15013 markings/sec, 5 secs
lola: sara is running 10 secs || 229814 markings, 750120 edges, 14432 markings/sec, 10 secs
lola: sara is running 15 secs || 311066 markings, 995121 edges, 16250 markings/sec, 15 secs
lola: sara is running 20 secs || 386544 markings, 1246623 edges, 15096 markings/sec, 20 secs
lola: sara is running 25 secs || 457976 markings, 1496947 edges, 14286 markings/sec, 25 secs
lola: sara is running 30 secs || 551877 markings, 1715956 edges, 18780 markings/sec, 30 secs
lola: sara is running 35 secs || 641720 markings, 1958186 edges, 17969 markings/sec, 35 secs
lola: sara is running 40 secs || 731238 markings, 2183848 edges, 17904 markings/sec, 40 secs
lola: sara is running 45 secs || 815986 markings, 2419868 edges, 16950 markings/sec, 45 secs
lola: sara is running 50 secs || 899777 markings, 2649231 edges, 16758 markings/sec, 50 secs
lola: sara is running 55 secs || 977366 markings, 2903088 edges, 15518 markings/sec, 55 secs
lola: sara is running 60 secs || 1054599 markings, 3178013 edges, 15447 markings/sec, 60 secs
lola: sara is running 65 secs || 1127378 markings, 3454795 edges, 14556 markings/sec, 65 secs
lola: sara is running 70 secs || 1205348 markings, 3703992 edges, 15594 markings/sec, 70 secs
lola: sara is running 75 secs || 1271985 markings, 3984453 edges, 13327 markings/sec, 75 secs
lola: sara is running 80 secs || 1345259 markings, 4235165 edges, 14655 markings/sec, 80 secs
lola: sara is running 85 secs || 1431131 markings, 4435978 edges, 17174 markings/sec, 85 secs
lola: sara is running 90 secs || 1513323 markings, 4659370 edges, 16438 markings/sec, 90 secs
lola: sara is running 95 secs || 1594388 markings, 4868721 edges, 16213 markings/sec, 95 secs
lola: sara is running 100 secs || 1674795 markings, 5084558 edges, 16081 markings/sec, 100 secs
lola: sara is running 105 secs || 1752780 markings, 5295711 edges, 15597 markings/sec, 105 secs
lola: sara is running 110 secs || 1822543 markings, 5554707 edges, 13953 markings/sec, 110 secs
lola: sara is running 115 secs || 1891387 markings, 5842884 edges, 13769 markings/sec, 115 secs
lola: sara is running 120 secs || 1951901 markings, 6151202 edges, 12103 markings/sec, 120 secs
lola: sara is running 125 secs || 2015059 markings, 6446190 edges, 12632 markings/sec, 125 secs
lola: sara is running 130 secs || 2083319 markings, 6718263 edges, 13652 markings/sec, 130 secs
lola: sara is running 135 secs || 2139064 markings, 7023259 edges, 11149 markings/sec, 135 secs
lola: sara is running 140 secs || 2199936 markings, 7310792 edges, 12174 markings/sec, 140 secs
lola: sara is running 145 secs || 2269536 markings, 7551975 edges, 13920 markings/sec, 145 secs
lola: sara is running 150 secs || 2344870 markings, 7794695 edges, 15067 markings/sec, 150 secs
lola: sara is running 155 secs || 2411463 markings, 8061936 edges, 13319 markings/sec, 155 secs
lola: sara is running 160 secs || 2480197 markings, 8312651 edges, 13747 markings/sec, 160 secs
lola: sara is running 165 secs || 2549766 markings, 8564073 edges, 13914 markings/sec, 165 secs
lola: sara is running 170 secs || 2614414 markings, 8812514 edges, 12930 markings/sec, 170 secs
lola: sara is running 175 secs || 2683747 markings, 9053754 edges, 13867 markings/sec, 175 secs
lola: sara is running 180 secs || 2758360 markings, 9297717 edges, 14923 markings/sec, 180 secs
lola: sara is running 185 secs || 2827131 markings, 9560613 edges, 13754 markings/sec, 185 secs
lola: sara is running 190 secs || 2896338 markings, 9811681 edges, 13841 markings/sec, 190 secs
lola: sara is running 195 secs || 2968693 markings, 10046283 edges, 14471 markings/sec, 195 secs
lola: sara is running 200 secs || 3031098 markings, 10306977 edges, 12481 markings/sec, 200 secs
lola: sara is running 205 secs || 3098072 markings, 10550882 edges, 13395 markings/sec, 205 secs
lola: sara is running 210 secs || 3169759 markings, 10785817 edges, 14337 markings/sec, 210 secs
lola: sara is running 215 secs || 3243758 markings, 11033228 edges, 14800 markings/sec, 215 secs
lola: sara is running 220 secs || 3309111 markings, 11299392 edges, 13071 markings/sec, 220 secs
lola: sara is running 225 secs || 3381307 markings, 11536408 edges, 14439 markings/sec, 225 secs
lola: sara is running 230 secs || 3441439 markings, 11776905 edges, 12026 markings/sec, 230 secs
lola: sara is running 235 secs || 3508508 markings, 12027248 edges, 13414 markings/sec, 235 secs
lola: sara is running 240 secs || 3578973 markings, 12261248 edges, 14093 markings/sec, 240 secs
lola: sara is running 245 secs || 3654414 markings, 12506095 edges, 15088 markings/sec, 245 secs
lola: sara is running 250 secs || 3721376 markings, 12772136 edges, 13392 markings/sec, 250 secs
lola: sara is running 255 secs || 3790113 markings, 13022711 edges, 13747 markings/sec, 255 secs
lola: sara is running 260 secs || 3860972 markings, 13267507 edges, 14172 markings/sec, 260 secs
lola: sara is running 265 secs || 3925153 markings, 13520214 edges, 12836 markings/sec, 265 secs
lola: sara is running 270 secs || 3998168 markings, 13751840 edges, 14603 markings/sec, 270 secs
lola: sara is running 275 secs || 4086690 markings, 13958880 edges, 17704 markings/sec, 275 secs
lola: sara is running 280 secs || 4168968 markings, 14184527 edges, 16456 markings/sec, 280 secs
lola: sara is running 285 secs || 4252725 markings, 14396274 edges, 16751 markings/sec, 285 secs
lola: sara is running 290 secs || 4331716 markings, 14618046 edges, 15798 markings/sec, 290 secs
lola: sara is running 295 secs || 4410489 markings, 14830434 edges, 15755 markings/sec, 295 secs
lola: sara is running 300 secs || 4495327 markings, 15049320 edges, 16968 markings/sec, 300 secs
lola: sara is running 305 secs || 4585088 markings, 15277613 edges, 17952 markings/sec, 305 secs
lola: sara is running 310 secs || 4660486 markings, 15506211 edges, 15080 markings/sec, 310 secs
lola: sara is running 315 secs || 4730604 markings, 15756134 edges, 14024 markings/sec, 315 secs
lola: sara is running 320 secs || 4808257 markings, 15982561 edges, 15531 markings/sec, 320 secs
lola: sara is running 325 secs || 4879346 markings, 16209711 edges, 14218 markings/sec, 325 secs
lola: sara is running 330 secs || 4948736 markings, 16440848 edges, 13878 markings/sec, 330 secs
lola: sara is running 335 secs || 5020409 markings, 16661043 edges, 14335 markings/sec, 335 secs
lola: sara is running 340 secs || 5096733 markings, 16863581 edges, 15265 markings/sec, 340 secs
lola: sara is running 345 secs || 5176235 markings, 17071344 edges, 15900 markings/sec, 345 secs
lola: sara is running 350 secs || 5244310 markings, 17321568 edges, 13615 markings/sec, 350 secs
lola: sara is running 355 secs || 5319216 markings, 17580255 edges, 14981 markings/sec, 355 secs
lola: sara is running 360 secs || 5386528 markings, 17827956 edges, 13462 markings/sec, 360 secs
lola: sara is running 365 secs || 5461436 markings, 18088424 edges, 14982 markings/sec, 365 secs
lola: sara is running 370 secs || 5528241 markings, 18334976 edges, 13361 markings/sec, 370 secs
lola: sara is running 375 secs || 5604075 markings, 18593986 edges, 15167 markings/sec, 375 secs
lola: sara is running 380 secs || 5671331 markings, 18841030 edges, 13451 markings/sec, 380 secs
lola: sara is running 385 secs || 5746340 markings, 19100035 edges, 15002 markings/sec, 385 secs
lola: sara is running 390 secs || 5823525 markings, 19338016 edges, 15437 markings/sec, 390 secs
lola: sara is running 395 secs || 5900350 markings, 19572208 edges, 15365 markings/sec, 395 secs
lola: sara is running 400 secs || 5975014 markings, 19806469 edges, 14933 markings/sec, 400 secs
lola: sara is running 405 secs || 6042663 markings, 20044218 edges, 13530 markings/sec, 405 secs
lola: sara is running 410 secs || 6115273 markings, 20270188 edges, 14522 markings/sec, 410 secs
lola: sara is running 415 secs || 6183929 markings, 20512701 edges, 13731 markings/sec, 415 secs
lola: sara is running 420 secs || 6251306 markings, 20755448 edges, 13475 markings/sec, 420 secs
lola: sara is running 425 secs || 6318562 markings, 20989256 edges, 13451 markings/sec, 425 secs
lola: sara is running 430 secs || 6388848 markings, 21219558 edges, 14057 markings/sec, 430 secs
lola: sara is running 435 secs || 6459554 markings, 21463017 edges, 14141 markings/sec, 435 secs
lola: sara is running 440 secs || 6526625 markings, 21701079 edges, 13414 markings/sec, 440 secs
lola: sara is running 445 secs || 6597641 markings, 21942032 edges, 14203 markings/sec, 445 secs
lola: sara is running 450 secs || 6668951 markings, 22179839 edges, 14262 markings/sec, 450 secs
lola: sara is running 455 secs || 6747517 markings, 22413637 edges, 15713 markings/sec, 455 secs
lola: sara is running 460 secs || 6817322 markings, 22654710 edges, 13961 markings/sec, 460 secs
lola: sara is running 465 secs || 6887237 markings, 22911686 edges, 13983 markings/sec, 465 secs
lola: sara is running 470 secs || 6963677 markings, 23146218 edges, 15288 markings/sec, 470 secs
lola: sara is running 475 secs || 7038384 markings, 23400905 edges, 14941 markings/sec, 475 secs
lola: sara is running 480 secs || 7112757 markings, 23648284 edges, 14875 markings/sec, 480 secs
lola: sara is running 485 secs || 7188513 markings, 23897430 edges, 15151 markings/sec, 485 secs
lola: sara is running 490 secs || 7268034 markings, 24155852 edges, 15904 markings/sec, 490 secs
lola: sara is running 495 secs || 7344604 markings, 24380762 edges, 15314 markings/sec, 495 secs
lola: sara is running 500 secs || 7412788 markings, 24620271 edges, 13637 markings/sec, 500 secs
lola: sara is running 505 secs || 7472532 markings, 24884535 edges, 11949 markings/sec, 505 secs
lola: sara is running 510 secs || 7543753 markings, 25111522 edges, 14244 markings/sec, 510 secs
lola: sara is running 515 secs || 7612057 markings, 25329429 edges, 13661 markings/sec, 515 secs
lola: sara is running 520 secs || 7679678 markings, 25550876 edges, 13524 markings/sec, 520 secs
lola: sara is running 525 secs || 7738280 markings, 25805019 edges, 11720 markings/sec, 525 secs
lola: sara is running 530 secs || 7798799 markings, 26048590 edges, 12104 markings/sec, 530 secs
lola: sara is running 535 secs || 7868089 markings, 26283660 edges, 13858 markings/sec, 535 secs
lola: sara is running 540 secs || 7949381 markings, 26543193 edges, 16258 markings/sec, 540 secs
lola: sara is running 545 secs || 8017982 markings, 26780815 edges, 13720 markings/sec, 545 secs
lola: sara is running 550 secs || 8084578 markings, 27015516 edges, 13319 markings/sec, 550 secs
lola: sara is running 555 secs || 8144103 markings, 27209853 edges, 11905 markings/sec, 555 secs
lola: sara is running 560 secs || 8219518 markings, 27421957 edges, 15083 markings/sec, 560 secs
lola: sara is running 565 secs || 8287555 markings, 27645795 edges, 13607 markings/sec, 565 secs
lola: sara is running 570 secs || 8347693 markings, 27892749 edges, 12028 markings/sec, 570 secs
lola: sara is running 575 secs || 8404960 markings, 28158875 edges, 11453 markings/sec, 575 secs
lola: sara is running 580 secs || 8462500 markings, 28425504 edges, 11508 markings/sec, 580 secs
lola: sara is running 585 secs || 8520335 markings, 28690489 edges, 11567 markings/sec, 585 secs
lola: sara is running 590 secs || 8587175 markings, 28940221 edges, 13368 markings/sec, 590 secs
lola: sara is running 595 secs || 8646614 markings, 29200656 edges, 11888 markings/sec, 595 secs
lola: sara is running 600 secs || 8711182 markings, 29427395 edges, 12914 markings/sec, 600 secs
lola: sara is running 605 secs || 8773107 markings, 29664157 edges, 12385 markings/sec, 605 secs
lola: sara is running 610 secs || 8836874 markings, 29919369 edges, 12753 markings/sec, 610 secs
lola: sara is running 615 secs || 8910634 markings, 30144941 edges, 14752 markings/sec, 615 secs
lola: sara is running 620 secs || 8989648 markings, 30344249 edges, 15803 markings/sec, 620 secs
lola: sara is running 625 secs || 9072364 markings, 30564549 edges, 16543 markings/sec, 625 secs
lola: sara is running 630 secs || 9144109 markings, 30811501 edges, 14349 markings/sec, 630 secs
lola: sara is running 635 secs || 9212317 markings, 31064524 edges, 13642 markings/sec, 635 secs
lola: sara is running 640 secs || 9272623 markings, 31329260 edges, 12061 markings/sec, 640 secs
lola: sara is running 645 secs || 9345608 markings, 31579272 edges, 14597 markings/sec, 645 secs
lola: sara is running 650 secs || 9422664 markings, 31836079 edges, 15411 markings/sec, 650 secs
lola: sara is running 655 secs || 9495604 markings, 32088916 edges, 14588 markings/sec, 655 secs
lola: sara is running 660 secs || 9575404 markings, 32339688 edges, 15960 markings/sec, 660 secs
lola: sara is running 665 secs || 9664833 markings, 32566974 edges, 17886 markings/sec, 665 secs
lola: sara is running 670 secs || 9735298 markings, 32811964 edges, 14093 markings/sec, 670 secs
lola: sara is running 675 secs || 9801757 markings, 33047293 edges, 13292 markings/sec, 675 secs
lola: sara is running 680 secs || 9865966 markings, 33306528 edges, 12842 markings/sec, 680 secs
lola: sara is running 685 secs || 9929838 markings, 33536331 edges, 12774 markings/sec, 685 secs
lola: sara is running 690 secs || 9998266 markings, 33778364 edges, 13686 markings/sec, 690 secs
lola: sara is running 695 secs || 10061051 markings, 34022654 edges, 12557 markings/sec, 695 secs
lola: sara is running 700 secs || 10119207 markings, 34272166 edges, 11631 markings/sec, 700 secs
lola: sara is running 705 secs || 10194416 markings, 34534602 edges, 15042 markings/sec, 705 secs
lola: sara is running 710 secs || 10271685 markings, 34800296 edges, 15454 markings/sec, 710 secs
lola: sara is running 715 secs || 10340549 markings, 35071667 edges, 13773 markings/sec, 715 secs
lola: sara is running 720 secs || 10405532 markings, 35311824 edges, 12997 markings/sec, 720 secs
lola: sara is running 725 secs || 10452098 markings, 35599804 edges, 9313 markings/sec, 725 secs
lola: sara is running 730 secs || 10514479 markings, 35816413 edges, 12476 markings/sec, 730 secs
lola: sara is running 735 secs || 10581537 markings, 36065236 edges, 13412 markings/sec, 735 secs
lola: sara is running 740 secs || 10633541 markings, 36332805 edges, 10401 markings/sec, 740 secs
lola: sara is running 745 secs || 10699896 markings, 36583321 edges, 13271 markings/sec, 745 secs
lola: sara is running 750 secs || 10765754 markings, 36826680 edges, 13172 markings/sec, 750 secs
lola: sara is running 755 secs || 10828003 markings, 37080311 edges, 12450 markings/sec, 755 secs
lola: sara is running 760 secs || 10894960 markings, 37333543 edges, 13391 markings/sec, 760 secs
lola: sara is running 765 secs || 10966577 markings, 37582658 edges, 14323 markings/sec, 765 secs
lola: sara is running 770 secs || 11036391 markings, 37824990 edges, 13963 markings/sec, 770 secs
lola: sara is running 775 secs || 11105393 markings, 38099798 edges, 13800 markings/sec, 775 secs
lola: sara is running 780 secs || 11178951 markings, 38361359 edges, 14712 markings/sec, 780 secs
lola: sara is running 785 secs || 11252274 markings, 38631813 edges, 14665 markings/sec, 785 secs
lola: sara is running 790 secs || 11322757 markings, 38902670 edges, 14097 markings/sec, 790 secs
lola: sara is running 795 secs || 11397348 markings, 39170858 edges, 14918 markings/sec, 795 secs
lola: sara is running 800 secs || 11462700 markings, 39434752 edges, 13070 markings/sec, 800 secs
lola: sara is running 805 secs || 11533259 markings, 39704875 edges, 14112 markings/sec, 805 secs
lola: sara is running 810 secs || 11611819 markings, 39965783 edges, 15712 markings/sec, 810 secs
lola: sara is running 815 secs || 11687370 markings, 40245826 edges, 15110 markings/sec, 815 secs
lola: sara is running 820 secs || 11749407 markings, 40500976 edges, 12407 markings/sec, 820 secs
lola: sara is running 825 secs || 11817923 markings, 40756998 edges, 13703 markings/sec, 825 secs
lola: sara is running 830 secs || 11890063 markings, 41022516 edges, 14428 markings/sec, 830 secs
lola: sara is running 835 secs || 11962404 markings, 41289906 edges, 14468 markings/sec, 835 secs
lola: sara is running 840 secs || 12034395 markings, 41531705 edges, 14398 markings/sec, 840 secs
lola: sara is running 845 secs || 12111152 markings, 41794265 edges, 15351 markings/sec, 845 secs
lola: sara is running 850 secs || 12185774 markings, 42059774 edges, 14924 markings/sec, 850 secs
lola: sara is running 855 secs || 12262402 markings, 42321509 edges, 15326 markings/sec, 855 secs
lola: sara is running 860 secs || 12341420 markings, 42585721 edges, 15804 markings/sec, 860 secs
lola: sara is running 865 secs || 12419962 markings, 42849725 edges, 15708 markings/sec, 865 secs
lola: sara is running 870 secs || 12493998 markings, 43121882 edges, 14807 markings/sec, 870 secs
lola: sara is running 875 secs || 12539003 markings, 43448823 edges, 9001 markings/sec, 875 secs
lola: sara is running 880 secs || 12616905 markings, 43709598 edges, 15580 markings/sec, 880 secs
lola: sara is running 885 secs || 12693711 markings, 43971781 edges, 15361 markings/sec, 885 secs
lola: sara is running 890 secs || 12765659 markings, 44220962 edges, 14390 markings/sec, 890 secs
lola: sara is running 895 secs || 12839248 markings, 44487435 edges, 14718 markings/sec, 895 secs
lola: sara is running 900 secs || 12910189 markings, 44760795 edges, 14188 markings/sec, 900 secs
lola: sara is running 905 secs || 12987735 markings, 45022950 edges, 15509 markings/sec, 905 secs
lola: sara is running 910 secs || 13057594 markings, 45293613 edges, 13972 markings/sec, 910 secs
lola: sara is running 915 secs || 13106404 markings, 45564465 edges, 9762 markings/sec, 915 secs
lola: sara is running 920 secs || 13116916 markings, 45909880 edges, 2102 markings/sec, 920 secs
lola: sara is running 925 secs || 13142566 markings, 46230740 edges, 5130 markings/sec, 925 secs
lola: sara is running 930 secs || 13221079 markings, 46491157 edges, 15703 markings/sec, 930 secs
lola: sara is running 935 secs || 13302100 markings, 46748593 edges, 16204 markings/sec, 935 secs
lola: sara is running 940 secs || 13377284 markings, 47015435 edges, 15037 markings/sec, 940 secs
lola: sara is running 945 secs || 13449462 markings, 47292250 edges, 14436 markings/sec, 945 secs
lola: sara is running 950 secs || 13528854 markings, 47553869 edges, 15878 markings/sec, 950 secs
lola: sara is running 955 secs || 13606399 markings, 47821829 edges, 15509 markings/sec, 955 secs
lola: sara is running 960 secs || 13642715 markings, 48132095 edges, 7263 markings/sec, 960 secs
lola: sara is running 965 secs || 13698439 markings, 48386738 edges, 11145 markings/sec, 965 secs
lola: sara is running 970 secs || 13781435 markings, 48593662 edges, 16599 markings/sec, 970 secs
lola: sara is running 975 secs || 13852060 markings, 48824739 edges, 14125 markings/sec, 975 secs
lola: sara is running 980 secs || 13921176 markings, 49067244 edges, 13823 markings/sec, 980 secs
lola: sara is running 985 secs || 13991983 markings, 49310528 edges, 14161 markings/sec, 985 secs
lola: sara is running 990 secs || 14058606 markings, 49552903 edges, 13325 markings/sec, 990 secs
lola: sara is running 995 secs || 14129706 markings, 49797931 edges, 14220 markings/sec, 995 secs
lola: sara is running 1000 secs || 14193598 markings, 50034406 edges, 12778 markings/sec, 1000 secs
lola: sara is running 1005 secs || 14266935 markings, 50285978 edges, 14667 markings/sec, 1005 secs
lola: sara is running 1010 secs || 14333610 markings, 50525752 edges, 13335 markings/sec, 1010 secs
lola: sara is running 1015 secs || 14405058 markings, 50773335 edges, 14290 markings/sec, 1015 secs
lola: sara is running 1020 secs || 14475109 markings, 51018486 edges, 14010 markings/sec, 1020 secs
lola: sara is running 1025 secs || 14544411 markings, 51267495 edges, 13860 markings/sec, 1025 secs
lola: sara is running 1030 secs || 14617714 markings, 51518751 edges, 14661 markings/sec, 1030 secs
lola: sara is running 1035 secs || 14686521 markings, 51769649 edges, 13761 markings/sec, 1035 secs
lola: sara is running 1040 secs || 14759936 markings, 52021120 edges, 14683 markings/sec, 1040 secs
lola: sara is running 1045 secs || 14826808 markings, 52268164 edges, 13374 markings/sec, 1045 secs
lola: sara is running 1050 secs || 14901492 markings, 52522808 edges, 14937 markings/sec, 1050 secs
lola: sara is running 1055 secs || 14975236 markings, 52717781 edges, 14749 markings/sec, 1055 secs
lola: sara is running 1060 secs || 15054642 markings, 52913786 edges, 15881 markings/sec, 1060 secs
lola: sara is running 1065 secs || 15121253 markings, 53155050 edges, 13322 markings/sec, 1065 secs
lola: sara is running 1070 secs || 15194672 markings, 53408420 edges, 14684 markings/sec, 1070 secs
lola: sara is running 1075 secs || 15263607 markings, 53654461 edges, 13787 markings/sec, 1075 secs
lola: sara is running 1080 secs || 15334698 markings, 53903558 edges, 14218 markings/sec, 1080 secs
lola: sara is running 1085 secs || 15405474 markings, 54150615 edges, 14155 markings/sec, 1085 secs
lola: sara is running 1090 secs || 15474004 markings, 54398206 edges, 13706 markings/sec, 1090 secs
lola: sara is running 1095 secs || 15547222 markings, 54647167 edges, 14644 markings/sec, 1095 secs
lola: sara is running 1100 secs || 15614671 markings, 54894777 edges, 13490 markings/sec, 1100 secs
lola: sara is running 1105 secs || 15688275 markings, 55147747 edges, 14721 markings/sec, 1105 secs
lola: sara is running 1110 secs || 15767003 markings, 55398159 edges, 15746 markings/sec, 1110 secs
lola: sara is running 1115 secs || 15838864 markings, 55657032 edges, 14372 markings/sec, 1115 secs
lola: sara is running 1120 secs || 15908826 markings, 55895284 edges, 13992 markings/sec, 1120 secs
lola: sara is running 1125 secs || 15984022 markings, 56136357 edges, 15039 markings/sec, 1125 secs
lola: sara is running 1130 secs || 16051085 markings, 56384498 edges, 13413 markings/sec, 1130 secs
lola: sara is running 1135 secs || 16122406 markings, 56618089 edges, 14264 markings/sec, 1135 secs
lola: sara is running 1140 secs || 16201695 markings, 56873991 edges, 15858 markings/sec, 1140 secs
lola: sara is running 1145 secs || 16276652 markings, 57128000 edges, 14991 markings/sec, 1145 secs
lola: sara is running 1150 secs || 16345844 markings, 57389387 edges, 13838 markings/sec, 1150 secs
lola: sara is running 1155 secs || 16423888 markings, 57645319 edges, 15609 markings/sec, 1155 secs
lola: sara is running 1160 secs || 16497301 markings, 57899524 edges, 14683 markings/sec, 1160 secs
lola: sara is running 1165 secs || 16568553 markings, 58156166 edges, 14250 markings/sec, 1165 secs
lola: sara is running 1170 secs || 16642230 markings, 58412184 edges, 14735 markings/sec, 1170 secs
lola: sara is running 1175 secs || 16717513 markings, 58657058 edges, 15057 markings/sec, 1175 secs
lola: sara is running 1180 secs || 16786239 markings, 58890336 edges, 13745 markings/sec, 1180 secs
lola: sara is running 1185 secs || 16860006 markings, 59105420 edges, 14753 markings/sec, 1185 secs
lola: sara is running 1190 secs || 16935876 markings, 59327284 edges, 15174 markings/sec, 1190 secs
lola: sara is running 1195 secs || 17002193 markings, 59571375 edges, 13263 markings/sec, 1195 secs
lola: sara is running 1200 secs || 17060779 markings, 59834199 edges, 11717 markings/sec, 1200 secs
lola: sara is running 1205 secs || 17117859 markings, 60100417 edges, 11416 markings/sec, 1205 secs
lola: sara is running 1210 secs || 17173706 markings, 60369516 edges, 11169 markings/sec, 1210 secs
lola: sara is running 1215 secs || 17249267 markings, 60595790 edges, 15112 markings/sec, 1215 secs
lola: sara is running 1220 secs || 17322092 markings, 60807830 edges, 14565 markings/sec, 1220 secs
lola: sara is running 1225 secs || 17386341 markings, 61042068 edges, 12850 markings/sec, 1225 secs
lola: sara is running 1230 secs || 17443276 markings, 61303373 edges, 11387 markings/sec, 1230 secs
lola: sara is running 1235 secs || 17510407 markings, 61524237 edges, 13426 markings/sec, 1235 secs
lola: sara is running 1240 secs || 17573519 markings, 61739017 edges, 12622 markings/sec, 1240 secs
lola: sara is running 1245 secs || 17635040 markings, 61967294 edges, 12304 markings/sec, 1245 secs
lola: sara is running 1250 secs || 17690755 markings, 62217602 edges, 11143 markings/sec, 1250 secs
lola: sara is running 1255 secs || 17753076 markings, 62469491 edges, 12464 markings/sec, 1255 secs
lola: sara is running 1260 secs || 17813600 markings, 62721105 edges, 12105 markings/sec, 1260 secs
lola: sara is running 1265 secs || 17879576 markings, 62958128 edges, 13195 markings/sec, 1265 secs
lola: sara is running 1270 secs || 17939700 markings, 63196502 edges, 12025 markings/sec, 1270 secs
lola: sara is running 1275 secs || 17995998 markings, 63460655 edges, 11260 markings/sec, 1275 secs
lola: sara is running 1280 secs || 18049544 markings, 63711880 edges, 10709 markings/sec, 1280 secs
lola: sara is running 1285 secs || 18106678 markings, 63932224 edges, 11427 markings/sec, 1285 secs
lola: sara is running 1290 secs || 18165321 markings, 64173086 edges, 11729 markings/sec, 1290 secs
lola: sara is running 1295 secs || 18225770 markings, 64418991 edges, 12090 markings/sec, 1295 secs
lola: sara is running 1300 secs || 18288319 markings, 64672076 edges, 12510 markings/sec, 1300 secs
lola: sara is running 1305 secs || 18358584 markings, 64923221 edges, 14053 markings/sec, 1305 secs
lola: sara is running 1310 secs || 18426686 markings, 65184309 edges, 13620 markings/sec, 1310 secs
lola: sara is running 1315 secs || 18493980 markings, 65447676 edges, 13459 markings/sec, 1315 secs
lola: sara is running 1320 secs || 18569228 markings, 65705809 edges, 15050 markings/sec, 1320 secs
lola: sara is running 1325 secs || 18639644 markings, 65973736 edges, 14083 markings/sec, 1325 secs
lola: sara is running 1330 secs || 18710567 markings, 66234898 edges, 14185 markings/sec, 1330 secs
lola: sara is running 1335 secs || 18779381 markings, 66496268 edges, 13763 markings/sec, 1335 secs
lola: sara is running 1340 secs || 18843108 markings, 66745179 edges, 12745 markings/sec, 1340 secs
lola: sara is running 1345 secs || 18911853 markings, 66992944 edges, 13749 markings/sec, 1345 secs
lola: sara is running 1350 secs || 18954122 markings, 67259502 edges, 8454 markings/sec, 1350 secs
lola: sara is running 1355 secs || 19024181 markings, 67518050 edges, 14012 markings/sec, 1355 secs
lola: sara is running 1360 secs || 19087729 markings, 67786580 edges, 12710 markings/sec, 1360 secs
lola: sara is running 1365 secs || 19157544 markings, 68045024 edges, 13963 markings/sec, 1365 secs
lola: sara is running 1370 secs || 19199632 markings, 68339657 edges, 8418 markings/sec, 1370 secs
lola: sara is running 1375 secs || 19249038 markings, 68610003 edges, 9881 markings/sec, 1375 secs
lola: sara is running 1380 secs || 19307177 markings, 68870122 edges, 11628 markings/sec, 1380 secs
lola: sara is running 1385 secs || 19376559 markings, 69112643 edges, 13876 markings/sec, 1385 secs
lola: sara is running 1390 secs || 19447493 markings, 69357616 edges, 14187 markings/sec, 1390 secs
lola: sara is running 1395 secs || 19515394 markings, 69602211 edges, 13580 markings/sec, 1395 secs
lola: sara is running 1400 secs || 19587600 markings, 69850972 edges, 14441 markings/sec, 1400 secs
lola: sara is running 1405 secs || 19653066 markings, 70092691 edges, 13093 markings/sec, 1405 secs
lola: sara is running 1410 secs || 19725777 markings, 70346556 edges, 14542 markings/sec, 1410 secs
lola: sara is running 1415 secs || 19791732 markings, 70584250 edges, 13191 markings/sec, 1415 secs
lola: sara is running 1420 secs || 19864114 markings, 70833554 edges, 14476 markings/sec, 1420 secs
lola: sara is running 1425 secs || 19932537 markings, 71077160 edges, 13685 markings/sec, 1425 secs
lola: sara is running 1430 secs || 20002163 markings, 71320998 edges, 13925 markings/sec, 1430 secs
lola: sara is running 1435 secs || 20081420 markings, 71558710 edges, 15851 markings/sec, 1435 secs
lola: sara is running 1440 secs || 20169583 markings, 71784315 edges, 17633 markings/sec, 1440 secs
lola: sara is running 1445 secs || 20238791 markings, 72032729 edges, 13842 markings/sec, 1445 secs
lola: sara is running 1450 secs || 20296585 markings, 72301913 edges, 11559 markings/sec, 1450 secs
lola: sara is running 1455 secs || 20358133 markings, 72577358 edges, 12310 markings/sec, 1455 secs
lola: sara is running 1460 secs || 20423412 markings, 72812788 edges, 13056 markings/sec, 1460 secs
lola: sara is running 1465 secs || 20495988 markings, 73064245 edges, 14515 markings/sec, 1465 secs
lola: sara is running 1470 secs || 20555589 markings, 73321492 edges, 11920 markings/sec, 1470 secs
lola: sara is running 1475 secs || 20613802 markings, 73582726 edges, 11643 markings/sec, 1475 secs
lola: sara is running 1480 secs || 20675878 markings, 73853124 edges, 12415 markings/sec, 1480 secs
lola: sara is running 1485 secs || 20739784 markings, 74088426 edges, 12781 markings/sec, 1485 secs
lola: sara is running 1490 secs || 20812577 markings, 74337776 edges, 14559 markings/sec, 1490 secs
lola: sara is running 1495 secs || 20879120 markings, 74576060 edges, 13309 markings/sec, 1495 secs
lola: sara is running 1500 secs || 20948912 markings, 74819167 edges, 13958 markings/sec, 1500 secs
lola: sara is running 1505 secs || 21018228 markings, 75060650 edges, 13863 markings/sec, 1505 secs
lola: sara is running 1510 secs || 21085298 markings, 75301664 edges, 13414 markings/sec, 1510 secs
lola: sara is running 1515 secs || 21157795 markings, 75550010 edges, 14499 markings/sec, 1515 secs
lola: sara is running 1520 secs || 21226105 markings, 75799787 edges, 13662 markings/sec, 1520 secs
lola: sara is running 1525 secs || 21298876 markings, 76058919 edges, 14554 markings/sec, 1525 secs
lola: sara is running 1530 secs || 21355183 markings, 76315901 edges, 11261 markings/sec, 1530 secs
lola: sara is running 1535 secs || 21415452 markings, 76584204 edges, 12054 markings/sec, 1535 secs
lola: sara is running 1540 secs || 21480226 markings, 76841937 edges, 12955 markings/sec, 1540 secs
lola: sara is running 1545 secs || 21546249 markings, 77084512 edges, 13205 markings/sec, 1545 secs
lola: sara is running 1550 secs || 21617555 markings, 77330167 edges, 14261 markings/sec, 1550 secs
lola: sara is running 1555 secs || 21690680 markings, 77555591 edges, 14625 markings/sec, 1555 secs
lola: sara is running 1560 secs || 21756332 markings, 77795543 edges, 13130 markings/sec, 1560 secs
lola: sara is running 1565 secs || 21822103 markings, 78024375 edges, 13154 markings/sec, 1565 secs
lola: sara is running 1570 secs || 21884479 markings, 78265791 edges, 12475 markings/sec, 1570 secs
lola: sara is running 1575 secs || 21945377 markings, 78503415 edges, 12180 markings/sec, 1575 secs
lola: sara is running 1580 secs || 22013077 markings, 78742687 edges, 13540 markings/sec, 1580 secs
lola: sara is running 1585 secs || 22088384 markings, 78994955 edges, 15061 markings/sec, 1585 secs
lola: sara is running 1590 secs || 22153053 markings, 79229572 edges, 12934 markings/sec, 1590 secs
lola: sara is running 1595 secs || 22228804 markings, 79480262 edges, 15150 markings/sec, 1595 secs
lola: sara is running 1600 secs || 22294019 markings, 79742112 edges, 13043 markings/sec, 1600 secs
lola: sara is running 1605 secs || 22366993 markings, 79993151 edges, 14595 markings/sec, 1605 secs
lola: sara is running 1610 secs || 22429515 markings, 80235121 edges, 12504 markings/sec, 1610 secs
lola: sara is running 1615 secs || 22495572 markings, 80473482 edges, 13211 markings/sec, 1615 secs
lola: sara is running 1620 secs || 22566801 markings, 80715599 edges, 14246 markings/sec, 1620 secs
lola: sara is running 1625 secs || 22630890 markings, 80952482 edges, 12818 markings/sec, 1625 secs
lola: sara is running 1630 secs || 22702180 markings, 81201006 edges, 14258 markings/sec, 1630 secs
lola: sara is running 1635 secs || 22766947 markings, 81433704 edges, 12953 markings/sec, 1635 secs
lola: sara is running 1640 secs || 22838115 markings, 81677483 edges, 14234 markings/sec, 1640 secs
lola: sara is running 1645 secs || 22907297 markings, 81924155 edges, 13836 markings/sec, 1645 secs
lola: sara is running 1650 secs || 22978380 markings, 82173629 edges, 14217 markings/sec, 1650 secs
lola: sara is running 1655 secs || 23045617 markings, 82429407 edges, 13447 markings/sec, 1655 secs
lola: sara is running 1660 secs || 23100411 markings, 82690218 edges, 10959 markings/sec, 1660 secs
lola: sara is running 1665 secs || 23161611 markings, 82963140 edges, 12240 markings/sec, 1665 secs
lola: sara is running 1670 secs || 23225888 markings, 83205128 edges, 12855 markings/sec, 1670 secs
lola: sara is running 1675 secs || 23294431 markings, 83444766 edges, 13709 markings/sec, 1675 secs
lola: sara is running 1680 secs || 23366163 markings, 83686233 edges, 14346 markings/sec, 1680 secs
lola: sara is running 1685 secs || 23437283 markings, 83909271 edges, 14224 markings/sec, 1685 secs
lola: sara is running 1690 secs || 23505239 markings, 84135970 edges, 13591 markings/sec, 1690 secs
lola: sara is running 1695 secs || 23567511 markings, 84376386 edges, 12454 markings/sec, 1695 secs
lola: sara is running 1700 secs || 23628387 markings, 84617075 edges, 12175 markings/sec, 1700 secs
lola: sara is running 1705 secs || 23690577 markings, 84851210 edges, 12438 markings/sec, 1705 secs
lola: sara is running 1710 secs || 23764790 markings, 85094976 edges, 14843 markings/sec, 1710 secs
lola: sara is running 1715 secs || 23833760 markings, 85340295 edges, 13794 markings/sec, 1715 secs
lola: sara is running 1720 secs || 23904203 markings, 85587909 edges, 14089 markings/sec, 1720 secs
lola: sara is running 1725 secs || 23978083 markings, 85842683 edges, 14776 markings/sec, 1725 secs
lola: sara is running 1730 secs || 24051274 markings, 86094064 edges, 14638 markings/sec, 1730 secs
lola: sara is running 1735 secs || 24110871 markings, 86358879 edges, 11919 markings/sec, 1735 secs
lola: sara is running 1740 secs || 24174805 markings, 86594018 edges, 12787 markings/sec, 1740 secs
lola: sara is running 1745 secs || 24245918 markings, 86838215 edges, 14223 markings/sec, 1745 secs
lola: sara is running 1750 secs || 24313322 markings, 87076129 edges, 13481 markings/sec, 1750 secs
lola: sara is running 1755 secs || 24380225 markings, 87316033 edges, 13381 markings/sec, 1755 secs
lola: sara is running 1760 secs || 24451692 markings, 87558176 edges, 14293 markings/sec, 1760 secs
lola: sara is running 1765 secs || 24516984 markings, 87798991 edges, 13058 markings/sec, 1765 secs
lola: sara is running 1770 secs || 24588004 markings, 88045187 edges, 14204 markings/sec, 1770 secs
lola: sara is running 1775 secs || 24652281 markings, 88279181 edges, 12855 markings/sec, 1775 secs
lola: sara is running 1780 secs || 24724065 markings, 88526818 edges, 14357 markings/sec, 1780 secs
lola: sara is running 1785 secs || 24790795 markings, 88764487 edges, 13346 markings/sec, 1785 secs
lola: sara is running 1790 secs || 24859834 markings, 89005705 edges, 13808 markings/sec, 1790 secs
lola: sara is running 1795 secs || 24930335 markings, 89244427 edges, 14100 markings/sec, 1795 secs
lola: sara is running 1800 secs || 24997921 markings, 89467831 edges, 13517 markings/sec, 1800 secs
lola: sara is running 1805 secs || 25061759 markings, 89702232 edges, 12768 markings/sec, 1805 secs
lola: sara is running 1810 secs || 25126105 markings, 89932838 edges, 12869 markings/sec, 1810 secs
lola: sara is running 1815 secs || 25189608 markings, 90161483 edges, 12701 markings/sec, 1815 secs
lola: sara is running 1820 secs || 25247789 markings, 90400312 edges, 11636 markings/sec, 1820 secs
lola: sara is running 1825 secs || 25308973 markings, 90628878 edges, 12237 markings/sec, 1825 secs
lola: sara is running 1830 secs || 25368418 markings, 90853636 edges, 11889 markings/sec, 1830 secs
lola: sara is running 1835 secs || 25433710 markings, 91079310 edges, 13058 markings/sec, 1835 secs
lola: sara is running 1840 secs || 25496263 markings, 91281096 edges, 12511 markings/sec, 1840 secs
lola: sara is running 1845 secs || 25557809 markings, 91504191 edges, 12309 markings/sec, 1845 secs
lola: sara is running 1850 secs || 25636827 markings, 91736254 edges, 15804 markings/sec, 1850 secs
lola: sara is running 1855 secs || 25719352 markings, 91994283 edges, 16505 markings/sec, 1855 secs
lola: sara is running 1860 secs || 25800920 markings, 92253587 edges, 16314 markings/sec, 1860 secs
lola: sara is running 1865 secs || 25876166 markings, 92506674 edges, 15049 markings/sec, 1865 secs
lola: sara is running 1870 secs || 25944965 markings, 92780179 edges, 13760 markings/sec, 1870 secs
lola: sara is running 1875 secs || 26022757 markings, 93046278 edges, 15558 markings/sec, 1875 secs
lola: sara is running 1880 secs || 26096089 markings, 93316446 edges, 14666 markings/sec, 1880 secs
lola: sara is running 1885 secs || 26169476 markings, 93585906 edges, 14677 markings/sec, 1885 secs
lola: sara is running 1890 secs || 26249509 markings, 93827701 edges, 16007 markings/sec, 1890 secs
lola: sara is running 1895 secs || 26330384 markings, 94090687 edges, 16175 markings/sec, 1895 secs
lola: sara is running 1900 secs || 26412527 markings, 94350301 edges, 16429 markings/sec, 1900 secs
lola: sara is running 1905 secs || 26488785 markings, 94617133 edges, 15252 markings/sec, 1905 secs
lola: sara is running 1910 secs || 26560047 markings, 94893672 edges, 14252 markings/sec, 1910 secs
lola: sara is running 1915 secs || 26638219 markings, 95164836 edges, 15634 markings/sec, 1915 secs
lola: sara is running 1920 secs || 26713169 markings, 95440366 edges, 14990 markings/sec, 1920 secs
lola: sara is running 1925 secs || 26788842 markings, 95711113 edges, 15135 markings/sec, 1925 secs
lola: sara is running 1930 secs || 26866623 markings, 95972151 edges, 15556 markings/sec, 1930 secs
lola: sara is running 1935 secs || 26925706 markings, 96218729 edges, 11817 markings/sec, 1935 secs
lola: sara is running 1940 secs || 26997063 markings, 96468253 edges, 14271 markings/sec, 1940 secs
lola: sara is running 1945 secs || 27070901 markings, 96716742 edges, 14768 markings/sec, 1945 secs
lola: sara is running 1950 secs || 27138633 markings, 96959858 edges, 13546 markings/sec, 1950 secs
lola: sara is running 1955 secs || 27215954 markings, 97185206 edges, 15464 markings/sec, 1955 secs
lola: sara is running 1960 secs || 27305085 markings, 97425252 edges, 17826 markings/sec, 1960 secs
lola: sara is running 1965 secs || 27393180 markings, 97649726 edges, 17619 markings/sec, 1965 secs
lola: sara is running 1970 secs || 27479245 markings, 97880721 edges, 17213 markings/sec, 1970 secs
lola: sara is running 1975 secs || 27562658 markings, 98104852 edges, 16683 markings/sec, 1975 secs
lola: sara is running 1980 secs || 27644521 markings, 98320274 edges, 16373 markings/sec, 1980 secs
lola: sara is running 1985 secs || 27735101 markings, 98546209 edges, 18116 markings/sec, 1985 secs
lola: sara is running 1990 secs || 27811026 markings, 98766207 edges, 15185 markings/sec, 1990 secs
lola: sara is running 1995 secs || 27878689 markings, 99013798 edges, 13533 markings/sec, 1995 secs
lola: sara is running 2000 secs || 27953851 markings, 99240555 edges, 15032 markings/sec, 2000 secs
lola: sara is running 2005 secs || 28025548 markings, 99465581 edges, 14339 markings/sec, 2005 secs
lola: sara is running 2010 secs || 28094948 markings, 99695633 edges, 13880 markings/sec, 2010 secs
lola: sara is running 2015 secs || 28164886 markings, 99910127 edges, 13988 markings/sec, 2015 secs
lola: sara is running 2020 secs || 28239269 markings, 100117011 edges, 14877 markings/sec, 2020 secs
lola: sara is running 2025 secs || 28318897 markings, 100313008 edges, 15926 markings/sec, 2025 secs
lola: sara is running 2030 secs || 28386514 markings, 100554331 edges, 13523 markings/sec, 2030 secs
lola: sara is running 2035 secs || 28460371 markings, 100808873 edges, 14771 markings/sec, 2035 secs
lola: sara is running 2040 secs || 28528804 markings, 101057496 edges, 13687 markings/sec, 2040 secs
lola: sara is running 2045 secs || 28601953 markings, 101310482 edges, 14630 markings/sec, 2045 secs
lola: sara is running 2050 secs || 28671169 markings, 101562124 edges, 13843 markings/sec, 2050 secs
lola: sara is running 2055 secs || 28742769 markings, 101812202 edges, 14320 markings/sec, 2055 secs
lola: sara is running 2060 secs || 28813118 markings, 102062309 edges, 14070 markings/sec, 2060 secs
lola: sara is running 2065 secs || 28883171 markings, 102311576 edges, 14011 markings/sec, 2065 secs
lola: sara is running 2070 secs || 28958838 markings, 102563542 edges, 15133 markings/sec, 2070 secs
lola: sara is running 2075 secs || 29032238 markings, 102791722 edges, 14680 markings/sec, 2075 secs
lola: sara is running 2080 secs || 29108635 markings, 103020680 edges, 15279 markings/sec, 2080 secs
lola: sara is running 2085 secs || 29179060 markings, 103254058 edges, 14085 markings/sec, 2085 secs
lola: sara is running 2090 secs || 29245552 markings, 103489469 edges, 13298 markings/sec, 2090 secs
lola: sara is running 2095 secs || 29316649 markings, 103715212 edges, 14219 markings/sec, 2095 secs
lola: sara is running 2100 secs || 29383870 markings, 103953719 edges, 13444 markings/sec, 2100 secs
lola: sara is running 2105 secs || 29451733 markings, 104189488 edges, 13573 markings/sec, 2105 secs
lola: sara is running 2110 secs || 29518503 markings, 104420307 edges, 13354 markings/sec, 2110 secs
lola: sara is running 2115 secs || 29590975 markings, 104652462 edges, 14494 markings/sec, 2115 secs
lola: sara is running 2120 secs || 29658650 markings, 104900071 edges, 13535 markings/sec, 2120 secs
lola: sara is running 2125 secs || 29726842 markings, 105134325 edges, 13638 markings/sec, 2125 secs
lola: sara is running 2130 secs || 29794478 markings, 105369096 edges, 13527 markings/sec, 2130 secs
lola: sara is running 2135 secs || 29870775 markings, 105603884 edges, 15259 markings/sec, 2135 secs
lola: sara is running 2140 secs || 29944286 markings, 105835127 edges, 14702 markings/sec, 2140 secs
lola: sara is running 2145 secs || 30014584 markings, 106081932 edges, 14060 markings/sec, 2145 secs
lola: sara is running 2150 secs || 30084141 markings, 106318142 edges, 13911 markings/sec, 2150 secs
lola: sara is running 2155 secs || 30160278 markings, 106565761 edges, 15227 markings/sec, 2155 secs
lola: sara is running 2160 secs || 30234658 markings, 106818383 edges, 14876 markings/sec, 2160 secs
lola: sara is running 2165 secs || 30307454 markings, 107063981 edges, 14559 markings/sec, 2165 secs
lola: sara is running 2170 secs || 30384687 markings, 107313495 edges, 15447 markings/sec, 2170 secs
lola: sara is running 2175 secs || 30460005 markings, 107564062 edges, 15064 markings/sec, 2175 secs
lola: sara is running 2180 secs || 30538746 markings, 107786124 edges, 15748 markings/sec, 2180 secs
lola: sara is running 2185 secs || 30604215 markings, 108036129 edges, 13094 markings/sec, 2185 secs
lola: sara is running 2190 secs || 30667037 markings, 108291750 edges, 12564 markings/sec, 2190 secs
lola: sara is running 2195 secs || 30737833 markings, 108512457 edges, 14159 markings/sec, 2195 secs
lola: sara is running 2200 secs || 30805362 markings, 108743597 edges, 13506 markings/sec, 2200 secs
lola: sara is running 2205 secs || 30873285 markings, 108968330 edges, 13585 markings/sec, 2205 secs
lola: sara is running 2210 secs || 30929957 markings, 109222795 edges, 11334 markings/sec, 2210 secs
lola: sara is running 2215 secs || 30993910 markings, 109458937 edges, 12791 markings/sec, 2215 secs
lola: sara is running 2220 secs || 31065255 markings, 109697979 edges, 14269 markings/sec, 2220 secs
lola: sara is running 2225 secs || 31142760 markings, 109952836 edges, 15501 markings/sec, 2225 secs
lola: sara is running 2230 secs || 31210828 markings, 110184944 edges, 13614 markings/sec, 2230 secs
lola: sara is running 2235 secs || 31277010 markings, 110417169 edges, 13236 markings/sec, 2235 secs
lola: sara is running 2240 secs || 31341059 markings, 110625186 edges, 12810 markings/sec, 2240 secs
lola: sara is running 2245 secs || 31417175 markings, 110838654 edges, 15223 markings/sec, 2245 secs
lola: sara is running 2250 secs || 31484298 markings, 111067465 edges, 13425 markings/sec, 2250 secs
lola: sara is running 2255 secs || 31542183 markings, 111320447 edges, 11577 markings/sec, 2255 secs
lola: sara is running 2260 secs || 31598380 markings, 111584179 edges, 11239 markings/sec, 2260 secs
lola: sara is running 2265 secs || 31657479 markings, 111841502 edges, 11820 markings/sec, 2265 secs
lola: sara is running 2270 secs || 31716489 markings, 112104970 edges, 11802 markings/sec, 2270 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no no unknown no no no unknown no yes no yes no unknown no
lola:
preliminary result: unknown unknown no no unknown no no no unknown no yes no yes no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no unknown no no no unknown no yes no yes no unknown no
lola: memory consumption: 2845076 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no unknown no no no unknown no yes no yes no unknown no
lola: memory consumption: 2845076 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1590054647574
--------------------
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="CloudDeployment-PT-4b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is CloudDeployment-PT-4b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r045-smll-158902068300078"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-4b.tgz
mv CloudDeployment-PT-4b execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;