About the Execution of 2020-gold for DLCround-PT-06a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16255.823 | 3600000.00 | 2702527.00 | 35658.20 | FFFFTFFFF?FFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r075-tall-162039097300162.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-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 gold2020
Input is DLCround-PT-06a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-tall-162039097300162
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 92K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 15:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 15:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 23 08:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 08:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 22 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 22 15:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 325K May 5 16:51 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 DLCround-PT-06a-00
FORMULA_NAME DLCround-PT-06a-01
FORMULA_NAME DLCround-PT-06a-02
FORMULA_NAME DLCround-PT-06a-03
FORMULA_NAME DLCround-PT-06a-04
FORMULA_NAME DLCround-PT-06a-05
FORMULA_NAME DLCround-PT-06a-06
FORMULA_NAME DLCround-PT-06a-07
FORMULA_NAME DLCround-PT-06a-08
FORMULA_NAME DLCround-PT-06a-09
FORMULA_NAME DLCround-PT-06a-10
FORMULA_NAME DLCround-PT-06a-11
FORMULA_NAME DLCround-PT-06a-12
FORMULA_NAME DLCround-PT-06a-13
FORMULA_NAME DLCround-PT-06a-14
FORMULA_NAME DLCround-PT-06a-15
=== Now, execution of the tool begins
BK_START 1620535566030
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-09 04:46:07] [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]
[2021-05-09 04:46:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 04:46:07] [INFO ] Load time of PNML (sax parser for PT used): 99 ms
[2021-05-09 04:46:07] [INFO ] Transformed 197 places.
[2021-05-09 04:46:07] [INFO ] Transformed 1313 transitions.
[2021-05-09 04:46:07] [INFO ] Found NUPN structural information;
[2021-05-09 04:46:07] [INFO ] Parsed PT model containing 197 places and 1313 transitions in 147 ms.
Ensure Unique test removed 135 transitions
Reduce redundant transitions removed 135 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 76 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 590 steps, including 0 resets, run visited all 48 properties in 13 ms. (steps per millisecond=45 )
[2021-05-09 04:46:07] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-05-09 04:46:07] [INFO ] Flatten gal took : 94 ms
FORMULA DLCround-PT-06a-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-06a-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-09 04:46:07] [INFO ] Applying decomposition
[2021-05-09 04:46:08] [INFO ] Flatten gal took : 42 ms
[2021-05-09 04:46:08] [INFO ] Decomposing Gal with order
[2021-05-09 04:46:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 04:46:08] [INFO ] Removed a total of 1866 redundant transitions.
[2021-05-09 04:46:08] [INFO ] Flatten gal took : 119 ms
[2021-05-09 04:46:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 104 labels/synchronizations in 27 ms.
[2021-05-09 04:46:08] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-09 04:46:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 13 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ DLCround-PT-06a @ 3570 seconds
FORMULA DLCround-PT-06a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-06a-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 823
rslt: Output for LTLFireability @ DLCround-PT-06a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sun May 9 04:46:09 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F (G ((F (((1 <= p45) AND (1 <= p161))) AND (((1 <= p36) AND (1 <= p160)) OR X (((1 <= p45) AND (1 <= p161)))))))",
"processed_size": 113,
"rewrites": 79
},
"result":
{
"edges": 7,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p92 <= 0) OR (p194 <= 0))",
"processed_size": 28,
"rewrites": 81
},
"result":
{
"edges": 2,
"markings": 2,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 33
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (X (F (((1 <= p92) AND (1 <= p194)))))",
"processed_size": 40,
"rewrites": 79
},
"result":
{
"edges": 5,
"markings": 5,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (G (((1 <= p5))))",
"processed_size": 19,
"rewrites": 79
},
"result":
{
"edges": 5,
"markings": 5,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 2,
"aconj": 2,
"adisj": 1,
"aneg": 2,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "X ((((p85 <= 0) OR (p186 <= 0)) U X ((F (G (((p69 <= 0)))) AND ((p61 <= 0) OR (p174 <= 0) OR (p42 <= 0) OR (p163 <= 0))))))",
"processed_size": 127,
"rewrites": 79
},
"result":
{
"edges": 286815,
"markings": 10355,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p82 <= 0) OR (p185 <= 0))",
"processed_size": 28,
"rewrites": 79
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (X ((G (((1 <= p92) AND (1 <= p192))) OR ((1 <= p9)))))",
"processed_size": 57,
"rewrites": 79
},
"result":
{
"edges": 5,
"markings": 5,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 3,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F ((G (((1 <= p79) AND (1 <= p187))) OR (G (((p79 <= 0) OR (p187 <= 0))) AND ((1 <= p79) AND (1 <= p187)))))",
"processed_size": 109,
"rewrites": 79
},
"result":
{
"edges": 114767817,
"markings": 9823741,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 429
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 2,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(X (F (((p98 <= 0) OR (p191 <= 0)))) R ((p98 <= 0) OR (p191 <= 0)))",
"processed_size": 69,
"rewrites": 79
},
"result":
{
"edges": 5,
"markings": 5,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 429
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 429
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p85) AND (1 <= p144))",
"processed_size": 28,
"rewrites": 79
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 491
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (((1 <= p36) AND (1 <= p102)))",
"processed_size": 32,
"rewrites": 79
},
"result":
{
"edges": 5,
"markings": 5,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 491
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 5,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 3,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "G ((X (((G (((1 <= p67) AND (1 <= p182))) AND (((1 <= p67)) AND ((1 <= p182)))) OR ((1 <= p52) AND (1 <= p172)))) AND (F (((1 <= p34))) OR ((p34 <= 0)))))",
"processed_size": 154,
"rewrites": 79
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 572
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (F (((p23 <= 0) OR (p121 <= 0))))",
"processed_size": 36,
"rewrites": 79
},
"result":
{
"edges": 6640666,
"markings": 534618,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 685
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G (((1 <= p78) AND (1 <= p138))))",
"processed_size": 36,
"rewrites": 79
},
"result":
{
"edges": 1006,
"markings": 120,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 857
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "F (G ((F (((1 <= p23))) AND ((p66 <= 0) OR (p124 <= 0)))))",
"processed_size": 59,
"rewrites": 79
},
"result":
{
"edges": 4,
"markings": 3,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1143
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 0,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F ((F (((1 <= p85) AND (1 <= p142))) OR (G (((1 <= p37) AND (1 <= p161))) AND F (((1 <= p85) AND (1 <= p142))))))",
"processed_size": 113,
"rewrites": 79
},
"result":
{
"edges": 3,
"markings": 3,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2136
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2136
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p21 <= 0) OR (p128 <= 0))",
"processed_size": 28,
"rewrites": 79
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 13,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(F (((1 <= p92) AND (1 <= p148))) U ((1 <= p46) AND (1 <= p110)))",
"processed_size": 65,
"rewrites": 79
},
"result":
{
"edges": 2,
"markings": 2,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3152,
"runtime": 2747.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "F(G((F(**) AND (** OR X(**))))) : (X(X(F(**))) OR (G(**) AND F(**))) : G(F(*)) : F(G((F(**) AND *))) : X(G(**)) : X((** U X((F(G(*)) AND *)))) : (X(X((G(**) OR **))) AND **) : F((G((** OR ((G(**) AND F(**)) OR (F(**) OR **)))) AND (** AND **))) : (F((G(*) OR (G(*) AND *))) OR (X(F(*)) R *)) : F((F(**) OR (G(**) AND F(**)))) : ((** U X(**)) AND (X(**) OR **)) : G((X(((G(**) AND (** AND **)) OR **)) AND (F(**) OR **))) : F(G(**)) : ((F(**) U **) AND (G(F(*)) AND **))"
},
"net":
{
"arcs": 4536,
"conflict_clusters": 21,
"places": 197,
"places_significant": 88,
"singleton_clusters": 0,
"transitions": 1178
},
"result":
{
"preliminary_value": "no no no no no no no unknown no no no no no no ",
"value": "no no no no no no no unknown no no no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1375/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 197
lola: finding significant places
lola: 197 places, 1178 transitions, 88 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: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p194 <= 1)
lola: LP says that atomic proposition is always true: (p42 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p194 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p104 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p124 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p186 <= 1)
lola: LP says that atomic proposition is always true: (p8 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p174 <= 1)
lola: LP says that atomic proposition is always true: (p42 <= 1)
lola: LP says that atomic proposition is always true: (p163 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p192 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p82 <= 1)
lola: LP says that atomic proposition is always true: (p185 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p134 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p134 <= 1)
lola: LP says that atomic proposition is always true: (p62 <= 1)
lola: LP says that atomic proposition is always true: (p178 <= 1)
lola: LP says that atomic proposition is always true: (p98 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p79 <= 1)
lola: LP says that atomic proposition is always true: (p187 <= 1)
lola: LP says that atomic proposition is always true: (p79 <= 1)
lola: LP says that atomic proposition is always true: (p187 <= 1)
lola: LP says that atomic proposition is always true: (p98 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p98 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p142 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p142 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p102 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p182 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p182 <= 1)
lola: LP says that atomic proposition is always true: (p52 <= 1)
lola: LP says that atomic proposition is always true: (p172 <= 1)
lola: LP says that atomic proposition is always true: (p34 <= 1)
lola: LP says that atomic proposition is always true: (p34 <= 1)
lola: LP says that atomic proposition is always true: (p78 <= 1)
lola: LP says that atomic proposition is always true: (p138 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p148 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: F (G ((((1 <= p36) AND (1 <= p160)) U X (((1 <= p45) AND (1 <= p161)))))) : (X (F (X ((((1 <= p66) AND (1 <= p177)) U ((1 <= p92) AND (1 <= p194)))))) OR (G (((p42 <= 0) OR (p164 <= 0))) AND F (((1 <= p92) AND (1 <= p194))))) : G (X (NOT(G (((1 <= p23) AND (1 <= p121)))))) : NOT((((1 <= p21) AND (1 <= p104)) U NOT(G (F ((G (F (((1 <= p23)))) AND NOT(F (((1 <= p66) AND (1 <= p124)))))))))) : NOT(X (NOT(G (((1 <= p5)))))) : X ((((p85 <= 0) OR (p186 <= 0)) U NOT(X ((G ((((1 <= p8) AND (1 <= p125)) U F (((1 <= p69))))) OR ((1 <= p61) AND (1 <= p174) AND (1 <= p42) AND (1 <= p163))))))) : (X (X ((G (((1 <= p92) AND (1 <= p192))) OR ((1 <= p9))))) AND ((p82 <= 0) OR (p185 <= 0))) : F (((G ((((G (((1 <= p49) AND (1 <= p170))) U ((p69 <= 0) OR (p134 <= 0))) OR F (((1 <= p49) AND (1 <= p170)))) OR ((1 <= p69) AND (1 <= p134)))) AND ((1 <= p62))) AND ((1 <= p178)))) : (NOT(G ((F ((((1 <= p98) AND (1 <= p191)) U ((1 <= p79) AND (1 <= p187)))) U ((p79 <= 0) OR (p187 <= 0))))) OR NOT((G (X (((1 <= p98) AND (1 <= p191)))) U ((1 <= p98) AND (1 <= p191))))) : F ((G (((1 <= p37) AND (1 <= p161))) U ((NOT(F (((1 <= p85) AND (1 <= p142)))) U ((1 <= p37) AND (1 <= p161))) U F (((1 <= p85) AND (1 <= p142)))))) : ((((1 <= p85) AND (1 <= p144)) U X (((1 <= p46) AND (1 <= p114)))) AND (X (((1 <= p36) AND (1 <= p102))) OR ((1 <= p85) AND (1 <= p144)))) : G ((X ((((G (((1 <= p67) AND (1 <= p182))) AND ((1 <= p67))) AND ((1 <= p182))) OR ((1 <= p52) AND (1 <= p172)))) AND (F (((1 <= p34))) OR ((p34 <= 0))))) : NOT(X (G (NOT(G (((1 <= p78) AND (1 <= p138))))))) : (((F (((1 <= p92) AND (1 <= p148))) U ((1 <= p46) AND (1 <= p110))) AND NOT(F (G (((1 <= p46) AND (1 <= p110)))))) AND ((p21 <= 0) OR (p128 <= 0)))
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:377
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (((1 <= p45) AND (1 <= p161))) AND (((1 <= p36) AND (1 <= p160)) OR X (((1 <= p45) AND (1 <= p161)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (((1 <= p45) AND (1 <= p161))) AND (((1 <= p36) AND (1 <= p160)) OR X (((1 <= p45) AND (1 <= p161)))))))
lola: processed formula length: 113
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 7 edges
lola: ========================================
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (F (((1 <= p92) AND (1 <= p194))))) OR (G (((p42 <= 0) OR (p164 <= 0))) AND F (((1 <= p92) AND (1 <= p194)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p92) AND (1 <= p194)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p92 <= 0) OR (p194 <= 0))
lola: processed formula length: 28
lola: 81 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 2 markings, 2 edges
lola: ========================================
lola: subprocess 2 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (F (((1 <= p92) AND (1 <= p194)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (F (((1 <= p92) AND (1 <= p194)))))
lola: processed formula length: 40
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((1 <= p5))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((1 <= p5))))
lola: processed formula length: 19
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: subprocess 3 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((p85 <= 0) OR (p186 <= 0)) U X ((F (G (((p69 <= 0)))) AND ((p61 <= 0) OR (p174 <= 0) OR (p42 <= 0) OR (p163 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((p85 <= 0) OR (p186 <= 0)) U X ((F (G (((p69 <= 0)))) AND ((p61 <= 0) OR (p174 <= 0) OR (p42 <= 0) OR (p163 <= 0))))))
lola: processed formula length: 127
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10355 markings, 286815 edges
lola: ========================================
lola: subprocess 4 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X ((G (((1 <= p92) AND (1 <= p192))) OR ((1 <= p9))))) AND ((p82 <= 0) OR (p185 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p82 <= 0) OR (p185 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p82 <= 0) OR (p185 <= 0))
lola: processed formula length: 28
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((G (((1 <= p92) AND (1 <= p192))) OR ((1 <= p9)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((G (((1 <= p92) AND (1 <= p192))) OR ((1 <= p9)))))
lola: processed formula length: 57
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((G (((1 <= p79) AND (1 <= p187))) OR (G (((p79 <= 0) OR (p187 <= 0))) AND ((1 <= p79) AND (1 <= p187))))) OR (X (F (((p98 <= 0) OR (p191 <= 0)))) R ((p98 <= 0) OR (p191 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (((1 <= p79) AND (1 <= p187))) OR (G (((p79 <= 0) OR (p187 <= 0))) AND ((1 <= p79) AND (1 <= p187)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((1 <= p79) AND (1 <= p187))) OR (G (((p79 <= 0) OR (p187 <= 0))) AND ((1 <= p79) AND (1 <= p187)))))
lola: processed formula length: 109
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 404295 markings, 4636226 edges, 80859 markings/sec, 0 secs
lola: 799340 markings, 9166485 edges, 79009 markings/sec, 5 secs
lola: 1186095 markings, 13621063 edges, 77351 markings/sec, 10 secs
lola: 1583851 markings, 18180615 edges, 79551 markings/sec, 15 secs
lola: 1982765 markings, 22755988 edges, 79783 markings/sec, 20 secs
lola: 2377448 markings, 27282949 edges, 78937 markings/sec, 25 secs
lola: 2766949 markings, 31770346 edges, 77900 markings/sec, 30 secs
lola: 3159647 markings, 36305487 edges, 78540 markings/sec, 35 secs
lola: 3546022 markings, 40755237 edges, 77275 markings/sec, 40 secs
lola: 3933042 markings, 45222976 edges, 77404 markings/sec, 45 secs
lola: 4325327 markings, 49751647 edges, 78457 markings/sec, 50 secs
lola: 4722772 markings, 54319514 edges, 79489 markings/sec, 55 secs
lola: 5114719 markings, 58829395 edges, 78389 markings/sec, 60 secs
lola: 5509147 markings, 63338309 edges, 78886 markings/sec, 65 secs
lola: 5899460 markings, 67822912 edges, 78063 markings/sec, 70 secs
lola: 6290883 markings, 72291578 edges, 78285 markings/sec, 75 secs
lola: 6679020 markings, 76776082 edges, 77627 markings/sec, 80 secs
lola: 7063333 markings, 81198239 edges, 76863 markings/sec, 85 secs
lola: 7444901 markings, 85623388 edges, 76314 markings/sec, 90 secs
lola: 7827972 markings, 90021763 edges, 76614 markings/sec, 95 secs
lola: 8212409 markings, 94428450 edges, 76887 markings/sec, 100 secs
lola: 8596411 markings, 98826800 edges, 76800 markings/sec, 105 secs
lola: 8975599 markings, 103227276 edges, 75838 markings/sec, 110 secs
lola: 9358232 markings, 107609587 edges, 76527 markings/sec, 115 secs
lola: 9677365 markings, 112090434 edges, 63827 markings/sec, 120 secs
lola: add low 1172
lola: add low 768
lola: add low 1122
lola: add low 600
lola: add low 930
lola: add low 565
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: 9823741 markings, 114767817 edges
lola: ========================================
lola: subprocess 6 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((p98 <= 0) OR (p191 <= 0)))) R ((p98 <= 0) OR (p191 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F (((p98 <= 0) OR (p191 <= 0)))) R ((p98 <= 0) OR (p191 <= 0)))
lola: processed formula length: 69
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p85) AND (1 <= p144)) U X (((1 <= p46) AND (1 <= p114)))) AND (X (((1 <= p36) AND (1 <= p102))) OR ((1 <= p85) AND (1 <= p144))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p85) AND (1 <= p144))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p85) AND (1 <= p144))
lola: processed formula length: 28
lola: 79 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: subprocess 7 will run for 491 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p36) AND (1 <= p102)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p36) AND (1 <= p102)))
lola: processed formula length: 32
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 491 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (((G (((1 <= p67) AND (1 <= p182))) AND (((1 <= p67)) AND ((1 <= p182)))) OR ((1 <= p52) AND (1 <= p172)))) AND (F (((1 <= p34))) OR ((p34 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (((G (((1 <= p67) AND (1 <= p182))) AND (((1 <= p67)) AND ((1 <= p182)))) OR ((1 <= p52) AND (1 <= p172)))) AND (F (((1 <= p34))) OR ((p34 <= 0)))))
lola: processed formula length: 154
lola: 79 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: 6 markings, 6 edges
lola: ========================================
lola: subprocess 8 will run for 572 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p23 <= 0) OR (p121 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p23 <= 0) OR (p121 <= 0))))
lola: processed formula length: 36
lola: 79 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: 372688 markings, 4628507 edges, 74538 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 534618 markings, 6640666 edges
lola: ========================================
lola: subprocess 9 will run for 685 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p78) AND (1 <= p138))))
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 <= p78) AND (1 <= p138))))
lola: processed formula length: 36
lola: 79 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: 120 markings, 1006 edges
lola: ========================================
lola: subprocess 10 will run for 857 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (((1 <= p23))) AND ((p66 <= 0) OR (p124 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (((1 <= p23))) AND ((p66 <= 0) OR (p124 <= 0)))))
lola: processed formula length: 59
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3 markings, 4 edges
lola: ========================================
lola: subprocess 11 will run for 1143 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (((1 <= p85) AND (1 <= p142))) OR (G (((1 <= p37) AND (1 <= p161))) AND F (((1 <= p85) AND (1 <= p142))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (((1 <= p85) AND (1 <= p142))) OR (G (((1 <= p37) AND (1 <= p161))) AND F (((1 <= p85) AND (1 <= p142))))))
lola: processed formula length: 113
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3 markings, 3 edges
lola: ========================================
lola: subprocess 12 will run for 1714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G ((((p69 <= 0) OR (p134 <= 0)) OR ((G (((1 <= p49) AND (1 <= p170))) AND F (((p69 <= 0) OR (p134 <= 0)))) OR (F (((1 <= p49) AND (1 <= p170))) OR ((1 <= p69) AND (1 <= p134)))))) AND (((1 <= p62)) AND ((1 <= p178)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G ((((p69 <= 0) OR (p134 <= 0)) OR ((G (((1 <= p49) AND (1 <= p170))) AND F (((p69 <= 0) OR (p134 <= 0)))) OR (F (((1 <= p49) AND (1 <= p170))) OR ((1 <= p69) AND (1 <= p134)))))) AND (((1 <= p62)) AND ((1 <= p178)))))
lola: processed formula length: 224
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 394515 markings, 4524047 edges, 78903 markings/sec, 0 secs
lola: 781541 markings, 8961473 edges, 77405 markings/sec, 5 secs
lola: 1159215 markings, 13312751 edges, 75535 markings/sec, 10 secs
lola: 1546019 markings, 17747897 edges, 77361 markings/sec, 15 secs
lola: 1935775 markings, 22223363 edges, 77951 markings/sec, 20 secs
lola: 2322254 markings, 26648910 edges, 77296 markings/sec, 25 secs
lola: 2702920 markings, 31031565 edges, 76133 markings/sec, 30 secs
lola: 3084733 markings, 35446482 edges, 76363 markings/sec, 35 secs
lola: 3462756 markings, 39802042 edges, 75605 markings/sec, 40 secs
lola: 3840613 markings, 44153487 edges, 75571 markings/sec, 45 secs
lola: 4217469 markings, 48514770 edges, 75371 markings/sec, 50 secs
lola: 4607473 markings, 52996934 edges, 78001 markings/sec, 55 secs
lola: 4992453 markings, 57417060 edges, 76996 markings/sec, 60 secs
lola: 5373334 markings, 61789803 edges, 76176 markings/sec, 65 secs
lola: 5758219 markings, 66202941 edges, 76977 markings/sec, 70 secs
lola: 6138535 markings, 70557730 edges, 76063 markings/sec, 75 secs
lola: 6517765 markings, 74923316 edges, 75846 markings/sec, 80 secs
lola: 6896104 markings, 79269572 edges, 75668 markings/sec, 85 secs
lola: 7269549 markings, 83614954 edges, 74689 markings/sec, 90 secs
lola: 7643577 markings, 87910764 edges, 74806 markings/sec, 95 secs
lola: 8020764 markings, 92237177 edges, 75437 markings/sec, 100 secs
lola: 8393568 markings, 96501886 edges, 74561 markings/sec, 105 secs
lola: 8765740 markings, 100802108 edges, 74434 markings/sec, 110 secs
lola: 9141092 markings, 105120089 edges, 75070 markings/sec, 115 secs
lola: 9510752 markings, 109382565 edges, 73932 markings/sec, 120 secs
lola: 9880775 markings, 113643288 edges, 74005 markings/sec, 125 secs
lola: 10253986 markings, 117931531 edges, 74642 markings/sec, 130 secs
lola: 10618806 markings, 122133815 edges, 72964 markings/sec, 135 secs
lola: 10988621 markings, 126376901 edges, 73963 markings/sec, 140 secs
lola: 11358099 markings, 130607277 edges, 73896 markings/sec, 145 secs
lola: 11722942 markings, 134869509 edges, 72969 markings/sec, 150 secs
lola: 12091435 markings, 139119681 edges, 73699 markings/sec, 155 secs
lola: 12472412 markings, 143504327 edges, 76195 markings/sec, 160 secs
lola: 12848037 markings, 147838368 edges, 75125 markings/sec, 165 secs
lola: 13217660 markings, 152109771 edges, 73925 markings/sec, 170 secs
lola: 13583551 markings, 156345455 edges, 73178 markings/sec, 175 secs
lola: 13951171 markings, 160574845 edges, 73524 markings/sec, 180 secs
lola: 14314994 markings, 164773442 edges, 72765 markings/sec, 185 secs
lola: 14683976 markings, 169039583 edges, 73796 markings/sec, 190 secs
lola: 15046298 markings, 173236538 edges, 72464 markings/sec, 195 secs
lola: 15408193 markings, 177450941 edges, 72379 markings/sec, 200 secs
lola: 15777739 markings, 181715122 edges, 73909 markings/sec, 205 secs
lola: 16139480 markings, 185895929 edges, 72348 markings/sec, 210 secs
lola: 16511235 markings, 190195328 edges, 74351 markings/sec, 215 secs
lola: 16874721 markings, 194376494 edges, 72697 markings/sec, 220 secs
lola: 17238208 markings, 198563026 edges, 72697 markings/sec, 225 secs
lola: 17604564 markings, 202792469 edges, 73271 markings/sec, 230 secs
lola: 17968238 markings, 206984727 edges, 72735 markings/sec, 235 secs
lola: 18339697 markings, 211260841 edges, 74292 markings/sec, 240 secs
lola: 18699273 markings, 215427101 edges, 71915 markings/sec, 245 secs
lola: 19059038 markings, 219598111 edges, 71953 markings/sec, 250 secs
lola: 19427750 markings, 223840599 edges, 73742 markings/sec, 255 secs
lola: 19788834 markings, 228008928 edges, 72217 markings/sec, 260 secs
lola: 20149635 markings, 232166773 edges, 72160 markings/sec, 265 secs
lola: 20533592 markings, 236566696 edges, 76791 markings/sec, 270 secs
lola: 20893106 markings, 240702589 edges, 71903 markings/sec, 275 secs
lola: 21252983 markings, 244862822 edges, 71975 markings/sec, 280 secs
lola: 21607340 markings, 248995439 edges, 70871 markings/sec, 285 secs
lola: 21971536 markings, 253196662 edges, 72839 markings/sec, 290 secs
lola: 22341095 markings, 257454334 edges, 73912 markings/sec, 295 secs
lola: 22717457 markings, 261780430 edges, 75272 markings/sec, 300 secs
lola: 23093520 markings, 266102101 edges, 75213 markings/sec, 305 secs
lola: 23453261 markings, 270242746 edges, 71948 markings/sec, 310 secs
lola: 23811674 markings, 274386902 edges, 71683 markings/sec, 315 secs
lola: 24172332 markings, 278582424 edges, 72132 markings/sec, 320 secs
lola: 24535538 markings, 282797467 edges, 72641 markings/sec, 325 secs
lola: 24895220 markings, 286928722 edges, 71936 markings/sec, 330 secs
lola: 25258459 markings, 291151796 edges, 72648 markings/sec, 335 secs
lola: 25628374 markings, 295413730 edges, 73983 markings/sec, 340 secs
lola: 25985476 markings, 299542416 edges, 71420 markings/sec, 345 secs
lola: 26339726 markings, 303633737 edges, 70850 markings/sec, 350 secs
lola: 26705183 markings, 307878334 edges, 73091 markings/sec, 355 secs
lola: 27061505 markings, 312025968 edges, 71264 markings/sec, 360 secs
lola: 27418680 markings, 316165558 edges, 71435 markings/sec, 365 secs
lola: 27772473 markings, 320270166 edges, 70759 markings/sec, 370 secs
lola: 28131428 markings, 324439316 edges, 71791 markings/sec, 375 secs
lola: 28493400 markings, 328631260 edges, 72394 markings/sec, 380 secs
lola: 28857741 markings, 332839447 edges, 72868 markings/sec, 385 secs
lola: 29219288 markings, 337014016 edges, 72309 markings/sec, 390 secs
lola: 29572932 markings, 341168146 edges, 70729 markings/sec, 395 secs
lola: 29936462 markings, 345353624 edges, 72706 markings/sec, 400 secs
lola: 30301138 markings, 349563282 edges, 72935 markings/sec, 405 secs
lola: 30657759 markings, 353729524 edges, 71324 markings/sec, 410 secs
lola: 31017145 markings, 357905892 edges, 71877 markings/sec, 415 secs
lola: 31375724 markings, 362039806 edges, 71716 markings/sec, 420 secs
lola: 31749790 markings, 366341441 edges, 74813 markings/sec, 425 secs
lola: 32104576 markings, 370461679 edges, 70957 markings/sec, 430 secs
lola: 32456230 markings, 374559453 edges, 70331 markings/sec, 435 secs
lola: 32830947 markings, 378860357 edges, 74943 markings/sec, 440 secs
lola: 33187002 markings, 383024273 edges, 71211 markings/sec, 445 secs
lola: 33554231 markings, 387261436 edges, 73446 markings/sec, 450 secs
lola: 33911853 markings, 391395443 edges, 71524 markings/sec, 455 secs
lola: 34271391 markings, 395565289 edges, 71908 markings/sec, 460 secs
lola: 34629204 markings, 399732646 edges, 71563 markings/sec, 465 secs
lola: 34984799 markings, 403850365 edges, 71119 markings/sec, 470 secs
lola: 35334149 markings, 407938839 edges, 69870 markings/sec, 475 secs
lola: 35690632 markings, 412074290 edges, 71297 markings/sec, 480 secs
lola: 36057106 markings, 416329708 edges, 73295 markings/sec, 485 secs
lola: 36421446 markings, 420545586 edges, 72868 markings/sec, 490 secs
lola: 36773864 markings, 424666360 edges, 70484 markings/sec, 495 secs
lola: 37129495 markings, 428800317 edges, 71126 markings/sec, 500 secs
lola: 37487690 markings, 432934462 edges, 71639 markings/sec, 505 secs
lola: 37840893 markings, 437078936 edges, 70641 markings/sec, 510 secs
lola: 38196634 markings, 441205090 edges, 71148 markings/sec, 515 secs
lola: 38555461 markings, 445347037 edges, 71765 markings/sec, 520 secs
lola: 38910034 markings, 449449697 edges, 70915 markings/sec, 525 secs
lola: 39264954 markings, 453587359 edges, 70984 markings/sec, 530 secs
lola: 39630708 markings, 457791291 edges, 73151 markings/sec, 535 secs
lola: 39988884 markings, 461923283 edges, 71635 markings/sec, 540 secs
lola: 40344517 markings, 466096581 edges, 71127 markings/sec, 545 secs
lola: 40704243 markings, 470255580 edges, 71945 markings/sec, 550 secs
lola: 41059401 markings, 474406036 edges, 71032 markings/sec, 555 secs
lola: 41417630 markings, 478545094 edges, 71646 markings/sec, 560 secs
lola: 41774851 markings, 482682486 edges, 71444 markings/sec, 565 secs
lola: 42132681 markings, 486846525 edges, 71566 markings/sec, 570 secs
lola: 42489227 markings, 490988094 edges, 71309 markings/sec, 575 secs
lola: 42842053 markings, 495095686 edges, 70565 markings/sec, 580 secs
lola: 43208914 markings, 499349626 edges, 73372 markings/sec, 585 secs
lola: 43582035 markings, 503637857 edges, 74624 markings/sec, 590 secs
lola: 43945027 markings, 507831751 edges, 72598 markings/sec, 595 secs
lola: 44303127 markings, 511971720 edges, 71620 markings/sec, 600 secs
lola: 44654851 markings, 516073009 edges, 70345 markings/sec, 605 secs
lola: 45012965 markings, 520245865 edges, 71623 markings/sec, 610 secs
lola: 45355158 markings, 524285585 edges, 68439 markings/sec, 615 secs
lola: 45697958 markings, 528284673 edges, 68560 markings/sec, 620 secs
lola: 46052640 markings, 532391824 edges, 70936 markings/sec, 625 secs
lola: 46417104 markings, 536621652 edges, 72893 markings/sec, 630 secs
lola: 46770660 markings, 540750210 edges, 70711 markings/sec, 635 secs
lola: 47121455 markings, 544868975 edges, 70159 markings/sec, 640 secs
lola: 47473535 markings, 548982164 edges, 70416 markings/sec, 645 secs
lola: 47833857 markings, 553127412 edges, 72064 markings/sec, 650 secs
lola: 48190986 markings, 557297428 edges, 71426 markings/sec, 655 secs
lola: 48547959 markings, 561433423 edges, 71395 markings/sec, 660 secs
lola: 48900961 markings, 565551378 edges, 70600 markings/sec, 665 secs
lola: 49262397 markings, 569750213 edges, 72287 markings/sec, 670 secs
lola: 49620864 markings, 573908389 edges, 71693 markings/sec, 675 secs
lola: 49969837 markings, 577965912 edges, 69795 markings/sec, 680 secs
lola: 50314435 markings, 581989188 edges, 68920 markings/sec, 685 secs
lola: 50664188 markings, 586050442 edges, 69951 markings/sec, 690 secs
lola: 51014964 markings, 590116487 edges, 70155 markings/sec, 695 secs
lola: 51378478 markings, 594350664 edges, 72703 markings/sec, 700 secs
lola: 51750728 markings, 598653955 edges, 74450 markings/sec, 705 secs
lola: 52104078 markings, 602754868 edges, 70670 markings/sec, 710 secs
lola: 52455702 markings, 606815255 edges, 70325 markings/sec, 715 secs
lola: 52809259 markings, 610889944 edges, 70711 markings/sec, 720 secs
lola: 53165703 markings, 615029795 edges, 71289 markings/sec, 725 secs
lola: 53515783 markings, 619130948 edges, 70016 markings/sec, 730 secs
lola: 53867248 markings, 623208497 edges, 70293 markings/sec, 735 secs
lola: 54216593 markings, 627281903 edges, 69869 markings/sec, 740 secs
lola: 54572521 markings, 631429277 edges, 71186 markings/sec, 745 secs
lola: 54921023 markings, 635482335 edges, 69700 markings/sec, 750 secs
lola: 55276214 markings, 639614342 edges, 71038 markings/sec, 755 secs
lola: 55637285 markings, 643779707 edges, 72214 markings/sec, 760 secs
lola: 55996070 markings, 647957584 edges, 71757 markings/sec, 765 secs
lola: 56359072 markings, 652149813 edges, 72600 markings/sec, 770 secs
lola: 56709516 markings, 656237689 edges, 70089 markings/sec, 775 secs
lola: 57062903 markings, 660380079 edges, 70677 markings/sec, 780 secs
lola: 57422367 markings, 664525747 edges, 71893 markings/sec, 785 secs
lola: 57777654 markings, 668645908 edges, 71057 markings/sec, 790 secs
lola: 58131155 markings, 672756619 edges, 70700 markings/sec, 795 secs
lola: 58484344 markings, 676859496 edges, 70638 markings/sec, 800 secs
lola: 58831278 markings, 680934410 edges, 69387 markings/sec, 805 secs
lola: 59194299 markings, 685113158 edges, 72604 markings/sec, 810 secs
lola: 59542374 markings, 689207454 edges, 69615 markings/sec, 815 secs
lola: 59904788 markings, 693402708 edges, 72483 markings/sec, 820 secs
lola: 60271763 markings, 697647618 edges, 73395 markings/sec, 825 secs
lola: 60626492 markings, 701739044 edges, 70946 markings/sec, 830 secs
lola: 60986412 markings, 705894621 edges, 71984 markings/sec, 835 secs
lola: 61334327 markings, 709936319 edges, 69583 markings/sec, 840 secs
lola: 61691818 markings, 714068557 edges, 71498 markings/sec, 845 secs
lola: 62042695 markings, 718148992 edges, 70175 markings/sec, 850 secs
lola: 62392233 markings, 722263925 edges, 69908 markings/sec, 855 secs
lola: 62752909 markings, 726415245 edges, 72135 markings/sec, 860 secs
lola: 63115118 markings, 730581308 edges, 72442 markings/sec, 865 secs
lola: 63466331 markings, 734627403 edges, 70243 markings/sec, 870 secs
lola: 63804478 markings, 738625381 edges, 67629 markings/sec, 875 secs
lola: 64146256 markings, 742638206 edges, 68356 markings/sec, 880 secs
lola: 64499575 markings, 746755863 edges, 70664 markings/sec, 885 secs
lola: 64851884 markings, 750858991 edges, 70462 markings/sec, 890 secs
lola: 65199047 markings, 754908353 edges, 69433 markings/sec, 895 secs
lola: 65546491 markings, 758975559 edges, 69489 markings/sec, 900 secs
lola: 65891775 markings, 762994369 edges, 69057 markings/sec, 905 secs
lola: 66240359 markings, 767052953 edges, 69717 markings/sec, 910 secs
lola: 66588169 markings, 771134649 edges, 69562 markings/sec, 915 secs
lola: 66938574 markings, 775266944 edges, 70081 markings/sec, 920 secs
lola: 67287728 markings, 779344940 edges, 69831 markings/sec, 925 secs
lola: 67645078 markings, 783471949 edges, 71470 markings/sec, 930 secs
lola: 68028378 markings, 787884894 edges, 76660 markings/sec, 935 secs
lola: 68408591 markings, 792269718 edges, 76043 markings/sec, 940 secs
lola: 68786373 markings, 796625121 edges, 75556 markings/sec, 945 secs
lola: 69160994 markings, 800916842 edges, 74924 markings/sec, 950 secs
lola: 69535064 markings, 805250572 edges, 74814 markings/sec, 955 secs
lola: 69903611 markings, 809483194 edges, 73709 markings/sec, 960 secs
lola: 70276672 markings, 813774917 edges, 74612 markings/sec, 965 secs
lola: 70653472 markings, 818098399 edges, 75360 markings/sec, 970 secs
lola: 71021223 markings, 822367007 edges, 73550 markings/sec, 975 secs
lola: 71380999 markings, 826550826 edges, 71955 markings/sec, 980 secs
lola: 71735915 markings, 830677981 edges, 70983 markings/sec, 985 secs
lola: 72101943 markings, 834923828 edges, 73206 markings/sec, 990 secs
lola: 72461474 markings, 839079200 edges, 71906 markings/sec, 995 secs
lola: 72768999 markings, 842640379 edges, 61505 markings/sec, 1000 secs
lola: 73114240 markings, 846683597 edges, 69048 markings/sec, 1005 secs
lola: 73464683 markings, 850758527 edges, 70089 markings/sec, 1010 secs
lola: 73821146 markings, 854918140 edges, 71293 markings/sec, 1015 secs
lola: 74179203 markings, 859057448 edges, 71611 markings/sec, 1020 secs
lola: 74529214 markings, 863129288 edges, 70002 markings/sec, 1025 secs
lola: 74876098 markings, 867156643 edges, 69377 markings/sec, 1030 secs
lola: 75220887 markings, 871196376 edges, 68958 markings/sec, 1035 secs
lola: 75566558 markings, 875229807 edges, 69134 markings/sec, 1040 secs
lola: 75918357 markings, 879281733 edges, 70360 markings/sec, 1045 secs
lola: 76278997 markings, 883447025 edges, 72128 markings/sec, 1050 secs
lola: 76630643 markings, 887539372 edges, 70329 markings/sec, 1055 secs
lola: 76978115 markings, 891568335 edges, 69494 markings/sec, 1060 secs
lola: 77273650 markings, 895058055 edges, 59107 markings/sec, 1065 secs
lola: 77586009 markings, 898709087 edges, 62472 markings/sec, 1070 secs
lola: 77886314 markings, 902211589 edges, 60061 markings/sec, 1075 secs
lola: 78202101 markings, 905901988 edges, 63157 markings/sec, 1080 secs
lola: 78549139 markings, 909945194 edges, 69408 markings/sec, 1085 secs
lola: 78887167 markings, 913944351 edges, 67606 markings/sec, 1090 secs
lola: 79190834 markings, 917501831 edges, 60733 markings/sec, 1095 secs
lola: 79505945 markings, 921214762 edges, 63022 markings/sec, 1100 secs
lola: 79809867 markings, 924789088 edges, 60784 markings/sec, 1105 secs
lola: 80154333 markings, 928786242 edges, 68893 markings/sec, 1110 secs
lola: 80493587 markings, 932787389 edges, 67851 markings/sec, 1115 secs
lola: 80831572 markings, 936782575 edges, 67597 markings/sec, 1120 secs
lola: 81173825 markings, 940789842 edges, 68451 markings/sec, 1125 secs
lola: 81522996 markings, 944839750 edges, 69834 markings/sec, 1130 secs
lola: 81868165 markings, 948862645 edges, 69034 markings/sec, 1135 secs
lola: 82115164 markings, 951744063 edges, 49400 markings/sec, 1140 secs
lola: 82272965 markings, 953595190 edges, 31560 markings/sec, 1145 secs
lola: 82534169 markings, 956604647 edges, 52241 markings/sec, 1150 secs
lola: 82776641 markings, 959386138 edges, 48494 markings/sec, 1155 secs
lola: 83056208 markings, 962585805 edges, 55913 markings/sec, 1160 secs
lola: 83358772 markings, 966054625 edges, 60513 markings/sec, 1165 secs
lola: 83657375 markings, 969504600 edges, 59721 markings/sec, 1170 secs
lola: 83964646 markings, 973048855 edges, 61454 markings/sec, 1175 secs
lola: 84253560 markings, 976380134 edges, 57783 markings/sec, 1180 secs
lola: 84572013 markings, 980077827 edges, 63691 markings/sec, 1185 secs
lola: 84887634 markings, 983680947 edges, 63124 markings/sec, 1190 secs
lola: 85195734 markings, 987255394 edges, 61620 markings/sec, 1195 secs
lola: 85550607 markings, 991347412 edges, 70975 markings/sec, 1200 secs
lola: 85812874 markings, 994356210 edges, 52453 markings/sec, 1205 secs
lola: 86140516 markings, 998114674 edges, 65528 markings/sec, 1210 secs
lola: 86446580 markings, 1001652393 edges, 61213 markings/sec, 1215 secs
lola: 86772072 markings, 1005441012 edges, 65098 markings/sec, 1220 secs
lola: 87141642 markings, 1009689257 edges, 73914 markings/sec, 1225 secs
lola: 87500858 markings, 1013835934 edges, 71843 markings/sec, 1230 secs
lola: 87818926 markings, 1017490107 edges, 63614 markings/sec, 1235 secs
lola: 88116249 markings, 1020926065 edges, 59465 markings/sec, 1240 secs
lola: 88447901 markings, 1024755164 edges, 66330 markings/sec, 1245 secs
lola: 88811460 markings, 1028953987 edges, 72712 markings/sec, 1250 secs
lola: 89165970 markings, 1033068450 edges, 70902 markings/sec, 1255 secs
lola: 89514483 markings, 1037110521 edges, 69703 markings/sec, 1260 secs
lola: 89790991 markings, 1040313501 edges, 55302 markings/sec, 1265 secs
lola: 89853074 markings, 1041035967 edges, 12417 markings/sec, 1270 secs
lola: 89857556 markings, 1041086829 edges, 896 markings/sec, 1275 secs
lola: 89861203 markings, 1041128545 edges, 729 markings/sec, 1280 secs
lola: 89861235 markings, 1041128928 edges, 6 markings/sec, 1285 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 2136 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((F (((1 <= p92) AND (1 <= p148))) U ((1 <= p46) AND (1 <= p110))) AND (G (F (((p46 <= 0) OR (p110 <= 0)))) AND ((p21 <= 0) OR (p128 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 2136 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p21 <= 0) OR (p128 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p21 <= 0) OR (p128 <= 0))
lola: processed formula length: 28
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p92) AND (1 <= p148))) U ((1 <= p46) AND (1 <= p110)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F (((1 <= p92) AND (1 <= p148))) U ((1 <= p46) AND (1 <= p110)))
lola: processed formula length: 65
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2 markings, 2 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F ((G ((((p69 <= 0) OR (p134 <= 0)) OR ((G (((1 <= p49) AND (1 <= p170))) AND F (((p69 <= 0) OR (p134 <= 0)))) OR (F (((1 <= p49) AND (1 <= p170))) OR ((1 <= p69) AND (1 <= p134)))))) AND (((1 <= p62)) AND ((1 <= p178)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G ((((p69 <= 0) OR (p134 <= 0)) OR ((G (((1 <= p49) AND (1 <= p170))) AND F (((p69 <= 0) OR (p134 <= 0)))) OR (F (((1 <= p49) AND (1 <= p170))) OR ((1 <= p69) AND (1 <= p134)))))) AND (((1 <= p62)) AND ((1 <= p178)))))
lola: processed formula length: 224
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 388913 markings, 4459704 edges, 77783 markings/sec, 0 secs
lola: 773045 markings, 8862854 edges, 76826 markings/sec, 5 secs
lola: 1147726 markings, 13181008 edges, 74936 markings/sec, 10 secs
lola: 1531147 markings, 17577473 edges, 76684 markings/sec, 15 secs
lola: 1917505 markings, 22014336 edges, 77272 markings/sec, 20 secs
lola: 2301395 markings, 26410091 edges, 76778 markings/sec, 25 secs
lola: 2680444 markings, 30770850 edges, 75810 markings/sec, 30 secs
lola: 3059375 markings, 35155974 edges, 75786 markings/sec, 35 secs
lola: 3436362 markings, 39500451 edges, 75397 markings/sec, 40 secs
lola: 3813543 markings, 43834197 edges, 75436 markings/sec, 45 secs
lola: 4186096 markings, 48155132 edges, 74511 markings/sec, 50 secs
lola: 4573940 markings, 52613815 edges, 77569 markings/sec, 55 secs
lola: 4956725 markings, 57006084 edges, 76557 markings/sec, 60 secs
lola: 5333240 markings, 61330416 edges, 75303 markings/sec, 65 secs
lola: 5716743 markings, 65727860 edges, 76701 markings/sec, 70 secs
lola: 6095439 markings, 70064188 edges, 75739 markings/sec, 75 secs
lola: 6471648 markings, 74392201 edges, 75242 markings/sec, 80 secs
lola: 6849763 markings, 78731131 edges, 75623 markings/sec, 85 secs
lola: 7222327 markings, 83060448 edges, 74513 markings/sec, 90 secs
lola: 7594833 markings, 87348190 edges, 74501 markings/sec, 95 secs
lola: 7969288 markings, 91643501 edges, 74891 markings/sec, 100 secs
lola: 8339908 markings, 95887711 edges, 74124 markings/sec, 105 secs
lola: 8711424 markings, 100179784 edges, 74303 markings/sec, 110 secs
lola: 9084033 markings, 104471480 edges, 74522 markings/sec, 115 secs
lola: 9454629 markings, 108740117 edges, 74119 markings/sec, 120 secs
lola: 9822656 markings, 112975257 edges, 73605 markings/sec, 125 secs
lola: 10192825 markings, 117234766 edges, 74034 markings/sec, 130 secs
lola: 10557466 markings, 121421375 edges, 72928 markings/sec, 135 secs
lola: 10924707 markings, 125646538 edges, 73448 markings/sec, 140 secs
lola: 11294109 markings, 129879554 edges, 73880 markings/sec, 145 secs
lola: 11658818 markings, 134123090 edges, 72942 markings/sec, 150 secs
lola: 12024400 markings, 138357616 edges, 73116 markings/sec, 155 secs
lola: 12402951 markings, 142706002 edges, 75710 markings/sec, 160 secs
lola: 12777315 markings, 147022213 edges, 74873 markings/sec, 165 secs
lola: 13147687 markings, 151302534 edges, 74074 markings/sec, 170 secs
lola: 13514215 markings, 155541972 edges, 73306 markings/sec, 175 secs
lola: 13881771 markings, 159786681 edges, 73511 markings/sec, 180 secs
lola: 14246726 markings, 163988287 edges, 72991 markings/sec, 185 secs
lola: 14613143 markings, 168215669 edges, 73283 markings/sec, 190 secs
lola: 14976069 markings, 172432281 edges, 72585 markings/sec, 195 secs
lola: 15338423 markings, 176648534 edges, 72471 markings/sec, 200 secs
lola: 15707195 markings, 180904325 edges, 73754 markings/sec, 205 secs
lola: 16070024 markings, 185093867 edges, 72566 markings/sec, 210 secs
lola: 16441228 markings, 189370342 edges, 74241 markings/sec, 215 secs
lola: 16800876 markings, 193528619 edges, 71930 markings/sec, 220 secs
lola: 17166236 markings, 197726481 edges, 73072 markings/sec, 225 secs
lola: 17532709 markings, 201951429 edges, 73295 markings/sec, 230 secs
lola: 17894333 markings, 206133107 edges, 72325 markings/sec, 235 secs
lola: 18263328 markings, 210380407 edges, 73799 markings/sec, 240 secs
lola: 18624233 markings, 214555350 edges, 72181 markings/sec, 245 secs
lola: 18985511 markings, 218730212 edges, 72256 markings/sec, 250 secs
lola: 19352049 markings, 222976496 edges, 73308 markings/sec, 255 secs
lola: 19712966 markings, 227135408 edges, 72183 markings/sec, 260 secs
lola: 20072430 markings, 231276744 edges, 71893 markings/sec, 265 secs
lola: 20449556 markings, 235603704 edges, 75425 markings/sec, 270 secs
lola: 20813893 markings, 239802275 edges, 72867 markings/sec, 275 secs
lola: 21173481 markings, 243948262 edges, 71918 markings/sec, 280 secs
lola: 21532076 markings, 248100838 edges, 71719 markings/sec, 285 secs
lola: 21893878 markings, 252294707 edges, 72360 markings/sec, 290 secs
lola: 22256681 markings, 256486630 edges, 72561 markings/sec, 295 secs
lola: 22637494 markings, 260854691 edges, 76163 markings/sec, 300 secs
lola: 23009010 markings, 265129675 edges, 74303 markings/sec, 305 secs
lola: 23372278 markings, 269316041 edges, 72654 markings/sec, 310 secs
lola: 23730641 markings, 273452215 edges, 71673 markings/sec, 315 secs
lola: 24091991 markings, 277648784 edges, 72270 markings/sec, 320 secs
lola: 24452605 markings, 281845808 edges, 72123 markings/sec, 325 secs
lola: 24811337 markings, 285964295 edges, 71746 markings/sec, 330 secs
lola: 25176105 markings, 290197851 edges, 72954 markings/sec, 335 secs
lola: 25544749 markings, 294449667 edges, 73729 markings/sec, 340 secs
lola: 25903105 markings, 298602967 edges, 71671 markings/sec, 345 secs
lola: 26259116 markings, 302686194 edges, 71202 markings/sec, 350 secs
lola: 26622292 markings, 306910177 edges, 72635 markings/sec, 355 secs
lola: 26976585 markings, 311045717 edges, 70859 markings/sec, 360 secs
lola: 27336804 markings, 315205890 edges, 72044 markings/sec, 365 secs
lola: 27691304 markings, 319335081 edges, 70900 markings/sec, 370 secs
lola: 28048098 markings, 323471670 edges, 71359 markings/sec, 375 secs
lola: 28412205 markings, 327675080 edges, 72821 markings/sec, 380 secs
lola: 28775007 markings, 331878454 edges, 72560 markings/sec, 385 secs
lola: 29134468 markings, 336034015 edges, 71892 markings/sec, 390 secs
lola: 29489554 markings, 340194436 edges, 71017 markings/sec, 395 secs
lola: 29854068 markings, 344401965 edges, 72903 markings/sec, 400 secs
lola: 30217211 markings, 348567254 edges, 72629 markings/sec, 405 secs
lola: 30569779 markings, 352713859 edges, 70514 markings/sec, 410 secs
lola: 30930735 markings, 356916278 edges, 72191 markings/sec, 415 secs
lola: 31291071 markings, 361060839 edges, 72067 markings/sec, 420 secs
lola: 31662028 markings, 365334781 edges, 74191 markings/sec, 425 secs
lola: 32016075 markings, 369434779 edges, 70809 markings/sec, 430 secs
lola: 32370432 markings, 373571827 edges, 70871 markings/sec, 435 secs
lola: 32741044 markings, 377829388 edges, 74122 markings/sec, 440 secs
lola: 33097253 markings, 381989391 edges, 71242 markings/sec, 445 secs
lola: 33463603 markings, 386215534 edges, 73270 markings/sec, 450 secs
lola: 33821480 markings, 390361011 edges, 71575 markings/sec, 455 secs
lola: 34182732 markings, 394530769 edges, 72250 markings/sec, 460 secs
lola: 34542578 markings, 398705397 edges, 71969 markings/sec, 465 secs
lola: 34897338 markings, 402837061 edges, 70952 markings/sec, 470 secs
lola: 35246642 markings, 406916315 edges, 69861 markings/sec, 475 secs
lola: 35604174 markings, 411071334 edges, 71506 markings/sec, 480 secs
lola: 35967741 markings, 415291606 edges, 72713 markings/sec, 485 secs
lola: 36338656 markings, 419576608 edges, 74183 markings/sec, 490 secs
lola: 36688961 markings, 423678964 edges, 70061 markings/sec, 495 secs
lola: 37043150 markings, 427794209 edges, 70838 markings/sec, 500 secs
lola: 37403978 markings, 431962153 edges, 72166 markings/sec, 505 secs
lola: 37759173 markings, 436114449 edges, 71039 markings/sec, 510 secs
lola: 38112310 markings, 440229629 edges, 70627 markings/sec, 515 secs
lola: 38468958 markings, 444352944 edges, 71330 markings/sec, 520 secs
lola: 38826138 markings, 448482307 edges, 71436 markings/sec, 525 secs
lola: 39178960 markings, 452600415 edges, 70564 markings/sec, 530 secs
lola: 39545808 markings, 456806393 edges, 73370 markings/sec, 535 secs
lola: 39904347 markings, 460934283 edges, 71708 markings/sec, 540 secs
lola: 40262191 markings, 465113495 edges, 71569 markings/sec, 545 secs
lola: 40618292 markings, 469260645 edges, 71220 markings/sec, 550 secs
lola: 40975574 markings, 473433909 edges, 71456 markings/sec, 555 secs
lola: 41330577 markings, 477532132 edges, 71001 markings/sec, 560 secs
lola: 41688124 markings, 481692387 edges, 71509 markings/sec, 565 secs
lola: 42045666 markings, 485844696 edges, 71508 markings/sec, 570 secs
lola: 42405385 markings, 490013838 edges, 71944 markings/sec, 575 secs
lola: 42756287 markings, 494107474 edges, 70180 markings/sec, 580 secs
lola: 43122018 markings, 498347605 edges, 73146 markings/sec, 585 secs
lola: 43494863 markings, 502638701 edges, 74569 markings/sec, 590 secs
lola: 43860823 markings, 506855612 edges, 73192 markings/sec, 595 secs
lola: 44221976 markings, 511024327 edges, 72231 markings/sec, 600 secs
lola: 44575210 markings, 515144969 edges, 70647 markings/sec, 605 secs
lola: 44929281 markings, 519269452 edges, 70814 markings/sec, 610 secs
lola: 45276270 markings, 523376174 edges, 69398 markings/sec, 615 secs
lola: 45619566 markings, 527371173 edges, 68659 markings/sec, 620 secs
lola: 45968455 markings, 531425265 edges, 69778 markings/sec, 625 secs
lola: 46337618 markings, 535687309 edges, 73833 markings/sec, 630 secs
lola: 46691070 markings, 539812642 edges, 70690 markings/sec, 635 secs
lola: 47043799 markings, 543953906 edges, 70546 markings/sec, 640 secs
lola: 47394440 markings, 548061926 edges, 70128 markings/sec, 645 secs
lola: 47753835 markings, 552207573 edges, 71879 markings/sec, 650 secs
lola: 48114943 markings, 556395098 edges, 72222 markings/sec, 655 secs
lola: 48470100 markings, 560534530 edges, 71031 markings/sec, 660 secs
lola: 48824661 markings, 564661704 edges, 70912 markings/sec, 665 secs
lola: 49183389 markings, 568837749 edges, 71746 markings/sec, 670 secs
lola: 49546102 markings, 573042167 edges, 72543 markings/sec, 675 secs
lola: 49895492 markings, 577109190 edges, 69878 markings/sec, 680 secs
lola: 50243728 markings, 581165640 edges, 69647 markings/sec, 685 secs
lola: 50591683 markings, 585213292 edges, 69591 markings/sec, 690 secs
lola: 50940944 markings, 589260550 edges, 69852 markings/sec, 695 secs
lola: 51302496 markings, 593458572 edges, 72310 markings/sec, 700 secs
lola: 51673122 markings, 597762360 edges, 74125 markings/sec, 705 secs
lola: 52033238 markings, 601927274 edges, 72023 markings/sec, 710 secs
lola: 52382321 markings, 605974991 edges, 69817 markings/sec, 715 secs
lola: 52739076 markings, 610078213 edges, 71351 markings/sec, 720 secs
lola: 53097481 markings, 614228016 edges, 71681 markings/sec, 725 secs
lola: 53447450 markings, 618334131 edges, 69994 markings/sec, 730 secs
lola: 53801849 markings, 622440061 edges, 70880 markings/sec, 735 secs
lola: 54152376 markings, 626517097 edges, 70105 markings/sec, 740 secs
lola: 54503122 markings, 630625285 edges, 70149 markings/sec, 745 secs
lola: 54853938 markings, 634713137 edges, 70163 markings/sec, 750 secs
lola: 55213242 markings, 638862338 edges, 71861 markings/sec, 755 secs
lola: 55571990 markings, 643026033 edges, 71750 markings/sec, 760 secs
lola: 55929731 markings, 647195335 edges, 71548 markings/sec, 765 secs
lola: 56293232 markings, 651394096 edges, 72700 markings/sec, 770 secs
lola: 56647414 markings, 655507011 edges, 70836 markings/sec, 775 secs
lola: 56995997 markings, 659610023 edges, 69717 markings/sec, 780 secs
lola: 57356148 markings, 663770689 edges, 72030 markings/sec, 785 secs
lola: 57714795 markings, 667913407 edges, 71729 markings/sec, 790 secs
lola: 58068110 markings, 672029839 edges, 70663 markings/sec, 795 secs
lola: 58424323 markings, 676148445 edges, 71243 markings/sec, 800 secs
lola: 58771901 markings, 680235904 edges, 69516 markings/sec, 805 secs
lola: 59131597 markings, 684392243 edges, 71939 markings/sec, 810 secs
lola: 59483412 markings, 688517091 edges, 70363 markings/sec, 815 secs
lola: 59844986 markings, 692712217 edges, 72315 markings/sec, 820 secs
lola: 60210045 markings, 696936952 edges, 73012 markings/sec, 825 secs
lola: 60567128 markings, 701057934 edges, 71417 markings/sec, 830 secs
lola: 60926151 markings, 705201978 edges, 71805 markings/sec, 835 secs
lola: 61276537 markings, 709267684 edges, 70077 markings/sec, 840 secs
lola: 61633727 markings, 713397799 edges, 71438 markings/sec, 845 secs
lola: 61988796 markings, 717505437 edges, 71014 markings/sec, 850 secs
lola: 62335556 markings, 721611784 edges, 69352 markings/sec, 855 secs
lola: 62693717 markings, 725738291 edges, 71632 markings/sec, 860 secs
lola: 63060439 markings, 729949883 edges, 73344 markings/sec, 865 secs
lola: 63413061 markings, 734006831 edges, 70524 markings/sec, 870 secs
lola: 63752844 markings, 738021402 edges, 67957 markings/sec, 875 secs
lola: 64093918 markings, 742030495 edges, 68215 markings/sec, 880 secs
lola: 64447161 markings, 746147567 edges, 70649 markings/sec, 885 secs
lola: 64801424 markings, 750264829 edges, 70853 markings/sec, 890 secs
lola: 65148989 markings, 754331502 edges, 69513 markings/sec, 895 secs
lola: 65497663 markings, 758392853 edges, 69735 markings/sec, 900 secs
lola: 65843095 markings, 762434125 edges, 69086 markings/sec, 905 secs
lola: 66191279 markings, 766482152 edges, 69637 markings/sec, 910 secs
lola: 66540023 markings, 770569796 edges, 69749 markings/sec, 915 secs
lola: 66887596 markings, 774667107 edges, 69515 markings/sec, 920 secs
lola: 67239679 markings, 778789597 edges, 70417 markings/sec, 925 secs
lola: 67598340 markings, 782927209 edges, 71732 markings/sec, 930 secs
lola: 67974567 markings, 787267791 edges, 75245 markings/sec, 935 secs
lola: 68354015 markings, 791642957 edges, 75890 markings/sec, 940 secs
lola: 68730604 markings, 795988367 edges, 75318 markings/sec, 945 secs
lola: 69105912 markings, 800285115 edges, 75062 markings/sec, 950 secs
lola: 69479403 markings, 804611753 edges, 74698 markings/sec, 955 secs
lola: 69850588 markings, 808874694 edges, 74237 markings/sec, 960 secs
lola: 70221652 markings, 813151108 edges, 74213 markings/sec, 965 secs
lola: 70600891 markings, 817496152 edges, 75848 markings/sec, 970 secs
lola: 70968370 markings, 821760628 edges, 73496 markings/sec, 975 secs
lola: 71330824 markings, 825966545 edges, 72491 markings/sec, 980 secs
lola: 71687193 markings, 830105140 edges, 71274 markings/sec, 985 secs
lola: 72052284 markings, 834343947 edges, 73018 markings/sec, 990 secs
lola: 72415589 markings, 838541782 edges, 72661 markings/sec, 995 secs
lola: 72770506 markings, 842658595 edges, 70983 markings/sec, 1000 secs
lola: 73030674 markings, 845691772 edges, 52034 markings/sec, 1005 secs
lola: 73372858 markings, 849692183 edges, 68437 markings/sec, 1010 secs
lola: 73727227 markings, 853829551 edges, 70874 markings/sec, 1015 secs
lola: 74052228 markings, 857588112 edges, 65000 markings/sec, 1020 secs
lola: 74401119 markings, 861655120 edges, 69778 markings/sec, 1025 secs
lola: 74752626 markings, 865710398 edges, 70301 markings/sec, 1030 secs
lola: 75096276 markings, 869728765 edges, 68730 markings/sec, 1035 secs
lola: 75439603 markings, 873753275 edges, 68665 markings/sec, 1040 secs
lola: 75788359 markings, 877788847 edges, 69751 markings/sec, 1045 secs
lola: 76150025 markings, 881957331 edges, 72333 markings/sec, 1050 secs
lola: 76506635 markings, 886093354 edges, 71322 markings/sec, 1055 secs
lola: 76844141 markings, 890008335 edges, 67501 markings/sec, 1060 secs
lola: 77185059 markings, 894007671 edges, 68184 markings/sec, 1065 secs
lola: 77525331 markings, 898004083 edges, 68054 markings/sec, 1070 secs
lola: 77867318 markings, 901994326 edges, 68397 markings/sec, 1075 secs
lola: 78209279 markings, 905984448 edges, 68392 markings/sec, 1080 secs
lola: 78554727 markings, 910011068 edges, 69090 markings/sec, 1085 secs
lola: 78890562 markings, 913985754 edges, 67167 markings/sec, 1090 secs
lola: 79231379 markings, 917972103 edges, 68163 markings/sec, 1095 secs
lola: 79554721 markings, 921787850 edges, 64668 markings/sec, 1100 secs
lola: 79860171 markings, 925368589 edges, 61090 markings/sec, 1105 secs
lola: 80203134 markings, 929371444 edges, 68593 markings/sec, 1110 secs
lola: 80537581 markings, 933308040 edges, 66889 markings/sec, 1115 secs
lola: 80876056 markings, 937302364 edges, 67695 markings/sec, 1120 secs
lola: 81218124 markings, 941300187 edges, 68414 markings/sec, 1125 secs
lola: 81566396 markings, 945352491 edges, 69654 markings/sec, 1130 secs
lola: 81911368 markings, 949375860 edges, 68994 markings/sec, 1135 secs
lola: 82130085 markings, 951919756 edges, 43743 markings/sec, 1140 secs
lola: 82294385 markings, 953844165 edges, 32860 markings/sec, 1145 secs
lola: 82558340 markings, 956881940 edges, 52791 markings/sec, 1150 secs
lola: 82803531 markings, 959694283 edges, 49038 markings/sec, 1155 secs
lola: 83107275 markings, 963176091 edges, 60749 markings/sec, 1160 secs
lola: 83399875 markings, 966534374 edges, 58520 markings/sec, 1165 secs
lola: 83697859 markings, 969964165 edges, 59597 markings/sec, 1170 secs
lola: 83985092 markings, 973283719 edges, 57447 markings/sec, 1175 secs
lola: 84269874 markings, 976577142 edges, 56956 markings/sec, 1180 secs
lola: 84616301 markings, 980586566 edges, 69285 markings/sec, 1185 secs
lola: 84973573 markings, 984670803 edges, 71454 markings/sec, 1190 secs
lola: 85263866 markings, 988036528 edges, 58059 markings/sec, 1195 secs
lola: 85588265 markings, 991777510 edges, 64880 markings/sec, 1200 secs
lola: 85860526 markings, 994899233 edges, 54452 markings/sec, 1205 secs
lola: 86181807 markings, 998583646 edges, 64256 markings/sec, 1210 secs
lola: 86482603 markings, 1002084468 edges, 60159 markings/sec, 1215 secs
lola: 86810940 markings, 1005888982 edges, 65667 markings/sec, 1220 secs
lola: 87178509 markings, 1010118839 edges, 73514 markings/sec, 1225 secs
lola: 87520756 markings, 1014074751 edges, 68449 markings/sec, 1230 secs
lola: 87833577 markings, 1017658183 edges, 62564 markings/sec, 1235 secs
lola: 88160963 markings, 1021437097 edges, 65477 markings/sec, 1240 secs
lola: 88476675 markings, 1025085169 edges, 63142 markings/sec, 1245 secs
lola: 88836663 markings, 1029246250 edges, 71998 markings/sec, 1250 secs
lola: 89135314 markings, 1032714810 edges, 59730 markings/sec, 1255 secs
lola: 89434280 markings, 1036177819 edges, 59793 markings/sec, 1260 secs
lola: 89721560 markings, 1039517824 edges, 57456 markings/sec, 1265 secs
lola: 89930056 markings, 1041919777 edges, 41699 markings/sec, 1270 secs
lola: 89935890 markings, 1041986811 edges, 1167 markings/sec, 1275 secs
lola: 89937308 markings, 1042002968 edges, 284 markings/sec, 1280 secs
lola: 89937346 markings, 1042003444 edges, 8 markings/sec, 1285 secs
lola: 89943340 markings, 1042072502 edges, 1199 markings/sec, 1290 secs
lola: 89943915 markings, 1042079457 edges, 115 markings/sec, 1295 secs
lola: 89943930 markings, 1042079653 edges, 3 markings/sec, 1300 secs
lola: 89943947 markings, 1042079904 edges, 3 markings/sec, 1305 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no no no no no no no unknown no no no no no no
lola:
preliminary result: no no no no no no no unknown no no no no no no
lola: memory consumption: 3152 KB
lola: time consumption: 2747 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="DLCround-PT-06a"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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 gold2020"
echo " Input is DLCround-PT-06a, 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 r075-tall-162039097300162"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-06a.tgz
mv DLCround-PT-06a 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 ;