About the Execution of 2019-Gold for DLCflexbar-PT-6a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.230 | 3570302.00 | 3543575.00 | 11092.70 | TTTFF?FTFFTF?FFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r060-ebro-158902579600102.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is DLCflexbar-PT-6a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-158902579600102
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.4M
-rw-r--r-- 1 mcc users 4.2K Mar 30 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 21:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 21:19 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.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 15:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 15:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 4.2M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCflexbar-PT-6a-00
FORMULA_NAME DLCflexbar-PT-6a-01
FORMULA_NAME DLCflexbar-PT-6a-02
FORMULA_NAME DLCflexbar-PT-6a-03
FORMULA_NAME DLCflexbar-PT-6a-04
FORMULA_NAME DLCflexbar-PT-6a-05
FORMULA_NAME DLCflexbar-PT-6a-06
FORMULA_NAME DLCflexbar-PT-6a-07
FORMULA_NAME DLCflexbar-PT-6a-08
FORMULA_NAME DLCflexbar-PT-6a-09
FORMULA_NAME DLCflexbar-PT-6a-10
FORMULA_NAME DLCflexbar-PT-6a-11
FORMULA_NAME DLCflexbar-PT-6a-12
FORMULA_NAME DLCflexbar-PT-6a-13
FORMULA_NAME DLCflexbar-PT-6a-14
FORMULA_NAME DLCflexbar-PT-6a-15
=== Now, execution of the tool begins
BK_START 1589888313169
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ DLCflexbar-PT-6a @ 3570 seconds
FORMULA DLCflexbar-PT-6a-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCflexbar-PT-6a-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ DLCflexbar-PT-6a
{
"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 11:38:33 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X ((NOT FIREABLE(t4458) R FIREABLE(t4693))))",
"processed_size": 47,
"rewrites": 64
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 0,
"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": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((FIREABLE(t4420) OR FIREABLE(t7322)) OR (G (FIREABLE(t757)) OR X (F (FIREABLE(t7322))))))",
"processed_size": 94,
"rewrites": 64
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"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": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((NOT FIREABLE(t3272) OR X (F ((F (FIREABLE(t788)) OR X (G ((F (FIREABLE(t3272)) AND (FIREABLE(t2085) OR FIREABLE(t3272))))))))))",
"processed_size": 131,
"rewrites": 64
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"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": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((F (FIREABLE(t4783)) AND ((FIREABLE(t4783) AND X (F (NOT FIREABLE(t5582)))) OR X (X (FIREABLE(t4783))))))))",
"processed_size": 116,
"rewrites": 64
},
"result":
{
"edges": 6,
"markings": 5,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 12
},
"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": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (X ((F (NOT FIREABLE(t7916)) OR X (G (NOT FIREABLE(t5023)))))))",
"processed_size": 68,
"rewrites": 64
},
"result":
{
"edges": 4273,
"markings": 271,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"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": 325
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 325
},
"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(t12655)",
"processed_size": 16,
"rewrites": 66
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 362
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X ((FIREABLE(t11850) U FIREABLE(t8760))))",
"processed_size": 44,
"rewrites": 64
},
"result":
{
"edges": 3,
"markings": 3,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 362
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 362
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(t2957)",
"processed_size": 19,
"rewrites": 64
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 8,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 413
},
"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(t3383)",
"processed_size": 19,
"rewrites": 66
},
"result":
{
"edges": 2,
"markings": 2,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 93
},
"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": 413
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 6,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((FIREABLE(t12038) AND FIREABLE(t4787)) U (X (FIREABLE(t10705)) AND (FIREABLE(t4787) OR X (F ((NOT FIREABLE(t4787) AND NOT FIREABLE(t10705))))))))",
"processed_size": 149,
"rewrites": 64
},
"result":
{
"edges": 3,
"markings": 3,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 9,
"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": 482
},
"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(t425)))",
"processed_size": 22,
"rewrites": 66
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 10,
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 579
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (NOT FIREABLE(t15909)))",
"processed_size": 28,
"rewrites": 66
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 11,
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 724
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"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": 3,
"unfir": 3,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "(FIREABLE(t14222) OR (FIREABLE(t11647) AND FIREABLE(t10857)))",
"processed_size": 62,
"rewrites": 66
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 559
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 965
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (G (FIREABLE(t12120))))",
"processed_size": 28,
"rewrites": 64
},
"result":
{
"edges": 4,
"markings": 3,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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": 1448
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(t7477))))",
"processed_size": 27,
"rewrites": 64
},
"result":
{
"edges": 42919,
"markings": 495,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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": 2896
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2896
},
"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(t250)))",
"processed_size": 22,
"rewrites": 66
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 15,
"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": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 5018620,
"runtime": 3570.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X((* R *))) : A((** OR (G(**) OR X(F(**))))) : A((** OR X(F((F(**) OR X(G((F(**) AND (** OR **))))))))) : (A(G(**)) AND A(G((G(**) OR (F(**) OR (G(**) AND F(**))))))) : A(F(G((F(**) AND ((** AND X(F(*))) OR X(X(**))))))) : A(X(X(X(F((* R (* OR X((* R X(X(*))))))))))) : A(F(G(**))) : A(X(X((F(*) OR X(G(*)))))) : A(G(**)) : A(G(*)) : A(F(**)) : (A(F(**)) AND A(X((** U **)))) : A(((F(G(*)) OR (G(**) AND F(G(*)))) U X(X(**)))) : A(G(F(**))) : (** AND (A(F(**)) AND A(X(G(**))))) : A((** U (X(**) AND (** OR X(F(**))))))"
},
"net":
{
"arcs": 63325,
"conflict_clusters": 262,
"places": 2069,
"places_significant": 577,
"singleton_clusters": 0,
"transitions": 16077
},
"result":
{
"interim_value": "yes yes yes no no unknown no yes no no yes no unknown no no no ",
"preliminary_value": "yes yes yes no no unknown no yes no no yes no unknown no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 18146/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2069
lola: finding significant places
lola: 2069 places, 16077 transitions, 577 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(((FIREABLE(t4458) OR G (FIREABLE(t4458))) U NOT FIREABLE(t4693))))) : A ((((FIREABLE(t4420) OR FIREABLE(t7322)) OR G (FIREABLE(t757))) OR (X (FIREABLE(t757)) U X (F (FIREABLE(t7322)))))) : A ((NOT FIREABLE(t3272) OR F (X ((F (FIREABLE(t788)) OR G (X ((FIREABLE(t2085) U FIREABLE(t3272))))))))) : A (G ((FIREABLE(t250) AND (G (FIREABLE(t5153)) OR (G (FIREABLE(t250)) U F (FIREABLE(t5153))))))) : A ((FIREABLE(t4881) U X (F (G (((FIREABLE(t4783) AND F (NOT(X (FIREABLE(t5582))))) U X (X (FIREABLE(t4783))))))))) : A (X (F (X (X (NOT((FIREABLE(t4397) U (FIREABLE(t15719) AND X ((FIREABLE(t643) U X (X (FIREABLE(t14474))))))))))))) : A (F (G (FIREABLE(t12120)))) : A (X (X (NOT((G (FIREABLE(t7916)) AND X (F (FIREABLE(t5023)))))))) : A (G (FIREABLE(t425))) : A (NOT(F (FIREABLE(t15909)))) : A (((F (FIREABLE(t14222)) U NOT FIREABLE(t11880)) U F ((NOT FIREABLE(t14222) AND (NOT FIREABLE(t11647) OR NOT FIREABLE(t10857)))))) : A ((F (NOT FIREABLE(t12655)) AND X ((FIREABLE(t11850) U FIREABLE(t8760))))) : A (((G (FIREABLE(t5792)) U F (X (G (F (NOT(F (FIREABLE(t11055)))))))) U X (X (FIREABLE(t5792))))) : A (G ((FIREABLE(t14763) U (F (FIREABLE(t10299)) U F (FIREABLE(t7477)))))) : A (((NOT FIREABLE(t2957) AND F ((F (NOT FIREABLE(t3383)) U FIREABLE(t3383)))) AND G (X ((FIREABLE(t9825) OR FIREABLE(t7891)))))) : A (((FIREABLE(t12038) AND FIREABLE(t4787)) U (X (FIREABLE(t10705)) AND (FIREABLE(t4787) OR X (F ((NOT FIREABLE(t4787) AND NOT FIREABLE(t10705))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:494
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:335
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:422
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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 ((NOT FIREABLE(t4458) R FIREABLE(t4693))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((NOT FIREABLE(t4458) R FIREABLE(t4693))))
lola: processed formula length: 47
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t4420) OR FIREABLE(t7322)) OR (G (FIREABLE(t757)) OR X (F (FIREABLE(t7322))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t4420) OR FIREABLE(t7322)) OR (G (FIREABLE(t757)) OR X (F (FIREABLE(t7322))))))
lola: processed formula length: 94
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t3272) OR X (F ((F (FIREABLE(t788)) OR X (G ((F (FIREABLE(t3272)) AND (FIREABLE(t2085) OR FIREABLE(t3272))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(t3272) OR X (F ((F (FIREABLE(t788)) OR X (G ((F (FIREABLE(t3272)) AND (FIREABLE(t2085) OR FIREABLE(t3272))))))))))
lola: processed formula length: 131
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F (FIREABLE(t4783)) AND ((FIREABLE(t4783) AND X (F (NOT FIREABLE(t5582)))) OR X (X (FIREABLE(t4783))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F (FIREABLE(t4783)) AND ((FIREABLE(t4783) AND X (F (NOT FIREABLE(t5582)))) OR X (X (FIREABLE(t4783))))))))
lola: processed formula length: 116
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 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: 5 markings, 6 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (F ((NOT FIREABLE(t4397) R (NOT FIREABLE(t15719) OR X ((NOT FIREABLE(t643) R X (X (NOT FIREABLE(t14474))))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F ((NOT FIREABLE(t4397) R (NOT FIREABLE(t15719) OR X ((NOT FIREABLE(t643) R X (X (NOT FIREABLE(t14474))))))))))))
lola: processed formula length: 125
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 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: 11057 markings, 699523 edges, 2211 markings/sec, 0 secs
lola: 21006 markings, 1397195 edges, 1990 markings/sec, 5 secs
lola: 31298 markings, 2093149 edges, 2058 markings/sec, 10 secs
lola: 41716 markings, 2787243 edges, 2084 markings/sec, 15 secs
lola: 52096 markings, 3480337 edges, 2076 markings/sec, 20 secs
lola: 62157 markings, 4175523 edges, 2012 markings/sec, 25 secs
lola: 73462 markings, 4861523 edges, 2261 markings/sec, 30 secs
lola: 84022 markings, 5550500 edges, 2112 markings/sec, 35 secs
lola: 94301 markings, 6242866 edges, 2056 markings/sec, 40 secs
lola: 104442 markings, 6930275 edges, 2028 markings/sec, 45 secs
lola: 113627 markings, 7604877 edges, 1837 markings/sec, 50 secs
lola: 123553 markings, 8282386 edges, 1985 markings/sec, 55 secs
lola: 133585 markings, 8970080 edges, 2006 markings/sec, 60 secs
lola: 143974 markings, 9660099 edges, 2078 markings/sec, 65 secs
lola: 153972 markings, 10346562 edges, 2000 markings/sec, 70 secs
lola: 164620 markings, 11054430 edges, 2130 markings/sec, 75 secs
lola: 175657 markings, 11749857 edges, 2207 markings/sec, 80 secs
lola: 185951 markings, 12440127 edges, 2059 markings/sec, 85 secs
lola: 196001 markings, 13127926 edges, 2010 markings/sec, 90 secs
lola: 206233 markings, 13822530 edges, 2046 markings/sec, 95 secs
lola: 216684 markings, 14516158 edges, 2090 markings/sec, 100 secs
lola: 227310 markings, 15215017 edges, 2125 markings/sec, 105 secs
lola: 238166 markings, 15911897 edges, 2171 markings/sec, 110 secs
lola: 248913 markings, 16610320 edges, 2149 markings/sec, 115 secs
lola: 258991 markings, 17307423 edges, 2016 markings/sec, 120 secs
lola: 269272 markings, 17996556 edges, 2056 markings/sec, 125 secs
lola: 279933 markings, 18694687 edges, 2132 markings/sec, 130 secs
lola: 290346 markings, 19385284 edges, 2083 markings/sec, 135 secs
lola: 301693 markings, 20079163 edges, 2269 markings/sec, 140 secs
lola: 312582 markings, 20775325 edges, 2178 markings/sec, 145 secs
lola: 323074 markings, 21468141 edges, 2098 markings/sec, 150 secs
lola: 333673 markings, 22161638 edges, 2120 markings/sec, 155 secs
lola: 344247 markings, 22853362 edges, 2115 markings/sec, 160 secs
lola: 354596 markings, 23545728 edges, 2070 markings/sec, 165 secs
lola: 364658 markings, 24237164 edges, 2012 markings/sec, 170 secs
lola: 375057 markings, 24932932 edges, 2080 markings/sec, 175 secs
lola: 384994 markings, 25627566 edges, 1987 markings/sec, 180 secs
lola: 395610 markings, 26319404 edges, 2123 markings/sec, 185 secs
lola: 405983 markings, 27003863 edges, 2075 markings/sec, 190 secs
lola: 416342 markings, 27697742 edges, 2072 markings/sec, 195 secs
lola: 426834 markings, 28387272 edges, 2098 markings/sec, 200 secs
lola: 437459 markings, 29081271 edges, 2125 markings/sec, 205 secs
lola: 447972 markings, 29766904 edges, 2103 markings/sec, 210 secs
lola: 458345 markings, 30461280 edges, 2075 markings/sec, 215 secs
lola: 468230 markings, 31149901 edges, 1977 markings/sec, 220 secs
lola: 479084 markings, 31835540 edges, 2171 markings/sec, 225 secs
lola: 488956 markings, 32521958 edges, 1974 markings/sec, 230 secs
lola: 499671 markings, 33213075 edges, 2143 markings/sec, 235 secs
lola: 509997 markings, 33905264 edges, 2065 markings/sec, 240 secs
lola: 520261 markings, 34586625 edges, 2053 markings/sec, 245 secs
lola: 530051 markings, 35275983 edges, 1958 markings/sec, 250 secs
lola: 540616 markings, 35963315 edges, 2113 markings/sec, 255 secs
lola: 550639 markings, 36653328 edges, 2005 markings/sec, 260 secs
lola: 560444 markings, 37344440 edges, 1961 markings/sec, 265 secs
lola: 570614 markings, 38022628 edges, 2034 markings/sec, 270 secs
lola: 581297 markings, 38711293 edges, 2137 markings/sec, 275 secs
lola: 591151 markings, 39395540 edges, 1971 markings/sec, 280 secs
lola: 601451 markings, 40083072 edges, 2060 markings/sec, 285 secs
lola: 611731 markings, 40769663 edges, 2056 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2696440 KB
lola: time consumption: 310 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((F (NOT FIREABLE(t7916)) OR X (G (NOT FIREABLE(t5023)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((F (NOT FIREABLE(t7916)) OR X (G (NOT FIREABLE(t5023)))))))
lola: processed formula length: 68
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 271 markings, 4273 edges
lola: ========================================
lola: subprocess 6 will run for 325 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (NOT FIREABLE(t12655))) AND A (X ((FIREABLE(t11850) U FIREABLE(t8760)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 325 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(t12655)))
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(t12655)
lola: processed formula length: 16
lola: 66 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 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t11850) U FIREABLE(t8760))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(t11850) U FIREABLE(t8760))))
lola: processed formula length: 44
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3 markings, 3 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F (G (NOT FIREABLE(t11055))) OR (G (FIREABLE(t5792)) AND F (G (NOT FIREABLE(t11055))))) U X (X (FIREABLE(t5792)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F (G (NOT FIREABLE(t11055))) OR (G (FIREABLE(t5792)) AND F (G (NOT FIREABLE(t11055))))) U X (X (FIREABLE(t5792)))))
lola: processed formula length: 120
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 18 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: 7221 markings, 738671 edges, 1444 markings/sec, 0 secs
lola: 13755 markings, 1471619 edges, 1307 markings/sec, 5 secs
lola: 20374 markings, 2200406 edges, 1324 markings/sec, 10 secs
lola: 27263 markings, 2925340 edges, 1378 markings/sec, 15 secs
lola: 33697 markings, 3648616 edges, 1287 markings/sec, 20 secs
lola: 40434 markings, 4368343 edges, 1347 markings/sec, 25 secs
lola: 48014 markings, 5082265 edges, 1516 markings/sec, 30 secs
lola: 54759 markings, 5798956 edges, 1349 markings/sec, 35 secs
lola: 61493 markings, 6518051 edges, 1347 markings/sec, 40 secs
lola: 68019 markings, 7237951 edges, 1305 markings/sec, 45 secs
lola: 74354 markings, 7949175 edges, 1267 markings/sec, 50 secs
lola: 80834 markings, 8664183 edges, 1296 markings/sec, 55 secs
lola: 87525 markings, 9379858 edges, 1338 markings/sec, 60 secs
lola: 94071 markings, 10096647 edges, 1309 markings/sec, 65 secs
lola: 101051 markings, 10826197 edges, 1396 markings/sec, 70 secs
lola: 108159 markings, 11541710 edges, 1422 markings/sec, 75 secs
lola: 114681 markings, 12257216 edges, 1304 markings/sec, 80 secs
lola: 121110 markings, 12965005 edges, 1286 markings/sec, 85 secs
lola: 127584 markings, 13677323 edges, 1295 markings/sec, 90 secs
lola: 134486 markings, 14390471 edges, 1380 markings/sec, 95 secs
lola: 141561 markings, 15102973 edges, 1415 markings/sec, 100 secs
lola: 148541 markings, 15818838 edges, 1396 markings/sec, 105 secs
lola: 155352 markings, 16525571 edges, 1362 markings/sec, 110 secs
lola: 162388 markings, 17243325 edges, 1407 markings/sec, 115 secs
lola: 168781 markings, 17956850 edges, 1279 markings/sec, 120 secs
lola: 175809 markings, 18680331 edges, 1406 markings/sec, 125 secs
lola: 183385 markings, 19393020 edges, 1515 markings/sec, 130 secs
lola: 190632 markings, 20113134 edges, 1449 markings/sec, 135 secs
lola: 197648 markings, 20829437 edges, 1403 markings/sec, 140 secs
lola: 204750 markings, 21544334 edges, 1420 markings/sec, 145 secs
lola: 211680 markings, 22262124 edges, 1386 markings/sec, 150 secs
lola: 218400 markings, 22975328 edges, 1344 markings/sec, 155 secs
lola: 224960 markings, 23688517 edges, 1312 markings/sec, 160 secs
lola: 231828 markings, 24408401 edges, 1374 markings/sec, 165 secs
lola: 238237 markings, 25125355 edges, 1282 markings/sec, 170 secs
lola: 245200 markings, 25841375 edges, 1393 markings/sec, 175 secs
lola: 251892 markings, 26546183 edges, 1338 markings/sec, 180 secs
lola: 258615 markings, 27263131 edges, 1345 markings/sec, 185 secs
lola: 265294 markings, 27976276 edges, 1336 markings/sec, 190 secs
lola: 272228 markings, 28683032 edges, 1387 markings/sec, 195 secs
lola: 279034 markings, 29381047 edges, 1361 markings/sec, 200 secs
lola: 285831 markings, 30093370 edges, 1359 markings/sec, 205 secs
lola: 292511 markings, 30800294 edges, 1336 markings/sec, 210 secs
lola: 299508 markings, 31505265 edges, 1399 markings/sec, 215 secs
lola: 305894 markings, 32212758 edges, 1277 markings/sec, 220 secs
lola: 312821 markings, 32924925 edges, 1385 markings/sec, 225 secs
lola: 319566 markings, 33636703 edges, 1349 markings/sec, 230 secs
lola: 325935 markings, 34342181 edges, 1274 markings/sec, 235 secs
lola: 332522 markings, 35050697 edges, 1317 markings/sec, 240 secs
lola: 339479 markings, 35755528 edges, 1391 markings/sec, 245 secs
lola: 345995 markings, 36460967 edges, 1303 markings/sec, 250 secs
lola: 352454 markings, 37163226 edges, 1292 markings/sec, 255 secs
lola: 359415 markings, 37871258 edges, 1392 markings/sec, 260 secs
lola: 365958 markings, 38572960 edges, 1309 markings/sec, 265 secs
lola: 372382 markings, 39274842 edges, 1285 markings/sec, 270 secs
lola: 379339 markings, 39985826 edges, 1391 markings/sec, 275 secs
lola: 385736 markings, 40685550 edges, 1279 markings/sec, 280 secs
lola: 392547 markings, 41386021 edges, 1362 markings/sec, 285 secs
lola: 399172 markings, 42081218 edges, 1325 markings/sec, 290 secs
lola: 405822 markings, 42795226 edges, 1330 markings/sec, 295 secs
lola: 412600 markings, 43501864 edges, 1356 markings/sec, 300 secs
lola: 419578 markings, 44208164 edges, 1396 markings/sec, 305 secs
lola: 426269 markings, 44912123 edges, 1338 markings/sec, 310 secs
lola: 433009 markings, 45616710 edges, 1348 markings/sec, 315 secs
lola: 439604 markings, 46324587 edges, 1319 markings/sec, 320 secs
lola: 446700 markings, 47024095 edges, 1419 markings/sec, 325 secs
lola: 453198 markings, 47731456 edges, 1300 markings/sec, 330 secs
lola: 459992 markings, 48435600 edges, 1359 markings/sec, 335 secs
lola: 466497 markings, 49139904 edges, 1301 markings/sec, 340 secs
lola: 473054 markings, 49844133 edges, 1311 markings/sec, 345 secs
lola: 481680 markings, 50538306 edges, 1725 markings/sec, 350 secs
lola: 488024 markings, 51244844 edges, 1269 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes unknown no unknown unknown yes unknown unknown unknown no unknown unknown unknown unknown
lola: memory consumption: 2146256 KB
lola: time consumption: 673 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t2957) AND (A (F (FIREABLE(t3383))) AND A (X (G ((FIREABLE(t9825) OR FIREABLE(t7891)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t2957)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t2957)
lola: processed formula length: 19
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t3383)))
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(t3383)
lola: processed formula length: 19
lola: 66 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: 2 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t12038) AND FIREABLE(t4787)) U (X (FIREABLE(t10705)) AND (FIREABLE(t4787) OR X (F ((NOT FIREABLE(t4787) AND NOT FIREABLE(t10705))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t12038) AND FIREABLE(t4787)) U (X (FIREABLE(t10705)) AND (FIREABLE(t4787) OR X (F ((NOT FIREABLE(t4787) AND NOT FIREABLE(t10705))))))))
lola: processed formula length: 149
lola: 64 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: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3 markings, 3 edges
lola: ========================================
lola: subprocess 10 will run for 482 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t425)))
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(t425)))
lola: processed formula length: 22
lola: 66 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(t425)
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: subprocess 11 will run for 579 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t15909)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(t15909)))
lola: processed formula length: 28
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t15909)
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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 12 will run for 724 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(t14222) AND (NOT FIREABLE(t11647) OR NOT FIREABLE(t10857)))))
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(t14222) OR (FIREABLE(t11647) AND FIREABLE(t10857)))
lola: processed formula length: 62
lola: 66 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 13 will run for 965 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t12120))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t12120))))
lola: processed formula length: 28
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3 markings, 4 edges
lola: ========================================
lola: subprocess 14 will run for 1448 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t7477))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t7477))))
lola: processed formula length: 27
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 495 markings, 42919 edges
lola: ========================================
lola: subprocess 15 will run for 2896 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t250))) AND A (G ((G (FIREABLE(t5153)) OR (F (FIREABLE(t5153)) OR (G (FIREABLE(t250)) AND F (FIREABLE(t5153))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2896 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t250)))
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(t250)))
lola: processed formula length: 22
lola: 66 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(t250)
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: ========================================
lola: ...considering subproblem: A (X (X (X (F ((NOT FIREABLE(t4397) R (NOT FIREABLE(t15719) OR X ((NOT FIREABLE(t643) R X (X (NOT FIREABLE(t14474))))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F ((NOT FIREABLE(t4397) R (NOT FIREABLE(t15719) OR X ((NOT FIREABLE(t643) R X (X (NOT FIREABLE(t14474))))))))))))
lola: processed formula length: 125
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 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: 11252 markings, 712197 edges, 2250 markings/sec, 0 secs
lola: 21407 markings, 1421973 edges, 2031 markings/sec, 5 secs
lola: 31800 markings, 2128095 edges, 2079 markings/sec, 10 secs
lola: 42351 markings, 2832037 edges, 2110 markings/sec, 15 secs
lola: 52904 markings, 3533892 edges, 2111 markings/sec, 20 secs
lola: 62956 markings, 4235675 edges, 2010 markings/sec, 25 secs
lola: 74654 markings, 4927288 edges, 2340 markings/sec, 30 secs
lola: 85161 markings, 5624014 edges, 2101 markings/sec, 35 secs
lola: 95413 markings, 6315393 edges, 2050 markings/sec, 40 secs
lola: 105532 markings, 7010760 edges, 2024 markings/sec, 45 secs
lola: 115205 markings, 7711254 edges, 1935 markings/sec, 50 secs
lola: 125246 markings, 8404309 edges, 2008 markings/sec, 55 secs
lola: 135420 markings, 9090293 edges, 2035 markings/sec, 60 secs
lola: 145650 markings, 9775568 edges, 2046 markings/sec, 65 secs
lola: 155591 markings, 10462967 edges, 1988 markings/sec, 70 secs
lola: 166460 markings, 11170271 edges, 2174 markings/sec, 75 secs
lola: 177396 markings, 11862262 edges, 2187 markings/sec, 80 secs
lola: 187754 markings, 12553764 edges, 2072 markings/sec, 85 secs
lola: 197606 markings, 13239945 edges, 1970 markings/sec, 90 secs
lola: 207886 markings, 13929958 edges, 2056 markings/sec, 95 secs
lola: 218309 markings, 14621643 edges, 2085 markings/sec, 100 secs
lola: 228927 markings, 15313439 edges, 2124 markings/sec, 105 secs
lola: 239527 markings, 16004825 edges, 2120 markings/sec, 110 secs
lola: 250041 markings, 16699903 edges, 2103 markings/sec, 115 secs
lola: 260434 markings, 17391764 edges, 2079 markings/sec, 120 secs
lola: 270487 markings, 18077542 edges, 2011 markings/sec, 125 secs
lola: 281158 markings, 18773646 edges, 2134 markings/sec, 130 secs
lola: 291646 markings, 19461894 edges, 2098 markings/sec, 135 secs
lola: 302957 markings, 20153729 edges, 2262 markings/sec, 140 secs
lola: 313662 markings, 20845093 edges, 2141 markings/sec, 145 secs
lola: 324089 markings, 21534040 edges, 2085 markings/sec, 150 secs
lola: 334638 markings, 22224902 edges, 2110 markings/sec, 155 secs
lola: 344932 markings, 22903167 edges, 2059 markings/sec, 160 secs
lola: 355372 markings, 23592689 edges, 2088 markings/sec, 165 secs
lola: 365349 markings, 24282231 edges, 1995 markings/sec, 170 secs
lola: 375605 markings, 24971838 edges, 2051 markings/sec, 175 secs
lola: 385535 markings, 25668710 edges, 1986 markings/sec, 180 secs
lola: 396229 markings, 26359729 edges, 2139 markings/sec, 185 secs
lola: 406606 markings, 27046053 edges, 2075 markings/sec, 190 secs
lola: 417040 markings, 27741290 edges, 2087 markings/sec, 195 secs
lola: 427501 markings, 28433876 edges, 2092 markings/sec, 200 secs
lola: 438211 markings, 29129349 edges, 2142 markings/sec, 205 secs
lola: 448690 markings, 29815014 edges, 2096 markings/sec, 210 secs
lola: 459186 markings, 30508298 edges, 2099 markings/sec, 215 secs
lola: 468853 markings, 31190149 edges, 1933 markings/sec, 220 secs
lola: 479581 markings, 31875012 edges, 2146 markings/sec, 225 secs
lola: 489416 markings, 32554744 edges, 1967 markings/sec, 230 secs
lola: 500079 markings, 33236901 edges, 2133 markings/sec, 235 secs
lola: 510360 markings, 33923877 edges, 2056 markings/sec, 240 secs
lola: 520593 markings, 34608003 edges, 2047 markings/sec, 245 secs
lola: 530329 markings, 35298825 edges, 1947 markings/sec, 250 secs
lola: 541045 markings, 35990215 edges, 2143 markings/sec, 255 secs
lola: 551027 markings, 36679153 edges, 1996 markings/sec, 260 secs
lola: 560792 markings, 37371669 edges, 1953 markings/sec, 265 secs
lola: 571343 markings, 38065292 edges, 2110 markings/sec, 270 secs
lola: 581921 markings, 38752394 edges, 2116 markings/sec, 275 secs
lola: 591809 markings, 39439801 edges, 1978 markings/sec, 280 secs
lola: 602165 markings, 40131924 edges, 2071 markings/sec, 285 secs
lola: 612437 markings, 40819803 edges, 2054 markings/sec, 290 secs
lola: 622815 markings, 41513403 edges, 2076 markings/sec, 295 secs
lola: 633714 markings, 42195689 edges, 2180 markings/sec, 300 secs
lola: 644068 markings, 42886719 edges, 2071 markings/sec, 305 secs
lola: 654115 markings, 43580996 edges, 2009 markings/sec, 310 secs
lola: 664820 markings, 44265872 edges, 2141 markings/sec, 315 secs
lola: 675575 markings, 44954387 edges, 2151 markings/sec, 320 secs
lola: 685652 markings, 45636366 edges, 2015 markings/sec, 325 secs
lola: 695741 markings, 46313305 edges, 2018 markings/sec, 330 secs
lola: 705667 markings, 46998767 edges, 1985 markings/sec, 335 secs
lola: 716183 markings, 47684409 edges, 2103 markings/sec, 340 secs
lola: 726154 markings, 48372441 edges, 1994 markings/sec, 345 secs
lola: 736538 markings, 49060552 edges, 2077 markings/sec, 350 secs
lola: 746711 markings, 49746221 edges, 2035 markings/sec, 355 secs
lola: 756546 markings, 50429719 edges, 1967 markings/sec, 360 secs
lola: 769274 markings, 51092143 edges, 2546 markings/sec, 365 secs
lola: 779777 markings, 51766078 edges, 2101 markings/sec, 370 secs
lola: 789788 markings, 52450420 edges, 2002 markings/sec, 375 secs
lola: 800198 markings, 53132841 edges, 2082 markings/sec, 380 secs
lola: 810091 markings, 53825252 edges, 1979 markings/sec, 385 secs
lola: 820458 markings, 54512568 edges, 2073 markings/sec, 390 secs
lola: 831289 markings, 55207577 edges, 2166 markings/sec, 395 secs
lola: 840950 markings, 55891605 edges, 1932 markings/sec, 400 secs
lola: 851184 markings, 56575323 edges, 2047 markings/sec, 405 secs
lola: 861199 markings, 57261901 edges, 2003 markings/sec, 410 secs
lola: 870997 markings, 57945719 edges, 1960 markings/sec, 415 secs
lola: 881378 markings, 58618906 edges, 2076 markings/sec, 420 secs
lola: 891371 markings, 59305194 edges, 1999 markings/sec, 425 secs
lola: 901585 markings, 59994407 edges, 2043 markings/sec, 430 secs
lola: 912157 markings, 60674562 edges, 2114 markings/sec, 435 secs
lola: 922611 markings, 61368839 edges, 2091 markings/sec, 440 secs
lola: 932133 markings, 62053015 edges, 1904 markings/sec, 445 secs
lola: 941667 markings, 62741582 edges, 1907 markings/sec, 450 secs
lola: 952230 markings, 63432853 edges, 2113 markings/sec, 455 secs
lola: 962775 markings, 64126046 edges, 2109 markings/sec, 460 secs
lola: 973282 markings, 64814468 edges, 2101 markings/sec, 465 secs
lola: 984203 markings, 65490458 edges, 2184 markings/sec, 470 secs
lola: 994141 markings, 66166971 edges, 1988 markings/sec, 475 secs
lola: 1004300 markings, 66848546 edges, 2032 markings/sec, 480 secs
lola: 1014696 markings, 67532368 edges, 2079 markings/sec, 485 secs
lola: 1025530 markings, 68231905 edges, 2167 markings/sec, 490 secs
lola: 1036447 markings, 68920795 edges, 2183 markings/sec, 495 secs
lola: 1047055 markings, 69611782 edges, 2122 markings/sec, 500 secs
lola: 1057615 markings, 70295787 edges, 2112 markings/sec, 505 secs
lola: 1073671 markings, 70942499 edges, 3211 markings/sec, 510 secs
lola: 1089731 markings, 71587300 edges, 3212 markings/sec, 515 secs
lola: 1100633 markings, 72261524 edges, 2180 markings/sec, 520 secs
lola: 1110832 markings, 72931016 edges, 2040 markings/sec, 525 secs
lola: 1120984 markings, 73602335 edges, 2030 markings/sec, 530 secs
lola: 1131116 markings, 74277341 edges, 2026 markings/sec, 535 secs
lola: 1141267 markings, 74960110 edges, 2030 markings/sec, 540 secs
lola: 1151278 markings, 75637328 edges, 2002 markings/sec, 545 secs
lola: 1162676 markings, 76327261 edges, 2280 markings/sec, 550 secs
lola: 1173352 markings, 77011145 edges, 2135 markings/sec, 555 secs
lola: 1183024 markings, 77654680 edges, 1934 markings/sec, 560 secs
lola: 1192579 markings, 78309449 edges, 1911 markings/sec, 565 secs
lola: 1202598 markings, 78973229 edges, 2004 markings/sec, 570 secs
lola: 1212745 markings, 79638482 edges, 2029 markings/sec, 575 secs
lola: 1223542 markings, 80324040 edges, 2159 markings/sec, 580 secs
lola: 1234034 markings, 80996925 edges, 2098 markings/sec, 585 secs
lola: 1244800 markings, 81683135 edges, 2153 markings/sec, 590 secs
lola: 1255444 markings, 82369683 edges, 2129 markings/sec, 595 secs
lola: 1265832 markings, 83049965 edges, 2078 markings/sec, 600 secs
lola: 1276646 markings, 83724499 edges, 2163 markings/sec, 605 secs
lola: 1286607 markings, 84386482 edges, 1992 markings/sec, 610 secs
lola: 1301402 markings, 85018739 edges, 2959 markings/sec, 615 secs
lola: 1313701 markings, 85683088 edges, 2460 markings/sec, 620 secs
lola: 1323726 markings, 86360572 edges, 2005 markings/sec, 625 secs
lola: 1333854 markings, 87038766 edges, 2026 markings/sec, 630 secs
lola: 1345237 markings, 87718024 edges, 2277 markings/sec, 635 secs
lola: 1356153 markings, 88397766 edges, 2183 markings/sec, 640 secs
lola: 1366791 markings, 89077494 edges, 2128 markings/sec, 645 secs
lola: 1376882 markings, 89755240 edges, 2018 markings/sec, 650 secs
lola: 1386934 markings, 90420651 edges, 2010 markings/sec, 655 secs
lola: 1396879 markings, 91089952 edges, 1989 markings/sec, 660 secs
lola: 1406939 markings, 91772549 edges, 2012 markings/sec, 665 secs
lola: 1417691 markings, 92459929 edges, 2150 markings/sec, 670 secs
lola: 1428957 markings, 93145509 edges, 2253 markings/sec, 675 secs
lola: 1439551 markings, 93835744 edges, 2119 markings/sec, 680 secs
lola: 1450631 markings, 94525419 edges, 2216 markings/sec, 685 secs
lola: 1463276 markings, 95190833 edges, 2529 markings/sec, 690 secs
lola: 1473249 markings, 95865166 edges, 1995 markings/sec, 695 secs
lola: 1483583 markings, 96534496 edges, 2067 markings/sec, 700 secs
lola: 1493961 markings, 97212489 edges, 2076 markings/sec, 705 secs
lola: 1503831 markings, 97885557 edges, 1974 markings/sec, 710 secs
lola: 1513742 markings, 98558302 edges, 1982 markings/sec, 715 secs
lola: 1524126 markings, 99235029 edges, 2077 markings/sec, 720 secs
lola: 1534306 markings, 99907843 edges, 2036 markings/sec, 725 secs
lola: 1544625 markings, 100586559 edges, 2064 markings/sec, 730 secs
lola: 1556660 markings, 101256055 edges, 2407 markings/sec, 735 secs
lola: 1566434 markings, 101933378 edges, 1955 markings/sec, 740 secs
lola: 1576586 markings, 102602612 edges, 2030 markings/sec, 745 secs
lola: 1586577 markings, 103278410 edges, 1998 markings/sec, 750 secs
lola: 1596783 markings, 103953757 edges, 2041 markings/sec, 755 secs
lola: 1607365 markings, 104625390 edges, 2116 markings/sec, 760 secs
lola: 1617810 markings, 105300292 edges, 2089 markings/sec, 765 secs
lola: 1628575 markings, 105974477 edges, 2153 markings/sec, 770 secs
lola: 1639486 markings, 106649811 edges, 2182 markings/sec, 775 secs
lola: 1649896 markings, 107326198 edges, 2082 markings/sec, 780 secs
lola: 1660050 markings, 108002092 edges, 2031 markings/sec, 785 secs
lola: 1670346 markings, 108677527 edges, 2059 markings/sec, 790 secs
lola: 1680163 markings, 109348663 edges, 1963 markings/sec, 795 secs
lola: 1693247 markings, 110016362 edges, 2617 markings/sec, 800 secs
lola: 1703592 markings, 110689234 edges, 2069 markings/sec, 805 secs
lola: 1713979 markings, 111363695 edges, 2077 markings/sec, 810 secs
lola: 1725004 markings, 112041604 edges, 2205 markings/sec, 815 secs
lola: 1735688 markings, 112725841 edges, 2137 markings/sec, 820 secs
lola: 1745584 markings, 113403451 edges, 1979 markings/sec, 825 secs
lola: 1756295 markings, 114081722 edges, 2142 markings/sec, 830 secs
lola: 1767014 markings, 114758748 edges, 2144 markings/sec, 835 secs
lola: 1778056 markings, 115434673 edges, 2208 markings/sec, 840 secs
lola: 1788617 markings, 116111469 edges, 2112 markings/sec, 845 secs
lola: 1799295 markings, 116788162 edges, 2136 markings/sec, 850 secs
lola: 1809871 markings, 117464659 edges, 2115 markings/sec, 855 secs
lola: 1820105 markings, 118144087 edges, 2047 markings/sec, 860 secs
lola: 1830029 markings, 118816549 edges, 1985 markings/sec, 865 secs
lola: 1840395 markings, 119494353 edges, 2073 markings/sec, 870 secs
lola: 1851242 markings, 120168979 edges, 2169 markings/sec, 875 secs
lola: 1861198 markings, 120828127 edges, 1991 markings/sec, 880 secs
lola: 1870684 markings, 121500343 edges, 1897 markings/sec, 885 secs
lola: 1880467 markings, 122167658 edges, 1957 markings/sec, 890 secs
lola: 1893323 markings, 122834305 edges, 2571 markings/sec, 895 secs
lola: 1903383 markings, 123505752 edges, 2012 markings/sec, 900 secs
lola: 1913846 markings, 124186948 edges, 2093 markings/sec, 905 secs
lola: 1923804 markings, 124859920 edges, 1992 markings/sec, 910 secs
lola: 1933392 markings, 125511820 edges, 1918 markings/sec, 915 secs
lola: 1943927 markings, 126189923 edges, 2107 markings/sec, 920 secs
lola: 1954065 markings, 126864280 edges, 2028 markings/sec, 925 secs
lola: 1964723 markings, 127552732 edges, 2132 markings/sec, 930 secs
lola: 1975435 markings, 128243040 edges, 2142 markings/sec, 935 secs
lola: 1985953 markings, 128913923 edges, 2104 markings/sec, 940 secs
lola: 1996832 markings, 129611343 edges, 2176 markings/sec, 945 secs
lola: 2007700 markings, 130302304 edges, 2174 markings/sec, 950 secs
lola: 2017894 markings, 130982028 edges, 2039 markings/sec, 955 secs
lola: 2027823 markings, 131657508 edges, 1986 markings/sec, 960 secs
lola: 2037592 markings, 132336371 edges, 1954 markings/sec, 965 secs
lola: 2047746 markings, 133016483 edges, 2031 markings/sec, 970 secs
lola: 2057842 markings, 133694408 edges, 2019 markings/sec, 975 secs
lola: 2067813 markings, 134380442 edges, 1994 markings/sec, 980 secs
lola: 2078564 markings, 135066600 edges, 2150 markings/sec, 985 secs
lola: 2089995 markings, 135753611 edges, 2286 markings/sec, 990 secs
lola: 2100000 markings, 136427678 edges, 2001 markings/sec, 995 secs
lola: 2111058 markings, 137116590 edges, 2212 markings/sec, 1000 secs
lola: 2121119 markings, 137789653 edges, 2012 markings/sec, 1005 secs
lola: 2131492 markings, 138471698 edges, 2075 markings/sec, 1010 secs
lola: 2142349 markings, 139155559 edges, 2171 markings/sec, 1015 secs
lola: 2153535 markings, 139824301 edges, 2237 markings/sec, 1020 secs
lola: 2165368 markings, 140496689 edges, 2367 markings/sec, 1025 secs
lola: 2176163 markings, 141181696 edges, 2159 markings/sec, 1030 secs
lola: 2186685 markings, 141861544 edges, 2104 markings/sec, 1035 secs
lola: 2197098 markings, 142536752 edges, 2083 markings/sec, 1040 secs
lola: 2207085 markings, 143209613 edges, 1997 markings/sec, 1045 secs
lola: 2217193 markings, 143892929 edges, 2022 markings/sec, 1050 secs
lola: 2227913 markings, 144577842 edges, 2144 markings/sec, 1055 secs
lola: 2238673 markings, 145261821 edges, 2152 markings/sec, 1060 secs
lola: 2249277 markings, 145942983 edges, 2121 markings/sec, 1065 secs
lola: 2260017 markings, 146623497 edges, 2148 markings/sec, 1070 secs
lola: 2270842 markings, 147298122 edges, 2165 markings/sec, 1075 secs
lola: 2280817 markings, 147977808 edges, 1995 markings/sec, 1080 secs
lola: 2290812 markings, 148637250 edges, 1999 markings/sec, 1085 secs
lola: 2300992 markings, 149316974 edges, 2036 markings/sec, 1090 secs
lola: 2311635 markings, 149996288 edges, 2129 markings/sec, 1095 secs
lola: 2322036 markings, 150674077 edges, 2080 markings/sec, 1100 secs
lola: 2332448 markings, 151355140 edges, 2082 markings/sec, 1105 secs
lola: 2342037 markings, 152030422 edges, 1918 markings/sec, 1110 secs
lola: 2352460 markings, 152708673 edges, 2085 markings/sec, 1115 secs
lola: 2362363 markings, 153384252 edges, 1981 markings/sec, 1120 secs
lola: 2372152 markings, 154066149 edges, 1958 markings/sec, 1125 secs
lola: 2382596 markings, 154746363 edges, 2089 markings/sec, 1130 secs
lola: 2393766 markings, 155424429 edges, 2234 markings/sec, 1135 secs
lola: 2405150 markings, 156106471 edges, 2277 markings/sec, 1140 secs
lola: 2415675 markings, 156774174 edges, 2105 markings/sec, 1145 secs
lola: 2426235 markings, 157457819 edges, 2112 markings/sec, 1150 secs
lola: 2436641 markings, 158136008 edges, 2081 markings/sec, 1155 secs
lola: 2447988 markings, 158814773 edges, 2269 markings/sec, 1160 secs
lola: 2459167 markings, 159490671 edges, 2236 markings/sec, 1165 secs
lola: 2468847 markings, 160158582 edges, 1936 markings/sec, 1170 secs
lola: 2479272 markings, 160833408 edges, 2085 markings/sec, 1175 secs
lola: 2489270 markings, 161514131 edges, 2000 markings/sec, 1180 secs
lola: 2499157 markings, 162192091 edges, 1977 markings/sec, 1185 secs
lola: 2509592 markings, 162888590 edges, 2087 markings/sec, 1190 secs
lola: 2519704 markings, 163589059 edges, 2022 markings/sec, 1195 secs
lola: 2530028 markings, 164273494 edges, 2065 markings/sec, 1200 secs
lola: 2539961 markings, 164953443 edges, 1987 markings/sec, 1205 secs
lola: 2550356 markings, 165626900 edges, 2079 markings/sec, 1210 secs
lola: 2560163 markings, 166303353 edges, 1961 markings/sec, 1215 secs
lola: 2570864 markings, 166973397 edges, 2140 markings/sec, 1220 secs
lola: 2581402 markings, 167642704 edges, 2108 markings/sec, 1225 secs
lola: 2591358 markings, 168326664 edges, 1991 markings/sec, 1230 secs
lola: 2601561 markings, 169009275 edges, 2041 markings/sec, 1235 secs
lola: 2613320 markings, 169678156 edges, 2352 markings/sec, 1240 secs
lola: 2630092 markings, 170321874 edges, 3354 markings/sec, 1245 secs
lola: 2640559 markings, 171005907 edges, 2093 markings/sec, 1250 secs
lola: 2650941 markings, 171688014 edges, 2076 markings/sec, 1255 secs
lola: 2661089 markings, 172370881 edges, 2030 markings/sec, 1260 secs
lola: 2671189 markings, 173049170 edges, 2020 markings/sec, 1265 secs
lola: 2681806 markings, 173726461 edges, 2123 markings/sec, 1270 secs
lola: 2691914 markings, 174400335 edges, 2022 markings/sec, 1275 secs
lola: 2701640 markings, 175081066 edges, 1945 markings/sec, 1280 secs
lola: 2711545 markings, 175757165 edges, 1981 markings/sec, 1285 secs
lola: 2721988 markings, 176440021 edges, 2089 markings/sec, 1290 secs
lola: 2732354 markings, 177116712 edges, 2073 markings/sec, 1295 secs
lola: 2742368 markings, 177798646 edges, 2003 markings/sec, 1300 secs
lola: 2752524 markings, 178477677 edges, 2031 markings/sec, 1305 secs
lola: 2763201 markings, 179150739 edges, 2135 markings/sec, 1310 secs
lola: 2773493 markings, 179828997 edges, 2058 markings/sec, 1315 secs
lola: 2783639 markings, 180502722 edges, 2029 markings/sec, 1320 secs
lola: 2794310 markings, 181185140 edges, 2134 markings/sec, 1325 secs
lola: 2804788 markings, 181861888 edges, 2096 markings/sec, 1330 secs
lola: 2815330 markings, 182537277 edges, 2108 markings/sec, 1335 secs
lola: 2825683 markings, 183214967 edges, 2071 markings/sec, 1340 secs
lola: 2835913 markings, 183892326 edges, 2046 markings/sec, 1345 secs
lola: 2846191 markings, 184554397 edges, 2056 markings/sec, 1350 secs
lola: 2855831 markings, 185227528 edges, 1928 markings/sec, 1355 secs
lola: 2865954 markings, 185903756 edges, 2025 markings/sec, 1360 secs
lola: 2876428 markings, 186578050 edges, 2095 markings/sec, 1365 secs
lola: 2887374 markings, 187252997 edges, 2189 markings/sec, 1370 secs
lola: 2898090 markings, 187936600 edges, 2143 markings/sec, 1375 secs
lola: 2908446 markings, 188616710 edges, 2071 markings/sec, 1380 secs
lola: 2918949 markings, 189289864 edges, 2101 markings/sec, 1385 secs
lola: 2928388 markings, 189963518 edges, 1888 markings/sec, 1390 secs
lola: 2938880 markings, 190628550 edges, 2098 markings/sec, 1395 secs
lola: 2949207 markings, 191294289 edges, 2065 markings/sec, 1400 secs
lola: 2960874 markings, 191956651 edges, 2333 markings/sec, 1405 secs
lola: 2971110 markings, 192634542 edges, 2047 markings/sec, 1410 secs
lola: 2981180 markings, 193310645 edges, 2014 markings/sec, 1415 secs
lola: 2991821 markings, 193978499 edges, 2128 markings/sec, 1420 secs
lola: 3002817 markings, 194641162 edges, 2199 markings/sec, 1425 secs
lola: 3012499 markings, 195314908 edges, 1936 markings/sec, 1430 secs
lola: 3022508 markings, 195987165 edges, 2002 markings/sec, 1435 secs
lola: 3032921 markings, 196662241 edges, 2083 markings/sec, 1440 secs
lola: 3043362 markings, 197333464 edges, 2088 markings/sec, 1445 secs
lola: 3053929 markings, 198004428 edges, 2113 markings/sec, 1450 secs
lola: 3063993 markings, 198676217 edges, 2013 markings/sec, 1455 secs
lola: 3074730 markings, 199351245 edges, 2147 markings/sec, 1460 secs
lola: 3084073 markings, 200016389 edges, 1869 markings/sec, 1465 secs
lola: 3094575 markings, 200684846 edges, 2100 markings/sec, 1470 secs
lola: 3104789 markings, 201349678 edges, 2043 markings/sec, 1475 secs
lola: 3114759 markings, 202026352 edges, 1994 markings/sec, 1480 secs
lola: 3125280 markings, 202695628 edges, 2104 markings/sec, 1485 secs
lola: 3135358 markings, 203381474 edges, 2016 markings/sec, 1490 secs
lola: 3145474 markings, 204049587 edges, 2023 markings/sec, 1495 secs
lola: 3155264 markings, 204707911 edges, 1958 markings/sec, 1500 secs
lola: 3165425 markings, 205382783 edges, 2032 markings/sec, 1505 secs
lola: 3175171 markings, 206052502 edges, 1949 markings/sec, 1510 secs
lola: 3185026 markings, 206720625 edges, 1971 markings/sec, 1515 secs
lola: 3195702 markings, 207389158 edges, 2135 markings/sec, 1520 secs
lola: 3206094 markings, 208061901 edges, 2078 markings/sec, 1525 secs
lola: 3219672 markings, 208715669 edges, 2716 markings/sec, 1530 secs
lola: 3232316 markings, 209376317 edges, 2529 markings/sec, 1535 secs
lola: 3241987 markings, 210062437 edges, 1934 markings/sec, 1540 secs
lola: 3252575 markings, 210743206 edges, 2118 markings/sec, 1545 secs
lola: 3262823 markings, 211422422 edges, 2050 markings/sec, 1550 secs
lola: 3273039 markings, 212101490 edges, 2043 markings/sec, 1555 secs
lola: 3283222 markings, 212768409 edges, 2037 markings/sec, 1560 secs
lola: 3293144 markings, 213444749 edges, 1984 markings/sec, 1565 secs
lola: 3303367 markings, 214113288 edges, 2045 markings/sec, 1570 secs
lola: 3314610 markings, 214793016 edges, 2249 markings/sec, 1575 secs
lola: 3324368 markings, 215459762 edges, 1952 markings/sec, 1580 secs
lola: 3334711 markings, 216141565 edges, 2069 markings/sec, 1585 secs
lola: 3345113 markings, 216821447 edges, 2080 markings/sec, 1590 secs
lola: 3355292 markings, 217496068 edges, 2036 markings/sec, 1595 secs
lola: 3365822 markings, 218177562 edges, 2106 markings/sec, 1600 secs
lola: 3376011 markings, 218853527 edges, 2038 markings/sec, 1605 secs
lola: 3386886 markings, 219525959 edges, 2175 markings/sec, 1610 secs
lola: 3397188 markings, 220202749 edges, 2060 markings/sec, 1615 secs
lola: 3407328 markings, 220879138 edges, 2028 markings/sec, 1620 secs
lola: 3416526 markings, 221559247 edges, 1840 markings/sec, 1625 secs
lola: 3427033 markings, 222243284 edges, 2101 markings/sec, 1630 secs
lola: 3440173 markings, 222901857 edges, 2628 markings/sec, 1635 secs
lola: 3451427 markings, 223570054 edges, 2251 markings/sec, 1640 secs
lola: 3467761 markings, 224208872 edges, 3267 markings/sec, 1645 secs
lola: 3483810 markings, 224850164 edges, 3210 markings/sec, 1650 secs
lola: 3496786 markings, 225516700 edges, 2595 markings/sec, 1655 secs
lola: 3506458 markings, 226194177 edges, 1934 markings/sec, 1660 secs
lola: 3517142 markings, 226865962 edges, 2137 markings/sec, 1665 secs
lola: 3526865 markings, 227532975 edges, 1945 markings/sec, 1670 secs
lola: 3537638 markings, 228209777 edges, 2155 markings/sec, 1675 secs
lola: 3547627 markings, 228880676 edges, 1998 markings/sec, 1680 secs
lola: 3558354 markings, 229559276 edges, 2145 markings/sec, 1685 secs
lola: 3568720 markings, 230228242 edges, 2073 markings/sec, 1690 secs
lola: 3578952 markings, 230905253 edges, 2046 markings/sec, 1695 secs
lola: 3588808 markings, 231576933 edges, 1971 markings/sec, 1700 secs
lola: 3598828 markings, 232252651 edges, 2004 markings/sec, 1705 secs
lola: 3609083 markings, 232923092 edges, 2051 markings/sec, 1710 secs
lola: 3619434 markings, 233594539 edges, 2070 markings/sec, 1715 secs
lola: 3630451 markings, 234269451 edges, 2203 markings/sec, 1720 secs
lola: 3640500 markings, 234949963 edges, 2010 markings/sec, 1725 secs
lola: 3653733 markings, 235611792 edges, 2647 markings/sec, 1730 secs
lola: 3663430 markings, 236286613 edges, 1939 markings/sec, 1735 secs
lola: 3673578 markings, 236957184 edges, 2030 markings/sec, 1740 secs
lola: 3684027 markings, 237636500 edges, 2090 markings/sec, 1745 secs
lola: 3694098 markings, 238311082 edges, 2014 markings/sec, 1750 secs
lola: 3704730 markings, 238985655 edges, 2126 markings/sec, 1755 secs
lola: 3714957 markings, 239651955 edges, 2045 markings/sec, 1760 secs
lola: 3725257 markings, 240319339 edges, 2060 markings/sec, 1765 secs
lola: 3734854 markings, 240994895 edges, 1919 markings/sec, 1770 secs
lola: 3746774 markings, 241661202 edges, 2384 markings/sec, 1775 secs
lola: 3761051 markings, 242308833 edges, 2855 markings/sec, 1780 secs
lola: 3771274 markings, 242977353 edges, 2045 markings/sec, 1785 secs
lola: 3781309 markings, 243641965 edges, 2007 markings/sec, 1790 secs
lola: 3791447 markings, 244320284 edges, 2028 markings/sec, 1795 secs
lola: 3802017 markings, 244995674 edges, 2114 markings/sec, 1800 secs
lola: 3812552 markings, 245666795 edges, 2107 markings/sec, 1805 secs
lola: 3823890 markings, 246341266 edges, 2268 markings/sec, 1810 secs
lola: 3834042 markings, 247010432 edges, 2030 markings/sec, 1815 secs
lola: 3843840 markings, 247682281 edges, 1960 markings/sec, 1820 secs
lola: 3854338 markings, 248357332 edges, 2100 markings/sec, 1825 secs
lola: 3865042 markings, 249020834 edges, 2141 markings/sec, 1830 secs
lola: 3875416 markings, 249694779 edges, 2075 markings/sec, 1835 secs
lola: 3886078 markings, 250368280 edges, 2132 markings/sec, 1840 secs
lola: 3896649 markings, 251055340 edges, 2114 markings/sec, 1845 secs
lola: 3906844 markings, 251704846 edges, 2039 markings/sec, 1850 secs
lola: 3917713 markings, 252376629 edges, 2174 markings/sec, 1855 secs
lola: 3928364 markings, 253060256 edges, 2130 markings/sec, 1860 secs
lola: 3933943 markings, 253437311 edges, 1116 markings/sec, 1865 secs
lola: 3934076 markings, 253445899 edges, 27 markings/sec, 1870 secs
lola: 3934235 markings, 253456667 edges, 32 markings/sec, 1875 secs
lola: 3934385 markings, 253466137 edges, 30 markings/sec, 1880 secs
lola: 3934444 markings, 253469017 edges, 12 markings/sec, 1885 secs
lola: 3934471 markings, 253470281 edges, 5 markings/sec, 1890 secs
lola: 3934603 markings, 253478514 edges, 26 markings/sec, 1895 secs
lola: 3934664 markings, 253482250 edges, 12 markings/sec, 1900 secs
lola: 3934674 markings, 253482683 edges, 2 markings/sec, 1905 secs
lola: 3934887 markings, 253495028 edges, 43 markings/sec, 1910 secs
lola: 3935013 markings, 253502584 edges, 25 markings/sec, 1915 secs
lola: 3935081 markings, 253506923 edges, 14 markings/sec, 1920 secs
lola: 3935136 markings, 253512676 edges, 11 markings/sec, 1925 secs
lola: 3935222 markings, 253520132 edges, 17 markings/sec, 1930 secs
lola: 3935390 markings, 253530890 edges, 34 markings/sec, 1935 secs
lola: 3935461 markings, 253535517 edges, 14 markings/sec, 1940 secs
lola: 3935921 markings, 253566066 edges, 92 markings/sec, 1945 secs
lola: 3936269 markings, 253590388 edges, 70 markings/sec, 1950 secs
lola: 3936369 markings, 253596922 edges, 20 markings/sec, 1955 secs
lola: 3936523 markings, 253606399 edges, 31 markings/sec, 1960 secs
lola: 3936534 markings, 253606940 edges, 2 markings/sec, 1965 secs
lola: 3936655 markings, 253615454 edges, 24 markings/sec, 1970 secs
lola: 3936695 markings, 253617825 edges, 8 markings/sec, 1975 secs
lola: 3936768 markings, 253623732 edges, 15 markings/sec, 1980 secs
lola: 3938319 markings, 253723685 edges, 310 markings/sec, 1985 secs
lola: 3938455 markings, 253732651 edges, 27 markings/sec, 1990 secs
lola: 3938542 markings, 253738028 edges, 17 markings/sec, 1995 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (((F (G (NOT FIREABLE(t11055))) OR (G (FIREABLE(t5792)) AND F (G (NOT FIREABLE(t11055))))) U X (X (FIREABLE(t5792)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F (G (NOT FIREABLE(t11055))) OR (G (FIREABLE(t5792)) AND F (G (NOT FIREABLE(t11055))))) U X (X (FIREABLE(t5792)))))
lola: processed formula length: 120
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 18 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: 7203 markings, 736100 edges, 1441 markings/sec, 0 secs
lola: 13749 markings, 1470879 edges, 1309 markings/sec, 5 secs
lola: 20378 markings, 2201297 edges, 1326 markings/sec, 10 secs
lola: 27213 markings, 2919088 edges, 1367 markings/sec, 15 secs
lola: 33659 markings, 3644723 edges, 1289 markings/sec, 20 secs
lola: 40424 markings, 4367365 edges, 1353 markings/sec, 25 secs
lola: 48021 markings, 5082774 edges, 1519 markings/sec, 30 secs
lola: 54782 markings, 5802180 edges, 1352 markings/sec, 35 secs
lola: 61536 markings, 6522552 edges, 1351 markings/sec, 40 secs
lola: 68057 markings, 7244256 edges, 1304 markings/sec, 45 secs
lola: 74500 markings, 7965700 edges, 1289 markings/sec, 50 secs
lola: 81017 markings, 8684032 edges, 1303 markings/sec, 55 secs
lola: 87750 markings, 9402399 edges, 1347 markings/sec, 60 secs
lola: 94321 markings, 10120238 edges, 1314 markings/sec, 65 secs
lola: 101268 markings, 10855508 edges, 1389 markings/sec, 70 secs
lola: 108573 markings, 11582071 edges, 1461 markings/sec, 75 secs
lola: 115144 markings, 12301919 edges, 1314 markings/sec, 80 secs
lola: 121576 markings, 13018100 edges, 1286 markings/sec, 85 secs
lola: 128156 markings, 13737139 edges, 1316 markings/sec, 90 secs
lola: 135070 markings, 14458349 edges, 1383 markings/sec, 95 secs
lola: 142319 markings, 15181819 edges, 1450 markings/sec, 100 secs
lola: 149381 markings, 15903528 edges, 1412 markings/sec, 105 secs
lola: 156269 markings, 16627558 edges, 1378 markings/sec, 110 secs
lola: 163327 markings, 17348095 edges, 1412 markings/sec, 115 secs
lola: 169783 markings, 18062990 edges, 1291 markings/sec, 120 secs
lola: 176881 markings, 18788310 edges, 1420 markings/sec, 125 secs
lola: 184424 markings, 19506477 edges, 1509 markings/sec, 130 secs
lola: 191817 markings, 20226849 edges, 1479 markings/sec, 135 secs
lola: 198768 markings, 20946670 edges, 1390 markings/sec, 140 secs
lola: 205851 markings, 21662449 edges, 1417 markings/sec, 145 secs
lola: 212848 markings, 22381141 edges, 1399 markings/sec, 150 secs
lola: 219529 markings, 23097433 edges, 1336 markings/sec, 155 secs
lola: 226066 markings, 23813776 edges, 1307 markings/sec, 160 secs
lola: 233075 markings, 24535045 edges, 1402 markings/sec, 165 secs
lola: 239565 markings, 25255276 edges, 1298 markings/sec, 170 secs
lola: 246423 markings, 25971135 edges, 1372 markings/sec, 175 secs
lola: 253144 markings, 26680668 edges, 1344 markings/sec, 180 secs
lola: 260024 markings, 27400981 edges, 1376 markings/sec, 185 secs
lola: 266571 markings, 28118500 edges, 1309 markings/sec, 190 secs
lola: 273555 markings, 28835987 edges, 1397 markings/sec, 195 secs
lola: 280572 markings, 29548743 edges, 1403 markings/sec, 200 secs
lola: 287505 markings, 30267590 edges, 1387 markings/sec, 205 secs
lola: 294461 markings, 30976095 edges, 1391 markings/sec, 210 secs
lola: 301141 markings, 31687322 edges, 1336 markings/sec, 215 secs
lola: 307791 markings, 32404729 edges, 1330 markings/sec, 220 secs
lola: 314724 markings, 33122096 edges, 1387 markings/sec, 225 secs
lola: 321478 markings, 33836440 edges, 1351 markings/sec, 230 secs
lola: 327878 markings, 34544999 edges, 1280 markings/sec, 235 secs
lola: 334526 markings, 35261770 edges, 1330 markings/sec, 240 secs
lola: 341488 markings, 35975862 edges, 1392 markings/sec, 245 secs
lola: 348010 markings, 36693329 edges, 1304 markings/sec, 250 secs
lola: 354803 markings, 37412514 edges, 1359 markings/sec, 255 secs
lola: 361931 markings, 38127209 edges, 1426 markings/sec, 260 secs
lola: 368372 markings, 38836970 edges, 1288 markings/sec, 265 secs
lola: 375127 markings, 39552220 edges, 1351 markings/sec, 270 secs
lola: 381885 markings, 40269345 edges, 1352 markings/sec, 275 secs
lola: 388577 markings, 40982039 edges, 1338 markings/sec, 280 secs
lola: 395560 markings, 41692972 edges, 1397 markings/sec, 285 secs
lola: 402284 markings, 42410733 edges, 1345 markings/sec, 290 secs
lola: 408942 markings, 43127569 edges, 1332 markings/sec, 295 secs
lola: 415952 markings, 43842047 edges, 1402 markings/sec, 300 secs
lola: 422982 markings, 44554807 edges, 1406 markings/sec, 305 secs
lola: 429832 markings, 45270337 edges, 1370 markings/sec, 310 secs
lola: 436393 markings, 45981542 edges, 1312 markings/sec, 315 secs
lola: 443326 markings, 46696609 edges, 1387 markings/sec, 320 secs
lola: 450255 markings, 47408658 edges, 1386 markings/sec, 325 secs
lola: 456885 markings, 48121056 edges, 1326 markings/sec, 330 secs
lola: 463597 markings, 48832266 edges, 1342 markings/sec, 335 secs
lola: 470158 markings, 49542830 edges, 1312 markings/sec, 340 secs
lola: 478375 markings, 50246616 edges, 1643 markings/sec, 345 secs
lola: 485428 markings, 50953632 edges, 1411 markings/sec, 350 secs
lola: 492054 markings, 51662161 edges, 1325 markings/sec, 355 secs
lola: 498880 markings, 52369302 edges, 1365 markings/sec, 360 secs
lola: 505328 markings, 53086106 edges, 1290 markings/sec, 365 secs
lola: 511926 markings, 53801294 edges, 1320 markings/sec, 370 secs
lola: 518979 markings, 54520975 edges, 1411 markings/sec, 375 secs
lola: 525423 markings, 55229446 edges, 1289 markings/sec, 380 secs
lola: 531922 markings, 55938318 edges, 1300 markings/sec, 385 secs
lola: 538387 markings, 56650268 edges, 1293 markings/sec, 390 secs
lola: 545035 markings, 57357920 edges, 1330 markings/sec, 395 secs
lola: 551654 markings, 58071617 edges, 1324 markings/sec, 400 secs
lola: 558404 markings, 58786520 edges, 1350 markings/sec, 405 secs
lola: 565173 markings, 59492125 edges, 1354 markings/sec, 410 secs
lola: 572149 markings, 60215480 edges, 1395 markings/sec, 415 secs
lola: 578094 markings, 60923743 edges, 1189 markings/sec, 420 secs
lola: 584356 markings, 61634703 edges, 1252 markings/sec, 425 secs
lola: 590976 markings, 62353271 edges, 1324 markings/sec, 430 secs
lola: 597797 markings, 63069286 edges, 1364 markings/sec, 435 secs
lola: 604742 markings, 63780830 edges, 1389 markings/sec, 440 secs
lola: 611868 markings, 64490354 edges, 1425 markings/sec, 445 secs
lola: 618495 markings, 65188912 edges, 1325 markings/sec, 450 secs
lola: 625272 markings, 65893681 edges, 1355 markings/sec, 455 secs
lola: 632260 markings, 66603874 edges, 1398 markings/sec, 460 secs
lola: 639193 markings, 67322770 edges, 1387 markings/sec, 465 secs
lola: 646413 markings, 68037722 edges, 1444 markings/sec, 470 secs
lola: 653585 markings, 68752408 edges, 1434 markings/sec, 475 secs
lola: 661879 markings, 69447191 edges, 1659 markings/sec, 480 secs
lola: 672894 markings, 70126229 edges, 2203 markings/sec, 485 secs
lola: 682029 markings, 70815234 edges, 1827 markings/sec, 490 secs
lola: 688896 markings, 71516374 edges, 1373 markings/sec, 495 secs
lola: 695741 markings, 72221570 edges, 1369 markings/sec, 500 secs
lola: 702470 markings, 72925690 edges, 1346 markings/sec, 505 secs
lola: 709011 markings, 73636912 edges, 1308 markings/sec, 510 secs
lola: 715539 markings, 74341910 edges, 1306 markings/sec, 515 secs
lola: 723175 markings, 75065492 edges, 1527 markings/sec, 520 secs
lola: 730357 markings, 75781221 edges, 1436 markings/sec, 525 secs
lola: 736955 markings, 76484776 edges, 1320 markings/sec, 530 secs
lola: 743907 markings, 77181199 edges, 1390 markings/sec, 535 secs
lola: 750674 markings, 77880667 edges, 1353 markings/sec, 540 secs
lola: 757909 markings, 78592865 edges, 1447 markings/sec, 545 secs
lola: 765095 markings, 79302229 edges, 1437 markings/sec, 550 secs
lola: 772080 markings, 80014988 edges, 1397 markings/sec, 555 secs
lola: 779426 markings, 80729997 edges, 1469 markings/sec, 560 secs
lola: 786037 markings, 81433737 edges, 1322 markings/sec, 565 secs
lola: 793459 markings, 82135097 edges, 1484 markings/sec, 570 secs
lola: 800414 markings, 82841861 edges, 1391 markings/sec, 575 secs
lola: 809610 markings, 83533502 edges, 1839 markings/sec, 580 secs
lola: 818418 markings, 84229686 edges, 1762 markings/sec, 585 secs
lola: 825011 markings, 84937876 edges, 1319 markings/sec, 590 secs
lola: 831686 markings, 85649113 edges, 1335 markings/sec, 595 secs
lola: 839308 markings, 86359849 edges, 1524 markings/sec, 600 secs
lola: 846756 markings, 87066530 edges, 1490 markings/sec, 605 secs
lola: 853728 markings, 87772582 edges, 1394 markings/sec, 610 secs
lola: 860643 markings, 88477836 edges, 1383 markings/sec, 615 secs
lola: 867066 markings, 89174050 edges, 1285 markings/sec, 620 secs
lola: 873858 markings, 89885075 edges, 1358 markings/sec, 625 secs
lola: 880908 markings, 90599479 edges, 1410 markings/sec, 630 secs
lola: 888388 markings, 91313381 edges, 1496 markings/sec, 635 secs
lola: 895487 markings, 92025710 edges, 1420 markings/sec, 640 secs
lola: 903050 markings, 92745348 edges, 1513 markings/sec, 645 secs
lola: 910014 markings, 93434251 edges, 1393 markings/sec, 650 secs
lola: 917343 markings, 94135684 edges, 1466 markings/sec, 655 secs
lola: 924060 markings, 94837823 edges, 1343 markings/sec, 660 secs
lola: 931016 markings, 95547458 edges, 1391 markings/sec, 665 secs
lola: 937513 markings, 96250653 edges, 1299 markings/sec, 670 secs
lola: 944088 markings, 96953316 edges, 1315 markings/sec, 675 secs
lola: 950949 markings, 97661613 edges, 1372 markings/sec, 680 secs
lola: 957779 markings, 98364620 edges, 1366 markings/sec, 685 secs
lola: 964492 markings, 99077065 edges, 1343 markings/sec, 690 secs
lola: 972226 markings, 99781516 edges, 1547 markings/sec, 695 secs
lola: 978584 markings, 100486084 edges, 1272 markings/sec, 700 secs
lola: 985247 markings, 101188972 edges, 1333 markings/sec, 705 secs
lola: 991670 markings, 101896271 edges, 1285 markings/sec, 710 secs
lola: 999120 markings, 102607063 edges, 1490 markings/sec, 715 secs
lola: 1005977 markings, 103313237 edges, 1371 markings/sec, 720 secs
lola: 1012978 markings, 104017623 edges, 1400 markings/sec, 725 secs
lola: 1020168 markings, 104718777 edges, 1438 markings/sec, 730 secs
lola: 1027251 markings, 105423623 edges, 1417 markings/sec, 735 secs
lola: 1034177 markings, 106125055 edges, 1385 markings/sec, 740 secs
lola: 1040980 markings, 106831345 edges, 1361 markings/sec, 745 secs
lola: 1047445 markings, 107533824 edges, 1293 markings/sec, 750 secs
lola: 1056168 markings, 108232468 edges, 1745 markings/sec, 755 secs
lola: 1062805 markings, 108934881 edges, 1327 markings/sec, 760 secs
lola: 1069669 markings, 109639649 edges, 1373 markings/sec, 765 secs
lola: 1077208 markings, 110348774 edges, 1508 markings/sec, 770 secs
lola: 1084047 markings, 111060763 edges, 1368 markings/sec, 775 secs
lola: 1090888 markings, 111765415 edges, 1368 markings/sec, 780 secs
lola: 1098239 markings, 112469300 edges, 1470 markings/sec, 785 secs
lola: 1105333 markings, 113174641 edges, 1419 markings/sec, 790 secs
lola: 1112440 markings, 113877696 edges, 1421 markings/sec, 795 secs
lola: 1119255 markings, 114580225 edges, 1363 markings/sec, 800 secs
lola: 1126461 markings, 115283286 edges, 1441 markings/sec, 805 secs
lola: 1133081 markings, 115990839 edges, 1324 markings/sec, 810 secs
lola: 1139488 markings, 116693857 edges, 1281 markings/sec, 815 secs
lola: 1146116 markings, 117397566 edges, 1326 markings/sec, 820 secs
lola: 1153806 markings, 118106890 edges, 1538 markings/sec, 825 secs
lola: 1160243 markings, 118810425 edges, 1287 markings/sec, 830 secs
lola: 1166514 markings, 119511009 edges, 1254 markings/sec, 835 secs
lola: 1172976 markings, 120203876 edges, 1292 markings/sec, 840 secs
lola: 1181317 markings, 120901965 edges, 1668 markings/sec, 845 secs
lola: 1188135 markings, 121604512 edges, 1364 markings/sec, 850 secs
lola: 1195126 markings, 122309248 edges, 1398 markings/sec, 855 secs
lola: 1201530 markings, 123008998 edges, 1281 markings/sec, 860 secs
lola: 1208235 markings, 123708775 edges, 1341 markings/sec, 865 secs
lola: 1215056 markings, 124414962 edges, 1364 markings/sec, 870 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes no no unknown no yes no no yes no unknown no no no
lola:
preliminary result: yes yes yes no no unknown no yes no no yes no unknown no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no no unknown no yes no no yes no unknown no no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes yes yes no no unknown no yes no no yes no unknown no no no
lola:
preliminary result: yes yes yes no no unknown no yes no no yes no unknown no no no
lola: memory consumption: 5018620 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 1589891883471
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-6a"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is DLCflexbar-PT-6a, 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-158902579600102"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-6a.tgz
mv DLCflexbar-PT-6a 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 ;