About the Execution of 2019-Gold for CloudReconfiguration-PT-309
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5027.660 | 3570210.00 | 3650784.00 | 820.00 | ?TFTF?FFTFFTFFFF | 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-158902579500018.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 CloudReconfiguration-PT-309, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-158902579500018
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 4.1K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:13 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.1K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K 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 CloudReconfiguration-PT-309-00
FORMULA_NAME CloudReconfiguration-PT-309-01
FORMULA_NAME CloudReconfiguration-PT-309-02
FORMULA_NAME CloudReconfiguration-PT-309-03
FORMULA_NAME CloudReconfiguration-PT-309-04
FORMULA_NAME CloudReconfiguration-PT-309-05
FORMULA_NAME CloudReconfiguration-PT-309-06
FORMULA_NAME CloudReconfiguration-PT-309-07
FORMULA_NAME CloudReconfiguration-PT-309-08
FORMULA_NAME CloudReconfiguration-PT-309-09
FORMULA_NAME CloudReconfiguration-PT-309-10
FORMULA_NAME CloudReconfiguration-PT-309-11
FORMULA_NAME CloudReconfiguration-PT-309-12
FORMULA_NAME CloudReconfiguration-PT-309-13
FORMULA_NAME CloudReconfiguration-PT-309-14
FORMULA_NAME CloudReconfiguration-PT-309-15
=== Now, execution of the tool begins
BK_START 1589849881765
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CloudReconfiguration-PT-309 @ 3570 seconds
FORMULA CloudReconfiguration-PT-309-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-309-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CloudReconfiguration-PT-309
{
"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 00:58:01 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 5,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (F ((NOT FIREABLE(t1349) OR (X ((G (NOT FIREABLE(t3013)) AND (F (NOT FIREABLE(t1811)) OR G (NOT FIREABLE(t3013))))) R F (NOT FIREABLE(t3013)))))))",
"processed_size": 151,
"rewrites": 123
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 19
},
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 238
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 1,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (G (F ((X (G (NOT FIREABLE(t1268))) AND (FIREABLE(t2137) U X (F (FIREABLE(t2142))))))))",
"processed_size": 89,
"rewrites": 123
},
"result":
{
"edges": 1985328,
"markings": 607025,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"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": 252
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X ((FIREABLE(t1449) OR (G (FIREABLE(t311)) OR X (F (FIREABLE(t1180)))))))",
"processed_size": 76,
"rewrites": 123
},
"result":
{
"edges": 73,
"markings": 73,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 4,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((NOT FIREABLE(t2526) AND X (NOT FIREABLE(t2260))) OR G ((FIREABLE(t1449) AND G (FIREABLE(t2260))))))",
"processed_size": 104,
"rewrites": 123
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 298
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"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 (X (G (FIREABLE(t494)))))",
"processed_size": 30,
"rewrites": 123
},
"result":
{
"edges": 73,
"markings": 73,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 327
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F ((FIREABLE(t2562) AND X (FIREABLE(t1299)))))",
"processed_size": 49,
"rewrites": 123
},
"result":
{
"edges": 73,
"markings": 73,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 364
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 364
},
"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(t2337)))",
"processed_size": 23,
"rewrites": 125
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 409
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 409
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"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": "NOT FIREABLE(t2351)",
"processed_size": 19,
"rewrites": 125
},
"result":
{
"edges": 89,
"markings": 89,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 468
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(t2066)",
"processed_size": 15,
"rewrites": 125
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 546
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 3,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 3,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((F (G (FIREABLE(t106))) OR (G ((FIREABLE(t714) AND F (NOT FIREABLE(t106)))) AND F (G (FIREABLE(t106))))))",
"processed_size": 108,
"rewrites": 123
},
"result":
{
"edges": 112,
"markings": 110,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"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": 683
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((FIREABLE(t2525) AND F (G ((FIREABLE(t800) OR G (F (FIREABLE(t2448)))))))))",
"processed_size": 81,
"rewrites": 123
},
"result":
{
"edges": 89,
"markings": 89,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"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": 910
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 3,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((NOT FIREABLE(t3006) OR (G ((NOT FIREABLE(t965) OR FIREABLE(t2428) OR NOT FIREABLE(t3006))) AND F (NOT FIREABLE(t3006)))))",
"processed_size": 127,
"rewrites": 123
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1366
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 5
},
"processed": "A ((((FIREABLE(t2425) OR NOT FIREABLE(t557)) AND G ((FIREABLE(t2441) OR FIREABLE(t666)))) U FIREABLE(t2621)))",
"processed_size": 111,
"rewrites": 123
},
"result":
{
"edges": 89,
"markings": 89,
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2732
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2732
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(t1178)",
"processed_size": 15,
"rewrites": 123
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 4916232,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X((G(*) OR X(G((* AND G(*))))))) : A((** OR (G(*) AND F(**)))) : A(F((** AND F(G((** OR G(F(**)))))))) : A(X(F((* OR (X((G(*) AND (F(*) OR G(*)))) R F(*)))))) : A(G(F((X(G(*)) AND (** U X(F(**))))))) : A(F(G(*))) : (** AND A(F(G(**)))) : A(X((** OR (G(**) OR X(F(**)))))) : A(((* AND X(*)) OR G((* AND G(*))))) : A(X(X(G(**)))) : A(F((* AND X(**)))) : A(F(**)) : A((F(G(*)) OR (G((** AND F(**))) AND F(G(*))))) : (A(G(*)) AND (A(G(**)) AND A(X(G((F(**) AND F(**))))))) : A(((** AND G(**)) U **)) : (A(X(F(**))) AND A(F(**)))"
},
"net":
{
"arcs": 6463,
"conflict_clusters": 2448,
"places": 2585,
"places_significant": 2581,
"singleton_clusters": 0,
"transitions": 3095
},
"result":
{
"interim_value": "unknown yes no yes no unknown no no yes no no yes no no no no ",
"preliminary_value": "unknown yes no yes no unknown no no yes no no yes no 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: 5680/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 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 (X (NOT((F (FIREABLE(t58)) AND X (F ((FIREABLE(t1527) OR F ((FIREABLE(t58) AND FIREABLE(t1527)))))))))) : A ((NOT(F ((FIREABLE(t965) AND NOT FIREABLE(t2428) AND FIREABLE(t3006)))) U NOT FIREABLE(t3006))) : A (F ((FIREABLE(t2525) AND F (G ((FIREABLE(t800) OR F (G (F (FIREABLE(t2448)))))))))) : A (F (X (NOT((FIREABLE(t1349) AND (X ((G (FIREABLE(t1811)) U F (FIREABLE(t3013)))) U G (FIREABLE(t3013)))))))) : A (G (F (X ((G (NOT(X (FIREABLE(t1268)))) AND (FIREABLE(t2137) U X (F (FIREABLE(t2142))))))))) : A (F (NOT(F (X (X (X (F (FIREABLE(t1874))))))))) : A ((FIREABLE(t1178) AND X (X (F (G (X (FIREABLE(t2310)))))))) : A (X (((FIREABLE(t1449) OR G (FIREABLE(t311))) OR F (X (F (FIREABLE(t1180))))))) : A (NOT(((FIREABLE(t2526) OR X (FIREABLE(t2260))) AND F ((NOT FIREABLE(t1449) OR F (NOT FIREABLE(t2260))))))) : A (X (NOT(F (NOT(X (G (FIREABLE(t494)))))))) : A (((FIREABLE(t2562) OR FIREABLE(t1929)) U NOT(G ((NOT FIREABLE(t2562) OR NOT(X (FIREABLE(t1299)))))))) : A (F (NOT FIREABLE(t2066))) : A (((G (FIREABLE(t714)) AND G (F (NOT FIREABLE(t106)))) U NOT(G (F (X (NOT FIREABLE(t106))))))) : A (NOT(F ((FIREABLE(t1867) OR NOT((FIREABLE(t2337) AND X ((F (FIREABLE(t2581)) AND F (FIREABLE(t2220)))))))))) : A ((((FIREABLE(t2425) OR NOT FIREABLE(t557)) AND G ((FIREABLE(t2441) OR FIREABLE(t666)))) U FIREABLE(t2621))) : A ((F (X (FIREABLE(t2351))) AND (G (()) U FIREABLE(t2351))))
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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: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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: 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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:545
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((G (NOT FIREABLE(t58)) OR X (G ((NOT FIREABLE(t1527) AND G ((NOT FIREABLE(t58) OR NOT FIREABLE(t1527)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G (NOT FIREABLE(t58)) OR X (G ((NOT FIREABLE(t1527) AND G ((NOT FIREABLE(t58) OR NOT FIREABLE(t1527)))))))))
lola: processed formula length: 116
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 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: 52298 markings, 170464 edges, 10460 markings/sec, 0 secs
lola: 107078 markings, 341041 edges, 10956 markings/sec, 5 secs
lola: 158850 markings, 513069 edges, 10354 markings/sec, 10 secs
lola: 209306 markings, 680991 edges, 10091 markings/sec, 15 secs
lola: 264485 markings, 851710 edges, 11036 markings/sec, 20 secs
lola: 317457 markings, 1023580 edges, 10594 markings/sec, 25 secs
lola: 361285 markings, 1195718 edges, 8766 markings/sec, 30 secs
lola: 399733 markings, 1369375 edges, 7690 markings/sec, 35 secs
lola: 442462 markings, 1540790 edges, 8546 markings/sec, 40 secs
lola: 482849 markings, 1714818 edges, 8077 markings/sec, 45 secs
lola: 523226 markings, 1886596 edges, 8075 markings/sec, 50 secs
lola: 565168 markings, 2058617 edges, 8388 markings/sec, 55 secs
lola: 605733 markings, 2231746 edges, 8113 markings/sec, 60 secs
lola: 646652 markings, 2405896 edges, 8184 markings/sec, 65 secs
lola: 689937 markings, 2573767 edges, 8657 markings/sec, 70 secs
lola: 739742 markings, 2722465 edges, 9961 markings/sec, 75 secs
lola: 799934 markings, 2877013 edges, 12038 markings/sec, 80 secs
lola: 849456 markings, 3025496 edges, 9904 markings/sec, 85 secs
lola: 903825 markings, 3174250 edges, 10874 markings/sec, 90 secs
lola: 949914 markings, 3321972 edges, 9218 markings/sec, 95 secs
lola: 1007999 markings, 3463108 edges, 11617 markings/sec, 100 secs
lola: 1052891 markings, 3612399 edges, 8978 markings/sec, 105 secs
lola: 1097132 markings, 3745226 edges, 8848 markings/sec, 110 secs
lola: 1146461 markings, 3884187 edges, 9866 markings/sec, 115 secs
lola: 1189685 markings, 4035020 edges, 8645 markings/sec, 120 secs
lola: 1237415 markings, 4209569 edges, 9546 markings/sec, 125 secs
lola: 1282909 markings, 4360983 edges, 9099 markings/sec, 130 secs
lola: 1329031 markings, 4515953 edges, 9224 markings/sec, 135 secs
lola: 1376843 markings, 4669019 edges, 9562 markings/sec, 140 secs
lola: 1423906 markings, 4825617 edges, 9413 markings/sec, 145 secs
lola: 1464381 markings, 4971519 edges, 8095 markings/sec, 150 secs
lola: 1509313 markings, 5141193 edges, 8986 markings/sec, 155 secs
lola: 1552990 markings, 5305658 edges, 8735 markings/sec, 160 secs
lola: 1602370 markings, 5473948 edges, 9876 markings/sec, 165 secs
lola: 1652018 markings, 5638768 edges, 9930 markings/sec, 170 secs
lola: 1697653 markings, 5805298 edges, 9127 markings/sec, 175 secs
lola: 1742808 markings, 5967531 edges, 9031 markings/sec, 180 secs
lola: 1788606 markings, 6130229 edges, 9160 markings/sec, 185 secs
lola: 1833007 markings, 6292780 edges, 8880 markings/sec, 190 secs
lola: 1875754 markings, 6450738 edges, 8549 markings/sec, 195 secs
lola: 1920472 markings, 6597859 edges, 8944 markings/sec, 200 secs
lola: 1963017 markings, 6748974 edges, 8509 markings/sec, 205 secs
lola: 2006655 markings, 6895217 edges, 8728 markings/sec, 210 secs
lola: 2053245 markings, 7059294 edges, 9318 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 562556 KB
lola: time consumption: 231 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((NOT FIREABLE(t1349) OR (X ((G (NOT FIREABLE(t3013)) AND (F (NOT FIREABLE(t1811)) OR G (NOT FIREABLE(t3013))))) R F (NOT FIREABLE(t3013)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((NOT FIREABLE(t1349) OR (X ((G (NOT FIREABLE(t3013)) AND (F (NOT FIREABLE(t1811)) OR G (NOT FIREABLE(t3013))))) R F (NOT FIREABLE(t3013)))))))
lola: processed formula length: 151
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 19 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((X (G (NOT FIREABLE(t1268))) AND (FIREABLE(t2137) U X (F (FIREABLE(t2142))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((X (G (NOT FIREABLE(t1268))) AND (FIREABLE(t2137) U X (F (FIREABLE(t2142))))))))
lola: processed formula length: 89
lola: 123 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: 53882 markings, 174250 edges, 10776 markings/sec, 0 secs
lola: 109264 markings, 347944 edges, 11076 markings/sec, 5 secs
lola: 163301 markings, 521359 edges, 10807 markings/sec, 10 secs
lola: 204711 markings, 698209 edges, 8282 markings/sec, 15 secs
lola: 247190 markings, 873826 edges, 8496 markings/sec, 20 secs
lola: 287682 markings, 1049398 edges, 8098 markings/sec, 25 secs
lola: 340729 markings, 1218227 edges, 10609 markings/sec, 30 secs
lola: 392295 markings, 1371328 edges, 10313 markings/sec, 35 secs
lola: 450079 markings, 1528162 edges, 11557 markings/sec, 40 secs
lola: 504635 markings, 1680471 edges, 10911 markings/sec, 45 secs
lola: 556349 markings, 1834454 edges, 10343 markings/sec, 50 secs
lola: 604221 markings, 1980163 edges, 9574 markings/sec, 55 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: 607025 markings, 1985328 edges
lola: ========================================
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t1449) OR (G (FIREABLE(t311)) OR X (F (FIREABLE(t1180)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(t1449) OR (G (FIREABLE(t311)) OR X (F (FIREABLE(t1180)))))))
lola: processed formula length: 76
lola: 123 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: 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: 73 markings, 73 edges
lola: ========================================
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t2526) AND X (NOT FIREABLE(t2260))) OR G ((FIREABLE(t1449) AND G (FIREABLE(t2260))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(t2526) AND X (NOT FIREABLE(t2260))) OR G ((FIREABLE(t1449) AND G (FIREABLE(t2260))))))
lola: processed formula length: 104
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (FIREABLE(t494)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (FIREABLE(t494)))))
lola: processed formula length: 30
lola: 123 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: 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: 73 markings, 73 edges
lola: ========================================
lola: subprocess 6 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t2562) AND X (FIREABLE(t1299)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t2562) AND X (FIREABLE(t1299)))))
lola: processed formula length: 49
lola: 123 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: 73 markings, 73 edges
lola: ========================================
lola: subprocess 7 will run for 364 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t1867))) AND (A (G (FIREABLE(t2337))) AND A (X (G ((F (FIREABLE(t2581)) AND F (FIREABLE(t2220))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 364 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t2337)))
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(t2337)))
lola: processed formula length: 23
lola: 125 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(t2337)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (F (FIREABLE(t2351)))) AND A (F (FIREABLE(t2351))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t2351)))
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(t2351)
lola: processed formula length: 19
lola: 125 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: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 89 markings, 89 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 468 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(t2066)))
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: FIREABLE(t2066)
lola: processed formula length: 15
lola: 125 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 10 will run for 546 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (NOT FIREABLE(t1874))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (NOT FIREABLE(t1874))))
lola: processed formula length: 31
lola: 123 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: 110235 markings, 142995 edges, 22047 markings/sec, 0 secs
lola: 173005 markings, 291698 edges, 12554 markings/sec, 5 secs
lola: 230267 markings, 436618 edges, 11452 markings/sec, 10 secs
lola: 280994 markings, 585116 edges, 10145 markings/sec, 15 secs
lola: 347549 markings, 715053 edges, 13311 markings/sec, 20 secs
lola: 398922 markings, 844170 edges, 10275 markings/sec, 25 secs
lola: 445969 markings, 980104 edges, 9409 markings/sec, 30 secs
lola: 494735 markings, 1115331 edges, 9753 markings/sec, 35 secs
lola: 546970 markings, 1248744 edges, 10447 markings/sec, 40 secs
lola: 598827 markings, 1380319 edges, 10371 markings/sec, 45 secs
lola: 659617 markings, 1526489 edges, 12158 markings/sec, 50 secs
lola: 723354 markings, 1671810 edges, 12747 markings/sec, 55 secs
lola: 786221 markings, 1810331 edges, 12573 markings/sec, 60 secs
lola: 842826 markings, 1949248 edges, 11321 markings/sec, 65 secs
lola: 893677 markings, 2089294 edges, 10170 markings/sec, 70 secs
lola: 940993 markings, 2221221 edges, 9463 markings/sec, 75 secs
lola: 983007 markings, 2352858 edges, 8403 markings/sec, 80 secs
lola: 1026185 markings, 2484357 edges, 8636 markings/sec, 85 secs
lola: 1069284 markings, 2613064 edges, 8620 markings/sec, 90 secs
lola: 1113220 markings, 2741161 edges, 8787 markings/sec, 95 secs
lola: 1158455 markings, 2868770 edges, 9047 markings/sec, 100 secs
lola: 1202031 markings, 2993346 edges, 8715 markings/sec, 105 secs
lola: 1246033 markings, 3120056 edges, 8800 markings/sec, 110 secs
lola: 1290101 markings, 3245225 edges, 8814 markings/sec, 115 secs
lola: 1334732 markings, 3369576 edges, 8926 markings/sec, 120 secs
lola: 1378206 markings, 3493638 edges, 8695 markings/sec, 125 secs
lola: 1423788 markings, 3614889 edges, 9116 markings/sec, 130 secs
lola: 1468516 markings, 3734156 edges, 8946 markings/sec, 135 secs
lola: 1514052 markings, 3862623 edges, 9107 markings/sec, 140 secs
lola: 1552982 markings, 3986564 edges, 7786 markings/sec, 145 secs
lola: 1598070 markings, 4133262 edges, 9018 markings/sec, 150 secs
lola: 1643051 markings, 4284110 edges, 8996 markings/sec, 155 secs
lola: 1688451 markings, 4420308 edges, 9080 markings/sec, 160 secs
lola: 1737572 markings, 4571441 edges, 9824 markings/sec, 165 secs
lola: 1789713 markings, 4728108 edges, 10428 markings/sec, 170 secs
lola: 1838156 markings, 4869727 edges, 9689 markings/sec, 175 secs
lola: 1891620 markings, 5024217 edges, 10693 markings/sec, 180 secs
lola: 1941845 markings, 5164716 edges, 10045 markings/sec, 185 secs
lola: 1997740 markings, 5309851 edges, 11179 markings/sec, 190 secs
lola: 2047506 markings, 5459583 edges, 9953 markings/sec, 195 secs
lola: 2102292 markings, 5600055 edges, 10957 markings/sec, 200 secs
lola: 2145293 markings, 5743392 edges, 8600 markings/sec, 205 secs
lola: 2191332 markings, 5883005 edges, 9208 markings/sec, 210 secs
lola: 2232603 markings, 6028660 edges, 8254 markings/sec, 215 secs
lola: 2276756 markings, 6169803 edges, 8831 markings/sec, 220 secs
lola: 2327275 markings, 6314183 edges, 10104 markings/sec, 225 secs
lola: 2364168 markings, 6454050 edges, 7379 markings/sec, 230 secs
lola: 2407104 markings, 6595277 edges, 8587 markings/sec, 235 secs
lola: 2447001 markings, 6733219 edges, 7979 markings/sec, 240 secs
lola: 2489730 markings, 6870328 edges, 8546 markings/sec, 245 secs
lola: 2536413 markings, 7007678 edges, 9337 markings/sec, 250 secs
lola: 2575578 markings, 7143154 edges, 7833 markings/sec, 255 secs
lola: 2625835 markings, 7273427 edges, 10051 markings/sec, 260 secs
lola: 2669814 markings, 7403690 edges, 8796 markings/sec, 265 secs
lola: 2703076 markings, 7530095 edges, 6652 markings/sec, 270 secs
lola: 2740289 markings, 7652233 edges, 7443 markings/sec, 275 secs
lola: 2779217 markings, 7784269 edges, 7786 markings/sec, 280 secs
lola: 2827163 markings, 7919043 edges, 9589 markings/sec, 285 secs
lola: 2876041 markings, 8055171 edges, 9776 markings/sec, 290 secs
lola: 2926374 markings, 8203869 edges, 10067 markings/sec, 295 secs
lola: 2978555 markings, 8338612 edges, 10436 markings/sec, 300 secs
lola: 3030200 markings, 8494034 edges, 10329 markings/sec, 305 secs
lola: 3073218 markings, 8632723 edges, 8604 markings/sec, 310 secs
lola: 3109488 markings, 8751471 edges, 7254 markings/sec, 315 secs
lola: 3146520 markings, 8875978 edges, 7406 markings/sec, 320 secs
lola: 3181628 markings, 9002198 edges, 7022 markings/sec, 325 secs
lola: 3220822 markings, 9137031 edges, 7839 markings/sec, 330 secs
lola: 3260472 markings, 9269243 edges, 7930 markings/sec, 335 secs
lola: 3301405 markings, 9402141 edges, 8187 markings/sec, 340 secs
lola: 3343006 markings, 9541042 edges, 8320 markings/sec, 345 secs
lola: 3382481 markings, 9678412 edges, 7895 markings/sec, 350 secs
lola: 3424358 markings, 9807174 edges, 8375 markings/sec, 355 secs
lola: 3465111 markings, 9942119 edges, 8151 markings/sec, 360 secs
lola: 3507180 markings, 10080125 edges, 8414 markings/sec, 365 secs
lola: 3549831 markings, 10216489 edges, 8530 markings/sec, 370 secs
lola: 3590709 markings, 10354689 edges, 8176 markings/sec, 375 secs
lola: 3629476 markings, 10483111 edges, 7753 markings/sec, 380 secs
lola: 3669641 markings, 10614305 edges, 8033 markings/sec, 385 secs
lola: 3707902 markings, 10747228 edges, 7652 markings/sec, 390 secs
lola: 3749983 markings, 10881720 edges, 8416 markings/sec, 395 secs
lola: 3790805 markings, 11014815 edges, 8164 markings/sec, 400 secs
lola: 3830234 markings, 11146251 edges, 7886 markings/sec, 405 secs
lola: 3870980 markings, 11274519 edges, 8149 markings/sec, 410 secs
lola: 3908468 markings, 11402646 edges, 7498 markings/sec, 415 secs
lola: 3945582 markings, 11527981 edges, 7423 markings/sec, 420 secs
lola: 3983428 markings, 11650034 edges, 7569 markings/sec, 425 secs
lola: 4023147 markings, 11770190 edges, 7944 markings/sec, 430 secs
lola: 4059098 markings, 11887908 edges, 7190 markings/sec, 435 secs
lola: 4093447 markings, 12011797 edges, 6870 markings/sec, 440 secs
lola: 4135893 markings, 12141285 edges, 8489 markings/sec, 445 secs
lola: 4175470 markings, 12276380 edges, 7915 markings/sec, 450 secs
lola: 4212237 markings, 12405684 edges, 7353 markings/sec, 455 secs
lola: 4248627 markings, 12533947 edges, 7278 markings/sec, 460 secs
lola: 4286124 markings, 12664100 edges, 7499 markings/sec, 465 secs
lola: 4330301 markings, 12798358 edges, 8835 markings/sec, 470 secs
lola: 4368032 markings, 12927937 edges, 7546 markings/sec, 475 secs
lola: 4404385 markings, 13054708 edges, 7271 markings/sec, 480 secs
lola: 4449840 markings, 13190139 edges, 9091 markings/sec, 485 secs
lola: 4489476 markings, 13321552 edges, 7927 markings/sec, 490 secs
lola: 4525288 markings, 13444630 edges, 7162 markings/sec, 495 secs
lola: 4569273 markings, 13583467 edges, 8797 markings/sec, 500 secs
lola: 4617429 markings, 13718516 edges, 9631 markings/sec, 505 secs
lola: 4659792 markings, 13850281 edges, 8473 markings/sec, 510 secs
lola: 4707072 markings, 13985694 edges, 9456 markings/sec, 515 secs
lola: 4755852 markings, 14138268 edges, 9756 markings/sec, 520 secs
lola: 4804100 markings, 14292555 edges, 9650 markings/sec, 525 secs
lola: 4850548 markings, 14440687 edges, 9290 markings/sec, 530 secs
lola: 4896812 markings, 14583089 edges, 9253 markings/sec, 535 secs
lola: 4942895 markings, 14730742 edges, 9217 markings/sec, 540 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes no unknown unknown no yes no no yes unknown no unknown no
lola: memory consumption: 1138324 KB
lola: time consumption: 837 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 11 will run for 546 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G (FIREABLE(t106))) OR (G ((FIREABLE(t714) AND F (NOT FIREABLE(t106)))) AND F (G (FIREABLE(t106))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G (FIREABLE(t106))) OR (G ((FIREABLE(t714) AND F (NOT FIREABLE(t106)))) AND F (G (FIREABLE(t106))))))
lola: processed formula length: 108
lola: 123 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: 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: 110 markings, 112 edges
lola: ========================================
lola: subprocess 12 will run for 683 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t2525) AND F (G ((FIREABLE(t800) OR G (F (FIREABLE(t2448)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t2525) AND F (G ((FIREABLE(t800) OR G (F (FIREABLE(t2448)))))))))
lola: processed formula length: 81
lola: 123 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: 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: 89 markings, 89 edges
lola: ========================================
lola: subprocess 13 will run for 910 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t3006) OR (G ((NOT FIREABLE(t965) OR FIREABLE(t2428) OR NOT FIREABLE(t3006))) AND F (NOT FIREABLE(t3006)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(t3006) OR (G ((NOT FIREABLE(t965) OR FIREABLE(t2428) OR NOT FIREABLE(t3006))) AND F (NOT FIREABLE(t3006)))))
lola: processed formula length: 127
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((FIREABLE(t2425) OR NOT FIREABLE(t557)) AND G ((FIREABLE(t2441) OR FIREABLE(t666)))) U FIREABLE(t2621)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((FIREABLE(t2425) OR NOT FIREABLE(t557)) AND G ((FIREABLE(t2441) OR FIREABLE(t666)))) U FIREABLE(t2621)))
lola: processed formula length: 111
lola: 123 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: 89 markings, 89 edges
lola: ========================================
lola: subprocess 15 will run for 2732 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t1178) AND A (F (G (FIREABLE(t2310)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2732 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t1178)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t1178)
lola: processed formula length: 15
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X ((G (NOT FIREABLE(t58)) OR X (G ((NOT FIREABLE(t1527) AND G ((NOT FIREABLE(t58) OR NOT FIREABLE(t1527)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G (NOT FIREABLE(t58)) OR X (G ((NOT FIREABLE(t1527) AND G ((NOT FIREABLE(t58) OR NOT FIREABLE(t1527)))))))))
lola: processed formula length: 116
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 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: 53093 markings, 173353 edges, 10619 markings/sec, 0 secs
lola: 108428 markings, 345156 edges, 11067 markings/sec, 5 secs
lola: 159813 markings, 517152 edges, 10277 markings/sec, 10 secs
lola: 211973 markings, 687639 edges, 10432 markings/sec, 15 secs
lola: 266925 markings, 859702 edges, 10990 markings/sec, 20 secs
lola: 318061 markings, 1032514 edges, 10227 markings/sec, 25 secs
lola: 364069 markings, 1205148 edges, 9202 markings/sec, 30 secs
lola: 402475 markings, 1380411 edges, 7681 markings/sec, 35 secs
lola: 445637 markings, 1552608 edges, 8632 markings/sec, 40 secs
lola: 485922 markings, 1727758 edges, 8057 markings/sec, 45 secs
lola: 526531 markings, 1900427 edges, 8122 markings/sec, 50 secs
lola: 569014 markings, 2072650 edges, 8497 markings/sec, 55 secs
lola: 609229 markings, 2246572 edges, 8043 markings/sec, 60 secs
lola: 649771 markings, 2420999 edges, 8108 markings/sec, 65 secs
lola: 696241 markings, 2588569 edges, 9294 markings/sec, 70 secs
lola: 746544 markings, 2738968 edges, 10061 markings/sec, 75 secs
lola: 805021 markings, 2894211 edges, 11695 markings/sec, 80 secs
lola: 856987 markings, 3043721 edges, 10393 markings/sec, 85 secs
lola: 910464 markings, 3196712 edges, 10695 markings/sec, 90 secs
lola: 956983 markings, 3341644 edges, 9304 markings/sec, 95 secs
lola: 1016060 markings, 3486911 edges, 11815 markings/sec, 100 secs
lola: 1058693 markings, 3631106 edges, 8527 markings/sec, 105 secs
lola: 1103193 markings, 3763270 edges, 8900 markings/sec, 110 secs
lola: 1154651 markings, 3910293 edges, 10292 markings/sec, 115 secs
lola: 1199183 markings, 4065987 edges, 8906 markings/sec, 120 secs
lola: 1246315 markings, 4240660 edges, 9426 markings/sec, 125 secs
lola: 1291642 markings, 4390532 edges, 9065 markings/sec, 130 secs
lola: 1338307 markings, 4546032 edges, 9333 markings/sec, 135 secs
lola: 1386657 markings, 4701629 edges, 9670 markings/sec, 140 secs
lola: 1431211 markings, 4855888 edges, 8911 markings/sec, 145 secs
lola: 1474094 markings, 5005408 edges, 8577 markings/sec, 150 secs
lola: 1523472 markings, 5176353 edges, 9876 markings/sec, 155 secs
lola: 1563998 markings, 5341934 edges, 8105 markings/sec, 160 secs
lola: 1613040 markings, 5509499 edges, 9808 markings/sec, 165 secs
lola: 1660944 markings, 5670860 edges, 9581 markings/sec, 170 secs
lola: 1707335 markings, 5836581 edges, 9278 markings/sec, 175 secs
lola: 1753697 markings, 5998887 edges, 9272 markings/sec, 180 secs
lola: 1801077 markings, 6161918 edges, 9476 markings/sec, 185 secs
lola: 1841357 markings, 6320546 edges, 8056 markings/sec, 190 secs
lola: 1884345 markings, 6479589 edges, 8598 markings/sec, 195 secs
lola: 1928648 markings, 6625516 edges, 8861 markings/sec, 200 secs
lola: 1971870 markings, 6778537 edges, 8644 markings/sec, 205 secs
lola: 2016527 markings, 6928532 edges, 8931 markings/sec, 210 secs
lola: 2063345 markings, 7092962 edges, 9364 markings/sec, 215 secs
lola: 2109093 markings, 7250230 edges, 9150 markings/sec, 220 secs
lola: 2153950 markings, 7403586 edges, 8971 markings/sec, 225 secs
lola: 2197672 markings, 7554363 edges, 8744 markings/sec, 230 secs
lola: 2246503 markings, 7724243 edges, 9766 markings/sec, 235 secs
lola: 2287137 markings, 7892778 edges, 8127 markings/sec, 240 secs
lola: 2336086 markings, 8055155 edges, 9790 markings/sec, 245 secs
lola: 2378824 markings, 8217195 edges, 8548 markings/sec, 250 secs
lola: 2424303 markings, 8375837 edges, 9096 markings/sec, 255 secs
lola: 2468605 markings, 8539025 edges, 8860 markings/sec, 260 secs
lola: 2512426 markings, 8700150 edges, 8764 markings/sec, 265 secs
lola: 2559577 markings, 8860281 edges, 9430 markings/sec, 270 secs
lola: 2607089 markings, 9018501 edges, 9502 markings/sec, 275 secs
lola: 2652756 markings, 9156365 edges, 9133 markings/sec, 280 secs
lola: 2693810 markings, 9295207 edges, 8211 markings/sec, 285 secs
lola: 2735672 markings, 9438032 edges, 8372 markings/sec, 290 secs
lola: 2776498 markings, 9580492 edges, 8165 markings/sec, 295 secs
lola: 2823236 markings, 9739023 edges, 9348 markings/sec, 300 secs
lola: 2866453 markings, 9902140 edges, 8643 markings/sec, 305 secs
lola: 2910345 markings, 10061513 edges, 8778 markings/sec, 310 secs
lola: 2955987 markings, 10211259 edges, 9128 markings/sec, 315 secs
lola: 2997599 markings, 10367624 edges, 8322 markings/sec, 320 secs
lola: 3042223 markings, 10522273 edges, 8925 markings/sec, 325 secs
lola: 3080505 markings, 10670541 edges, 7656 markings/sec, 330 secs
lola: 3124756 markings, 10821620 edges, 8850 markings/sec, 335 secs
lola: 3166304 markings, 10978499 edges, 8310 markings/sec, 340 secs
lola: 3211348 markings, 11134682 edges, 9009 markings/sec, 345 secs
lola: 3258998 markings, 11294547 edges, 9530 markings/sec, 350 secs
lola: 3304737 markings, 11458730 edges, 9148 markings/sec, 355 secs
lola: 3346989 markings, 11617253 edges, 8450 markings/sec, 360 secs
lola: 3393846 markings, 11779917 edges, 9371 markings/sec, 365 secs
lola: 3436755 markings, 11936031 edges, 8582 markings/sec, 370 secs
lola: 3479417 markings, 12075061 edges, 8532 markings/sec, 375 secs
lola: 3528357 markings, 12216329 edges, 9788 markings/sec, 380 secs
lola: 3574880 markings, 12356066 edges, 9305 markings/sec, 385 secs
lola: 3615041 markings, 12508757 edges, 8032 markings/sec, 390 secs
lola: 3657303 markings, 12648197 edges, 8452 markings/sec, 395 secs
lola: 3697794 markings, 12776255 edges, 8098 markings/sec, 400 secs
lola: 3737497 markings, 12912777 edges, 7941 markings/sec, 405 secs
lola: 3777771 markings, 13046410 edges, 8055 markings/sec, 410 secs
lola: 3819437 markings, 13199254 edges, 8333 markings/sec, 415 secs
lola: 3863741 markings, 13357506 edges, 8861 markings/sec, 420 secs
lola: 3906712 markings, 13512409 edges, 8594 markings/sec, 425 secs
lola: 3951310 markings, 13665791 edges, 8920 markings/sec, 430 secs
lola: 3993059 markings, 13811905 edges, 8350 markings/sec, 435 secs
lola: 4031987 markings, 13960956 edges, 7786 markings/sec, 440 secs
lola: 4074605 markings, 14111296 edges, 8524 markings/sec, 445 secs
lola: 4116594 markings, 14263812 edges, 8398 markings/sec, 450 secs
lola: 4157257 markings, 14416958 edges, 8133 markings/sec, 455 secs
lola: 4201857 markings, 14571820 edges, 8920 markings/sec, 460 secs
lola: 4245513 markings, 14718979 edges, 8731 markings/sec, 465 secs
lola: 4289441 markings, 14875274 edges, 8786 markings/sec, 470 secs
lola: 4332327 markings, 15026829 edges, 8577 markings/sec, 475 secs
lola: 4375943 markings, 15185809 edges, 8723 markings/sec, 480 secs
lola: 4419289 markings, 15325568 edges, 8669 markings/sec, 485 secs
lola: 4457093 markings, 15450853 edges, 7561 markings/sec, 490 secs
lola: 4496449 markings, 15595601 edges, 7871 markings/sec, 495 secs
lola: 4533353 markings, 15729701 edges, 7381 markings/sec, 500 secs
lola: 4567537 markings, 15845266 edges, 6837 markings/sec, 505 secs
lola: 4598144 markings, 15959866 edges, 6121 markings/sec, 510 secs
lola: 4632516 markings, 16076505 edges, 6874 markings/sec, 515 secs
lola: 4673393 markings, 16198333 edges, 8175 markings/sec, 520 secs
lola: 4709372 markings, 16318344 edges, 7196 markings/sec, 525 secs
lola: 4744807 markings, 16440701 edges, 7087 markings/sec, 530 secs
lola: 4777444 markings, 16550479 edges, 6527 markings/sec, 535 secs
lola: 4812209 markings, 16668749 edges, 6953 markings/sec, 540 secs
lola: 4850448 markings, 16794366 edges, 7648 markings/sec, 545 secs
lola: 4887475 markings, 16918696 edges, 7405 markings/sec, 550 secs
lola: 4927125 markings, 17052835 edges, 7930 markings/sec, 555 secs
lola: 4964817 markings, 17181353 edges, 7538 markings/sec, 560 secs
lola: 5003425 markings, 17311690 edges, 7722 markings/sec, 565 secs
lola: 5050595 markings, 17472299 edges, 9434 markings/sec, 570 secs
lola: 5095280 markings, 17632245 edges, 8937 markings/sec, 575 secs
lola: 5140427 markings, 17790893 edges, 9029 markings/sec, 580 secs
lola: 5182435 markings, 17945571 edges, 8402 markings/sec, 585 secs
lola: 5224227 markings, 18092485 edges, 8358 markings/sec, 590 secs
lola: 5271877 markings, 18245573 edges, 9530 markings/sec, 595 secs
lola: 5316660 markings, 18399976 edges, 8957 markings/sec, 600 secs
lola: 5361838 markings, 18556861 edges, 9036 markings/sec, 605 secs
lola: 5400255 markings, 18708084 edges, 7683 markings/sec, 610 secs
lola: 5444941 markings, 18860990 edges, 8937 markings/sec, 615 secs
lola: 5490863 markings, 19029792 edges, 9184 markings/sec, 620 secs
lola: 5535058 markings, 19187147 edges, 8839 markings/sec, 625 secs
lola: 5578292 markings, 19343292 edges, 8647 markings/sec, 630 secs
lola: 5622156 markings, 19498327 edges, 8773 markings/sec, 635 secs
lola: 5664557 markings, 19656848 edges, 8480 markings/sec, 640 secs
lola: 5707347 markings, 19801868 edges, 8558 markings/sec, 645 secs
lola: 5740300 markings, 19927093 edges, 6591 markings/sec, 650 secs
lola: 5778108 markings, 20046930 edges, 7562 markings/sec, 655 secs
lola: 5818345 markings, 20175617 edges, 8047 markings/sec, 660 secs
lola: 5853514 markings, 20291995 edges, 7034 markings/sec, 665 secs
lola: 5889198 markings, 20410411 edges, 7137 markings/sec, 670 secs
lola: 5925048 markings, 20529212 edges, 7170 markings/sec, 675 secs
lola: 5960156 markings, 20638155 edges, 7022 markings/sec, 680 secs
lola: 6001567 markings, 20774869 edges, 8282 markings/sec, 685 secs
lola: 6038567 markings, 20898940 edges, 7400 markings/sec, 690 secs
lola: 6078367 markings, 21021562 edges, 7960 markings/sec, 695 secs
lola: 6127802 markings, 21159077 edges, 9887 markings/sec, 700 secs
lola: 6164970 markings, 21276114 edges, 7434 markings/sec, 705 secs
lola: 6200480 markings, 21390883 edges, 7102 markings/sec, 710 secs
lola: 6238861 markings, 21513635 edges, 7676 markings/sec, 715 secs
lola: 6281327 markings, 21657145 edges, 8493 markings/sec, 720 secs
lola: 6322871 markings, 21794039 edges, 8309 markings/sec, 725 secs
lola: 6360319 markings, 21928419 edges, 7490 markings/sec, 730 secs
lola: 6404224 markings, 22078483 edges, 8781 markings/sec, 735 secs
lola: 6442991 markings, 22205825 edges, 7753 markings/sec, 740 secs
lola: 6479792 markings, 22335513 edges, 7360 markings/sec, 745 secs
lola: 6515890 markings, 22453916 edges, 7220 markings/sec, 750 secs
lola: 6552400 markings, 22576150 edges, 7302 markings/sec, 755 secs
lola: 6587339 markings, 22692399 edges, 6988 markings/sec, 760 secs
lola: 6628701 markings, 22824368 edges, 8272 markings/sec, 765 secs
lola: 6669119 markings, 22958390 edges, 8084 markings/sec, 770 secs
lola: 6702510 markings, 23073515 edges, 6678 markings/sec, 775 secs
lola: 6742973 markings, 23209669 edges, 8093 markings/sec, 780 secs
lola: 6786724 markings, 23354576 edges, 8750 markings/sec, 785 secs
lola: 6825154 markings, 23487425 edges, 7686 markings/sec, 790 secs
lola: 6867784 markings, 23637053 edges, 8526 markings/sec, 795 secs
lola: 6910854 markings, 23769416 edges, 8614 markings/sec, 800 secs
lola: 6947458 markings, 23886382 edges, 7321 markings/sec, 805 secs
lola: 6987722 markings, 24024358 edges, 8053 markings/sec, 810 secs
lola: 7027374 markings, 24171067 edges, 7930 markings/sec, 815 secs
lola: 7065641 markings, 24300725 edges, 7653 markings/sec, 820 secs
lola: 7104314 markings, 24427702 edges, 7735 markings/sec, 825 secs
lola: 7143180 markings, 24548325 edges, 7773 markings/sec, 830 secs
lola: 7181709 markings, 24670139 edges, 7706 markings/sec, 835 secs
lola: 7218984 markings, 24801218 edges, 7455 markings/sec, 840 secs
lola: 7255371 markings, 24923914 edges, 7277 markings/sec, 845 secs
lola: 7300158 markings, 25072146 edges, 8957 markings/sec, 850 secs
lola: 7340383 markings, 25218892 edges, 8045 markings/sec, 855 secs
lola: 7383483 markings, 25368380 edges, 8620 markings/sec, 860 secs
lola: 7419543 markings, 25489610 edges, 7212 markings/sec, 865 secs
lola: 7455807 markings, 25609503 edges, 7253 markings/sec, 870 secs
lola: 7490198 markings, 25724603 edges, 6878 markings/sec, 875 secs
lola: 7534466 markings, 25874212 edges, 8854 markings/sec, 880 secs
lola: 7568743 markings, 25997898 edges, 6855 markings/sec, 885 secs
lola: 7604502 markings, 26118376 edges, 7152 markings/sec, 890 secs
lola: 7638713 markings, 26231805 edges, 6842 markings/sec, 895 secs
lola: 7674403 markings, 26349096 edges, 7138 markings/sec, 900 secs
lola: 7721077 markings, 26486126 edges, 9335 markings/sec, 905 secs
lola: 7761035 markings, 26608025 edges, 7992 markings/sec, 910 secs
lola: 7795864 markings, 26715179 edges, 6966 markings/sec, 915 secs
lola: 7838577 markings, 26846638 edges, 8543 markings/sec, 920 secs
lola: 7875188 markings, 26963778 edges, 7322 markings/sec, 925 secs
lola: 7909198 markings, 27077366 edges, 6802 markings/sec, 930 secs
lola: 7949553 markings, 27210178 edges, 8071 markings/sec, 935 secs
lola: 7986286 markings, 27331398 edges, 7347 markings/sec, 940 secs
lola: 8022041 markings, 27451966 edges, 7151 markings/sec, 945 secs
lola: 8063340 markings, 27601383 edges, 8260 markings/sec, 950 secs
lola: 8106413 markings, 27758766 edges, 8615 markings/sec, 955 secs
lola: 8148876 markings, 27913423 edges, 8493 markings/sec, 960 secs
lola: 8189684 markings, 28068261 edges, 8162 markings/sec, 965 secs
lola: 8232517 markings, 28218359 edges, 8567 markings/sec, 970 secs
lola: 8278358 markings, 28366083 edges, 9168 markings/sec, 975 secs
lola: 8324018 markings, 28513769 edges, 9132 markings/sec, 980 secs
lola: 8368095 markings, 28664908 edges, 8815 markings/sec, 985 secs
lola: 8409956 markings, 28816824 edges, 8372 markings/sec, 990 secs
lola: 8450064 markings, 28963277 edges, 8022 markings/sec, 995 secs
lola: 8492560 markings, 29116003 edges, 8499 markings/sec, 1000 secs
lola: 8537136 markings, 29279630 edges, 8915 markings/sec, 1005 secs
lola: 8579302 markings, 29429313 edges, 8433 markings/sec, 1010 secs
lola: 8620734 markings, 29578328 edges, 8286 markings/sec, 1015 secs
lola: 8663212 markings, 29732796 edges, 8496 markings/sec, 1020 secs
lola: 8706613 markings, 29881147 edges, 8680 markings/sec, 1025 secs
lola: 8749700 markings, 30032614 edges, 8617 markings/sec, 1030 secs
lola: 8790169 markings, 30180538 edges, 8094 markings/sec, 1035 secs
lola: 8831502 markings, 30330643 edges, 8267 markings/sec, 1040 secs
lola: 8873287 markings, 30477934 edges, 8357 markings/sec, 1045 secs
lola: 8908213 markings, 30590276 edges, 6985 markings/sec, 1050 secs
lola: 8945971 markings, 30717432 edges, 7552 markings/sec, 1055 secs
lola: 8989307 markings, 30868958 edges, 8667 markings/sec, 1060 secs
lola: 9027302 markings, 31001102 edges, 7599 markings/sec, 1065 secs
lola: 9060148 markings, 31102937 edges, 6569 markings/sec, 1070 secs
lola: 9096704 markings, 31219345 edges, 7311 markings/sec, 1075 secs
lola: 9138232 markings, 31346404 edges, 8306 markings/sec, 1080 secs
lola: 9176816 markings, 31465531 edges, 7717 markings/sec, 1085 secs
lola: 9211766 markings, 31583986 edges, 6990 markings/sec, 1090 secs
lola: 9254220 markings, 31733774 edges, 8491 markings/sec, 1095 secs
lola: 9295183 markings, 31885580 edges, 8193 markings/sec, 1100 secs
lola: 9334666 markings, 32014700 edges, 7897 markings/sec, 1105 secs
lola: 9369549 markings, 32129645 edges, 6977 markings/sec, 1110 secs
lola: 9405270 markings, 32249511 edges, 7144 markings/sec, 1115 secs
lola: 9437238 markings, 32356861 edges, 6394 markings/sec, 1120 secs
lola: 9474815 markings, 32483733 edges, 7515 markings/sec, 1125 secs
lola: 9516483 markings, 32621273 edges, 8334 markings/sec, 1130 secs
lola: 9549888 markings, 32735784 edges, 6681 markings/sec, 1135 secs
lola: 9584887 markings, 32856414 edges, 7000 markings/sec, 1140 secs
lola: 9627612 markings, 32996750 edges, 8545 markings/sec, 1145 secs
lola: 9666527 markings, 33131289 edges, 7783 markings/sec, 1150 secs
lola: 9706602 markings, 33270805 edges, 8015 markings/sec, 1155 secs
lola: 9750264 markings, 33412724 edges, 8732 markings/sec, 1160 secs
lola: 9788583 markings, 33548441 edges, 7664 markings/sec, 1165 secs
lola: 9830656 markings, 33691843 edges, 8415 markings/sec, 1170 secs
lola: 9864815 markings, 33805908 edges, 6832 markings/sec, 1175 secs
lola: 9897244 markings, 33912153 edges, 6486 markings/sec, 1180 secs
lola: 9928721 markings, 34017408 edges, 6295 markings/sec, 1185 secs
lola: 9966173 markings, 34140621 edges, 7490 markings/sec, 1190 secs
lola: 10007289 markings, 34282913 edges, 8223 markings/sec, 1195 secs
lola: 10047158 markings, 34420113 edges, 7974 markings/sec, 1200 secs
lola: 10082122 markings, 34538011 edges, 6993 markings/sec, 1205 secs
lola: 10112475 markings, 34641070 edges, 6071 markings/sec, 1210 secs
lola: 10150656 markings, 34770744 edges, 7636 markings/sec, 1215 secs
lola: 10187544 markings, 34889020 edges, 7378 markings/sec, 1220 secs
lola: 10221705 markings, 35003433 edges, 6832 markings/sec, 1225 secs
lola: 10253669 markings, 35111492 edges, 6393 markings/sec, 1230 secs
lola: 10290418 markings, 35236649 edges, 7350 markings/sec, 1235 secs
lola: 10333050 markings, 35383842 edges, 8526 markings/sec, 1240 secs
lola: 10377103 markings, 35522677 edges, 8811 markings/sec, 1245 secs
lola: 10419294 markings, 35666872 edges, 8438 markings/sec, 1250 secs
lola: 10462881 markings, 35816928 edges, 8717 markings/sec, 1255 secs
lola: 10500566 markings, 35964754 edges, 7537 markings/sec, 1260 secs
lola: 10541258 markings, 36104168 edges, 8138 markings/sec, 1265 secs
lola: 10584207 markings, 36249337 edges, 8590 markings/sec, 1270 secs
lola: 10623685 markings, 36404410 edges, 7896 markings/sec, 1275 secs
lola: 10665184 markings, 36549915 edges, 8300 markings/sec, 1280 secs
lola: 10704496 markings, 36692258 edges, 7862 markings/sec, 1285 secs
lola: 10743740 markings, 36832719 edges, 7849 markings/sec, 1290 secs
lola: 10783244 markings, 36970604 edges, 7901 markings/sec, 1295 secs
lola: 10819181 markings, 37089591 edges, 7187 markings/sec, 1300 secs
lola: 10855644 markings, 37205626 edges, 7293 markings/sec, 1305 secs
lola: 10894221 markings, 37327974 edges, 7715 markings/sec, 1310 secs
lola: 10935151 markings, 37470000 edges, 8186 markings/sec, 1315 secs
lola: 10968372 markings, 37580193 edges, 6644 markings/sec, 1320 secs
lola: 11000622 markings, 37686334 edges, 6450 markings/sec, 1325 secs
lola: 11032987 markings, 37794950 edges, 6473 markings/sec, 1330 secs
lola: 11065300 markings, 37902593 edges, 6463 markings/sec, 1335 secs
lola: 11097750 markings, 38011608 edges, 6490 markings/sec, 1340 secs
lola: 11132578 markings, 38137312 edges, 6966 markings/sec, 1345 secs
lola: 11165139 markings, 38246941 edges, 6512 markings/sec, 1350 secs
lola: 11197524 markings, 38355929 edges, 6477 markings/sec, 1355 secs
lola: 11231813 markings, 38470078 edges, 6858 markings/sec, 1360 secs
lola: 11266427 markings, 38577889 edges, 6923 markings/sec, 1365 secs
lola: 11303699 markings, 38691109 edges, 7454 markings/sec, 1370 secs
lola: 11341398 markings, 38817398 edges, 7540 markings/sec, 1375 secs
lola: 11371010 markings, 38916148 edges, 5922 markings/sec, 1380 secs
lola: 11399631 markings, 39011139 edges, 5724 markings/sec, 1385 secs
lola: 11427586 markings, 39104663 edges, 5591 markings/sec, 1390 secs
lola: 11457404 markings, 39205733 edges, 5964 markings/sec, 1395 secs
lola: 11496584 markings, 39331392 edges, 7836 markings/sec, 1400 secs
lola: 11538269 markings, 39472130 edges, 8337 markings/sec, 1405 secs
lola: 11576483 markings, 39616898 edges, 7643 markings/sec, 1410 secs
lola: 11613057 markings, 39757234 edges, 7315 markings/sec, 1415 secs
lola: 11657004 markings, 39898303 edges, 8789 markings/sec, 1420 secs
lola: 11690368 markings, 40002643 edges, 6673 markings/sec, 1425 secs
lola: 11722137 markings, 40103019 edges, 6354 markings/sec, 1430 secs
lola: 11756621 markings, 40211790 edges, 6897 markings/sec, 1435 secs
lola: 11792668 markings, 40330447 edges, 7209 markings/sec, 1440 secs
lola: 11821133 markings, 40426292 edges, 5693 markings/sec, 1445 secs
lola: 11848958 markings, 40520092 edges, 5565 markings/sec, 1450 secs
lola: 11877263 markings, 40614123 edges, 5661 markings/sec, 1455 secs
lola: 11908149 markings, 40721268 edges, 6177 markings/sec, 1460 secs
lola: 11936209 markings, 40815719 edges, 5612 markings/sec, 1465 secs
lola: 11968088 markings, 40921708 edges, 6376 markings/sec, 1470 secs
lola: 11997172 markings, 41020227 edges, 5817 markings/sec, 1475 secs
lola: 12035435 markings, 41146431 edges, 7653 markings/sec, 1480 secs
lola: 12063944 markings, 41243446 edges, 5702 markings/sec, 1485 secs
lola: 12094138 markings, 41347702 edges, 6039 markings/sec, 1490 secs
lola: 12133175 markings, 41479363 edges, 7807 markings/sec, 1495 secs
lola: 12172864 markings, 41608008 edges, 7938 markings/sec, 1500 secs
lola: 12205265 markings, 41723982 edges, 6480 markings/sec, 1505 secs
lola: 12246625 markings, 41864807 edges, 8272 markings/sec, 1510 secs
lola: 12287413 markings, 42000501 edges, 8158 markings/sec, 1515 secs
lola: 12324000 markings, 42129478 edges, 7317 markings/sec, 1520 secs
lola: 12365669 markings, 42265443 edges, 8334 markings/sec, 1525 secs
lola: 12402019 markings, 42392382 edges, 7270 markings/sec, 1530 secs
lola: 12440651 markings, 42525380 edges, 7726 markings/sec, 1535 secs
lola: 12479919 markings, 42659140 edges, 7854 markings/sec, 1540 secs
lola: 12504216 markings, 42740651 edges, 4859 markings/sec, 1545 secs
lola: 12534891 markings, 42844848 edges, 6135 markings/sec, 1550 secs
lola: 12563842 markings, 42941408 edges, 5790 markings/sec, 1555 secs
lola: 12592392 markings, 43036380 edges, 5710 markings/sec, 1560 secs
lola: 12620981 markings, 43134211 edges, 5718 markings/sec, 1565 secs
lola: 12651404 markings, 43235155 edges, 6085 markings/sec, 1570 secs
lola: 12680388 markings, 43331825 edges, 5797 markings/sec, 1575 secs
lola: 12706704 markings, 43420236 edges, 5263 markings/sec, 1580 secs
lola: 12735894 markings, 43509870 edges, 5838 markings/sec, 1585 secs
lola: 12767764 markings, 43609375 edges, 6374 markings/sec, 1590 secs
lola: 12800849 markings, 43714531 edges, 6617 markings/sec, 1595 secs
lola: 12837095 markings, 43830811 edges, 7249 markings/sec, 1600 secs
lola: 12865408 markings, 43924702 edges, 5663 markings/sec, 1605 secs
lola: 12892550 markings, 44014492 edges, 5428 markings/sec, 1610 secs
lola: 12927999 markings, 44127656 edges, 7090 markings/sec, 1615 secs
lola: 12964361 markings, 44261396 edges, 7272 markings/sec, 1620 secs
lola: 13004435 markings, 44396147 edges, 8015 markings/sec, 1625 secs
lola: 13045305 markings, 44533203 edges, 8174 markings/sec, 1630 secs
lola: 13075177 markings, 44624666 edges, 5974 markings/sec, 1635 secs
lola: 13106310 markings, 44722238 edges, 6227 markings/sec, 1640 secs
lola: 13139637 markings, 44827466 edges, 6665 markings/sec, 1645 secs
lola: 13174792 markings, 44940093 edges, 7031 markings/sec, 1650 secs
lola: 13202789 markings, 45031287 edges, 5599 markings/sec, 1655 secs
lola: 13228557 markings, 45118740 edges, 5154 markings/sec, 1660 secs
lola: 13256433 markings, 45213626 edges, 5575 markings/sec, 1665 secs
lola: 13289950 markings, 45325334 edges, 6703 markings/sec, 1670 secs
lola: 13329847 markings, 45450915 edges, 7979 markings/sec, 1675 secs
lola: 13373929 markings, 45593833 edges, 8816 markings/sec, 1680 secs
lola: 13418760 markings, 45746964 edges, 8966 markings/sec, 1685 secs
lola: 13459684 markings, 45898936 edges, 8185 markings/sec, 1690 secs
lola: 13499753 markings, 46045547 edges, 8014 markings/sec, 1695 secs
lola: 13543293 markings, 46193657 edges, 8708 markings/sec, 1700 secs
lola: 13586961 markings, 46355356 edges, 8734 markings/sec, 1705 secs
lola: 13628131 markings, 46505896 edges, 8234 markings/sec, 1710 secs
lola: 13669720 markings, 46656159 edges, 8318 markings/sec, 1715 secs
lola: 13711558 markings, 46803440 edges, 8368 markings/sec, 1720 secs
lola: 13750873 markings, 46942740 edges, 7863 markings/sec, 1725 secs
lola: 13792039 markings, 47092033 edges, 8233 markings/sec, 1730 secs
lola: 13832113 markings, 47243336 edges, 8015 markings/sec, 1735 secs
lola: 13872663 markings, 47391147 edges, 8110 markings/sec, 1740 secs
lola: 13914012 markings, 47535929 edges, 8270 markings/sec, 1745 secs
lola: 13956643 markings, 47671806 edges, 8526 markings/sec, 1750 secs
lola: 14000995 markings, 47815120 edges, 8870 markings/sec, 1755 secs
lola: 14043254 markings, 47961789 edges, 8452 markings/sec, 1760 secs
lola: 14082278 markings, 48109755 edges, 7805 markings/sec, 1765 secs
lola: 14123143 markings, 48252794 edges, 8173 markings/sec, 1770 secs
lola: 14164155 markings, 48399916 edges, 8202 markings/sec, 1775 secs
lola: 14207178 markings, 48559235 edges, 8605 markings/sec, 1780 secs
lola: 14247860 markings, 48703846 edges, 8136 markings/sec, 1785 secs
lola: 14288214 markings, 48848694 edges, 8071 markings/sec, 1790 secs
lola: 14329573 markings, 48994105 edges, 8272 markings/sec, 1795 secs
lola: 14371532 markings, 49139609 edges, 8392 markings/sec, 1800 secs
lola: 14412665 markings, 49284243 edges, 8227 markings/sec, 1805 secs
lola: 14450509 markings, 49427261 edges, 7569 markings/sec, 1810 secs
lola: 14487686 markings, 49553180 edges, 7435 markings/sec, 1815 secs
lola: 14525672 markings, 49697483 edges, 7597 markings/sec, 1820 secs
lola: 14566906 markings, 49833691 edges, 8247 markings/sec, 1825 secs
lola: 14607379 markings, 49961714 edges, 8095 markings/sec, 1830 secs
lola: 14648806 markings, 50098505 edges, 8285 markings/sec, 1835 secs
lola: 14688434 markings, 50244971 edges, 7926 markings/sec, 1840 secs
lola: 14725822 markings, 50388647 edges, 7478 markings/sec, 1845 secs
lola: 14765867 markings, 50522908 edges, 8009 markings/sec, 1850 secs
lola: 14806396 markings, 50663401 edges, 8106 markings/sec, 1855 secs
lola: 14845082 markings, 50812416 edges, 7737 markings/sec, 1860 secs
lola: 14885185 markings, 50952433 edges, 8021 markings/sec, 1865 secs
lola: 14923494 markings, 51092554 edges, 7662 markings/sec, 1870 secs
lola: 14963168 markings, 51231686 edges, 7935 markings/sec, 1875 secs
lola: 15003446 markings, 51374435 edges, 8056 markings/sec, 1880 secs
lola: 15039098 markings, 51504509 edges, 7130 markings/sec, 1885 secs
lola: 15075520 markings, 51640253 edges, 7284 markings/sec, 1890 secs
lola: 15112035 markings, 51776489 edges, 7303 markings/sec, 1895 secs
lola: 15150096 markings, 51908496 edges, 7612 markings/sec, 1900 secs
lola: 15188094 markings, 52043164 edges, 7600 markings/sec, 1905 secs
lola: 15227772 markings, 52176861 edges, 7936 markings/sec, 1910 secs
lola: 15268147 markings, 52311911 edges, 8075 markings/sec, 1915 secs
lola: 15307291 markings, 52456776 edges, 7829 markings/sec, 1920 secs
lola: 15347685 markings, 52592653 edges, 8079 markings/sec, 1925 secs
lola: 15387342 markings, 52735213 edges, 7931 markings/sec, 1930 secs
lola: 15425144 markings, 52867748 edges, 7560 markings/sec, 1935 secs
lola: 15461196 markings, 52989391 edges, 7210 markings/sec, 1940 secs
lola: 15500230 markings, 53118240 edges, 7807 markings/sec, 1945 secs
lola: 15541484 markings, 53252757 edges, 8251 markings/sec, 1950 secs
lola: 15574114 markings, 53371731 edges, 6526 markings/sec, 1955 secs
lola: 15614149 markings, 53502367 edges, 8007 markings/sec, 1960 secs
lola: 15649750 markings, 53627328 edges, 7120 markings/sec, 1965 secs
lola: 15690019 markings, 53763929 edges, 8054 markings/sec, 1970 secs
lola: 15728680 markings, 53888936 edges, 7732 markings/sec, 1975 secs
lola: 15765929 markings, 54017090 edges, 7450 markings/sec, 1980 secs
lola: 15802949 markings, 54144602 edges, 7404 markings/sec, 1985 secs
lola: 15837983 markings, 54267744 edges, 7007 markings/sec, 1990 secs
lola: 15875841 markings, 54393011 edges, 7572 markings/sec, 1995 secs
lola: 15913915 markings, 54513878 edges, 7615 markings/sec, 2000 secs
lola: 15946467 markings, 54623298 edges, 6510 markings/sec, 2005 secs
lola: 15975911 markings, 54737299 edges, 5889 markings/sec, 2010 secs
lola: 16006968 markings, 54850375 edges, 6211 markings/sec, 2015 secs
lola: 16045344 markings, 54985331 edges, 7675 markings/sec, 2020 secs
lola: 16089704 markings, 55138191 edges, 8872 markings/sec, 2025 secs
lola: 16130995 markings, 55275843 edges, 8258 markings/sec, 2030 secs
lola: 16174452 markings, 55435621 edges, 8691 markings/sec, 2035 secs
lola: 16215443 markings, 55572234 edges, 8198 markings/sec, 2040 secs
lola: 16249288 markings, 55696920 edges, 6769 markings/sec, 2045 secs
lola: 16287982 markings, 55835094 edges, 7739 markings/sec, 2050 secs
lola: 16327420 markings, 55963486 edges, 7888 markings/sec, 2055 secs
lola: 16364355 markings, 56094723 edges, 7387 markings/sec, 2060 secs
lola: 16403871 markings, 56226038 edges, 7903 markings/sec, 2065 secs
lola: 16431446 markings, 56328242 edges, 5515 markings/sec, 2070 secs
lola: 16459582 markings, 56424471 edges, 5627 markings/sec, 2075 secs
lola: 16496499 markings, 56546838 edges, 7383 markings/sec, 2080 secs
lola: 16538482 markings, 56689427 edges, 8397 markings/sec, 2085 secs
lola: 16578468 markings, 56825803 edges, 7997 markings/sec, 2090 secs
lola: 16618336 markings, 56962400 edges, 7974 markings/sec, 2095 secs
lola: 16652027 markings, 57078154 edges, 6738 markings/sec, 2100 secs
lola: 16691662 markings, 57211577 edges, 7927 markings/sec, 2105 secs
lola: 16721977 markings, 57321686 edges, 6063 markings/sec, 2110 secs
lola: 16745951 markings, 57409711 edges, 4795 markings/sec, 2115 secs
lola: 16774805 markings, 57513100 edges, 5771 markings/sec, 2120 secs
lola: 16795228 markings, 57589090 edges, 4085 markings/sec, 2125 secs
lola: 16821797 markings, 57688399 edges, 5314 markings/sec, 2130 secs
lola: 16844520 markings, 57776772 edges, 4545 markings/sec, 2135 secs
lola: 16869027 markings, 57866223 edges, 4901 markings/sec, 2140 secs
lola: 16895642 markings, 57967324 edges, 5323 markings/sec, 2145 secs
lola: 16919805 markings, 58061008 edges, 4833 markings/sec, 2150 secs
lola: 16947341 markings, 58166649 edges, 5507 markings/sec, 2155 secs
lola: 16978823 markings, 58272849 edges, 6296 markings/sec, 2160 secs
lola: 17012558 markings, 58384442 edges, 6747 markings/sec, 2165 secs
lola: 17045172 markings, 58486838 edges, 6523 markings/sec, 2170 secs
lola: 17078226 markings, 58596644 edges, 6611 markings/sec, 2175 secs
lola: 17116437 markings, 58718176 edges, 7642 markings/sec, 2180 secs
lola: 17158085 markings, 58855173 edges, 8330 markings/sec, 2185 secs
lola: 17198414 markings, 58980761 edges, 8066 markings/sec, 2190 secs
lola: 17234588 markings, 59102964 edges, 7235 markings/sec, 2195 secs
lola: 17264381 markings, 59209666 edges, 5959 markings/sec, 2200 secs
lola: 17299096 markings, 59332245 edges, 6943 markings/sec, 2205 secs
lola: 17342497 markings, 59473805 edges, 8680 markings/sec, 2210 secs
lola: 17386430 markings, 59594056 edges, 8787 markings/sec, 2215 secs
lola: 17421071 markings, 59729395 edges, 6928 markings/sec, 2220 secs
lola: 17451474 markings, 59858806 edges, 6081 markings/sec, 2225 secs
lola: 17485264 markings, 59995724 edges, 6758 markings/sec, 2230 secs
lola: 17512701 markings, 60102808 edges, 5487 markings/sec, 2235 secs
lola: 17552787 markings, 60237056 edges, 8017 markings/sec, 2240 secs
lola: 17590571 markings, 60361524 edges, 7557 markings/sec, 2245 secs
lola: 17628999 markings, 60481285 edges, 7686 markings/sec, 2250 secs
lola: 17664013 markings, 60599351 edges, 7003 markings/sec, 2255 secs
lola: 17702508 markings, 60727716 edges, 7699 markings/sec, 2260 secs
lola: 17744164 markings, 60869998 edges, 8331 markings/sec, 2265 secs
lola: 17788206 markings, 60989734 edges, 8808 markings/sec, 2270 secs
lola: 17826788 markings, 61104243 edges, 7716 markings/sec, 2275 secs
lola: 17864607 markings, 61229295 edges, 7564 markings/sec, 2280 secs
lola: 17901796 markings, 61353343 edges, 7438 markings/sec, 2285 secs
lola: 17941019 markings, 61485286 edges, 7845 markings/sec, 2290 secs
lola: 17981311 markings, 61618796 edges, 8058 markings/sec, 2295 secs
lola: 18019189 markings, 61743048 edges, 7576 markings/sec, 2300 secs
lola: 18057863 markings, 61870742 edges, 7735 markings/sec, 2305 secs
lola: 18098046 markings, 61998364 edges, 8037 markings/sec, 2310 secs
lola: 18136132 markings, 62126251 edges, 7617 markings/sec, 2315 secs
lola: 18172341 markings, 62245954 edges, 7242 markings/sec, 2320 secs
lola: 18214188 markings, 62388145 edges, 8369 markings/sec, 2325 secs
lola: 18261916 markings, 62524456 edges, 9546 markings/sec, 2330 secs
lola: 18298842 markings, 62645023 edges, 7385 markings/sec, 2335 secs
lola: 18328002 markings, 62773102 edges, 5832 markings/sec, 2340 secs
lola: 18360567 markings, 62912849 edges, 6513 markings/sec, 2345 secs
lola: 18394270 markings, 63042937 edges, 6741 markings/sec, 2350 secs
lola: 18432986 markings, 63170861 edges, 7743 markings/sec, 2355 secs
lola: 18470043 markings, 63296838 edges, 7411 markings/sec, 2360 secs
lola: 18509058 markings, 63425526 edges, 7803 markings/sec, 2365 secs
lola: 18546385 markings, 63548619 edges, 7465 markings/sec, 2370 secs
lola: 18583526 markings, 63670655 edges, 7428 markings/sec, 2375 secs
lola: 18619602 markings, 63792881 edges, 7215 markings/sec, 2380 secs
lola: 18659742 markings, 63919788 edges, 8028 markings/sec, 2385 secs
lola: 18701868 markings, 64062765 edges, 8425 markings/sec, 2390 secs
lola: 18747977 markings, 64204446 edges, 9222 markings/sec, 2395 secs
lola: 18789577 markings, 64354827 edges, 8320 markings/sec, 2400 secs
lola: 18830536 markings, 64493826 edges, 8192 markings/sec, 2405 secs
lola: 18873064 markings, 64639020 edges, 8506 markings/sec, 2410 secs
lola: 18912644 markings, 64773801 edges, 7916 markings/sec, 2415 secs
lola: 18951742 markings, 64901963 edges, 7820 markings/sec, 2420 secs
lola: 18989717 markings, 65036013 edges, 7595 markings/sec, 2425 secs
lola: 19020976 markings, 65142084 edges, 6252 markings/sec, 2430 secs
lola: 19053155 markings, 65247922 edges, 6436 markings/sec, 2435 secs
lola: 19089642 markings, 65375866 edges, 7297 markings/sec, 2440 secs
lola: 19118169 markings, 65474683 edges, 5705 markings/sec, 2445 secs
lola: 19144480 markings, 65564088 edges, 5262 markings/sec, 2450 secs
lola: 19170322 markings, 65650162 edges, 5168 markings/sec, 2455 secs
lola: 19198426 markings, 65741008 edges, 5621 markings/sec, 2460 secs
lola: 19226304 markings, 65832618 edges, 5576 markings/sec, 2465 secs
lola: 19252402 markings, 65921729 edges, 5220 markings/sec, 2470 secs
lola: 19274472 markings, 65998148 edges, 4414 markings/sec, 2475 secs
lola: 19296618 markings, 66071318 edges, 4429 markings/sec, 2480 secs
lola: 19321692 markings, 66153305 edges, 5015 markings/sec, 2485 secs
lola: 19343342 markings, 66222452 edges, 4330 markings/sec, 2490 secs
lola: 19363649 markings, 66290686 edges, 4061 markings/sec, 2495 secs
lola: 19386898 markings, 66367455 edges, 4650 markings/sec, 2500 secs
lola: 19407167 markings, 66432019 edges, 4054 markings/sec, 2505 secs
lola: 19429733 markings, 66518160 edges, 4513 markings/sec, 2510 secs
lola: 19464719 markings, 66639174 edges, 6997 markings/sec, 2515 secs
lola: 19503859 markings, 66767969 edges, 7828 markings/sec, 2520 secs
lola: 19543183 markings, 66897440 edges, 7865 markings/sec, 2525 secs
lola: 19581270 markings, 67026469 edges, 7617 markings/sec, 2530 secs
lola: 19621309 markings, 67159957 edges, 8008 markings/sec, 2535 secs
lola: 19661692 markings, 67293312 edges, 8077 markings/sec, 2540 secs
lola: 19695868 markings, 67423625 edges, 6835 markings/sec, 2545 secs
lola: 19725031 markings, 67551388 edges, 5833 markings/sec, 2550 secs
lola: 19765080 markings, 67685117 edges, 8010 markings/sec, 2555 secs
lola: 19805186 markings, 67817665 edges, 8021 markings/sec, 2560 secs
lola: 19844145 markings, 67945909 edges, 7792 markings/sec, 2565 secs
lola: 19881742 markings, 68069816 edges, 7519 markings/sec, 2570 secs
lola: 19918731 markings, 68194086 edges, 7398 markings/sec, 2575 secs
lola: 19957845 markings, 68325075 edges, 7823 markings/sec, 2580 secs
lola: 19997330 markings, 68455510 edges, 7897 markings/sec, 2585 secs
lola: 20036485 markings, 68577271 edges, 7831 markings/sec, 2590 secs
lola: 20072160 markings, 68696411 edges, 7135 markings/sec, 2595 secs
lola: 20110020 markings, 68824320 edges, 7572 markings/sec, 2600 secs
lola: 20151690 markings, 68965253 edges, 8334 markings/sec, 2605 secs
lola: 20185500 markings, 69080275 edges, 6762 markings/sec, 2610 secs
lola: 20223610 markings, 69206608 edges, 7622 markings/sec, 2615 secs
lola: 20266046 markings, 69348355 edges, 8487 markings/sec, 2620 secs
lola: 20312182 markings, 69486644 edges, 9227 markings/sec, 2625 secs
lola: 20353484 markings, 69634771 edges, 8260 markings/sec, 2630 secs
lola: 20392668 markings, 69768313 edges, 7837 markings/sec, 2635 secs
lola: 20433312 markings, 69906411 edges, 8129 markings/sec, 2640 secs
lola: 20472113 markings, 70040093 edges, 7760 markings/sec, 2645 secs
lola: 20508345 markings, 70162588 edges, 7246 markings/sec, 2650 secs
lola: 20548291 markings, 70298217 edges, 7989 markings/sec, 2655 secs
lola: 20584963 markings, 70422255 edges, 7334 markings/sec, 2660 secs
lola: 20617973 markings, 70529910 edges, 6602 markings/sec, 2665 secs
lola: 20655505 markings, 70663099 edges, 7506 markings/sec, 2670 secs
lola: 20687185 markings, 70772358 edges, 6336 markings/sec, 2675 secs
lola: 20714499 markings, 70864712 edges, 5463 markings/sec, 2680 secs
lola: 20741414 markings, 70953204 edges, 5383 markings/sec, 2685 secs
lola: 20769625 markings, 71045740 edges, 5642 markings/sec, 2690 secs
lola: 20796788 markings, 71134959 edges, 5433 markings/sec, 2695 secs
lola: 20822263 markings, 71221743 edges, 5095 markings/sec, 2700 secs
lola: 20845013 markings, 71299629 edges, 4550 markings/sec, 2705 secs
lola: 20867518 markings, 71374093 edges, 4501 markings/sec, 2710 secs
lola: 20892675 markings, 71456457 edges, 5031 markings/sec, 2715 secs
lola: 20914200 markings, 71525965 edges, 4305 markings/sec, 2720 secs
lola: 20935508 markings, 71596909 edges, 4262 markings/sec, 2725 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no yes no unknown no no yes no no yes no no no no
lola:
preliminary result: unknown yes no yes no unknown no no yes no no yes no no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no yes no unknown no no yes no no yes no no no no
lola: memory consumption: 4916232 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589853451975
--------------------
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="CloudReconfiguration-PT-309"
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 CloudReconfiguration-PT-309, 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-158902579500018"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-309.tgz
mv CloudReconfiguration-PT-309 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 ;