About the Execution of ITS-LoLa for CircularTrains-PT-768
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15746.420 | 3600000.00 | 3592977.00 | 16702.10 | FTF?FTFTFF?T??T? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806200098.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is CircularTrains-PT-768, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806200098
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 768K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15: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.7K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 591K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CircularTrains-PT-768-00
FORMULA_NAME CircularTrains-PT-768-01
FORMULA_NAME CircularTrains-PT-768-02
FORMULA_NAME CircularTrains-PT-768-03
FORMULA_NAME CircularTrains-PT-768-04
FORMULA_NAME CircularTrains-PT-768-05
FORMULA_NAME CircularTrains-PT-768-06
FORMULA_NAME CircularTrains-PT-768-07
FORMULA_NAME CircularTrains-PT-768-08
FORMULA_NAME CircularTrains-PT-768-09
FORMULA_NAME CircularTrains-PT-768-10
FORMULA_NAME CircularTrains-PT-768-11
FORMULA_NAME CircularTrains-PT-768-12
FORMULA_NAME CircularTrains-PT-768-13
FORMULA_NAME CircularTrains-PT-768-14
FORMULA_NAME CircularTrains-PT-768-15
=== Now, execution of the tool begins
BK_START 1591168710630
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 07:18:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 07:18:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 07:18:34] [INFO ] Load time of PNML (sax parser for PT used): 259 ms
[2020-06-03 07:18:34] [INFO ] Transformed 1536 places.
[2020-06-03 07:18:34] [INFO ] Transformed 768 transitions.
[2020-06-03 07:18:34] [INFO ] Parsed PT model containing 1536 places and 768 transitions in 356 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 51 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 1118 steps, including 0 resets, run visited all 42 properties in 167 ms. (steps per millisecond=6 )
[2020-06-03 07:18:34] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-03 07:18:34] [INFO ] Flatten gal took : 185 ms
FORMULA CircularTrains-PT-768-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CircularTrains-PT-768-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CircularTrains-PT-768-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CircularTrains-PT-768-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CircularTrains-PT-768-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 07:18:34] [INFO ] Flatten gal took : 93 ms
[2020-06-03 07:18:35] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 6 ms.
[2020-06-03 07:18:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 30 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CircularTrains-PT-768 @ 3570 seconds
FORMULA CircularTrains-PT-768-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CircularTrains-PT-768
{
"exit":
{
"memory": 4449412,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (F ((F (((1 <= p367) AND (1 <= p824))) AND ((1 <= p367) AND (1 <= p824)))))",
"processed_size": 77,
"rewrites": 100
},
"result":
{
"preliminary_value": "no unknown no yes no yes no unknown unknown unknown unknown "
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
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: 2304/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 49152
lola: finding significant places
lola: 1536 places, 768 transitions, 767 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: (F (G (NOT(X ((G (F (X ((((1 <= p220) AND (1 <= p1485)) OR ((1 <= p125) AND (1 <= p532)))))) OR G (((1 <= p69) AND (1 <= p1379)))))))) U ((1 <= p125) AND (1 <= p532))) : F ((F (((1 <= p251) AND (1 <= p1411))) OR G (NOT(G (((1 <= p967) AND (1 <= p1138))))))) : (((1 <= p558) AND (1 <= p927)) U ((((1 <= p761) AND (1 <= p1167)) U X (((1 <= p243) AND (1 <= p1352)))) OR G ((((1 <= p516) AND (1 <= p1152)) U X (NOT((((1 <= p761) AND (1 <= p1167)) U ((1 <= p558) AND (1 <= p927))))))))) : F (((X (((p1008 <= 0) OR (p1309 <= 0))) OR NOT(X (((p75 <= 0) OR (p357 <= 0))))) OR (G (((1 <= p510) AND (1 <= p909))) AND X (((1 <= p1008) AND (1 <= p1309)))))) : (X ((F (((1 <= p605) AND (1 <= p1460))) U F (((1 <= p442) AND (1 <= p1208))))) U F (X (NOT(F (((p154 <= 0) OR (p539 <= 0))))))) : NOT((G (((1 <= p31) AND (1 <= p394))) U (X (X (((1 <= p116) AND (1 <= p911)))) AND F (((1 <= p620) AND (1 <= p1078)))))) : X (G (X (G (X (NOT(X (((F (((1 <= p121) AND (1 <= p379))) AND (1 <= p160)) AND (1 <= p638))))))))) : X (F (((F ((F (((1 <= p367) AND (1 <= p824))) U ((1 <= p367) AND (1 <= p824)))) AND (1 <= p367)) AND (1 <= p824)))) : NOT(G ((NOT((G (NOT(G (F (((1 <= p329) AND (1 <= p1327)))))) U G (((1 <= p706) AND (1 <= p1068))))) AND ((p727 <= 0) OR (p1157 <= 0))))) : G (F ((F ((F (((1 <= p459) AND (1 <= p770))) U ((1 <= p570) AND (1 <= p887)))) AND X (F ((((1 <= p713) AND (1 <= p1108)) U G (F (((1 <= p570) AND (1 <= p887)))))))))) : (((1 <= p1105) AND (1 <= p1414)) U X (F (((1 <= p152) AND (1 <= p1359)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p558) AND (1 <= p927)) U ((((1 <= p761) AND (1 <= p1167)) U X (((1 <= p243) AND (1 <= p1352)))) OR G ((F ((((p761 <= 0) OR (p1167 <= 0)) R ((p558 <= 0) OR (p927 <= 0)))) AND (((1 <= p516) AND (1 <= p1152)) OR X ((((p761 <= 0) OR (p1167 <= 0)) R ((p558 <= 0) OR (p927 <= 0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p558) AND (1 <= p927)) U ((((1 <= p761) AND (1 <= p1167)) U X (((1 <= p243) AND (1 <= p1352)))) OR G ((F ((((p761 <= 0) OR (p1167 <= 0)) R ((p558 <= 0) OR (p927 <= 0)))) AND (((1 <= p516) AND (1 <= p1152)) OR X ((((p761 <= 0) OR (p1167 <= 0)) R ((p558 <= 0) OR (p927 <= 0)))))))))
lola: processed formula length: 292
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 32 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: 49586 markings, 49586 edges
lola: ========================================
lola: subprocess 1 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X ((((p1008 <= 0) OR (p1309 <= 0)) OR ((1 <= p75) AND (1 <= p357)))) OR (G (((1 <= p510) AND (1 <= p909))) AND X (((1 <= p1008) AND (1 <= p1309))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X ((((p1008 <= 0) OR (p1309 <= 0)) OR ((1 <= p75) AND (1 <= p357)))) OR (G (((1 <= p510) AND (1 <= p909))) AND X (((1 <= p1008) AND (1 <= p1309))))))
lola: processed formula length: 154
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 769 markings, 768 edges
lola: ========================================
lola: subprocess 2 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (X (((p116 <= 0) OR (p911 <= 0)))) OR G (((p620 <= 0) OR (p1078 <= 0)))) AND (F (((p31 <= 0) OR (p394 <= 0))) OR G ((X (X (((p116 <= 0) OR (p911 <= 0)))) OR G (((p620 <= 0) OR (p1078 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((p31 <= 0) OR (p394 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((1 <= p31) AND (1 <= p394))
lola: processed formula length: 28
lola: 102 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 3 will run for 443 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p620 <= 0) OR (p1078 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p620 <= 0) OR (p1078 <= 0)))
lola: processed formula length: 34
lola: 100 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: 71355 markings, 71355 edges
lola: ========================================
lola: subprocess 4 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (((p116 <= 0) OR (p911 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (((p116 <= 0) OR (p911 <= 0))))
lola: processed formula length: 37
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 33153 markings, 65792 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 3 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (X (G ((G (((p121 <= 0) OR (p379 <= 0))) OR ((p160 <= 0) OR (p638 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (X (G ((G (((p121 <= 0) OR (p379 <= 0))) OR ((p160 <= 0) OR (p638 <= 0))))))))
lola: processed formula length: 87
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 49579 markings, 49579 edges
lola: ========================================
lola: subprocess 4 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p367) AND (1 <= p824))) AND ((1 <= p367) AND (1 <= p824)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p367) AND (1 <= p824))) AND ((1 <= p367) AND (1 <= p824)))))
lola: processed formula length: 77
lola: 100 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: 315428 markings, 549318 edges, 63086 markings/sec, 0 secs
lola: 592584 markings, 1118392 edges, 55431 markings/sec, 5 secs
lola: 814918 markings, 1669386 edges, 44467 markings/sec, 10 secs
lola: 1047552 markings, 2237847 edges, 46527 markings/sec, 15 secs
lola: 1274305 markings, 2799463 edges, 45351 markings/sec, 20 secs
lola: 1506070 markings, 3365949 edges, 46353 markings/sec, 25 secs
lola: 1732954 markings, 3927693 edges, 45377 markings/sec, 30 secs
lola: 1962132 markings, 4488228 edges, 45836 markings/sec, 35 secs
lola: 2186797 markings, 5043524 edges, 44933 markings/sec, 40 secs
lola: 2415510 markings, 5603785 edges, 45743 markings/sec, 45 secs
lola: 2642601 markings, 6158505 edges, 45418 markings/sec, 50 secs
lola: 2868220 markings, 6717533 edges, 45124 markings/sec, 55 secs
lola: 3096224 markings, 7274967 edges, 45601 markings/sec, 60 secs
lola: 3316432 markings, 7819654 edges, 44042 markings/sec, 65 secs
lola: 3543956 markings, 8376555 edges, 45505 markings/sec, 70 secs
lola: 3774726 markings, 8940803 edges, 46154 markings/sec, 75 secs
lola: 3993305 markings, 9482063 edges, 43716 markings/sec, 80 secs
lola: 4217754 markings, 10031074 edges, 44890 markings/sec, 85 secs
lola: 4438936 markings, 10576656 edges, 44236 markings/sec, 90 secs
lola: 4666537 markings, 11135393 edges, 45520 markings/sec, 95 secs
lola: 4890561 markings, 11683558 edges, 44805 markings/sec, 100 secs
lola: 5108698 markings, 12221539 edges, 43627 markings/sec, 105 secs
lola: 5331918 markings, 12769185 edges, 44644 markings/sec, 110 secs
lola: 5553020 markings, 13310395 edges, 44220 markings/sec, 115 secs
lola: 5775961 markings, 13855741 edges, 44588 markings/sec, 120 secs
lola: 5994408 markings, 14395387 edges, 43689 markings/sec, 125 secs
lola: 6218597 markings, 14944939 edges, 44838 markings/sec, 130 secs
lola: 6442620 markings, 15493512 edges, 44805 markings/sec, 135 secs
lola: 6664444 markings, 16036423 edges, 44365 markings/sec, 140 secs
lola: 6883135 markings, 16571573 edges, 43738 markings/sec, 145 secs
lola: 7105158 markings, 17119091 edges, 44405 markings/sec, 150 secs
lola: 7330455 markings, 17671670 edges, 45059 markings/sec, 155 secs
lola: 7546979 markings, 18202287 edges, 43305 markings/sec, 160 secs
lola: 7768498 markings, 18744780 edges, 44304 markings/sec, 165 secs
lola: 7994067 markings, 19297322 edges, 45114 markings/sec, 170 secs
lola: 8211818 markings, 19830588 edges, 43550 markings/sec, 175 secs
lola: 8432440 markings, 20370898 edges, 44124 markings/sec, 180 secs
lola: 8637432 markings, 20872717 edges, 40998 markings/sec, 185 secs
lola: 8843562 markings, 21377345 edges, 41226 markings/sec, 190 secs
lola: 9046555 markings, 21874109 edges, 40599 markings/sec, 195 secs
lola: 9262576 markings, 22402078 edges, 43204 markings/sec, 200 secs
lola: 9485588 markings, 22945604 edges, 44602 markings/sec, 205 secs
lola: 9707176 markings, 23488609 edges, 44318 markings/sec, 210 secs
lola: 9927938 markings, 24028993 edges, 44152 markings/sec, 215 secs
lola: 10154356 markings, 24580661 edges, 45284 markings/sec, 220 secs
lola: 10379574 markings, 25131637 edges, 45044 markings/sec, 225 secs
lola: 10604390 markings, 25679956 edges, 44963 markings/sec, 230 secs
lola: 10826525 markings, 26221026 edges, 44427 markings/sec, 235 secs
lola: 11048306 markings, 26761276 edges, 44356 markings/sec, 240 secs
lola: 11272651 markings, 27308132 edges, 44869 markings/sec, 245 secs
lola: 11492788 markings, 27844277 edges, 44027 markings/sec, 250 secs
lola: 11713252 markings, 28379344 edges, 44093 markings/sec, 255 secs
lola: 11931225 markings, 28908351 edges, 43595 markings/sec, 260 secs
lola: 12150020 markings, 29439321 edges, 43759 markings/sec, 265 secs
lola: 12374935 markings, 29982245 edges, 44983 markings/sec, 270 secs
lola: 12596008 markings, 30514852 edges, 44215 markings/sec, 275 secs
lola: 12819031 markings, 31048971 edges, 44605 markings/sec, 280 secs
lola: 13051808 markings, 31602029 edges, 46555 markings/sec, 285 secs
lola: 13276676 markings, 32159288 edges, 44974 markings/sec, 290 secs
lola: 13510485 markings, 32718144 edges, 46762 markings/sec, 295 secs
lola: 13729878 markings, 33261440 edges, 43879 markings/sec, 300 secs
lola: 13939487 markings, 33810034 edges, 41922 markings/sec, 305 secs
lola: 14116572 markings, 34337278 edges, 35417 markings/sec, 310 secs
lola: 14299431 markings, 34876272 edges, 36572 markings/sec, 315 secs
lola: 14483828 markings, 35423138 edges, 36879 markings/sec, 320 secs
lola: 14666190 markings, 35964922 edges, 36472 markings/sec, 325 secs
lola: 14853832 markings, 36517005 edges, 37528 markings/sec, 330 secs
lola: 15037886 markings, 37064323 edges, 36811 markings/sec, 335 secs
lola: 15223994 markings, 37611415 edges, 37222 markings/sec, 340 secs
lola: 15404526 markings, 38148593 edges, 36106 markings/sec, 345 secs
lola: 15590509 markings, 38694930 edges, 37197 markings/sec, 350 secs
lola: 15772258 markings, 39236052 edges, 36350 markings/sec, 355 secs
lola: 15958948 markings, 39784415 edges, 37338 markings/sec, 360 secs
lola: 16135204 markings, 40309019 edges, 35251 markings/sec, 365 secs
lola: 16316886 markings, 40842648 edges, 36336 markings/sec, 370 secs
lola: 16496846 markings, 41378316 edges, 35992 markings/sec, 375 secs
lola: 16681591 markings, 41921162 edges, 36949 markings/sec, 380 secs
lola: 16853465 markings, 42432758 edges, 34375 markings/sec, 385 secs
lola: 17029544 markings, 42949716 edges, 35216 markings/sec, 390 secs
lola: 17204275 markings, 43469811 edges, 34946 markings/sec, 395 secs
lola: 17382280 markings, 43992803 edges, 35601 markings/sec, 400 secs
lola: 17560637 markings, 44523485 edges, 35671 markings/sec, 405 secs
lola: 17742003 markings, 45056676 edges, 36273 markings/sec, 410 secs
lola: 17917140 markings, 45577557 edges, 35027 markings/sec, 415 secs
lola: 18097060 markings, 46106555 edges, 35984 markings/sec, 420 secs
lola: 18277031 markings, 46641000 edges, 35994 markings/sec, 425 secs
lola: 18454038 markings, 47162211 edges, 35401 markings/sec, 430 secs
lola: 18629591 markings, 47678174 edges, 35111 markings/sec, 435 secs
lola: 18803366 markings, 48195237 edges, 34755 markings/sec, 440 secs
lola: 18980258 markings, 48715178 edges, 35378 markings/sec, 445 secs
lola: 19158176 markings, 49243660 edges, 35584 markings/sec, 450 secs
lola: 19344047 markings, 49791432 edges, 37174 markings/sec, 455 secs
lola: 19527859 markings, 50332156 edges, 36762 markings/sec, 460 secs
lola: 19694678 markings, 50827830 edges, 33364 markings/sec, 465 secs
lola: 19870050 markings, 51344024 edges, 35074 markings/sec, 470 secs
lola: 20050463 markings, 51874877 edges, 36083 markings/sec, 475 secs
lola: 20234892 markings, 52421862 edges, 36886 markings/sec, 480 secs
lola: 20409845 markings, 52937962 edges, 34991 markings/sec, 485 secs
lola: 20586374 markings, 53457475 edges, 35306 markings/sec, 490 secs
lola: 20767702 markings, 53991043 edges, 36266 markings/sec, 495 secs
lola: 20952774 markings, 54539818 edges, 37014 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no yes unknown yes no unknown unknown unknown unknown
lola: memory consumption: 3694568 KB
lola: time consumption: 534 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 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p1105) AND (1 <= p1414)) U X (F (((1 <= p152) AND (1 <= p1359)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p1105) AND (1 <= p1414)) U X (F (((1 <= p152) AND (1 <= p1359)))))
lola: processed formula length: 74
lola: 100 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: 320607 markings, 563230 edges, 64121 markings/sec, 0 secs
lola: 559910 markings, 1150002 edges, 47861 markings/sec, 5 secs
lola: 799189 markings, 1736345 edges, 47856 markings/sec, 10 secs
lola: 1039406 markings, 2321436 edges, 48043 markings/sec, 15 secs
lola: 1276905 markings, 2903717 edges, 47500 markings/sec, 20 secs
lola: 1517728 markings, 3490229 edges, 48165 markings/sec, 25 secs
lola: 1757211 markings, 4076465 edges, 47897 markings/sec, 30 secs
lola: 1996031 markings, 4659265 edges, 47764 markings/sec, 35 secs
lola: 2233383 markings, 5237936 edges, 47470 markings/sec, 40 secs
lola: 2472110 markings, 5819857 edges, 47745 markings/sec, 45 secs
lola: 2711386 markings, 6400611 edges, 47855 markings/sec, 50 secs
lola: 2947715 markings, 6977051 edges, 47266 markings/sec, 55 secs
lola: 3184517 markings, 7552128 edges, 47360 markings/sec, 60 secs
lola: 3421591 markings, 8126042 edges, 47415 markings/sec, 65 secs
lola: 3661354 markings, 8706928 edges, 47953 markings/sec, 70 secs
lola: 3900462 markings, 9284791 edges, 47822 markings/sec, 75 secs
lola: 4140188 markings, 9859950 edges, 47945 markings/sec, 80 secs
lola: 4383372 markings, 10435061 edges, 48637 markings/sec, 85 secs
lola: 4623873 markings, 11017522 edges, 48100 markings/sec, 90 secs
lola: 4834466 markings, 11586743 edges, 42119 markings/sec, 95 secs
lola: 5029992 markings, 12162963 edges, 39105 markings/sec, 100 secs
lola: 5225803 markings, 12739929 edges, 39162 markings/sec, 105 secs
lola: 5419049 markings, 13308771 edges, 38649 markings/sec, 110 secs
lola: 5615900 markings, 13886219 edges, 39370 markings/sec, 115 secs
lola: 5812572 markings, 14466014 edges, 39334 markings/sec, 120 secs
lola: 6009154 markings, 15045014 edges, 39316 markings/sec, 125 secs
lola: 6206330 markings, 15623491 edges, 39435 markings/sec, 130 secs
lola: 6400987 markings, 16196387 edges, 38931 markings/sec, 135 secs
lola: 6593708 markings, 16762386 edges, 38544 markings/sec, 140 secs
lola: 6790220 markings, 17338840 edges, 39302 markings/sec, 145 secs
lola: 6984750 markings, 17909514 edges, 38906 markings/sec, 150 secs
lola: 7177163 markings, 18473961 edges, 38483 markings/sec, 155 secs
lola: 7369723 markings, 19038896 edges, 38512 markings/sec, 160 secs
lola: 7563349 markings, 19604790 edges, 38725 markings/sec, 165 secs
lola: 7755477 markings, 20166752 edges, 38426 markings/sec, 170 secs
lola: 7950333 markings, 20736108 edges, 38971 markings/sec, 175 secs
lola: 8145293 markings, 21303888 edges, 38992 markings/sec, 180 secs
lola: 8339000 markings, 21866218 edges, 38741 markings/sec, 185 secs
lola: 8534577 markings, 22429194 edges, 39115 markings/sec, 190 secs
lola: 8731756 markings, 23002922 edges, 39436 markings/sec, 195 secs
lola: 8952008 markings, 23562253 edges, 44050 markings/sec, 200 secs
lola: 9144817 markings, 24118037 edges, 38562 markings/sec, 205 secs
lola: 9336933 markings, 24684530 edges, 38423 markings/sec, 210 secs
lola: 9532970 markings, 25259308 edges, 39207 markings/sec, 215 secs
lola: 9724239 markings, 25823318 edges, 38254 markings/sec, 220 secs
lola: 9917820 markings, 26393920 edges, 38716 markings/sec, 225 secs
lola: 10113410 markings, 26969657 edges, 39118 markings/sec, 230 secs
lola: 10310259 markings, 27547347 edges, 39370 markings/sec, 235 secs
lola: 10504624 markings, 28120021 edges, 38873 markings/sec, 240 secs
lola: 10699462 markings, 28691441 edges, 38968 markings/sec, 245 secs
lola: 10891179 markings, 29254456 edges, 38343 markings/sec, 250 secs
lola: 11086967 markings, 29830511 edges, 39158 markings/sec, 255 secs
lola: 11280747 markings, 30399078 edges, 38756 markings/sec, 260 secs
lola: 11471694 markings, 30958467 edges, 38189 markings/sec, 265 secs
lola: 11662802 markings, 31517571 edges, 38222 markings/sec, 270 secs
lola: 11853876 markings, 32077662 edges, 38215 markings/sec, 275 secs
lola: 12048400 markings, 32645106 edges, 38905 markings/sec, 280 secs
lola: 12243229 markings, 33214689 edges, 38966 markings/sec, 285 secs
lola: 12436607 markings, 33777664 edges, 38676 markings/sec, 290 secs
lola: 12631653 markings, 34342433 edges, 39009 markings/sec, 295 secs
lola: 12828712 markings, 34906541 edges, 39412 markings/sec, 300 secs
lola: 13024172 markings, 35479498 edges, 39092 markings/sec, 305 secs
lola: 13251310 markings, 36050403 edges, 45428 markings/sec, 310 secs
lola: 13443787 markings, 36617897 edges, 38495 markings/sec, 315 secs
lola: 13633955 markings, 37178370 edges, 38034 markings/sec, 320 secs
lola: 13826142 markings, 37744591 edges, 38437 markings/sec, 325 secs
lola: 14021730 markings, 38317724 edges, 39118 markings/sec, 330 secs
lola: 14215043 markings, 38887771 edges, 38663 markings/sec, 335 secs
lola: 14408193 markings, 39456356 edges, 38630 markings/sec, 340 secs
lola: 14593218 markings, 39999308 edges, 37005 markings/sec, 345 secs
lola: 14784480 markings, 40559841 edges, 38252 markings/sec, 350 secs
lola: 14978654 markings, 41131453 edges, 38835 markings/sec, 355 secs
lola: 15170834 markings, 41695481 edges, 38436 markings/sec, 360 secs
lola: 15360541 markings, 42249733 edges, 37941 markings/sec, 365 secs
lola: 15549828 markings, 42805274 edges, 37857 markings/sec, 370 secs
lola: 15731699 markings, 43338114 edges, 36374 markings/sec, 375 secs
lola: 15924858 markings, 43901465 edges, 38632 markings/sec, 380 secs
lola: 16118191 markings, 44466977 edges, 38667 markings/sec, 385 secs
lola: 16310265 markings, 45026062 edges, 38415 markings/sec, 390 secs
lola: 16503746 markings, 45587089 edges, 38696 markings/sec, 395 secs
lola: 16699864 markings, 46148727 edges, 39224 markings/sec, 400 secs
lola: 16895942 markings, 46718746 edges, 39216 markings/sec, 405 secs
lola: 17116613 markings, 47280593 edges, 44134 markings/sec, 410 secs
lola: 17306041 markings, 47838966 edges, 37886 markings/sec, 415 secs
lola: 17497783 markings, 48404094 edges, 38348 markings/sec, 420 secs
lola: 17692832 markings, 48975307 edges, 39010 markings/sec, 425 secs
lola: 17886075 markings, 49545381 edges, 38649 markings/sec, 430 secs
lola: 18078365 markings, 50111616 edges, 38458 markings/sec, 435 secs
lola: 18270599 markings, 50675455 edges, 38447 markings/sec, 440 secs
lola: 18461412 markings, 51234838 edges, 38163 markings/sec, 445 secs
lola: 18654930 markings, 51804949 edges, 38704 markings/sec, 450 secs
lola: 18846908 markings, 52368261 edges, 38396 markings/sec, 455 secs
lola: 19035990 markings, 52922333 edges, 37816 markings/sec, 460 secs
lola: 19225029 markings, 53475162 edges, 37808 markings/sec, 465 secs
lola: 19413978 markings, 54028959 edges, 37790 markings/sec, 470 secs
lola: 19606637 markings, 54591264 edges, 38532 markings/sec, 475 secs
lola: 19799173 markings, 55154140 edges, 38507 markings/sec, 480 secs
lola: 19990815 markings, 55711840 edges, 38328 markings/sec, 485 secs
lola: 20184043 markings, 56272272 edges, 38646 markings/sec, 490 secs
lola: 20379977 markings, 56833654 edges, 39187 markings/sec, 495 secs
lola: 20576111 markings, 57400875 edges, 39227 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no yes unknown yes no unknown unknown unknown unknown
lola: memory consumption: 3519364 KB
lola: time consumption: 1040 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 6 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p154) AND (1 <= p539))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((1 <= p154) AND (1 <= p539))))
lola: processed formula length: 37
lola: 100 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: add low 591
lola: add low 130
lola: add low 428
lola: add low 26
lola: add low 194
lola: add low 567
lola: add low 451
lola: add low 35
lola: add low 558
lola: add low 339
lola: add low 633
lola: add low 261
lola: add low 334
lola: add low 49
lola: add low 87
lola: add low 375
lola: add low 330
lola: add low 667
lola: add low 359
lola: add low 507
lola: add low 105
lola: add low 411
lola: add low 513
lola: add low 736
lola: add low 677
lola: add low 190
lola: add low 48
lola: add low 414
lola: add low 134
lola: add low 706
lola: add low 262
lola: add low 580
lola: add low 671
lola: add low 661
lola: add low 587
lola: add low 717
lola: add low 116
lola: add low 377
lola: add low 668
lola: add low 169
lola: add low 352
lola: add low 66
lola: add low 202
lola: add low 354
lola: add low 243
lola: add low 642
lola: add low 402
lola: add low 156
lola: add low 83
lola: add low 684
lola: add low 0
lola: add low 444
lola: add low 679
lola: add low 100
lola: add low 52
lola: add low 256
lola: add low 323
lola: add low 327
lola: add low 304
lola: add low 34
lola: add low 119
lola: add low 561
lola: add low 437
lola: add low 738
lola: add low 747
lola: add low 27
lola: add low 132
lola: add low 536
lola: add low 413
lola: add low 161
lola: add low 297
lola: add low 430
lola: add low 338
lola: add low 735
lola: add low 426
lola: add low 600
lola: add low 160
lola: add low 476
lola: add low 613
lola: add low 431
lola: add low 543
lola: add low 46
lola: add low 95
lola: add low 415
lola: add low 157
lola: add low 729
lola: add low 236
lola: add low 622
lola: add low 682
lola: add low 465
lola: add low 720
lola: add low 241
lola: add low 92
lola: add low 468
lola: add low 181
lola: add low 42
lola: add low 314
lola: add low 695
lola: add low 55
lola: add low 595
lola: add low 523
lola: add low 109
lola: add low 572
lola: add low 311
lola: add low 657
lola: add low 274
lola: add low 546
lola: add low 110
lola: add low 198
lola: add low 388
lola: add low 356
lola: add low 577
lola: add low 714
lola: add low 656
lola: add low 585
lola: add low 550
lola: add low 456
lola: add low 233
lola: add low 363
lola: add low 376
lola: add low 234
lola: add low 353
lola: add low 255
lola: add low 54
lola: add low 310
lola: add low 760
lola: add low 40
lola: add low 460
lola: add low 576
lola: add low 184
lola: add low 669
lola: add low 273
lola: add low 29
lola: add low 144
lola: add low 140
lola: add low 383
lola: add low 336
lola: add low 557
lola: add low 159
lola: add low 461
lola: add low 713
lola: add low 268
lola: add low 293
lola: add low 644
lola: add low 754
lola: add low 242
lola: add low 421
lola: add low 107
lola: add low 254
lola: add low 675
lola: add low 663
lola: add low 341
lola: add low 439
lola: add low 499
lola: add low 448
lola: add low 681
lola: add low 556
lola: add low 409
lola: add low 596
lola: add low 93
lola: add low 463
lola: add low 707
lola: add low 733
lola: add low 389
lola: add low 228
lola: add low 553
lola: add low 128
lola: add low 609
lola: add low 748
lola: add low 294
lola: add low 282
lola: add low 38
lola: add low 452
lola: add low 225
lola: add low 63
lola: add low 462
lola: add low 615
lola: add low 295
lola: add low 392
lola: add low 728
lola: add low 210
lola: add low 482
lola: add low 284
lola: add low 560
lola: add low 494
lola: add low 629
lola: add low 672
lola: add low 331
lola: add low 604
lola: add low 28
lola: add low 406
lola: add low 115
lola: add low 645
lola: add low 313
lola: add low 276
lola: add low 699
lola: add low 22
lola: add low 750
lola: add low 204
lola: add low 324
lola: add low 394
lola: add low 446
lola: add low 514
lola: add low 458
lola: add low 589
lola: add low 257
lola: add low 237
lola: add low 265
lola: add low 74
lola: add low 94
lola: add low 85
lola: add low 417
lola: add low 296
lola: add low 628
lola: add low 65
lola: add low 500
lola: add low 496
lola: add low 401
lola: add low 502
lola: add low 763
lola: add low 328
lola: add low 573
lola: add low 185
lola: add low 548
lola: add low 205
lola: add low 99
lola: add low 306
lola: add low 251
lola: add low 103
lola: add low 191
lola: add low 539
lola: add low 117
lola: add low 583
lola: add low 320
lola: add low 75
lola: add low 569
lola: add low 135
lola: add low 518
lola: add low 307
lola: add low 571
lola: add low 121
lola: add low 318
lola: add low 360
lola: add low 24
lola: add low 662
lola: add low 480
lola: add low 614
lola: add low 275
lola: add low 312
lola: add low 2
lola: add low 244
lola: add low 470
lola: add low 164
lola: add low 651
lola: add low 477
lola: add low 726
lola: add low 67
lola: add low 424
lola: add low 639
lola: add low 154
lola: add low 449
lola: add low 127
lola: add low 566
lola: add low 239
lola: add low 97
lola: add low 316
lola: add low 384
lola: add low 158
lola: add low 358
lola: add low 549
lola: add low 141
lola: add low 617
lola: add low 343
lola: add low 683
lola: add low 616
lola: add low 365
lola: add low 529
lola: add low 82
lola: add low 397
lola: add low 693
lola: add low 653
lola: add low 443
lola: add low 201
lola: add low 504
lola: add low 73
lola: add low 638
lola: add low 6
lola: add low 435
lola: add low 658
lola: add low 8
lola: add low 506
lola: add low 279
lola: add low 59
lola: add low 381
lola: add low 607
lola: add low 725
lola: add low 368
lola: add low 624
lola: add low 143
lola: add low 565
lola: add low 235
lola: add low 23
lola: add low 349
lola: add low 635
lola: add low 326
lola: add low 329
lola: add low 765
lola: add low 301
lola: add low 537
lola: add low 183
lola: add low 646
lola: add low 531
lola: add low 18
lola: add low 751
lola: add low 466
lola: add low 688
lola: add low 264
lola: add low 490
lola: add low 319
lola: add low 64
lola: add low 378
lola: add low 346
lola: add low 86
lola: add low 193
lola: add low 701
lola: add low 88
lola: add low 404
lola: add low 369
lola: add low 163
lola: add low 620
lola: add low 209
lola: add low 145
lola: add low 281
lola: add low 418
lola: add low 744
lola: add low 436
lola: add low 655
lola: add low 131
lola: add low 724
lola: add low 266
lola: add low 91
lola: add low 335
lola: add low 420
lola: add low 89
lola: add low 351
lola: add low 584
lola: add low 138
lola: add low 555
lola: add low 223
lola: add low 649
lola: add low 519
lola: add low 11
lola: add low 81
lola: add low 527
lola: add low 730
lola: add low 260
lola: add low 648
lola: add low 400
lola: add low 168
lola: add low 485
lola: add low 481
lola: add low 212
lola: add low 283
lola: add low 722
lola: add low 206
lola: add low 636
lola: add low 412
lola: add low 16
lola: add low 634
lola: add low 167
lola: add low 509
lola: add low 315
lola: add low 405
lola: add low 743
lola: add low 280
lola: add low 491
lola: add low 213
lola: add low 540
lola: add low 488
lola: add low 630
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: 49791 markings, 49792 edges
lola: ========================================
lola: subprocess 7 will run for 632 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (((1 <= p570) AND (1 <= p887))) AND G (F (((1 <= p570) AND (1 <= p887)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (((1 <= p570) AND (1 <= p887))) AND G (F (((1 <= p570) AND (1 <= p887)))))))
lola: processed formula length: 85
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 310471 markings, 490858 edges, 62094 markings/sec, 0 secs
lola: 539813 markings, 951267 edges, 45868 markings/sec, 5 secs
lola: 741232 markings, 1383562 edges, 40284 markings/sec, 10 secs
lola: 950938 markings, 1850891 edges, 41941 markings/sec, 15 secs
lola: 1172168 markings, 2330561 edges, 44246 markings/sec, 20 secs
lola: 1393398 markings, 2807936 edges, 44246 markings/sec, 25 secs
lola: 1609925 markings, 3281679 edges, 43305 markings/sec, 30 secs
lola: 1826551 markings, 3751305 edges, 43325 markings/sec, 35 secs
lola: 2038165 markings, 4215674 edges, 42323 markings/sec, 40 secs
lola: 2252897 markings, 4684369 edges, 42946 markings/sec, 45 secs
lola: 2464248 markings, 5159190 edges, 42270 markings/sec, 50 secs
lola: 2680879 markings, 5618472 edges, 43326 markings/sec, 55 secs
lola: 2887957 markings, 6059197 edges, 41416 markings/sec, 60 secs
lola: 3091426 markings, 6498155 edges, 40694 markings/sec, 65 secs
lola: 3301574 markings, 6958760 edges, 42030 markings/sec, 70 secs
lola: 3508830 markings, 7416878 edges, 41451 markings/sec, 75 secs
lola: 3707272 markings, 7858251 edges, 39688 markings/sec, 80 secs
lola: 3927788 markings, 8320182 edges, 44103 markings/sec, 85 secs
lola: 4138858 markings, 8785158 edges, 42214 markings/sec, 90 secs
lola: 4340369 markings, 9234605 edges, 40302 markings/sec, 95 secs
lola: 4539922 markings, 9682703 edges, 39911 markings/sec, 100 secs
lola: 4744249 markings, 10143689 edges, 40865 markings/sec, 105 secs
lola: 4945312 markings, 10600657 edges, 40213 markings/sec, 110 secs
lola: 5155336 markings, 11059448 edges, 42005 markings/sec, 115 secs
lola: 5361468 markings, 11520230 edges, 41226 markings/sec, 120 secs
lola: 5563941 markings, 11961560 edges, 40495 markings/sec, 125 secs
lola: 5773947 markings, 12399976 edges, 42001 markings/sec, 130 secs
lola: 5980502 markings, 12846752 edges, 41311 markings/sec, 135 secs
lola: 6185353 markings, 13291344 edges, 40970 markings/sec, 140 secs
lola: 6383925 markings, 13727552 edges, 39714 markings/sec, 145 secs
lola: 6590445 markings, 14177141 edges, 41304 markings/sec, 150 secs
lola: 6795626 markings, 14628734 edges, 41036 markings/sec, 155 secs
lola: 7002854 markings, 15074904 edges, 41446 markings/sec, 160 secs
lola: 7200155 markings, 15500879 edges, 39460 markings/sec, 165 secs
lola: 7400745 markings, 15950393 edges, 40118 markings/sec, 170 secs
lola: 7603718 markings, 16383888 edges, 40595 markings/sec, 175 secs
lola: 7805369 markings, 16824415 edges, 40330 markings/sec, 180 secs
lola: 8000584 markings, 17255171 edges, 39043 markings/sec, 185 secs
lola: 8200035 markings, 17695531 edges, 39890 markings/sec, 190 secs
lola: 8408085 markings, 18132969 edges, 41610 markings/sec, 195 secs
lola: 8609166 markings, 18575700 edges, 40216 markings/sec, 200 secs
lola: 8822069 markings, 19020274 edges, 42581 markings/sec, 205 secs
lola: 9030984 markings, 19470906 edges, 41783 markings/sec, 210 secs
lola: 9229653 markings, 19887808 edges, 39734 markings/sec, 215 secs
lola: 9422201 markings, 20303066 edges, 38510 markings/sec, 220 secs
lola: 9610600 markings, 20706245 edges, 37680 markings/sec, 225 secs
lola: 9791123 markings, 21103039 edges, 36105 markings/sec, 230 secs
lola: 9988756 markings, 21527999 edges, 39527 markings/sec, 235 secs
lola: 10195965 markings, 21960502 edges, 41442 markings/sec, 240 secs
lola: 10386648 markings, 22387764 edges, 38137 markings/sec, 245 secs
lola: 10580894 markings, 22822961 edges, 38849 markings/sec, 250 secs
lola: 10790715 markings, 23265605 edges, 41964 markings/sec, 255 secs
lola: 10999630 markings, 23701473 edges, 41783 markings/sec, 260 secs
lola: 11185686 markings, 24145192 edges, 37211 markings/sec, 265 secs
lola: 11349879 markings, 24581414 edges, 32839 markings/sec, 270 secs
lola: 11525297 markings, 25023340 edges, 35084 markings/sec, 275 secs
lola: 11704784 markings, 25476216 edges, 35897 markings/sec, 280 secs
lola: 11879674 markings, 25921926 edges, 34978 markings/sec, 285 secs
lola: 12042518 markings, 26349491 edges, 32569 markings/sec, 290 secs
lola: 12197329 markings, 26779702 edges, 30962 markings/sec, 295 secs
lola: 12364967 markings, 27219243 edges, 33528 markings/sec, 300 secs
lola: 12542691 markings, 27653448 edges, 35545 markings/sec, 305 secs
lola: 12716678 markings, 28088673 edges, 34797 markings/sec, 310 secs
lola: 12891186 markings, 28529653 edges, 34902 markings/sec, 315 secs
lola: 13064641 markings, 28982626 edges, 34691 markings/sec, 320 secs
lola: 13234813 markings, 29414476 edges, 34034 markings/sec, 325 secs
lola: 13400479 markings, 29827743 edges, 33133 markings/sec, 330 secs
lola: 13575573 markings, 30261176 edges, 35019 markings/sec, 335 secs
lola: 13745241 markings, 30683219 edges, 33934 markings/sec, 340 secs
lola: 13905338 markings, 31100526 edges, 32019 markings/sec, 345 secs
lola: 14071748 markings, 31543610 edges, 33282 markings/sec, 350 secs
lola: 14246049 markings, 31975195 edges, 34860 markings/sec, 355 secs
lola: 14407650 markings, 32394298 edges, 32320 markings/sec, 360 secs
lola: 14579351 markings, 32813987 edges, 34340 markings/sec, 365 secs
lola: 14727994 markings, 33227465 edges, 29729 markings/sec, 370 secs
lola: 14888215 markings, 33659883 edges, 32044 markings/sec, 375 secs
lola: 15049668 markings, 34085630 edges, 32291 markings/sec, 380 secs
lola: 15207477 markings, 34500846 edges, 31562 markings/sec, 385 secs
lola: 15381133 markings, 34954872 edges, 34731 markings/sec, 390 secs
lola: 15539158 markings, 35377230 edges, 31605 markings/sec, 395 secs
lola: 15705237 markings, 35810983 edges, 33216 markings/sec, 400 secs
lola: 15875158 markings, 36237170 edges, 33984 markings/sec, 405 secs
lola: 16042956 markings, 36669020 edges, 33560 markings/sec, 410 secs
lola: 16190672 markings, 37077692 edges, 29543 markings/sec, 415 secs
lola: 16361754 markings, 37498588 edges, 34216 markings/sec, 420 secs
lola: 16528093 markings, 37932234 edges, 33268 markings/sec, 425 secs
lola: 16685192 markings, 38338618 edges, 31420 markings/sec, 430 secs
lola: 16848151 markings, 38770898 edges, 32592 markings/sec, 435 secs
lola: 17023399 markings, 39210600 edges, 35050 markings/sec, 440 secs
lola: 17182077 markings, 39614167 edges, 31736 markings/sec, 445 secs
lola: 17338934 markings, 40032163 edges, 31371 markings/sec, 450 secs
lola: 17503030 markings, 40450064 edges, 32819 markings/sec, 455 secs
lola: 17660599 markings, 40863697 edges, 31514 markings/sec, 460 secs
lola: 17820354 markings, 41273941 edges, 31951 markings/sec, 465 secs
lola: 17991263 markings, 41718330 edges, 34182 markings/sec, 470 secs
lola: 18151701 markings, 42145414 edges, 32088 markings/sec, 475 secs
lola: 18322835 markings, 42564193 edges, 34227 markings/sec, 480 secs
lola: 18478909 markings, 42977719 edges, 31215 markings/sec, 485 secs
lola: 18647429 markings, 43425337 edges, 33704 markings/sec, 490 secs
lola: 18822382 markings, 43850551 edges, 34991 markings/sec, 495 secs
lola: 18993990 markings, 44287523 edges, 34322 markings/sec, 500 secs
lola: 19160624 markings, 44701667 edges, 33327 markings/sec, 505 secs
lola: 19327552 markings, 45121822 edges, 33386 markings/sec, 510 secs
lola: 19494117 markings, 45534489 edges, 33313 markings/sec, 515 secs
lola: 19654131 markings, 45937403 edges, 32003 markings/sec, 520 secs
lola: 19809348 markings, 46326794 edges, 31043 markings/sec, 525 secs
lola: 19962558 markings, 46722975 edges, 30642 markings/sec, 530 secs
lola: 20123730 markings, 47140162 edges, 32234 markings/sec, 535 secs
lola: 20285414 markings, 47547421 edges, 32337 markings/sec, 540 secs
lola: 20432414 markings, 47931256 edges, 29400 markings/sec, 545 secs
lola: 20597988 markings, 48359055 edges, 33115 markings/sec, 550 secs
lola: 20753725 markings, 48767145 edges, 31147 markings/sec, 555 secs
lola: 20919714 markings, 49179399 edges, 33198 markings/sec, 560 secs
lola: 21101489 markings, 49615713 edges, 36355 markings/sec, 565 secs
lola: 21256579 markings, 50040839 edges, 31018 markings/sec, 570 secs
lola: 21424665 markings, 50478940 edges, 33617 markings/sec, 575 secs
lola: 21582135 markings, 50896073 edges, 31494 markings/sec, 580 secs
lola: 21753623 markings, 51314858 edges, 34298 markings/sec, 585 secs
lola: 21938653 markings, 51729140 edges, 37006 markings/sec, 590 secs
lola: 22105793 markings, 52129280 edges, 33428 markings/sec, 595 secs
lola: 22276330 markings, 52561933 edges, 34107 markings/sec, 600 secs
lola: 22464931 markings, 53006835 edges, 37720 markings/sec, 605 secs
lola: 22662639 markings, 53466344 edges, 39542 markings/sec, 610 secs
lola: 22840510 markings, 53927410 edges, 35574 markings/sec, 615 secs
lola: 23024162 markings, 54397228 edges, 36730 markings/sec, 620 secs
lola: 23197488 markings, 54855522 edges, 34665 markings/sec, 625 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no yes no yes no unknown unknown unknown unknown
lola: memory consumption: 4239604 KB
lola: time consumption: 1673 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 632 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (((1 <= p251) AND (1 <= p1411))) OR G (F (((p967 <= 0) OR (p1138 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (((1 <= p251) AND (1 <= p1411))) OR G (F (((p967 <= 0) OR (p1138 <= 0))))))
lola: processed formula length: 82
lola: 100 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: 244696 markings, 574042 edges, 48939 markings/sec, 0 secs
lola: 442109 markings, 1150535 edges, 39483 markings/sec, 5 secs
lola: 638424 markings, 1729554 edges, 39263 markings/sec, 10 secs
lola: 821965 markings, 2309224 edges, 36708 markings/sec, 15 secs
lola: 983947 markings, 2890480 edges, 32396 markings/sec, 20 secs
lola: 1148857 markings, 3473063 edges, 32982 markings/sec, 25 secs
lola: 1325402 markings, 4054442 edges, 35309 markings/sec, 30 secs
lola: 1490995 markings, 4607165 edges, 33119 markings/sec, 35 secs
lola: 1658822 markings, 5189256 edges, 33565 markings/sec, 40 secs
lola: 1823155 markings, 5770911 edges, 32867 markings/sec, 45 secs
lola: 1990230 markings, 6349400 edges, 33415 markings/sec, 50 secs
lola: 2161466 markings, 6922553 edges, 34247 markings/sec, 55 secs
lola: 2327052 markings, 7499073 edges, 33117 markings/sec, 60 secs
lola: 2499331 markings, 8075817 edges, 34456 markings/sec, 65 secs
lola: 2673680 markings, 8653341 edges, 34870 markings/sec, 70 secs
lola: 2843754 markings, 9229255 edges, 34015 markings/sec, 75 secs
lola: 3000246 markings, 9808828 edges, 31298 markings/sec, 80 secs
lola: 3167613 markings, 10386075 edges, 33473 markings/sec, 85 secs
lola: 3337389 markings, 10959818 edges, 33955 markings/sec, 90 secs
lola: 3494023 markings, 11538081 edges, 31327 markings/sec, 95 secs
lola: 3667592 markings, 12112754 edges, 34714 markings/sec, 100 secs
lola: 3832779 markings, 12694480 edges, 33037 markings/sec, 105 secs
lola: 4001756 markings, 13274851 edges, 33795 markings/sec, 110 secs
lola: 4172730 markings, 13853180 edges, 34195 markings/sec, 115 secs
lola: 4338642 markings, 14432853 edges, 33182 markings/sec, 120 secs
lola: 4508433 markings, 15007180 edges, 33958 markings/sec, 125 secs
lola: 4679990 markings, 15581492 edges, 34311 markings/sec, 130 secs
lola: 4861553 markings, 16157580 edges, 36313 markings/sec, 135 secs
lola: 5031031 markings, 16734160 edges, 33896 markings/sec, 140 secs
lola: 5200273 markings, 17312078 edges, 33848 markings/sec, 145 secs
lola: 5348614 markings, 17892028 edges, 29668 markings/sec, 150 secs
lola: 5496991 markings, 18473896 edges, 29675 markings/sec, 155 secs
lola: 5654284 markings, 19048566 edges, 31459 markings/sec, 160 secs
lola: 5803625 markings, 19625946 edges, 29868 markings/sec, 165 secs
lola: 5958902 markings, 20199861 edges, 31055 markings/sec, 170 secs
lola: 6108964 markings, 20780299 edges, 30012 markings/sec, 175 secs
lola: 6261937 markings, 21356868 edges, 30595 markings/sec, 180 secs
lola: 6415195 markings, 21930416 edges, 30652 markings/sec, 185 secs
lola: 6561567 markings, 22501618 edges, 29274 markings/sec, 190 secs
lola: 6714398 markings, 23076651 edges, 30566 markings/sec, 195 secs
lola: 6863569 markings, 23656887 edges, 29834 markings/sec, 200 secs
lola: 7018697 markings, 24235155 edges, 31026 markings/sec, 205 secs
lola: 7170115 markings, 24812205 edges, 30284 markings/sec, 210 secs
lola: 7323803 markings, 25384578 edges, 30738 markings/sec, 215 secs
lola: 7473873 markings, 25942740 edges, 30014 markings/sec, 220 secs
lola: 7617730 markings, 26520853 edges, 28771 markings/sec, 225 secs
lola: 7761162 markings, 27099757 edges, 28686 markings/sec, 230 secs
lola: 7908190 markings, 27682662 edges, 29406 markings/sec, 235 secs
lola: 8041198 markings, 28236331 edges, 26602 markings/sec, 240 secs
lola: 8174449 markings, 28812847 edges, 26650 markings/sec, 245 secs
lola: 8310682 markings, 29393084 edges, 27247 markings/sec, 250 secs
lola: 8443788 markings, 29974038 edges, 26621 markings/sec, 255 secs
lola: 8625821 markings, 30550594 edges, 36407 markings/sec, 260 secs
lola: 8795189 markings, 31131370 edges, 33874 markings/sec, 265 secs
lola: 8967091 markings, 31707226 edges, 34380 markings/sec, 270 secs
lola: 9137305 markings, 32285348 edges, 34043 markings/sec, 275 secs
lola: 9313009 markings, 32863070 edges, 35141 markings/sec, 280 secs
lola: 9492007 markings, 33439370 edges, 35800 markings/sec, 285 secs
lola: 9652637 markings, 34018164 edges, 32126 markings/sec, 290 secs
lola: 9803825 markings, 34594330 edges, 30238 markings/sec, 295 secs
lola: 9954067 markings, 35171265 edges, 30048 markings/sec, 300 secs
lola: 10112903 markings, 35748706 edges, 31767 markings/sec, 305 secs
lola: 10267696 markings, 36329324 edges, 30959 markings/sec, 310 secs
lola: 10415545 markings, 36910764 edges, 29570 markings/sec, 315 secs
lola: 10558581 markings, 37491081 edges, 28607 markings/sec, 320 secs
lola: 10697870 markings, 38065985 edges, 27858 markings/sec, 325 secs
lola: 10837619 markings, 38643146 edges, 27950 markings/sec, 330 secs
lola: 10978653 markings, 39216835 edges, 28207 markings/sec, 335 secs
lola: 11119025 markings, 39789308 edges, 28074 markings/sec, 340 secs
lola: 11262865 markings, 40366106 edges, 28768 markings/sec, 345 secs
lola: 11408701 markings, 40941726 edges, 29167 markings/sec, 350 secs
lola: 11542961 markings, 41515828 edges, 26852 markings/sec, 355 secs
lola: 11698482 markings, 42087719 edges, 31104 markings/sec, 360 secs
lola: 11831839 markings, 42665205 edges, 26671 markings/sec, 365 secs
lola: 11972817 markings, 43240328 edges, 28196 markings/sec, 370 secs
lola: 12110012 markings, 43820021 edges, 27439 markings/sec, 375 secs
lola: 12246149 markings, 44396022 edges, 27227 markings/sec, 380 secs
lola: 12390076 markings, 44971510 edges, 28785 markings/sec, 385 secs
lola: 12534330 markings, 45549789 edges, 28851 markings/sec, 390 secs
lola: 12669842 markings, 46126832 edges, 27102 markings/sec, 395 secs
lola: 12807476 markings, 46701613 edges, 27527 markings/sec, 400 secs
lola: 12960438 markings, 47278754 edges, 30592 markings/sec, 405 secs
lola: 13100721 markings, 47858651 edges, 28057 markings/sec, 410 secs
lola: 13237901 markings, 48435799 edges, 27436 markings/sec, 415 secs
lola: 13376338 markings, 49012427 edges, 27687 markings/sec, 420 secs
lola: 13510709 markings, 49592210 edges, 26874 markings/sec, 425 secs
lola: 13653384 markings, 50170830 edges, 28535 markings/sec, 430 secs
lola: 13785772 markings, 50744889 edges, 26478 markings/sec, 435 secs
lola: 13920749 markings, 51322391 edges, 26995 markings/sec, 440 secs
lola: 14054187 markings, 51901587 edges, 26688 markings/sec, 445 secs
lola: 14208386 markings, 52476290 edges, 30840 markings/sec, 450 secs
lola: 14343829 markings, 53051370 edges, 27089 markings/sec, 455 secs
lola: 14484543 markings, 53624420 edges, 28143 markings/sec, 460 secs
lola: 14618540 markings, 54198519 edges, 26799 markings/sec, 465 secs
lola: 14753558 markings, 54777253 edges, 27004 markings/sec, 470 secs
lola: 14899533 markings, 55357608 edges, 29195 markings/sec, 475 secs
lola: 15056317 markings, 55936278 edges, 31357 markings/sec, 480 secs
lola: 15205802 markings, 56511568 edges, 29897 markings/sec, 485 secs
lola: 15371487 markings, 57088256 edges, 33137 markings/sec, 490 secs
lola: 15532786 markings, 57662975 edges, 32260 markings/sec, 495 secs
lola: 15694995 markings, 58236731 edges, 32442 markings/sec, 500 secs
lola: 15851306 markings, 58811710 edges, 31262 markings/sec, 505 secs
lola: 15994302 markings, 59387215 edges, 28599 markings/sec, 510 secs
lola: 16138301 markings, 59963950 edges, 28800 markings/sec, 515 secs
lola: 16282262 markings, 60539202 edges, 28792 markings/sec, 520 secs
lola: 16425201 markings, 61112785 edges, 28588 markings/sec, 525 secs
lola: 16569194 markings, 61685511 edges, 28799 markings/sec, 530 secs
lola: 16710460 markings, 62254933 edges, 28253 markings/sec, 535 secs
lola: 16850160 markings, 62825522 edges, 27940 markings/sec, 540 secs
lola: 16996191 markings, 63399886 edges, 29206 markings/sec, 545 secs
lola: 17141541 markings, 63978126 edges, 29070 markings/sec, 550 secs
lola: 17286376 markings, 64557224 edges, 28967 markings/sec, 555 secs
lola: 17430900 markings, 65135521 edges, 28905 markings/sec, 560 secs
lola: 17575099 markings, 65711869 edges, 28840 markings/sec, 565 secs
lola: 17721413 markings, 66287989 edges, 29263 markings/sec, 570 secs
lola: 17867592 markings, 66863547 edges, 29236 markings/sec, 575 secs
lola: 18013512 markings, 67437315 edges, 29184 markings/sec, 580 secs
lola: 18167719 markings, 68009161 edges, 30841 markings/sec, 585 secs
lola: 18308691 markings, 68578803 edges, 28194 markings/sec, 590 secs
lola: 18450743 markings, 69152985 edges, 28410 markings/sec, 595 secs
lola: 18600251 markings, 69719839 edges, 29902 markings/sec, 600 secs
lola: 18762472 markings, 70285454 edges, 32444 markings/sec, 605 secs
lola: 18924333 markings, 70846198 edges, 32372 markings/sec, 610 secs
lola: 19081592 markings, 71408299 edges, 31452 markings/sec, 615 secs
lola: 19228400 markings, 71971524 edges, 29362 markings/sec, 620 secs
lola: 19371208 markings, 72544263 edges, 28562 markings/sec, 625 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no yes no yes no unknown unknown unknown unknown
lola: memory consumption: 3277008 KB
lola: time consumption: 2305 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 9 will run for 632 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (((1 <= p706) AND (1 <= p1068))) OR ((F (G (((1 <= p706) AND (1 <= p1068)))) AND F (G (((p329 <= 0) OR (p1327 <= 0))))) OR ((1 <= p727) AND (1 <= p1157)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((1 <= p706) AND (1 <= p1068))) OR ((F (G (((1 <= p706) AND (1 <= p1068)))) AND F (G (((p329 <= 0) OR (p1327 <= 0))))) OR ((1 <= p727) AND (1 <= p1157)))))
lola: processed formula length: 163
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 160167 markings, 551465 edges, 32033 markings/sec, 0 secs
lola: 286717 markings, 1135736 edges, 25310 markings/sec, 5 secs
lola: 407937 markings, 1716282 edges, 24244 markings/sec, 10 secs
lola: 508364 markings, 2300346 edges, 20085 markings/sec, 15 secs
lola: 608014 markings, 2875978 edges, 19930 markings/sec, 20 secs
lola: 708023 markings, 3451197 edges, 20002 markings/sec, 25 secs
lola: 796469 markings, 4037475 edges, 17689 markings/sec, 30 secs
lola: 883037 markings, 4614565 edges, 17314 markings/sec, 35 secs
lola: 969158 markings, 5187419 edges, 17224 markings/sec, 40 secs
lola: 1061592 markings, 5761948 edges, 18487 markings/sec, 45 secs
lola: 1162196 markings, 6339257 edges, 20121 markings/sec, 50 secs
lola: 1262367 markings, 6913243 edges, 20034 markings/sec, 55 secs
lola: 1364369 markings, 7487322 edges, 20400 markings/sec, 60 secs
lola: 1466218 markings, 8076439 edges, 20370 markings/sec, 65 secs
lola: 1559514 markings, 8618194 edges, 18659 markings/sec, 70 secs
lola: 1657898 markings, 9182067 edges, 19677 markings/sec, 75 secs
lola: 1755797 markings, 9739909 edges, 19580 markings/sec, 80 secs
lola: 1854303 markings, 10302585 edges, 19701 markings/sec, 85 secs
lola: 1954236 markings, 10868047 edges, 19987 markings/sec, 90 secs
lola: 2055216 markings, 11440155 edges, 20196 markings/sec, 95 secs
lola: 2156063 markings, 12010201 edges, 20169 markings/sec, 100 secs
lola: 2254770 markings, 12571614 edges, 19741 markings/sec, 105 secs
lola: 2352326 markings, 13129128 edges, 19511 markings/sec, 110 secs
lola: 2445651 markings, 13682684 edges, 18665 markings/sec, 115 secs
lola: 2538958 markings, 14236455 edges, 18661 markings/sec, 120 secs
lola: 2636591 markings, 14799750 edges, 19527 markings/sec, 125 secs
lola: 2735427 markings, 15366674 edges, 19767 markings/sec, 130 secs
lola: 2833933 markings, 15925335 edges, 19701 markings/sec, 135 secs
lola: 2932857 markings, 16480499 edges, 19785 markings/sec, 140 secs
lola: 3025295 markings, 17041874 edges, 18488 markings/sec, 145 secs
lola: 3115471 markings, 17589461 edges, 18035 markings/sec, 150 secs
lola: 3208692 markings, 18151278 edges, 18644 markings/sec, 155 secs
lola: 3300974 markings, 18719207 edges, 18456 markings/sec, 160 secs
lola: 3391539 markings, 19287153 edges, 18113 markings/sec, 165 secs
lola: 3481006 markings, 19852037 edges, 17893 markings/sec, 170 secs
lola: 3570509 markings, 20410248 edges, 17901 markings/sec, 175 secs
lola: 3658950 markings, 20973964 edges, 17688 markings/sec, 180 secs
lola: 3745267 markings, 21525314 edges, 17263 markings/sec, 185 secs
lola: 3833490 markings, 22088015 edges, 17645 markings/sec, 190 secs
lola: 3932189 markings, 22650899 edges, 19740 markings/sec, 195 secs
lola: 4029367 markings, 23209058 edges, 19436 markings/sec, 200 secs
lola: 4129385 markings, 23771132 edges, 20004 markings/sec, 205 secs
lola: 4225672 markings, 24332386 edges, 19257 markings/sec, 210 secs
lola: 4319426 markings, 24886056 edges, 18751 markings/sec, 215 secs
lola: 4414777 markings, 25445074 edges, 19070 markings/sec, 220 secs
lola: 4506964 markings, 26010107 edges, 18437 markings/sec, 225 secs
lola: 4594994 markings, 26570188 edges, 17606 markings/sec, 230 secs
lola: 4682839 markings, 27131487 edges, 17569 markings/sec, 235 secs
lola: 4774134 markings, 27698697 edges, 18259 markings/sec, 240 secs
lola: 4869561 markings, 28270721 edges, 19085 markings/sec, 245 secs
lola: 4963627 markings, 28834588 edges, 18813 markings/sec, 250 secs
lola: 5060279 markings, 29401286 edges, 19330 markings/sec, 255 secs
lola: 5160487 markings, 29977664 edges, 20042 markings/sec, 260 secs
lola: 5259235 markings, 30545036 edges, 19750 markings/sec, 265 secs
lola: 5359209 markings, 31112330 edges, 19995 markings/sec, 270 secs
lola: 5458673 markings, 31687459 edges, 19893 markings/sec, 275 secs
lola: 5555989 markings, 32251293 edges, 19463 markings/sec, 280 secs
lola: 5650124 markings, 32788437 edges, 18827 markings/sec, 285 secs
lola: 5748165 markings, 33350436 edges, 19608 markings/sec, 290 secs
lola: 5844468 markings, 33902167 edges, 19261 markings/sec, 295 secs
lola: 5942202 markings, 34457361 edges, 19547 markings/sec, 300 secs
lola: 6037451 markings, 35026821 edges, 19050 markings/sec, 305 secs
lola: 6130994 markings, 35587045 edges, 18709 markings/sec, 310 secs
lola: 6226571 markings, 36149794 edges, 19115 markings/sec, 315 secs
lola: 6325928 markings, 36726057 edges, 19871 markings/sec, 320 secs
lola: 6423619 markings, 37294339 edges, 19538 markings/sec, 325 secs
lola: 6521613 markings, 37855375 edges, 19599 markings/sec, 330 secs
lola: 6615928 markings, 38409632 edges, 18863 markings/sec, 335 secs
lola: 6708008 markings, 38952153 edges, 18416 markings/sec, 340 secs
lola: 6802788 markings, 39505742 edges, 18956 markings/sec, 345 secs
lola: 6886973 markings, 40065910 edges, 16837 markings/sec, 350 secs
lola: 6971062 markings, 40625507 edges, 16818 markings/sec, 355 secs
lola: 7055517 markings, 41188523 edges, 16891 markings/sec, 360 secs
lola: 7142305 markings, 41759815 edges, 17358 markings/sec, 365 secs
lola: 7228269 markings, 42328624 edges, 17193 markings/sec, 370 secs
lola: 7314317 markings, 42896256 edges, 17210 markings/sec, 375 secs
lola: 7401295 markings, 43454731 edges, 17396 markings/sec, 380 secs
lola: 7489257 markings, 44011623 edges, 17592 markings/sec, 385 secs
lola: 7576783 markings, 44566779 edges, 17505 markings/sec, 390 secs
lola: 7667307 markings, 45125849 edges, 18105 markings/sec, 395 secs
lola: 7759333 markings, 45681862 edges, 18405 markings/sec, 400 secs
lola: 7851389 markings, 46236758 edges, 18411 markings/sec, 405 secs
lola: 7945637 markings, 46798128 edges, 18850 markings/sec, 410 secs
lola: 8035959 markings, 47355960 edges, 18064 markings/sec, 415 secs
lola: 8125536 markings, 47909934 edges, 17915 markings/sec, 420 secs
lola: 8218383 markings, 48470280 edges, 18569 markings/sec, 425 secs
lola: 8314633 markings, 49044551 edges, 19250 markings/sec, 430 secs
lola: 8410137 markings, 49614400 edges, 19101 markings/sec, 435 secs
lola: 8504911 markings, 50178690 edges, 18955 markings/sec, 440 secs
lola: 8594137 markings, 50736268 edges, 17845 markings/sec, 445 secs
lola: 8682382 markings, 51289710 edges, 17649 markings/sec, 450 secs
lola: 8773203 markings, 51846959 edges, 18164 markings/sec, 455 secs
lola: 8863320 markings, 52396194 edges, 18023 markings/sec, 460 secs
lola: 8953670 markings, 52946924 edges, 18070 markings/sec, 465 secs
lola: 9045405 markings, 53506543 edges, 18347 markings/sec, 470 secs
lola: 9133133 markings, 54078057 edges, 17546 markings/sec, 475 secs
lola: 9220534 markings, 54645683 edges, 17480 markings/sec, 480 secs
lola: 9309873 markings, 55208847 edges, 17868 markings/sec, 485 secs
lola: 9407803 markings, 55772695 edges, 19586 markings/sec, 490 secs
lola: 9504612 markings, 56335000 edges, 19362 markings/sec, 495 secs
lola: 9599308 markings, 56899962 edges, 18939 markings/sec, 500 secs
lola: 9685574 markings, 57460118 edges, 17253 markings/sec, 505 secs
lola: 9772440 markings, 58022604 edges, 17373 markings/sec, 510 secs
lola: 9862936 markings, 58584559 edges, 18099 markings/sec, 515 secs
lola: 9955416 markings, 59128485 edges, 18496 markings/sec, 520 secs
lola: 10050498 markings, 59688419 edges, 19016 markings/sec, 525 secs
lola: 10150420 markings, 60257354 edges, 19984 markings/sec, 530 secs
lola: 10248708 markings, 60817131 edges, 19658 markings/sec, 535 secs
lola: 10348101 markings, 61377583 edges, 19879 markings/sec, 540 secs
lola: 10448097 markings, 61946678 edges, 19999 markings/sec, 545 secs
lola: 10546340 markings, 62508053 edges, 19649 markings/sec, 550 secs
lola: 10645836 markings, 63069051 edges, 19899 markings/sec, 555 secs
lola: 10742669 markings, 63624389 edges, 19367 markings/sec, 560 secs
lola: 10839718 markings, 64176664 edges, 19410 markings/sec, 565 secs
lola: 10938076 markings, 64744057 edges, 19672 markings/sec, 570 secs
lola: 11032641 markings, 65302623 edges, 18913 markings/sec, 575 secs
lola: 11127990 markings, 65860713 edges, 19070 markings/sec, 580 secs
lola: 11226329 markings, 66424377 edges, 19668 markings/sec, 585 secs
lola: 11323209 markings, 66981490 edges, 19376 markings/sec, 590 secs
lola: 11420545 markings, 67537741 edges, 19467 markings/sec, 595 secs
lola: 11516690 markings, 68093393 edges, 19229 markings/sec, 600 secs
lola: 11613124 markings, 68646237 edges, 19287 markings/sec, 605 secs
lola: 11702237 markings, 69201250 edges, 17823 markings/sec, 610 secs
lola: 11785696 markings, 69753448 edges, 16692 markings/sec, 615 secs
lola: 11869550 markings, 70306103 edges, 16771 markings/sec, 620 secs
lola: 11956861 markings, 70857380 edges, 17462 markings/sec, 625 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no yes no yes no unknown unknown unknown unknown
lola: memory consumption: 1792128 KB
lola: time consumption: 2937 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p125) AND (1 <= p532)) OR (F (((1 <= p125) AND (1 <= p532))) AND F (G ((F (G ((((p220 <= 0) OR (p1485 <= 0)) AND ((p125 <= 0) OR (p532 <= 0))))) AND F (((p69 <= 0) OR (p1379 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p125) AND (1 <= p532))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p125) AND (1 <= p532))
lola: processed formula length: 29
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (G ((((p220 <= 0) OR (p1485 <= 0)) AND ((p125 <= 0) OR (p532 <= 0))))) AND F (((p69 <= 0) OR (p1379 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (G ((((p220 <= 0) OR (p1485 <= 0)) AND ((p125 <= 0) OR (p532 <= 0))))) AND F (((p69 <= 0) OR (p1379 <= 0))))))
lola: processed formula length: 122
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 51322 markings, 51326 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p367) AND (1 <= p824))) AND ((1 <= p367) AND (1 <= p824)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p367) AND (1 <= p824))) AND ((1 <= p367) AND (1 <= p824)))))
lola: processed formula length: 77
lola: 100 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: 309388 markings, 537418 edges, 61878 markings/sec, 0 secs
lola: 586575 markings, 1103569 edges, 55437 markings/sec, 5 secs
lola: 806982 markings, 1649570 edges, 44081 markings/sec, 10 secs
lola: 1037795 markings, 2213663 edges, 46163 markings/sec, 15 secs
lola: 1261251 markings, 2767073 edges, 44691 markings/sec, 20 secs
lola: 1491367 markings, 3329650 edges, 46023 markings/sec, 25 secs
lola: 1718516 markings, 3892082 edges, 45430 markings/sec, 30 secs
lola: 1948375 markings, 4454041 edges, 45972 markings/sec, 35 secs
lola: 2171570 markings, 5006079 edges, 44639 markings/sec, 40 secs
lola: 2399675 markings, 5564550 edges, 45621 markings/sec, 45 secs
lola: 2614029 markings, 6093174 edges, 42871 markings/sec, 50 secs
lola: 2832357 markings, 6628815 edges, 43666 markings/sec, 55 secs
lola: 3061018 markings, 7187423 edges, 45732 markings/sec, 60 secs
lola: 3281062 markings, 7732429 edges, 44009 markings/sec, 65 secs
lola: 3507756 markings, 8286904 edges, 45339 markings/sec, 70 secs
lola: 3732700 markings, 8841740 edges, 44989 markings/sec, 75 secs
lola: 3953251 markings, 9383089 edges, 44110 markings/sec, 80 secs
lola: 4176238 markings, 9928104 edges, 44597 markings/sec, 85 secs
lola: 4396362 markings, 10472644 edges, 44025 markings/sec, 90 secs
lola: 4621894 markings, 11025025 edges, 45106 markings/sec, 95 secs
lola: 4847151 markings, 11575889 edges, 45051 markings/sec, 100 secs
lola: 5062716 markings, 12108899 edges, 43113 markings/sec, 105 secs
lola: 5286651 markings, 12657288 edges, 44787 markings/sec, 110 secs
lola: 5509851 markings, 13203588 edges, 44640 markings/sec, 115 secs
lola: 5731194 markings, 13745576 edges, 44269 markings/sec, 120 secs
lola: 5948985 markings, 14283761 edges, 43558 markings/sec, 125 secs
lola: 6173291 markings, 14832899 edges, 44861 markings/sec, 130 secs
lola: 6395869 markings, 15377854 edges, 44516 markings/sec, 135 secs
lola: 6622698 markings, 15933052 edges, 45366 markings/sec, 140 secs
lola: 6837290 markings, 16462442 edges, 42918 markings/sec, 145 secs
lola: 7059996 markings, 17008647 edges, 44541 markings/sec, 150 secs
lola: 7285131 markings, 17560237 edges, 45027 markings/sec, 155 secs
lola: 7505107 markings, 18099064 edges, 43995 markings/sec, 160 secs
lola: 7726090 markings, 18640177 edges, 44197 markings/sec, 165 secs
lola: 7951493 markings, 19192210 edges, 45081 markings/sec, 170 secs
lola: 8170558 markings, 19728811 edges, 43813 markings/sec, 175 secs
lola: 8390620 markings, 20267626 edges, 44012 markings/sec, 180 secs
lola: 8607226 markings, 20798194 edges, 43321 markings/sec, 185 secs
lola: 8822823 markings, 21326119 edges, 43119 markings/sec, 190 secs
lola: 9040417 markings, 21858942 edges, 43519 markings/sec, 195 secs
lola: 9257787 markings, 22390662 edges, 43474 markings/sec, 200 secs
lola: 9482554 markings, 22938197 edges, 44953 markings/sec, 205 secs
lola: 9705797 markings, 23485331 edges, 44649 markings/sec, 210 secs
lola: 9926169 markings, 24024667 edges, 44074 markings/sec, 215 secs
lola: 10152793 markings, 24576886 edges, 45325 markings/sec, 220 secs
lola: 10378076 markings, 25127880 edges, 45057 markings/sec, 225 secs
lola: 10603203 markings, 25677071 edges, 45025 markings/sec, 230 secs
lola: 10825897 markings, 26219433 edges, 44539 markings/sec, 235 secs
lola: 11049461 markings, 26764162 edges, 44713 markings/sec, 240 secs
lola: 11274011 markings, 27311439 edges, 44910 markings/sec, 245 secs
lola: 11496144 markings, 27852410 edges, 44427 markings/sec, 250 secs
lola: 11717309 markings, 28389370 edges, 44233 markings/sec, 255 secs
lola: 11937271 markings, 28923175 edges, 43992 markings/sec, 260 secs
lola: 12157396 markings, 29457062 edges, 44025 markings/sec, 265 secs
lola: 12382843 markings, 30001740 edges, 45089 markings/sec, 270 secs
lola: 12604273 markings, 30535182 edges, 44286 markings/sec, 275 secs
lola: 12828388 markings, 31071641 edges, 44823 markings/sec, 280 secs
lola: 13061543 markings, 31626109 edges, 46631 markings/sec, 285 secs
lola: 13288093 markings, 32187574 edges, 45310 markings/sec, 290 secs
lola: 13513555 markings, 32725656 edges, 45092 markings/sec, 295 secs
lola: 13732539 markings, 33268105 edges, 43797 markings/sec, 300 secs
lola: 13942120 markings, 33817710 edges, 41916 markings/sec, 305 secs
lola: 14119660 markings, 34346569 edges, 35508 markings/sec, 310 secs
lola: 14303899 markings, 34887418 edges, 36848 markings/sec, 315 secs
lola: 14487769 markings, 35434925 edges, 36774 markings/sec, 320 secs
lola: 14671686 markings, 35981230 edges, 36783 markings/sec, 325 secs
lola: 14860070 markings, 36535542 edges, 37677 markings/sec, 330 secs
lola: 15043889 markings, 37082068 edges, 36764 markings/sec, 335 secs
lola: 15231137 markings, 37632792 edges, 37450 markings/sec, 340 secs
lola: 15411774 markings, 38170114 edges, 36127 markings/sec, 345 secs
lola: 15598147 markings, 38717751 edges, 37275 markings/sec, 350 secs
lola: 15780819 markings, 39261501 edges, 36534 markings/sec, 355 secs
lola: 15967575 markings, 39810102 edges, 37351 markings/sec, 360 secs
lola: 16143702 markings, 40334382 edges, 35225 markings/sec, 365 secs
lola: 16325440 markings, 40868096 edges, 36348 markings/sec, 370 secs
lola: 16506558 markings, 41407233 edges, 36224 markings/sec, 375 secs
lola: 16691686 markings, 41951216 edges, 37026 markings/sec, 380 secs
lola: 16863993 markings, 42464079 edges, 34461 markings/sec, 385 secs
lola: 17040198 markings, 42981513 edges, 35241 markings/sec, 390 secs
lola: 17214999 markings, 43501707 edges, 34960 markings/sec, 395 secs
lola: 17393704 markings, 44026887 edges, 35741 markings/sec, 400 secs
lola: 17571828 markings, 44556792 edges, 35625 markings/sec, 405 secs
lola: 17752351 markings, 45087477 edges, 36105 markings/sec, 410 secs
lola: 17928018 markings, 45609757 edges, 35133 markings/sec, 415 secs
lola: 18108917 markings, 46141721 edges, 36180 markings/sec, 420 secs
lola: 18289986 markings, 46679125 edges, 36214 markings/sec, 425 secs
lola: 18466310 markings, 47198749 edges, 35265 markings/sec, 430 secs
lola: 18642492 markings, 47716418 edges, 35236 markings/sec, 435 secs
lola: 18816627 markings, 48234523 edges, 34827 markings/sec, 440 secs
lola: 18993624 markings, 48754921 edges, 35399 markings/sec, 445 secs
lola: 19173381 markings, 49288515 edges, 35951 markings/sec, 450 secs
lola: 19359922 markings, 49838655 edges, 37308 markings/sec, 455 secs
lola: 19542179 markings, 50374747 edges, 36451 markings/sec, 460 secs
lola: 19708801 markings, 50869591 edges, 33324 markings/sec, 465 secs
lola: 19885363 markings, 51389567 edges, 35312 markings/sec, 470 secs
lola: 20065786 markings, 51920563 edges, 36085 markings/sec, 475 secs
lola: 20253099 markings, 52475008 edges, 37463 markings/sec, 480 secs
lola: 20426254 markings, 52986700 edges, 34631 markings/sec, 485 secs
lola: 20604887 markings, 53512461 edges, 35727 markings/sec, 490 secs
lola: 20786223 markings, 54046245 edges, 36267 markings/sec, 495 secs
lola: 20971247 markings, 54590991 edges, 37005 markings/sec, 500 secs
lola: 21137829 markings, 55085841 edges, 33316 markings/sec, 505 secs
lola: 21314058 markings, 55604882 edges, 35246 markings/sec, 510 secs
lola: 21486542 markings, 56112746 edges, 34497 markings/sec, 515 secs
lola: 21655332 markings, 56609393 edges, 33758 markings/sec, 520 secs
lola: 21827878 markings, 57117287 edges, 34509 markings/sec, 525 secs
lola: 21999424 markings, 57622423 edges, 34309 markings/sec, 530 secs
lola: 22170639 markings, 58126862 edges, 34243 markings/sec, 535 secs
lola: 22350686 markings, 58657940 edges, 36009 markings/sec, 540 secs
lola: 22534560 markings, 59198854 edges, 36775 markings/sec, 545 secs
lola: 22711794 markings, 59721139 edges, 35447 markings/sec, 550 secs
lola: 22893209 markings, 60255734 edges, 36283 markings/sec, 555 secs
lola: 23076799 markings, 60796670 edges, 36718 markings/sec, 560 secs
lola: 23263889 markings, 61347485 edges, 37418 markings/sec, 565 secs
lola: 23451948 markings, 61898954 edges, 37612 markings/sec, 570 secs
lola: 23636698 markings, 62443342 edges, 36950 markings/sec, 575 secs
lola: 23817963 markings, 62974453 edges, 36253 markings/sec, 580 secs
lola: 24002973 markings, 63518917 edges, 37002 markings/sec, 585 secs
lola: 24189323 markings, 64065869 edges, 37270 markings/sec, 590 secs
lola: 24372281 markings, 64602395 edges, 36592 markings/sec, 595 secs
lola: 24554608 markings, 65136928 edges, 36465 markings/sec, 600 secs
lola: 24732756 markings, 65657017 edges, 35630 markings/sec, 605 secs
lola: 24910805 markings, 66179300 edges, 35610 markings/sec, 610 secs
lola: 25095688 markings, 66719572 edges, 36977 markings/sec, 615 secs
lola: 25282132 markings, 67263192 edges, 37289 markings/sec, 620 secs
lola: 25464341 markings, 67793165 edges, 36442 markings/sec, 625 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no yes no yes no unknown unknown unknown unknown
lola:
preliminary result: no unknown no yes no yes no unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no yes no yes no unknown unknown unknown unknown
lola: memory consumption: 4449188 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no yes no yes no unknown unknown unknown unknown
lola: memory consumption: 4449412 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
--------------------
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="CircularTrains-PT-768"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is CircularTrains-PT-768, 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 r168-smll-158987806200098"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-768.tgz
mv CircularTrains-PT-768 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 ;