About the Execution of 2019-Gold for DLCflexbar-PT-8a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4888.630 | 3570274.00 | 3644965.00 | 887.80 | FFFF?FFFFTTF?FFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r060-ebro-158902579600110.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is DLCflexbar-PT-8a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-158902579600110
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.9M
-rw-r--r-- 1 mcc users 3.0K Mar 30 18:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 18:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 29 08:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 29 08:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 04:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 22:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 22:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 8.7M 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 DLCflexbar-PT-8a-00
FORMULA_NAME DLCflexbar-PT-8a-01
FORMULA_NAME DLCflexbar-PT-8a-02
FORMULA_NAME DLCflexbar-PT-8a-03
FORMULA_NAME DLCflexbar-PT-8a-04
FORMULA_NAME DLCflexbar-PT-8a-05
FORMULA_NAME DLCflexbar-PT-8a-06
FORMULA_NAME DLCflexbar-PT-8a-07
FORMULA_NAME DLCflexbar-PT-8a-08
FORMULA_NAME DLCflexbar-PT-8a-09
FORMULA_NAME DLCflexbar-PT-8a-10
FORMULA_NAME DLCflexbar-PT-8a-11
FORMULA_NAME DLCflexbar-PT-8a-12
FORMULA_NAME DLCflexbar-PT-8a-13
FORMULA_NAME DLCflexbar-PT-8a-14
FORMULA_NAME DLCflexbar-PT-8a-15
=== Now, execution of the tool begins
BK_START 1589891907260
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ DLCflexbar-PT-8a @ 3570 seconds
FORMULA DLCflexbar-PT-8a-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-8a-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ DLCflexbar-PT-8a
{
"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": "Tue May 19 12:38:27 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 220
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 220
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"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 (FIREABLE(t7336)))",
"processed_size": 23,
"rewrites": 97
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 235
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 235
},
"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": 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 (FIREABLE(t26583))))",
"processed_size": 28,
"rewrites": 95
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 251
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((FIREABLE(t11095) AND X (X ((FIREABLE(t28627) OR (X (X (NOT FIREABLE(t11095))) R F (FIREABLE(t2654)))))))))",
"processed_size": 113,
"rewrites": 95
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 20
},
"compoundnumber": 2,
"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": 271
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"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 (F ((X (FIREABLE(t31240)) AND (FIREABLE(t31240) OR (G (NOT FIREABLE(t12533)) OR F (NOT FIREABLE(t21122)))))))",
"processed_size": 111,
"rewrites": 95
},
"result":
{
"edges": 4,
"markings": 4,
"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": 293
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 293
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((FIREABLE(t436) OR X (NOT FIREABLE(t13116))))))",
"processed_size": 56,
"rewrites": 95
},
"result":
{
"edges": 10018021,
"markings": 59638,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 310
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"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 (X (X ((FIREABLE(t17692) OR (G ((NOT FIREABLE(t13410) AND X (X (NOT FIREABLE(t25940))))) AND F (FIREABLE(t17692)))))))",
"processed_size": 120,
"rewrites": 95
},
"result":
{
"edges": 4,
"markings": 4,
"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": 341
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((X (FIREABLE(t13540)) OR G (FIREABLE(t24398))))",
"processed_size": 50,
"rewrites": 95
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"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": 379
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A ((F (FIREABLE(t31693)) OR (X (FIREABLE(t9756)) AND (NOT FIREABLE(t4746) AND (F (NOT FIREABLE(t30269)) OR G (NOT FIREABLE(t4746)))))))",
"processed_size": 135,
"rewrites": 95
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"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": 433
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"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 (FIREABLE(t2274)))",
"processed_size": 23,
"rewrites": 97
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 505
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(NOT FIREABLE(t31723) AND NOT FIREABLE(t6638))",
"processed_size": 46,
"rewrites": 97
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 179
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 606
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"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 (G (F (NOT FIREABLE(t18782))))",
"processed_size": 32,
"rewrites": 95
},
"result":
{
"edges": 25241060,
"markings": 151144,
"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": 680
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"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": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((FIREABLE(t9805) OR F (FIREABLE(t12541))))",
"processed_size": 45,
"rewrites": 95
},
"result":
{
"edges": 2,
"markings": 2,
"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": 907
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"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 (G (F ((FIREABLE(t32217) AND G (FIREABLE(t18838))))))",
"processed_size": 55,
"rewrites": 95
},
"result":
{
"edges": 3,
"markings": 3,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 1360
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 2,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(t18766) U (FIREABLE(t26210) U FIREABLE(t14461))))",
"processed_size": 62,
"rewrites": 95
},
"result":
{
"edges": 3,
"markings": 3,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 4552652,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G(**)) AND A(X(G(**)))) : (A(X(G(**))) AND A(X(F(**)))) : A(G(F((** AND G(**))))) : A(F((** AND X(X((** OR (X(X(*)) R F(*)))))))) : A((* OR F(G((** OR (G(**) AND F(**))))))) : A(F((X(**) AND (** OR (G(*) OR F(*)))))) : (A(X(X(F(*)))) AND A(F(G((** OR X(*)))))) : A(X(X((** OR (G((* AND X(X(*)))) AND F(**)))))) : A(G(**)) : A((X(**) OR G(**))) : A(F(**)) : A((** OR F(**))) : A((X(F(**)) U G(**))) : A(G(F(*))) : A((F(**) OR (X(**) AND (* AND (F(*) OR G(*)))))) : A((** U (** U **)))"
},
"net":
{
"arcs": 129321,
"conflict_clusters": 432,
"places": 3971,
"places_significant": 931,
"singleton_clusters": 0,
"transitions": 32571
},
"result":
{
"interim_value": "no no no no unknown no no no no yes yes no unknown no no no ",
"preliminary_value": "no no no no unknown no no no no yes yes no unknown no no 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: 36542/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3971
lola: finding significant places
lola: 3971 places, 32571 transitions, 931 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 (G ((G (FIREABLE(t7336)) AND G (X (NOT FIREABLE(t9465)))))) : A (X ((G (FIREABLE(t4037)) AND F (FIREABLE(t26583))))) : A (X (G (NOT(G (NOT(((FIREABLE(t11355) OR FIREABLE(t32217)) U (FIREABLE(t32217) AND G (FIREABLE(t18838)))))))))) : A (F ((FIREABLE(t11095) AND X (X ((FIREABLE(t28627) OR NOT((X (X (FIREABLE(t11095))) U G (NOT FIREABLE(t2654)))))))))) : A (NOT((NOT FIREABLE(t26190) AND NOT(X (F (G ((G ((NOT FIREABLE(t7352) OR NOT FIREABLE(t15436))) U FIREABLE(t3340))))))))) : A (F ((X (FIREABLE(t31240)) AND (FIREABLE(t31240) OR NOT((F (FIREABLE(t12533)) AND G (FIREABLE(t21122)))))))) : A ((F (NOT(X (G (X (FIREABLE(t27651)))))) AND X (F (G ((FIREABLE(t436) OR NOT(X (FIREABLE(t13116))))))))) : A (X ((G (X (NOT((FIREABLE(t13410) OR X (X (FIREABLE(t25940))))))) U X (FIREABLE(t17692))))) : A (G (FIREABLE(t2274))) : A ((X (FIREABLE(t13540)) OR G (FIREABLE(t24398)))) : A (F ((NOT((FIREABLE(t8718) OR F (NOT FIREABLE(t31723)))) U (FIREABLE(t31723) OR FIREABLE(t6638))))) : A ((FIREABLE(t9805) OR F ((FIREABLE(t26775) U FIREABLE(t12541))))) : A ((X (F (FIREABLE(t314))) U G (NOT FIREABLE(t13880)))) : A (NOT((FIREABLE(t18782) U G (F (X (G (FIREABLE(t18782)))))))) : A ((F (FIREABLE(t31693)) OR (X (FIREABLE(t9756)) AND NOT((G (FIREABLE(t30269)) U FIREABLE(t4746)))))) : A ((FIREABLE(t18766) U (FIREABLE(t26210) U FIREABLE(t14461))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:536
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t7336))) AND A (X (G (NOT FIREABLE(t9465)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t7336)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t7336)))
lola: processed formula length: 23
lola: 97 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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t7336)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (G (FIREABLE(t4037)))) AND A (X (F (FIREABLE(t26583)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t26583))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t26583))))
lola: processed formula length: 28
lola: 95 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: 4 markings, 4 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t11095) AND X (X ((FIREABLE(t28627) OR (X (X (NOT FIREABLE(t11095))) R F (FIREABLE(t2654)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t11095) AND X (X ((FIREABLE(t28627) OR (X (X (NOT FIREABLE(t11095))) R F (FIREABLE(t2654)))))))))
lola: processed formula length: 113
lola: 95 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 20 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: 4 markings, 4 edges
lola: ========================================
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((X (FIREABLE(t31240)) AND (FIREABLE(t31240) OR (G (NOT FIREABLE(t12533)) OR F (NOT FIREABLE(t21122)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X (FIREABLE(t31240)) AND (FIREABLE(t31240) OR (G (NOT FIREABLE(t12533)) OR F (NOT FIREABLE(t21122)))))))
lola: processed formula length: 111
lola: 95 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: 4 markings, 4 edges
lola: ========================================
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X (F (NOT FIREABLE(t27651))))) AND A (F (G ((FIREABLE(t436) OR X (NOT FIREABLE(t13116)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t436) OR X (NOT FIREABLE(t13116))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t436) OR X (NOT FIREABLE(t13116))))))
lola: processed formula length: 56
lola: 95 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: 2949 markings, 444698 edges, 590 markings/sec, 0 secs
lola: 5609 markings, 887016 edges, 532 markings/sec, 5 secs
lola: 8314 markings, 1327157 edges, 541 markings/sec, 10 secs
lola: 10779 markings, 1765873 edges, 493 markings/sec, 15 secs
lola: 13614 markings, 2201431 edges, 567 markings/sec, 20 secs
lola: 16404 markings, 2636697 edges, 558 markings/sec, 25 secs
lola: 18761 markings, 3074902 edges, 471 markings/sec, 30 secs
lola: 21195 markings, 3513108 edges, 487 markings/sec, 35 secs
lola: 24817 markings, 3943828 edges, 724 markings/sec, 40 secs
lola: 28470 markings, 4371606 edges, 731 markings/sec, 45 secs
lola: 31096 markings, 4810906 edges, 525 markings/sec, 50 secs
lola: 33577 markings, 5247129 edges, 496 markings/sec, 55 secs
lola: 36080 markings, 5686086 edges, 501 markings/sec, 60 secs
lola: 38940 markings, 6121821 edges, 572 markings/sec, 65 secs
lola: 41342 markings, 6561687 edges, 480 markings/sec, 70 secs
lola: 43641 markings, 7002625 edges, 460 markings/sec, 75 secs
lola: 46085 markings, 7439998 edges, 489 markings/sec, 80 secs
lola: 48599 markings, 7877605 edges, 503 markings/sec, 85 secs
lola: 51010 markings, 8315128 edges, 482 markings/sec, 90 secs
lola: 53160 markings, 8753171 edges, 430 markings/sec, 95 secs
lola: 55405 markings, 9191069 edges, 449 markings/sec, 100 secs
lola: 57635 markings, 9629892 edges, 446 markings/sec, 105 secs
lola: add low 29537
lola: add low 32566
lola: add low 26641
lola: add low 32469
lola: add low 32414
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: 59638 markings, 10018021 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((FIREABLE(t17692) OR (G ((NOT FIREABLE(t13410) AND X (X (NOT FIREABLE(t25940))))) AND F (FIREABLE(t17692)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((FIREABLE(t17692) OR (G ((NOT FIREABLE(t13410) AND X (X (NOT FIREABLE(t25940))))) AND F (FIREABLE(t17692)))))))
lola: processed formula length: 120
lola: 95 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: 4 markings, 4 edges
lola: ========================================
lola: subprocess 6 will run for 341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (FIREABLE(t13540)) OR G (FIREABLE(t24398))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (FIREABLE(t13540)) OR G (FIREABLE(t24398))))
lola: processed formula length: 50
lola: 95 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 7 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (F (FIREABLE(t314))) U G (NOT FIREABLE(t13880))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (F (FIREABLE(t314))) U G (NOT FIREABLE(t13880))))
lola: processed formula length: 55
lola: 95 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: 2867 markings, 454839 edges, 573 markings/sec, 0 secs
lola: 5522 markings, 906388 edges, 531 markings/sec, 5 secs
lola: 8387 markings, 1353815 edges, 573 markings/sec, 10 secs
lola: 11020 markings, 1803008 edges, 527 markings/sec, 15 secs
lola: 14616 markings, 2245097 edges, 719 markings/sec, 20 secs
lola: 17163 markings, 2685721 edges, 509 markings/sec, 25 secs
lola: 19830 markings, 3129206 edges, 533 markings/sec, 30 secs
lola: 22223 markings, 3575564 edges, 479 markings/sec, 35 secs
lola: 24790 markings, 4019416 edges, 513 markings/sec, 40 secs
lola: 27055 markings, 4465245 edges, 453 markings/sec, 45 secs
lola: 29335 markings, 4910787 edges, 456 markings/sec, 50 secs
lola: 31664 markings, 5355637 edges, 466 markings/sec, 55 secs
lola: 33874 markings, 5799561 edges, 442 markings/sec, 60 secs
lola: 36280 markings, 6246137 edges, 481 markings/sec, 65 secs
lola: 38715 markings, 6690725 edges, 487 markings/sec, 70 secs
lola: 42414 markings, 7130268 edges, 740 markings/sec, 75 secs
lola: 45016 markings, 7575671 edges, 520 markings/sec, 80 secs
lola: 47660 markings, 8019241 edges, 529 markings/sec, 85 secs
lola: 50262 markings, 8464400 edges, 520 markings/sec, 90 secs
lola: 52794 markings, 8909467 edges, 506 markings/sec, 95 secs
lola: 55366 markings, 9349897 edges, 514 markings/sec, 100 secs
lola: 57828 markings, 9791094 edges, 492 markings/sec, 105 secs
lola: 60171 markings, 10233411 edges, 469 markings/sec, 110 secs
lola: 62479 markings, 10675636 edges, 462 markings/sec, 115 secs
lola: 64868 markings, 11117506 edges, 478 markings/sec, 120 secs
lola: 67155 markings, 11557857 edges, 457 markings/sec, 125 secs
lola: 69732 markings, 11996662 edges, 515 markings/sec, 130 secs
lola: 72063 markings, 12436883 edges, 466 markings/sec, 135 secs
lola: 74842 markings, 12868577 edges, 556 markings/sec, 140 secs
lola: 77154 markings, 13307049 edges, 462 markings/sec, 145 secs
lola: 79785 markings, 13743185 edges, 526 markings/sec, 150 secs
lola: 83346 markings, 14177828 edges, 712 markings/sec, 155 secs
lola: 85715 markings, 14616437 edges, 474 markings/sec, 160 secs
lola: 88694 markings, 15051152 edges, 596 markings/sec, 165 secs
lola: 91157 markings, 15487695 edges, 493 markings/sec, 170 secs
lola: 94970 markings, 15926149 edges, 763 markings/sec, 175 secs
lola: 98452 markings, 16364357 edges, 696 markings/sec, 180 secs
lola: 101618 markings, 16805505 edges, 633 markings/sec, 185 secs
lola: 104720 markings, 17244944 edges, 620 markings/sec, 190 secs
lola: 107545 markings, 17681523 edges, 565 markings/sec, 195 secs
lola: 110174 markings, 18122793 edges, 526 markings/sec, 200 secs
lola: 113065 markings, 18562197 edges, 578 markings/sec, 205 secs
lola: 115739 markings, 18997869 edges, 535 markings/sec, 210 secs
lola: 118505 markings, 19435973 edges, 553 markings/sec, 215 secs
lola: 121252 markings, 19875716 edges, 549 markings/sec, 220 secs
lola: 124175 markings, 20313197 edges, 585 markings/sec, 225 secs
lola: 127108 markings, 20728873 edges, 587 markings/sec, 230 secs
lola: 130086 markings, 21158154 edges, 596 markings/sec, 235 secs
lola: 133502 markings, 21585713 edges, 683 markings/sec, 240 secs
lola: 137275 markings, 22001871 edges, 755 markings/sec, 245 secs
lola: 139962 markings, 22437992 edges, 537 markings/sec, 250 secs
lola: 142503 markings, 22874298 edges, 508 markings/sec, 255 secs
lola: 145258 markings, 23307073 edges, 551 markings/sec, 260 secs
lola: 148270 markings, 23741000 edges, 602 markings/sec, 265 secs
lola: 151218 markings, 24175916 edges, 590 markings/sec, 270 secs
lola: 154302 markings, 24609827 edges, 617 markings/sec, 275 secs
lola: 157197 markings, 25026870 edges, 579 markings/sec, 280 secs
lola: 159243 markings, 25461980 edges, 409 markings/sec, 285 secs
lola: 161444 markings, 25899627 edges, 440 markings/sec, 290 secs
lola: 163733 markings, 26337617 edges, 458 markings/sec, 295 secs
lola: 166059 markings, 26773655 edges, 465 markings/sec, 300 secs
lola: 168517 markings, 27210242 edges, 492 markings/sec, 305 secs
lola: 170849 markings, 27645284 edges, 466 markings/sec, 310 secs
lola: 173346 markings, 28077593 edges, 499 markings/sec, 315 secs
lola: 175622 markings, 28513683 edges, 455 markings/sec, 320 secs
lola: 177844 markings, 28951957 edges, 444 markings/sec, 325 secs
lola: 180384 markings, 29392819 edges, 508 markings/sec, 330 secs
lola: 182863 markings, 29828715 edges, 496 markings/sec, 335 secs
lola: 185020 markings, 30266152 edges, 431 markings/sec, 340 secs
lola: 187512 markings, 30697393 edges, 498 markings/sec, 345 secs
lola: 189749 markings, 31135005 edges, 447 markings/sec, 350 secs
lola: 192524 markings, 31563340 edges, 555 markings/sec, 355 secs
lola: 195150 markings, 31999906 edges, 525 markings/sec, 360 secs
lola: 197429 markings, 32438151 edges, 456 markings/sec, 365 secs
lola: 199568 markings, 32874192 edges, 428 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no unknown no no no unknown yes unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2065224 KB
lola: time consumption: 538 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 8 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t31693)) OR (X (FIREABLE(t9756)) AND (NOT FIREABLE(t4746) AND (F (NOT FIREABLE(t30269)) OR G (NOT FIREABLE(t4746)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t31693)) OR (X (FIREABLE(t9756)) AND (NOT FIREABLE(t4746) AND (F (NOT FIREABLE(t30269)) OR G (NOT FIREABLE(t4746)))))))
lola: processed formula length: 135
lola: 95 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 9 will run for 433 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t2274)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t2274)))
lola: processed formula length: 23
lola: 97 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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t2274)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t31723) OR FIREABLE(t6638))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (NOT FIREABLE(t31723) AND NOT FIREABLE(t6638))
lola: processed formula length: 46
lola: 97 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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 606 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (NOT FIREABLE(t18782))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (NOT FIREABLE(t18782))))
lola: processed formula length: 32
lola: 95 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: 2376 markings, 408578 edges, 475 markings/sec, 0 secs
lola: 4772 markings, 816639 edges, 479 markings/sec, 5 secs
lola: 7221 markings, 1222425 edges, 490 markings/sec, 10 secs
lola: 9753 markings, 1625658 edges, 506 markings/sec, 15 secs
lola: 12129 markings, 2028898 edges, 475 markings/sec, 20 secs
lola: 14458 markings, 2426058 edges, 466 markings/sec, 25 secs
lola: 17009 markings, 2825227 edges, 510 markings/sec, 30 secs
lola: 19324 markings, 3225305 edges, 463 markings/sec, 35 secs
lola: 21681 markings, 3623662 edges, 471 markings/sec, 40 secs
lola: 24227 markings, 4022491 edges, 509 markings/sec, 45 secs
lola: 26666 markings, 4422470 edges, 488 markings/sec, 50 secs
lola: 28933 markings, 4822854 edges, 453 markings/sec, 55 secs
lola: 31404 markings, 5222246 edges, 494 markings/sec, 60 secs
lola: 33642 markings, 5616748 edges, 448 markings/sec, 65 secs
lola: 36082 markings, 6011440 edges, 488 markings/sec, 70 secs
lola: 38585 markings, 6411646 edges, 501 markings/sec, 75 secs
lola: 40821 markings, 6806394 edges, 447 markings/sec, 80 secs
lola: 43270 markings, 7204045 edges, 490 markings/sec, 85 secs
lola: 45564 markings, 7605180 edges, 459 markings/sec, 90 secs
lola: 47930 markings, 8001999 edges, 473 markings/sec, 95 secs
lola: 50473 markings, 8398318 edges, 509 markings/sec, 100 secs
lola: 52733 markings, 8793845 edges, 452 markings/sec, 105 secs
lola: 55098 markings, 9190771 edges, 473 markings/sec, 110 secs
lola: 57448 markings, 9588222 edges, 470 markings/sec, 115 secs
lola: 59713 markings, 9983585 edges, 453 markings/sec, 120 secs
lola: 62248 markings, 10377561 edges, 507 markings/sec, 125 secs
lola: 64677 markings, 10786802 edges, 486 markings/sec, 130 secs
lola: 67070 markings, 11202554 edges, 479 markings/sec, 135 secs
lola: 69606 markings, 11618136 edges, 507 markings/sec, 140 secs
lola: 71965 markings, 12035022 edges, 472 markings/sec, 145 secs
lola: 74631 markings, 12451655 edges, 533 markings/sec, 150 secs
lola: 77122 markings, 12869542 edges, 498 markings/sec, 155 secs
lola: 79515 markings, 13285267 edges, 479 markings/sec, 160 secs
lola: 82059 markings, 13701652 edges, 509 markings/sec, 165 secs
lola: 84404 markings, 14116066 edges, 469 markings/sec, 170 secs
lola: 87032 markings, 14529905 edges, 526 markings/sec, 175 secs
lola: 89560 markings, 14947507 edges, 506 markings/sec, 180 secs
lola: 91936 markings, 15364269 edges, 475 markings/sec, 185 secs
lola: 94452 markings, 15772310 edges, 503 markings/sec, 190 secs
lola: 96749 markings, 16179654 edges, 459 markings/sec, 195 secs
lola: 99314 markings, 16586862 edges, 513 markings/sec, 200 secs
lola: 101840 markings, 16999998 edges, 505 markings/sec, 205 secs
lola: 104165 markings, 17411626 edges, 465 markings/sec, 210 secs
lola: 106708 markings, 17822391 edges, 509 markings/sec, 215 secs
lola: 109010 markings, 18228829 edges, 460 markings/sec, 220 secs
lola: 111534 markings, 18635186 edges, 505 markings/sec, 225 secs
lola: 114095 markings, 19047375 edges, 512 markings/sec, 230 secs
lola: 116429 markings, 19461154 edges, 467 markings/sec, 235 secs
lola: 118987 markings, 19872900 edges, 512 markings/sec, 240 secs
lola: 121330 markings, 20287224 edges, 469 markings/sec, 245 secs
lola: 123845 markings, 20697529 edges, 503 markings/sec, 250 secs
lola: 126426 markings, 21110055 edges, 516 markings/sec, 255 secs
lola: 128764 markings, 21523104 edges, 468 markings/sec, 260 secs
lola: 131305 markings, 21933054 edges, 508 markings/sec, 265 secs
lola: 133634 markings, 22343775 edges, 466 markings/sec, 270 secs
lola: 136089 markings, 22750605 edges, 491 markings/sec, 275 secs
lola: 138695 markings, 23159545 edges, 521 markings/sec, 280 secs
lola: 141045 markings, 23573757 edges, 470 markings/sec, 285 secs
lola: 143530 markings, 23983013 edges, 497 markings/sec, 290 secs
lola: 145912 markings, 24395339 edges, 476 markings/sec, 295 secs
lola: 148339 markings, 24803639 edges, 485 markings/sec, 300 secs
lola: 150960 markings, 25213240 edges, 524 markings/sec, 305 secs
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: 151144 markings, 25241060 edges
lola: ========================================
lola: subprocess 12 will run for 680 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t9805) OR F (FIREABLE(t12541))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t9805) OR F (FIREABLE(t12541))))
lola: processed formula length: 45
lola: 95 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: 2 markings, 2 edges
lola: ========================================
lola: subprocess 13 will run for 907 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t32217) AND G (FIREABLE(t18838))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t32217) AND G (FIREABLE(t18838))))))
lola: processed formula length: 55
lola: 95 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: 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: 3 markings, 3 edges
lola: ========================================
lola: subprocess 14 will run for 1360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t18766) U (FIREABLE(t26210) U FIREABLE(t14461))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t18766) U (FIREABLE(t26210) U FIREABLE(t14461))))
lola: processed formula length: 62
lola: 95 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: 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: 3 markings, 3 edges
lola: ========================================
lola: subprocess 15 will run for 2721 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t26190) OR F (G ((FIREABLE(t3340) OR (G ((NOT FIREABLE(t7352) OR NOT FIREABLE(t15436))) AND F (FIREABLE(t3340))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t26190) OR F (G ((FIREABLE(t3340) OR (G ((NOT FIREABLE(t7352) OR NOT FIREABLE(t15436))) AND F (FIREABLE(t3340))))))))
lola: processed formula length: 131
lola: 95 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: 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: 2395 markings, 411859 edges, 479 markings/sec, 0 secs
lola: 4773 markings, 817180 edges, 476 markings/sec, 5 secs
lola: 7233 markings, 1224827 edges, 492 markings/sec, 10 secs
lola: 9777 markings, 1628848 edges, 509 markings/sec, 15 secs
lola: 12162 markings, 2035099 edges, 477 markings/sec, 20 secs
lola: 14545 markings, 2439674 edges, 477 markings/sec, 25 secs
lola: 17120 markings, 2842877 edges, 515 markings/sec, 30 secs
lola: 19446 markings, 3247123 edges, 465 markings/sec, 35 secs
lola: 21839 markings, 3648094 edges, 479 markings/sec, 40 secs
lola: 24415 markings, 4050317 edges, 515 markings/sec, 45 secs
lola: 26832 markings, 4453243 edges, 483 markings/sec, 50 secs
lola: 29116 markings, 4854822 edges, 457 markings/sec, 55 secs
lola: 31603 markings, 5255722 edges, 497 markings/sec, 60 secs
lola: 33861 markings, 5656350 edges, 452 markings/sec, 65 secs
lola: 36354 markings, 6054880 edges, 499 markings/sec, 70 secs
lola: 38847 markings, 6456541 edges, 499 markings/sec, 75 secs
lola: 41114 markings, 6858257 edges, 453 markings/sec, 80 secs
lola: 43599 markings, 7257930 edges, 497 markings/sec, 85 secs
lola: 45875 markings, 7659506 edges, 455 markings/sec, 90 secs
lola: 48285 markings, 8057619 edges, 482 markings/sec, 95 secs
lola: 50829 markings, 8457186 edges, 509 markings/sec, 100 secs
lola: 53102 markings, 8858504 edges, 455 markings/sec, 105 secs
lola: 55501 markings, 9255198 edges, 480 markings/sec, 110 secs
lola: 57811 markings, 9651800 edges, 462 markings/sec, 115 secs
lola: 60131 markings, 10047200 edges, 464 markings/sec, 120 secs
lola: 62659 markings, 10442014 edges, 506 markings/sec, 125 secs
lola: 65068 markings, 10856083 edges, 482 markings/sec, 130 secs
lola: 67528 markings, 11272274 edges, 492 markings/sec, 135 secs
lola: 70010 markings, 11689979 edges, 496 markings/sec, 140 secs
lola: 72410 markings, 12106141 edges, 480 markings/sec, 145 secs
lola: 75071 markings, 12521235 edges, 532 markings/sec, 150 secs
lola: 77513 markings, 12936672 edges, 488 markings/sec, 155 secs
lola: 79944 markings, 13351483 edges, 486 markings/sec, 160 secs
lola: 82418 markings, 13765698 edges, 495 markings/sec, 165 secs
lola: 84784 markings, 14178747 edges, 473 markings/sec, 170 secs
lola: 87433 markings, 14591075 edges, 530 markings/sec, 175 secs
lola: 89902 markings, 15007901 edges, 494 markings/sec, 180 secs
lola: 92300 markings, 15422722 edges, 480 markings/sec, 185 secs
lola: 94817 markings, 15837709 edges, 503 markings/sec, 190 secs
lola: 97163 markings, 16250810 edges, 469 markings/sec, 195 secs
lola: 99814 markings, 16664203 edges, 530 markings/sec, 200 secs
lola: 102288 markings, 17080649 edges, 495 markings/sec, 205 secs
lola: 104677 markings, 17495290 edges, 478 markings/sec, 210 secs
lola: 107203 markings, 17909057 edges, 505 markings/sec, 215 secs
lola: 109540 markings, 18321400 edges, 467 markings/sec, 220 secs
lola: 112146 markings, 18731536 edges, 521 markings/sec, 225 secs
lola: 114655 markings, 19147172 edges, 502 markings/sec, 230 secs
lola: 117015 markings, 19562155 edges, 472 markings/sec, 235 secs
lola: 119570 markings, 19975755 edges, 511 markings/sec, 240 secs
lola: 121902 markings, 20389320 edges, 466 markings/sec, 245 secs
lola: 124497 markings, 20800167 edges, 519 markings/sec, 250 secs
lola: 127014 markings, 21213578 edges, 503 markings/sec, 255 secs
lola: 129361 markings, 21627661 edges, 469 markings/sec, 260 secs
lola: 131929 markings, 22042866 edges, 514 markings/sec, 265 secs
lola: 134270 markings, 22457442 edges, 468 markings/sec, 270 secs
lola: 136854 markings, 22869641 edges, 517 markings/sec, 275 secs
lola: 139420 markings, 23286844 edges, 513 markings/sec, 280 secs
lola: 141788 markings, 23705494 edges, 474 markings/sec, 285 secs
lola: 144357 markings, 24121751 edges, 514 markings/sec, 290 secs
lola: 146715 markings, 24538545 edges, 472 markings/sec, 295 secs
lola: 149302 markings, 24953387 edges, 517 markings/sec, 300 secs
lola: 151882 markings, 25371397 edges, 516 markings/sec, 305 secs
lola: 154237 markings, 25789054 edges, 471 markings/sec, 310 secs
lola: 156814 markings, 26204575 edges, 515 markings/sec, 315 secs
lola: 159164 markings, 26620643 edges, 470 markings/sec, 320 secs
lola: 161712 markings, 27032152 edges, 510 markings/sec, 325 secs
lola: 164295 markings, 27447639 edges, 517 markings/sec, 330 secs
lola: 166626 markings, 27860919 edges, 466 markings/sec, 335 secs
lola: 169183 markings, 28272126 edges, 511 markings/sec, 340 secs
lola: 171518 markings, 28684887 edges, 467 markings/sec, 345 secs
lola: 174016 markings, 29093367 edges, 500 markings/sec, 350 secs
lola: 176605 markings, 29506502 edges, 518 markings/sec, 355 secs
lola: 178982 markings, 29926417 edges, 475 markings/sec, 360 secs
lola: 181548 markings, 30339500 edges, 513 markings/sec, 365 secs
lola: 183894 markings, 30754317 edges, 469 markings/sec, 370 secs
lola: 186381 markings, 31166207 edges, 497 markings/sec, 375 secs
lola: 189025 markings, 31582249 edges, 529 markings/sec, 380 secs
lola: 191384 markings, 31999244 edges, 472 markings/sec, 385 secs
lola: 193922 markings, 32412613 edges, 508 markings/sec, 390 secs
lola: 196285 markings, 32828262 edges, 473 markings/sec, 395 secs
lola: 198771 markings, 33240083 edges, 497 markings/sec, 400 secs
lola: 201411 markings, 33653340 edges, 528 markings/sec, 405 secs
lola: 203794 markings, 34074244 edges, 477 markings/sec, 410 secs
lola: 206323 markings, 34490471 edges, 506 markings/sec, 415 secs
lola: 208731 markings, 34908370 edges, 482 markings/sec, 420 secs
lola: 211207 markings, 35322956 edges, 495 markings/sec, 425 secs
lola: 213876 markings, 35738917 edges, 534 markings/sec, 430 secs
lola: 216246 markings, 36156793 edges, 474 markings/sec, 435 secs
lola: 218741 markings, 36569737 edges, 499 markings/sec, 440 secs
lola: 221156 markings, 36986117 edges, 483 markings/sec, 445 secs
lola: 223610 markings, 37398910 edges, 491 markings/sec, 450 secs
lola: 226258 markings, 37812795 edges, 530 markings/sec, 455 secs
lola: 228656 markings, 38233639 edges, 480 markings/sec, 460 secs
lola: 231170 markings, 38650490 edges, 503 markings/sec, 465 secs
lola: 233586 markings, 39065534 edges, 483 markings/sec, 470 secs
lola: 236038 markings, 39480433 edges, 490 markings/sec, 475 secs
lola: 238663 markings, 39891504 edges, 525 markings/sec, 480 secs
lola: 241062 markings, 40307377 edges, 480 markings/sec, 485 secs
lola: 243531 markings, 40720061 edges, 494 markings/sec, 490 secs
lola: 245961 markings, 41132956 edges, 486 markings/sec, 495 secs
lola: 248353 markings, 41544535 edges, 478 markings/sec, 500 secs
lola: 250981 markings, 41954726 edges, 526 markings/sec, 505 secs
lola: 253344 markings, 42361054 edges, 473 markings/sec, 510 secs
lola: 255789 markings, 42775060 edges, 489 markings/sec, 515 secs
lola: 258254 markings, 43189455 edges, 493 markings/sec, 520 secs
lola: 260629 markings, 43601811 edges, 475 markings/sec, 525 secs
lola: 263264 markings, 44013273 edges, 527 markings/sec, 530 secs
lola: 265713 markings, 44427624 edges, 490 markings/sec, 535 secs
lola: 268071 markings, 44834487 edges, 472 markings/sec, 540 secs
lola: 270555 markings, 45245150 edges, 497 markings/sec, 545 secs
lola: 272845 markings, 45649800 edges, 458 markings/sec, 550 secs
lola: 275460 markings, 46056771 edges, 523 markings/sec, 555 secs
lola: 278081 markings, 46466604 edges, 524 markings/sec, 560 secs
lola: 280813 markings, 46864927 edges, 546 markings/sec, 565 secs
lola: 283610 markings, 47272813 edges, 559 markings/sec, 570 secs
lola: 286246 markings, 47681836 edges, 527 markings/sec, 575 secs
lola: 288951 markings, 48091611 edges, 541 markings/sec, 580 secs
lola: 291659 markings, 48499670 edges, 542 markings/sec, 585 secs
lola: 294402 markings, 48907118 edges, 549 markings/sec, 590 secs
lola: 297148 markings, 49313746 edges, 549 markings/sec, 595 secs
lola: 299928 markings, 49723222 edges, 556 markings/sec, 600 secs
lola: 302344 markings, 50137147 edges, 483 markings/sec, 605 secs
lola: 304845 markings, 50549487 edges, 500 markings/sec, 610 secs
lola: 307375 markings, 50961352 edges, 506 markings/sec, 615 secs
lola: 309753 markings, 51369792 edges, 476 markings/sec, 620 secs
lola: 312260 markings, 51772943 edges, 501 markings/sec, 625 secs
lola: 315045 markings, 52179776 edges, 557 markings/sec, 630 secs
lola: 317607 markings, 52590599 edges, 512 markings/sec, 635 secs
lola: 319965 markings, 52999561 edges, 472 markings/sec, 640 secs
lola: 322435 markings, 53403082 edges, 494 markings/sec, 645 secs
lola: 324745 markings, 53811143 edges, 462 markings/sec, 650 secs
lola: 327305 markings, 54216979 edges, 512 markings/sec, 655 secs
lola: 329795 markings, 54625600 edges, 498 markings/sec, 660 secs
lola: 332338 markings, 55031759 edges, 509 markings/sec, 665 secs
lola: 335001 markings, 55434631 edges, 533 markings/sec, 670 secs
lola: 337773 markings, 55838613 edges, 554 markings/sec, 675 secs
lola: 340519 markings, 56240472 edges, 549 markings/sec, 680 secs
lola: 343354 markings, 56641830 edges, 567 markings/sec, 685 secs
lola: 345867 markings, 57044270 edges, 503 markings/sec, 690 secs
lola: 348388 markings, 57450835 edges, 504 markings/sec, 695 secs
lola: 350916 markings, 57858109 edges, 506 markings/sec, 700 secs
lola: 353316 markings, 58268712 edges, 480 markings/sec, 705 secs
lola: 355780 markings, 58675814 edges, 493 markings/sec, 710 secs
lola: 358269 markings, 59083594 edges, 498 markings/sec, 715 secs
lola: 360528 markings, 59482094 edges, 452 markings/sec, 720 secs
lola: 363083 markings, 59886917 edges, 511 markings/sec, 725 secs
lola: 365540 markings, 60289649 edges, 491 markings/sec, 730 secs
lola: 367766 markings, 60683400 edges, 445 markings/sec, 735 secs
lola: 370276 markings, 61087289 edges, 502 markings/sec, 740 secs
lola: 372561 markings, 61492154 edges, 457 markings/sec, 745 secs
lola: 375026 markings, 61892474 edges, 493 markings/sec, 750 secs
lola: 377568 markings, 62298026 edges, 508 markings/sec, 755 secs
lola: 379888 markings, 62707281 edges, 464 markings/sec, 760 secs
lola: 382396 markings, 63112929 edges, 502 markings/sec, 765 secs
lola: 384712 markings, 63521853 edges, 463 markings/sec, 770 secs
lola: 387153 markings, 63927191 edges, 488 markings/sec, 775 secs
lola: 389743 markings, 64330898 edges, 518 markings/sec, 780 secs
lola: 392348 markings, 64736403 edges, 521 markings/sec, 785 secs
lola: 395115 markings, 65140231 edges, 553 markings/sec, 790 secs
lola: 397755 markings, 65534356 edges, 528 markings/sec, 795 secs
lola: 400434 markings, 65940605 edges, 536 markings/sec, 800 secs
lola: 403031 markings, 66345290 edges, 519 markings/sec, 805 secs
lola: 405766 markings, 66748946 edges, 547 markings/sec, 810 secs
lola: 408565 markings, 67150511 edges, 560 markings/sec, 815 secs
lola: 411325 markings, 67554182 edges, 552 markings/sec, 820 secs
lola: 413697 markings, 67963236 edges, 474 markings/sec, 825 secs
lola: 416103 markings, 68362101 edges, 481 markings/sec, 830 secs
lola: 418871 markings, 68765629 edges, 554 markings/sec, 835 secs
lola: 421794 markings, 69167130 edges, 585 markings/sec, 840 secs
lola: 424655 markings, 69568698 edges, 572 markings/sec, 845 secs
lola: 427595 markings, 69973631 edges, 588 markings/sec, 850 secs
lola: 430201 markings, 70380587 edges, 521 markings/sec, 855 secs
lola: 432995 markings, 70784526 edges, 559 markings/sec, 860 secs
lola: 435601 markings, 71190211 edges, 521 markings/sec, 865 secs
lola: 438311 markings, 71591390 edges, 542 markings/sec, 870 secs
lola: 441189 markings, 71993498 edges, 576 markings/sec, 875 secs
lola: 443853 markings, 72400498 edges, 533 markings/sec, 880 secs
lola: 446185 markings, 72811744 edges, 466 markings/sec, 885 secs
lola: 448639 markings, 73218864 edges, 491 markings/sec, 890 secs
lola: 451246 markings, 73626360 edges, 521 markings/sec, 895 secs
lola: 453884 markings, 74035040 edges, 528 markings/sec, 900 secs
lola: 456699 markings, 74440408 edges, 563 markings/sec, 905 secs
lola: 459604 markings, 74847820 edges, 581 markings/sec, 910 secs
lola: 462413 markings, 75250807 edges, 562 markings/sec, 915 secs
lola: 465273 markings, 75652463 edges, 572 markings/sec, 920 secs
lola: 468254 markings, 76051465 edges, 596 markings/sec, 925 secs
lola: 471321 markings, 76444322 edges, 613 markings/sec, 930 secs
lola: 474232 markings, 76833573 edges, 582 markings/sec, 935 secs
lola: 477046 markings, 77237810 edges, 563 markings/sec, 940 secs
lola: 479658 markings, 77641104 edges, 522 markings/sec, 945 secs
lola: 482527 markings, 78043767 edges, 574 markings/sec, 950 secs
lola: 484913 markings, 78452859 edges, 477 markings/sec, 955 secs
lola: 487314 markings, 78856897 edges, 480 markings/sec, 960 secs
lola: 489875 markings, 79258698 edges, 512 markings/sec, 965 secs
lola: 492521 markings, 79658516 edges, 529 markings/sec, 970 secs
lola: 495110 markings, 80060298 edges, 518 markings/sec, 975 secs
lola: 497897 markings, 80460448 edges, 557 markings/sec, 980 secs
lola: 500659 markings, 80861398 edges, 552 markings/sec, 985 secs
lola: 503253 markings, 81264034 edges, 519 markings/sec, 990 secs
lola: 505916 markings, 81665972 edges, 533 markings/sec, 995 secs
lola: 508608 markings, 82071265 edges, 538 markings/sec, 1000 secs
lola: 511215 markings, 82475426 edges, 521 markings/sec, 1005 secs
lola: 513580 markings, 82893508 edges, 473 markings/sec, 1010 secs
lola: 516108 markings, 83305534 edges, 506 markings/sec, 1015 secs
lola: 518496 markings, 83724207 edges, 478 markings/sec, 1020 secs
lola: 520979 markings, 84138189 edges, 497 markings/sec, 1025 secs
lola: 523641 markings, 84552620 edges, 532 markings/sec, 1030 secs
lola: 525995 markings, 84969389 edges, 471 markings/sec, 1035 secs
lola: 528489 markings, 85381825 edges, 499 markings/sec, 1040 secs
lola: 530891 markings, 85796270 edges, 480 markings/sec, 1045 secs
lola: 533348 markings, 86208929 edges, 491 markings/sec, 1050 secs
lola: 535987 markings, 86621299 edges, 528 markings/sec, 1055 secs
lola: 538628 markings, 87033818 edges, 528 markings/sec, 1060 secs
lola: 541320 markings, 87445125 edges, 538 markings/sec, 1065 secs
lola: 544199 markings, 87855047 edges, 576 markings/sec, 1070 secs
lola: 546932 markings, 88266960 edges, 547 markings/sec, 1075 secs
lola: 549724 markings, 88678551 edges, 558 markings/sec, 1080 secs
lola: 552655 markings, 89088795 edges, 586 markings/sec, 1085 secs
lola: 555409 markings, 89497933 edges, 551 markings/sec, 1090 secs
lola: 557773 markings, 89908873 edges, 473 markings/sec, 1095 secs
lola: 560225 markings, 90321486 edges, 490 markings/sec, 1100 secs
lola: 562667 markings, 90734522 edges, 488 markings/sec, 1105 secs
lola: 565054 markings, 91146062 edges, 477 markings/sec, 1110 secs
lola: 567694 markings, 91556962 edges, 528 markings/sec, 1115 secs
lola: 570095 markings, 91969243 edges, 480 markings/sec, 1120 secs
lola: 572509 markings, 92379029 edges, 483 markings/sec, 1125 secs
lola: 574952 markings, 92789255 edges, 489 markings/sec, 1130 secs
lola: 577406 markings, 93197803 edges, 491 markings/sec, 1135 secs
lola: 580039 markings, 93606748 edges, 527 markings/sec, 1140 secs
lola: 582724 markings, 94014901 edges, 537 markings/sec, 1145 secs
lola: 585532 markings, 94421915 edges, 562 markings/sec, 1150 secs
lola: 588471 markings, 94828678 edges, 588 markings/sec, 1155 secs
lola: 591145 markings, 95237995 edges, 535 markings/sec, 1160 secs
lola: 593700 markings, 95647105 edges, 511 markings/sec, 1165 secs
lola: 596269 markings, 96055305 edges, 514 markings/sec, 1170 secs
lola: 598879 markings, 96463373 edges, 522 markings/sec, 1175 secs
lola: 601504 markings, 96875075 edges, 525 markings/sec, 1180 secs
lola: 604349 markings, 97283264 edges, 569 markings/sec, 1185 secs
lola: 606967 markings, 97692481 edges, 524 markings/sec, 1190 secs
lola: 609722 markings, 98097979 edges, 551 markings/sec, 1195 secs
lola: 612607 markings, 98505108 edges, 577 markings/sec, 1200 secs
lola: 615231 markings, 98915455 edges, 525 markings/sec, 1205 secs
lola: 617946 markings, 99320254 edges, 543 markings/sec, 1210 secs
lola: 620819 markings, 99723934 edges, 575 markings/sec, 1215 secs
lola: 623607 markings, 100131440 edges, 558 markings/sec, 1220 secs
lola: 626305 markings, 100539535 edges, 540 markings/sec, 1225 secs
lola: 628934 markings, 100953967 edges, 526 markings/sec, 1230 secs
lola: 631374 markings, 101371762 edges, 488 markings/sec, 1235 secs
lola: 633970 markings, 101785446 edges, 519 markings/sec, 1240 secs
lola: 636635 markings, 102200724 edges, 533 markings/sec, 1245 secs
lola: 638993 markings, 102617039 edges, 472 markings/sec, 1250 secs
lola: 641571 markings, 103029760 edges, 516 markings/sec, 1255 secs
lola: 644220 markings, 103443915 edges, 530 markings/sec, 1260 secs
lola: 646661 markings, 103855780 edges, 488 markings/sec, 1265 secs
lola: 649049 markings, 104270472 edges, 478 markings/sec, 1270 secs
lola: 651574 markings, 104684305 edges, 505 markings/sec, 1275 secs
lola: 653902 markings, 105095789 edges, 466 markings/sec, 1280 secs
lola: 656524 markings, 105507046 edges, 524 markings/sec, 1285 secs
lola: 659150 markings, 105918057 edges, 525 markings/sec, 1290 secs
lola: 661807 markings, 106329864 edges, 531 markings/sec, 1295 secs
lola: 664543 markings, 106739264 edges, 547 markings/sec, 1300 secs
lola: 667141 markings, 107145977 edges, 520 markings/sec, 1305 secs
lola: 669934 markings, 107552546 edges, 559 markings/sec, 1310 secs
lola: 672857 markings, 107957551 edges, 585 markings/sec, 1315 secs
lola: 675748 markings, 108363280 edges, 578 markings/sec, 1320 secs
lola: 678663 markings, 108768614 edges, 583 markings/sec, 1325 secs
lola: 681570 markings, 109174313 edges, 581 markings/sec, 1330 secs
lola: 684630 markings, 109569281 edges, 612 markings/sec, 1335 secs
lola: 687202 markings, 109982356 edges, 514 markings/sec, 1340 secs
lola: 689558 markings, 110397353 edges, 471 markings/sec, 1345 secs
lola: 692117 markings, 110811113 edges, 512 markings/sec, 1350 secs
lola: 694430 markings, 111222578 edges, 463 markings/sec, 1355 secs
lola: 696993 markings, 111628117 edges, 513 markings/sec, 1360 secs
lola: 699511 markings, 112039783 edges, 504 markings/sec, 1365 secs
lola: 701825 markings, 112449708 edges, 463 markings/sec, 1370 secs
lola: 704355 markings, 112857792 edges, 506 markings/sec, 1375 secs
lola: 706708 markings, 113268496 edges, 471 markings/sec, 1380 secs
lola: 709332 markings, 113676525 edges, 525 markings/sec, 1385 secs
lola: 711935 markings, 114083480 edges, 521 markings/sec, 1390 secs
lola: 714688 markings, 114489460 edges, 551 markings/sec, 1395 secs
lola: 717511 markings, 114895215 edges, 565 markings/sec, 1400 secs
lola: 720413 markings, 115300595 edges, 580 markings/sec, 1405 secs
lola: 722844 markings, 115710728 edges, 486 markings/sec, 1410 secs
lola: 725242 markings, 116115771 edges, 480 markings/sec, 1415 secs
lola: 727686 markings, 116526677 edges, 489 markings/sec, 1420 secs
lola: 730034 markings, 116934624 edges, 470 markings/sec, 1425 secs
lola: 732634 markings, 117340966 edges, 520 markings/sec, 1430 secs
lola: 735079 markings, 117750819 edges, 489 markings/sec, 1435 secs
lola: 737683 markings, 118157705 edges, 521 markings/sec, 1440 secs
lola: 740391 markings, 118562792 edges, 542 markings/sec, 1445 secs
lola: 743202 markings, 118967666 edges, 562 markings/sec, 1450 secs
lola: 745940 markings, 119373172 edges, 548 markings/sec, 1455 secs
lola: 748850 markings, 119777006 edges, 582 markings/sec, 1460 secs
lola: 751689 markings, 120183328 edges, 568 markings/sec, 1465 secs
lola: 754656 markings, 120589696 edges, 593 markings/sec, 1470 secs
lola: 757693 markings, 120995472 edges, 607 markings/sec, 1475 secs
lola: 760329 markings, 121408329 edges, 527 markings/sec, 1480 secs
lola: 763091 markings, 121815658 edges, 552 markings/sec, 1485 secs
lola: 766013 markings, 122224287 edges, 584 markings/sec, 1490 secs
lola: 768889 markings, 122628484 edges, 575 markings/sec, 1495 secs
lola: 771743 markings, 123034924 edges, 571 markings/sec, 1500 secs
lola: 774548 markings, 123443007 edges, 561 markings/sec, 1505 secs
lola: 777400 markings, 123849083 edges, 570 markings/sec, 1510 secs
lola: 780317 markings, 124250872 edges, 583 markings/sec, 1515 secs
lola: 783315 markings, 124654427 edges, 600 markings/sec, 1520 secs
lola: 786335 markings, 125051646 edges, 604 markings/sec, 1525 secs
lola: 788921 markings, 125455850 edges, 517 markings/sec, 1530 secs
lola: 791244 markings, 125860726 edges, 465 markings/sec, 1535 secs
lola: 793835 markings, 126263590 edges, 518 markings/sec, 1540 secs
lola: 796733 markings, 126666459 edges, 580 markings/sec, 1545 secs
lola: 799658 markings, 127068641 edges, 585 markings/sec, 1550 secs
lola: 802651 markings, 127472829 edges, 599 markings/sec, 1555 secs
lola: 805065 markings, 127887979 edges, 483 markings/sec, 1560 secs
lola: 807524 markings, 128298849 edges, 492 markings/sec, 1565 secs
lola: 810410 markings, 128706770 edges, 577 markings/sec, 1570 secs
lola: 813007 markings, 129114287 edges, 519 markings/sec, 1575 secs
lola: 815367 markings, 129524148 edges, 472 markings/sec, 1580 secs
lola: 817829 markings, 129928225 edges, 492 markings/sec, 1585 secs
lola: 820125 markings, 130334176 edges, 459 markings/sec, 1590 secs
lola: 822692 markings, 130738863 edges, 513 markings/sec, 1595 secs
lola: 825298 markings, 131145611 edges, 521 markings/sec, 1600 secs
lola: 827881 markings, 131548966 edges, 517 markings/sec, 1605 secs
lola: 830673 markings, 131951580 edges, 558 markings/sec, 1610 secs
lola: 833262 markings, 132355830 edges, 518 markings/sec, 1615 secs
lola: 836052 markings, 132758269 edges, 558 markings/sec, 1620 secs
lola: 838882 markings, 133164124 edges, 566 markings/sec, 1625 secs
lola: 841596 markings, 133570548 edges, 543 markings/sec, 1630 secs
lola: 844207 markings, 133978384 edges, 522 markings/sec, 1635 secs
lola: 846736 markings, 134385184 edges, 506 markings/sec, 1640 secs
lola: 849555 markings, 134791162 edges, 564 markings/sec, 1645 secs
lola: 852351 markings, 135197850 edges, 559 markings/sec, 1650 secs
lola: 855337 markings, 135601960 edges, 597 markings/sec, 1655 secs
lola: 857944 markings, 136010466 edges, 521 markings/sec, 1660 secs
lola: 860764 markings, 136417141 edges, 564 markings/sec, 1665 secs
lola: 863650 markings, 136822553 edges, 577 markings/sec, 1670 secs
lola: 866641 markings, 137224988 edges, 598 markings/sec, 1675 secs
lola: 869913 markings, 137628695 edges, 654 markings/sec, 1680 secs
lola: 872287 markings, 138043520 edges, 475 markings/sec, 1685 secs
lola: 874754 markings, 138453115 edges, 493 markings/sec, 1690 secs
lola: 877155 markings, 138865342 edges, 480 markings/sec, 1695 secs
lola: 879560 markings, 139273399 edges, 481 markings/sec, 1700 secs
lola: 882184 markings, 139682011 edges, 525 markings/sec, 1705 secs
lola: 884762 markings, 140090595 edges, 516 markings/sec, 1710 secs
lola: 887097 markings, 140502806 edges, 467 markings/sec, 1715 secs
lola: 889621 markings, 140910966 edges, 505 markings/sec, 1720 secs
lola: 891959 markings, 141322338 edges, 468 markings/sec, 1725 secs
lola: 894413 markings, 141729704 edges, 491 markings/sec, 1730 secs
lola: 897034 markings, 142138094 edges, 524 markings/sec, 1735 secs
lola: 899728 markings, 142545717 edges, 539 markings/sec, 1740 secs
lola: 902277 markings, 142955009 edges, 510 markings/sec, 1745 secs
lola: 904591 markings, 143366045 edges, 463 markings/sec, 1750 secs
lola: 907121 markings, 143773987 edges, 506 markings/sec, 1755 secs
lola: 909435 markings, 144182262 edges, 463 markings/sec, 1760 secs
lola: 911919 markings, 144586399 edges, 497 markings/sec, 1765 secs
lola: 914427 markings, 144985129 edges, 502 markings/sec, 1770 secs
lola: 916891 markings, 145386500 edges, 493 markings/sec, 1775 secs
lola: 919523 markings, 145791678 edges, 526 markings/sec, 1780 secs
lola: 922372 markings, 146195682 edges, 570 markings/sec, 1785 secs
lola: 925093 markings, 146599766 edges, 544 markings/sec, 1790 secs
lola: 927882 markings, 147004175 edges, 558 markings/sec, 1795 secs
lola: 930460 markings, 147407586 edges, 516 markings/sec, 1800 secs
lola: 932767 markings, 147814001 edges, 461 markings/sec, 1805 secs
lola: 935283 markings, 148220707 edges, 503 markings/sec, 1810 secs
lola: 937717 markings, 148628035 edges, 487 markings/sec, 1815 secs
lola: 940267 markings, 149037580 edges, 510 markings/sec, 1820 secs
lola: 942632 markings, 149455559 edges, 473 markings/sec, 1825 secs
lola: 945210 markings, 149871530 edges, 516 markings/sec, 1830 secs
lola: 947566 markings, 150287048 edges, 471 markings/sec, 1835 secs
lola: 950082 markings, 150699319 edges, 503 markings/sec, 1840 secs
lola: 952687 markings, 151113891 edges, 521 markings/sec, 1845 secs
lola: 955050 markings, 151531395 edges, 473 markings/sec, 1850 secs
lola: 957643 markings, 151944320 edges, 519 markings/sec, 1855 secs
lola: 960283 markings, 152355205 edges, 528 markings/sec, 1860 secs
lola: 963035 markings, 152765758 edges, 550 markings/sec, 1865 secs
lola: 965879 markings, 153175683 edges, 569 markings/sec, 1870 secs
lola: 968770 markings, 153585327 edges, 578 markings/sec, 1875 secs
lola: 971654 markings, 153994817 edges, 577 markings/sec, 1880 secs
lola: 974170 markings, 154410970 edges, 503 markings/sec, 1885 secs
lola: 976526 markings, 154826106 edges, 471 markings/sec, 1890 secs
lola: 979175 markings, 155239858 edges, 530 markings/sec, 1895 secs
lola: 981670 markings, 155653987 edges, 499 markings/sec, 1900 secs
lola: 984015 markings, 156067593 edges, 469 markings/sec, 1905 secs
lola: 986569 markings, 156479905 edges, 511 markings/sec, 1910 secs
lola: 988885 markings, 156891230 edges, 463 markings/sec, 1915 secs
lola: 991467 markings, 157300168 edges, 516 markings/sec, 1920 secs
lola: 993986 markings, 157712521 edges, 504 markings/sec, 1925 secs
lola: 996464 markings, 158122837 edges, 496 markings/sec, 1930 secs
lola: 999086 markings, 158530392 edges, 524 markings/sec, 1935 secs
lola: 1001765 markings, 158936268 edges, 536 markings/sec, 1940 secs
lola: 1004606 markings, 159341195 edges, 568 markings/sec, 1945 secs
lola: 1007491 markings, 159746214 edges, 577 markings/sec, 1950 secs
lola: 1010065 markings, 160155476 edges, 515 markings/sec, 1955 secs
lola: 1012687 markings, 160565781 edges, 524 markings/sec, 1960 secs
lola: 1015496 markings, 160973129 edges, 562 markings/sec, 1965 secs
lola: 1017839 markings, 161386160 edges, 469 markings/sec, 1970 secs
lola: 1020323 markings, 161795569 edges, 497 markings/sec, 1975 secs
lola: 1022968 markings, 162207154 edges, 529 markings/sec, 1980 secs
lola: 1025584 markings, 162615845 edges, 523 markings/sec, 1985 secs
lola: 1028395 markings, 163021448 edges, 562 markings/sec, 1990 secs
lola: 1030813 markings, 163437074 edges, 484 markings/sec, 1995 secs
lola: 1033244 markings, 163851533 edges, 486 markings/sec, 2000 secs
lola: 1035836 markings, 164265199 edges, 518 markings/sec, 2005 secs
lola: 1038181 markings, 164679501 edges, 469 markings/sec, 2010 secs
lola: 1040722 markings, 165090203 edges, 508 markings/sec, 2015 secs
lola: 1043292 markings, 165503239 edges, 514 markings/sec, 2020 secs
lola: 1045614 markings, 165915997 edges, 464 markings/sec, 2025 secs
lola: 1048164 markings, 166326092 edges, 510 markings/sec, 2030 secs
lola: 1050505 markings, 166739645 edges, 468 markings/sec, 2035 secs
lola: 1053003 markings, 167148195 edges, 500 markings/sec, 2040 secs
lola: 1055621 markings, 167557748 edges, 524 markings/sec, 2045 secs
lola: 1058246 markings, 167968921 edges, 525 markings/sec, 2050 secs
lola: 1061058 markings, 168375933 edges, 562 markings/sec, 2055 secs
lola: 1063695 markings, 168785732 edges, 527 markings/sec, 2060 secs
lola: 1066418 markings, 169189705 edges, 545 markings/sec, 2065 secs
lola: 1069298 markings, 169592077 edges, 576 markings/sec, 2070 secs
lola: 1071928 markings, 170002219 edges, 526 markings/sec, 2075 secs
lola: 1074709 markings, 170407532 edges, 556 markings/sec, 2080 secs
lola: 1077353 markings, 170816481 edges, 529 markings/sec, 2085 secs
lola: 1080063 markings, 171220754 edges, 542 markings/sec, 2090 secs
lola: 1082861 markings, 171621224 edges, 560 markings/sec, 2095 secs
lola: 1085491 markings, 172025440 edges, 526 markings/sec, 2100 secs
lola: 1088169 markings, 172425793 edges, 536 markings/sec, 2105 secs
lola: 1090763 markings, 172831880 edges, 519 markings/sec, 2110 secs
lola: 1093371 markings, 173236756 edges, 522 markings/sec, 2115 secs
lola: 1096115 markings, 173636566 edges, 549 markings/sec, 2120 secs
lola: 1098818 markings, 174039102 edges, 541 markings/sec, 2125 secs
lola: 1101487 markings, 174445029 edges, 534 markings/sec, 2130 secs
lola: 1104281 markings, 174847908 edges, 559 markings/sec, 2135 secs
lola: 1107155 markings, 175247813 edges, 575 markings/sec, 2140 secs
lola: 1110075 markings, 175651575 edges, 584 markings/sec, 2145 secs
lola: 1112788 markings, 176053483 edges, 543 markings/sec, 2150 secs
lola: 1115441 markings, 176455909 edges, 531 markings/sec, 2155 secs
lola: 1118193 markings, 176862417 edges, 550 markings/sec, 2160 secs
lola: 1120694 markings, 177274889 edges, 500 markings/sec, 2165 secs
lola: 1123021 markings, 177685905 edges, 465 markings/sec, 2170 secs
lola: 1125562 markings, 178096033 edges, 508 markings/sec, 2175 secs
lola: 1127874 markings, 178505174 edges, 462 markings/sec, 2180 secs
lola: 1130410 markings, 178911759 edges, 507 markings/sec, 2185 secs
lola: 1132944 markings, 179321941 edges, 507 markings/sec, 2190 secs
lola: 1135272 markings, 179734957 edges, 466 markings/sec, 2195 secs
lola: 1137820 markings, 180144876 edges, 510 markings/sec, 2200 secs
lola: 1140147 markings, 180555980 edges, 465 markings/sec, 2205 secs
lola: 1142655 markings, 180964384 edges, 502 markings/sec, 2210 secs
lola: 1145264 markings, 181372474 edges, 522 markings/sec, 2215 secs
lola: 1147867 markings, 181777756 edges, 521 markings/sec, 2220 secs
lola: 1150489 markings, 182184688 edges, 524 markings/sec, 2225 secs
lola: 1153346 markings, 182588659 edges, 571 markings/sec, 2230 secs
lola: 1156039 markings, 182989448 edges, 539 markings/sec, 2235 secs
lola: 1158361 markings, 183398923 edges, 464 markings/sec, 2240 secs
lola: 1160850 markings, 183805282 edges, 498 markings/sec, 2245 secs
lola: 1163202 markings, 184218279 edges, 470 markings/sec, 2250 secs
lola: 1165791 markings, 184627454 edges, 518 markings/sec, 2255 secs
lola: 1168720 markings, 185032401 edges, 586 markings/sec, 2260 secs
lola: 1171670 markings, 185438206 edges, 590 markings/sec, 2265 secs
lola: 1174757 markings, 185841437 edges, 617 markings/sec, 2270 secs
lola: 1177800 markings, 186247391 edges, 609 markings/sec, 2275 secs
lola: 1180763 markings, 186653600 edges, 593 markings/sec, 2280 secs
lola: 1183452 markings, 187061356 edges, 538 markings/sec, 2285 secs
lola: 1186344 markings, 187468127 edges, 578 markings/sec, 2290 secs
lola: 1189341 markings, 187871354 edges, 599 markings/sec, 2295 secs
lola: 1192334 markings, 188276406 edges, 599 markings/sec, 2300 secs
lola: 1194871 markings, 188688105 edges, 507 markings/sec, 2305 secs
lola: 1197229 markings, 189097421 edges, 472 markings/sec, 2310 secs
lola: 1199718 markings, 189506537 edges, 498 markings/sec, 2315 secs
lola: 1202024 markings, 189913292 edges, 461 markings/sec, 2320 secs
lola: 1204610 markings, 190319245 edges, 517 markings/sec, 2325 secs
lola: 1207124 markings, 190728401 edges, 503 markings/sec, 2330 secs
lola: 1209716 markings, 191133915 edges, 518 markings/sec, 2335 secs
lola: 1212395 markings, 191539797 edges, 536 markings/sec, 2340 secs
lola: 1214751 markings, 191954568 edges, 471 markings/sec, 2345 secs
lola: 1217295 markings, 192365615 edges, 509 markings/sec, 2350 secs
lola: 1219633 markings, 192777837 edges, 468 markings/sec, 2355 secs
lola: 1222101 markings, 193186741 edges, 494 markings/sec, 2360 secs
lola: 1224726 markings, 193598000 edges, 525 markings/sec, 2365 secs
lola: 1227076 markings, 194012936 edges, 470 markings/sec, 2370 secs
lola: 1229572 markings, 194424167 edges, 499 markings/sec, 2375 secs
lola: 1231956 markings, 194836922 edges, 477 markings/sec, 2380 secs
lola: 1234390 markings, 195246941 edges, 487 markings/sec, 2385 secs
lola: 1237013 markings, 195655717 edges, 525 markings/sec, 2390 secs
lola: 1239646 markings, 196065400 edges, 527 markings/sec, 2395 secs
lola: 1242318 markings, 196471346 edges, 534 markings/sec, 2400 secs
lola: 1245113 markings, 196877114 edges, 559 markings/sec, 2405 secs
lola: 1247819 markings, 197285524 edges, 541 markings/sec, 2410 secs
lola: 1250519 markings, 197692889 edges, 540 markings/sec, 2415 secs
lola: 1253188 markings, 198100778 edges, 534 markings/sec, 2420 secs
lola: 1256157 markings, 198505878 edges, 594 markings/sec, 2425 secs
lola: 1259153 markings, 198908289 edges, 599 markings/sec, 2430 secs
lola: 1262065 markings, 199314332 edges, 582 markings/sec, 2435 secs
lola: 1264984 markings, 199721768 edges, 584 markings/sec, 2440 secs
lola: 1267917 markings, 200123076 edges, 587 markings/sec, 2445 secs
lola: 1270774 markings, 200527208 edges, 571 markings/sec, 2450 secs
lola: 1273504 markings, 200933892 edges, 546 markings/sec, 2455 secs
lola: 1276388 markings, 201339249 edges, 577 markings/sec, 2460 secs
lola: 1279279 markings, 201743844 edges, 578 markings/sec, 2465 secs
lola: 1282434 markings, 202146961 edges, 631 markings/sec, 2470 secs
lola: 1285046 markings, 202556279 edges, 522 markings/sec, 2475 secs
lola: 1287555 markings, 202961650 edges, 502 markings/sec, 2480 secs
lola: 1290402 markings, 203365243 edges, 569 markings/sec, 2485 secs
lola: 1292899 markings, 203773396 edges, 499 markings/sec, 2490 secs
lola: 1295362 markings, 204183284 edges, 493 markings/sec, 2495 secs
lola: 1297696 markings, 204592199 edges, 467 markings/sec, 2500 secs
lola: 1300315 markings, 205000616 edges, 524 markings/sec, 2505 secs
lola: 1303102 markings, 205405367 edges, 557 markings/sec, 2510 secs
lola: 1305735 markings, 205816312 edges, 527 markings/sec, 2515 secs
lola: 1308410 markings, 206224493 edges, 535 markings/sec, 2520 secs
lola: 1311179 markings, 206632508 edges, 554 markings/sec, 2525 secs
lola: 1313773 markings, 207037601 edges, 519 markings/sec, 2530 secs
lola: 1316671 markings, 207442497 edges, 580 markings/sec, 2535 secs
lola: 1319416 markings, 207851033 edges, 549 markings/sec, 2540 secs
lola: 1322030 markings, 208259259 edges, 523 markings/sec, 2545 secs
lola: 1324642 markings, 208667102 edges, 522 markings/sec, 2550 secs
lola: 1327093 markings, 209079183 edges, 490 markings/sec, 2555 secs
lola: 1329449 markings, 209490441 edges, 471 markings/sec, 2560 secs
lola: 1331983 markings, 209902475 edges, 507 markings/sec, 2565 secs
lola: 1334298 markings, 210312051 edges, 463 markings/sec, 2570 secs
lola: 1336878 markings, 210720198 edges, 516 markings/sec, 2575 secs
lola: 1339382 markings, 211131636 edges, 501 markings/sec, 2580 secs
lola: 1341705 markings, 211542145 edges, 465 markings/sec, 2585 secs
lola: 1344246 markings, 211951829 edges, 508 markings/sec, 2590 secs
lola: 1346565 markings, 212362922 edges, 464 markings/sec, 2595 secs
lola: 1349114 markings, 212771034 edges, 510 markings/sec, 2600 secs
lola: 1351737 markings, 213179363 edges, 525 markings/sec, 2605 secs
lola: 1354348 markings, 213587308 edges, 522 markings/sec, 2610 secs
lola: 1357073 markings, 213992752 edges, 545 markings/sec, 2615 secs
lola: 1359937 markings, 214398463 edges, 573 markings/sec, 2620 secs
lola: 1362561 markings, 214806732 edges, 525 markings/sec, 2625 secs
lola: 1365401 markings, 215212079 edges, 568 markings/sec, 2630 secs
lola: 1368249 markings, 215616992 edges, 570 markings/sec, 2635 secs
lola: 1370889 markings, 216024404 edges, 528 markings/sec, 2640 secs
lola: 1373215 markings, 216435175 edges, 465 markings/sec, 2645 secs
lola: 1375733 markings, 216842129 edges, 504 markings/sec, 2650 secs
lola: 1378043 markings, 217249204 edges, 462 markings/sec, 2655 secs
lola: 1380463 markings, 217651758 edges, 484 markings/sec, 2660 secs
lola: 1383069 markings, 218057018 edges, 521 markings/sec, 2665 secs
lola: 1385374 markings, 218465118 edges, 461 markings/sec, 2670 secs
lola: 1387811 markings, 218868750 edges, 487 markings/sec, 2675 secs
lola: 1390174 markings, 219274817 edges, 473 markings/sec, 2680 secs
lola: 1392663 markings, 219678772 edges, 498 markings/sec, 2685 secs
lola: 1395232 markings, 220080394 edges, 514 markings/sec, 2690 secs
lola: 1397903 markings, 220480004 edges, 534 markings/sec, 2695 secs
lola: 1400696 markings, 220881414 edges, 559 markings/sec, 2700 secs
lola: 1403577 markings, 221280655 edges, 576 markings/sec, 2705 secs
lola: 1406174 markings, 221684307 edges, 519 markings/sec, 2710 secs
lola: 1408691 markings, 222087666 edges, 503 markings/sec, 2715 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no unknown no no no no yes yes no unknown no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: no no no no unknown no no no no yes yes no unknown no no no
preliminary result: no no no no unknown no no no no yes yes no unknown no no no
lola: memory consumption: 4552652 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: no no no no unknown no no no no yes yes no unknown no no no
rslt: finished
BK_STOP 1589895477534
--------------------
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="DLCflexbar-PT-8a"
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 DLCflexbar-PT-8a, 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 r060-ebro-158902579600110"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-8a.tgz
mv DLCflexbar-PT-8a 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 ;