About the Execution of 2020-gold for JoinFreeModules-PT-0020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16257.155 | 3600000.00 | 1629198.00 | 186695.10 | ??FTFFFFFT?FFFFF | 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.r132-tall-162075428300210.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 JoinFreeModules-PT-0020, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-162075428300210
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 564K
-rw-r--r-- 1 mcc users 19K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 195K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.7K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 89K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 06:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 26 06:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 24 10:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 24 10:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 113K 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 JoinFreeModules-PT-0020-00
FORMULA_NAME JoinFreeModules-PT-0020-01
FORMULA_NAME JoinFreeModules-PT-0020-02
FORMULA_NAME JoinFreeModules-PT-0020-03
FORMULA_NAME JoinFreeModules-PT-0020-04
FORMULA_NAME JoinFreeModules-PT-0020-05
FORMULA_NAME JoinFreeModules-PT-0020-06
FORMULA_NAME JoinFreeModules-PT-0020-07
FORMULA_NAME JoinFreeModules-PT-0020-08
FORMULA_NAME JoinFreeModules-PT-0020-09
FORMULA_NAME JoinFreeModules-PT-0020-10
FORMULA_NAME JoinFreeModules-PT-0020-11
FORMULA_NAME JoinFreeModules-PT-0020-12
FORMULA_NAME JoinFreeModules-PT-0020-13
FORMULA_NAME JoinFreeModules-PT-0020-14
FORMULA_NAME JoinFreeModules-PT-0020-15
=== Now, execution of the tool begins
BK_START 1620918760879
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-13 15:12:42] [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-13 15:12:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 15:12:42] [INFO ] Load time of PNML (sax parser for PT used): 59 ms
[2021-05-13 15:12:42] [INFO ] Transformed 101 places.
[2021-05-13 15:12:42] [INFO ] Transformed 161 transitions.
[2021-05-13 15:12:42] [INFO ] Parsed PT model containing 101 places and 161 transitions in 96 ms.
Reduce places removed 1 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 15 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 902 steps, including 0 resets, run visited all 34 properties in 12 ms. (steps per millisecond=75 )
[2021-05-13 15:12:42] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2021-05-13 15:12:42] [INFO ] Flatten gal took : 41 ms
FORMULA JoinFreeModules-PT-0020-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA JoinFreeModules-PT-0020-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA JoinFreeModules-PT-0020-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA JoinFreeModules-PT-0020-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA JoinFreeModules-PT-0020-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-13 15:12:42] [INFO ] Flatten gal took : 13 ms
[2021-05-13 15:12:42] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 2 ms.
[2021-05-13 15:12:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 4 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ JoinFreeModules-PT-0020 @ 3570 seconds
FORMULA JoinFreeModules-PT-0020-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-01 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA JoinFreeModules-PT-0020-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 1569
rslt: Output for LTLFireability @ JoinFreeModules-PT-0020
{
"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",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu May 13 15:12:46 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 335
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"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": 2,
"visible_transitions": 0
},
"processed": "X (F ((G (F ((p0 <= 4))) OR ((p4 <= 4) R (p4 <= 4)))))",
"processed_size": 54,
"rewrites": 62
},
"result":
{
"edges": 41,
"markings": 42,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 373
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"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 ((5 <= p70)))",
"processed_size": 18,
"rewrites": 62
},
"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": 452
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"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 (((4 <= p58) U (5 <= p4)))",
"processed_size": 28,
"rewrites": 62
},
"result":
{
"edges": 5,
"markings": 5,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 541
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"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": "G (F ((2 <= p71)))",
"processed_size": 18,
"rewrites": 62
},
"result":
{
"edges": 150,
"markings": 150,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 6,
"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": 677
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"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": "G ((2 <= p77))",
"processed_size": 14,
"rewrites": 62
},
"result":
{
"edges": 1457733,
"markings": 843887,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"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": 902
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"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 ((G ((p88 <= 3)) R (p59 <= 4)))",
"processed_size": 33,
"rewrites": 62
},
"result":
{
"edges": 29078823,
"markings": 16825519,
"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": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1331
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1331
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"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": "(3 <= p88)",
"processed_size": 10,
"rewrites": 64
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2662
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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": "G ((p48 <= 2))",
"processed_size": 14,
"rewrites": 62
},
"result":
{
"edges": 112198925,
"markings": 64919424,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"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": 9,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2493
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2493
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"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": "F (G ((2 <= p97)))",
"processed_size": 18,
"rewrites": 62
},
"result":
{
"edges": 43,
"markings": 39,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3308,
"runtime": 2000.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "F(G(**)) : G((F((X(G(*)) AND G(F(*)))) OR *)) : X(F((G(F(*)) OR (* R *)))) : (G(*) AND F(*)) : X(G(**)) : X((F((X(G(**)) AND **)) OR **)) : G((G(*) R *)) : X((** U **)) : G(**) : (F(G(**)) AND (F(**) OR **)) : G(F(**))"
},
"net":
{
"arcs": 460,
"conflict_clusters": 81,
"places": 100,
"places_significant": 80,
"singleton_clusters": 0,
"transitions": 161
},
"result":
{
"preliminary_value": "unknown unknown yes no no unknown no no no no no ",
"value": "unknown unknown yes no no unknown 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: 261/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 161 transitions, 80 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: F (X (G (X ((1 <= p22))))) : NOT(F ((G ((X (F ((1 <= p62))) OR F (G ((5 <= p14))))) AND (5 <= p39)))) : NOT(G (X ((NOT(X (G (NOT(F (X (G ((5 <= p0)))))))) AND ((5 <= p4) U (5 <= p4)))))) : (NOT(F ((F ((3 <= p88)) U (3 <= p48)))) AND NOT(G ((3 <= p88)))) : G (X ((5 <= p70))) : X ((F ((G (X ((p28 <= 3))) AND (p28 <= 3))) OR (3 <= p43))) : G (NOT((F ((4 <= p88)) U (5 <= p59)))) : X (((4 <= p58) U (5 <= p4))) : G ((2 <= p77)) : (F (G ((2 <= p97))) AND ((((2 <= p97) OR (5 <= p49)) U F (((5 <= p49) U (2 <= p97)))) OR (5 <= p49))) : G (X (G (F (G (NOT(G (F (X (NOT(F ((2 <= p71))))))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((X (G ((p62 <= 0))) AND G (F ((p14 <= 4))))) OR (p39 <= 4)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((X (G ((p62 <= 0))) AND G (F ((p14 <= 4))))) OR (p39 <= 4)))
lola: processed formula length: 67
lola: 62 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: 2239254 markings, 2998463 edges, 447851 markings/sec, 0 secs
lola: 4293698 markings, 5750845 edges, 410889 markings/sec, 5 secs
lola: 6336729 markings, 8486890 edges, 408606 markings/sec, 10 secs
lola: 8275336 markings, 11083905 edges, 387721 markings/sec, 15 secs
lola: 10214874 markings, 13679426 edges, 387908 markings/sec, 20 secs
lola: 12101384 markings, 16205145 edges, 377302 markings/sec, 25 secs
lola: 13906245 markings, 18620546 edges, 360972 markings/sec, 30 secs
lola: 15721103 markings, 21050141 edges, 362972 markings/sec, 35 secs
lola: 17629223 markings, 23603603 edges, 381624 markings/sec, 40 secs
lola: 19463984 markings, 26060346 edges, 366952 markings/sec, 45 secs
lola: 21263221 markings, 28468102 edges, 359847 markings/sec, 50 secs
lola: 23105009 markings, 30933899 edges, 368358 markings/sec, 55 secs
lola: 25782464 markings, 34516592 edges, 535491 markings/sec, 60 secs
lola: 27630320 markings, 36989853 edges, 369571 markings/sec, 65 secs
lola: 29509891 markings, 39506169 edges, 375914 markings/sec, 70 secs
lola: 31300916 markings, 41902998 edges, 358205 markings/sec, 75 secs
lola: 33101282 markings, 44316361 edges, 360073 markings/sec, 80 secs
lola: 36362143 markings, 48683323 edges, 652172 markings/sec, 85 secs
lola: 38152913 markings, 51083114 edges, 358154 markings/sec, 90 secs
lola: 39947164 markings, 53487458 edges, 358850 markings/sec, 95 secs
lola: 42386579 markings, 56751989 edges, 487883 markings/sec, 100 secs
lola: 44146758 markings, 59109011 edges, 352036 markings/sec, 105 secs
lola: 45911937 markings, 61472327 edges, 353036 markings/sec, 110 secs
lola: 47043010 markings, 62989599 edges, 226215 markings/sec, 115 secs
lola: 47856845 markings, 64076695 edges, 162767 markings/sec, 120 secs
lola: 48384918 markings, 64785244 edges, 105615 markings/sec, 125 secs
lola: 49869811 markings, 66773415 edges, 296979 markings/sec, 130 secs
lola: 51406504 markings, 68833149 edges, 307339 markings/sec, 135 secs
lola: 52501442 markings, 70298219 edges, 218988 markings/sec, 140 secs
lola: 53227122 markings, 71270928 edges, 145136 markings/sec, 145 secs
lola: 54407729 markings, 72854159 edges, 236121 markings/sec, 150 secs
lola: 54772505 markings, 73342402 edges, 72955 markings/sec, 155 secs
lola: 56008753 markings, 74996028 edges, 247250 markings/sec, 160 secs
lola: 56690620 markings, 75908741 edges, 136373 markings/sec, 165 secs
lola: 57130038 markings, 76498926 edges, 87884 markings/sec, 170 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (F ((p0 <= 4))) OR ((p4 <= 4) R (p4 <= 4)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F ((p0 <= 4))) OR ((p4 <= 4) R (p4 <= 4)))))
lola: processed formula length: 54
lola: 62 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 42 markings, 41 edges
lola: ========================================
lola: subprocess 2 will run for 373 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((5 <= p70)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((5 <= p70)))
lola: processed formula length: 18
lola: 62 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 419 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F ((X (G ((p28 <= 3))) AND (p28 <= 3))) OR (3 <= p43)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F ((X (G ((p28 <= 3))) AND (p28 <= 3))) OR (3 <= p43)))
lola: processed formula length: 59
lola: 62 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: 2249303 markings, 3011875 edges, 449861 markings/sec, 0 secs
lola: 4312520 markings, 5776083 edges, 412643 markings/sec, 5 secs
lola: 6368233 markings, 8529309 edges, 411143 markings/sec, 10 secs
lola: 8323346 markings, 11147997 edges, 391023 markings/sec, 15 secs
lola: 10282690 markings, 13769909 edges, 391869 markings/sec, 20 secs
lola: 12170372 markings, 16297295 edges, 377536 markings/sec, 25 secs
lola: 14036878 markings, 18794598 edges, 373301 markings/sec, 30 secs
lola: 15889567 markings, 21275466 edges, 370538 markings/sec, 35 secs
lola: 17816389 markings, 23853374 edges, 385364 markings/sec, 40 secs
lola: 19714200 markings, 26394659 edges, 379562 markings/sec, 45 secs
lola: 21573860 markings, 28882559 edges, 371932 markings/sec, 50 secs
lola: 23436043 markings, 31376644 edges, 372437 markings/sec, 55 secs
lola: 25254946 markings, 33809886 edges, 363781 markings/sec, 60 secs
lola: 27118544 markings, 36305805 edges, 372720 markings/sec, 65 secs
lola: 29013241 markings, 38840709 edges, 378939 markings/sec, 70 secs
lola: 30832337 markings, 41276831 edges, 363819 markings/sec, 75 secs
lola: 32643344 markings, 43703282 edges, 362201 markings/sec, 80 secs
lola: 34527247 markings, 46224964 edges, 376781 markings/sec, 85 secs
lola: 36368795 markings, 48692231 edges, 368310 markings/sec, 90 secs
lola: 38215895 markings, 51166908 edges, 369420 markings/sec, 95 secs
lola: 40013766 markings, 53576634 edges, 359574 markings/sec, 100 secs
lola: 41793585 markings, 55958383 edges, 355964 markings/sec, 105 secs
lola: 43582658 markings, 58353725 edges, 357815 markings/sec, 110 secs
lola: 45424622 markings, 60818542 edges, 368393 markings/sec, 115 secs
lola: 47049349 markings, 62998113 edges, 324945 markings/sec, 120 secs
lola: 47394624 markings, 63458527 edges, 69055 markings/sec, 125 secs
lola: 48467464 markings, 64895173 edges, 214568 markings/sec, 130 secs
lola: 49205763 markings, 65883904 edges, 147660 markings/sec, 135 secs
lola: 50248317 markings, 67280814 edges, 208511 markings/sec, 140 secs
lola: 51093720 markings, 68413849 edges, 169081 markings/sec, 145 secs
lola: 51770503 markings, 69320293 edges, 135357 markings/sec, 150 secs
lola: 52787022 markings, 70680105 edges, 203304 markings/sec, 155 secs
lola: 53442936 markings, 71559743 edges, 131183 markings/sec, 160 secs
lola: 54399276 markings, 72842732 edges, 191268 markings/sec, 165 secs
lola: 55061461 markings, 73728485 edges, 132437 markings/sec, 170 secs
lola: 56131036 markings, 75160547 edges, 213915 markings/sec, 175 secs
lola: 56825336 markings, 76089446 edges, 138860 markings/sec, 180 secs
lola: 57160816 markings, 76540455 edges, 67096 markings/sec, 185 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 452 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((4 <= p58) U (5 <= p4)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((4 <= p58) U (5 <= p4)))
lola: processed formula length: 28
lola: 62 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 5 will run for 527 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((1 <= p22)))
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 <= p22)))
lola: processed formula length: 18
lola: 62 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: 1991605 markings, 3441820 edges, 398321 markings/sec, 0 secs
lola: 3959898 markings, 6843595 edges, 393659 markings/sec, 5 secs
lola: 5912441 markings, 10218223 edges, 390509 markings/sec, 10 secs
lola: 7861123 markings, 13585997 edges, 389736 markings/sec, 15 secs
lola: 9804477 markings, 16944721 edges, 388671 markings/sec, 20 secs
lola: 11728895 markings, 20270614 edges, 384884 markings/sec, 25 secs
lola: 13642647 markings, 23578122 edges, 382750 markings/sec, 30 secs
lola: 15718496 markings, 27165792 edges, 415170 markings/sec, 35 secs
lola: 17670894 markings, 30540148 edges, 390480 markings/sec, 40 secs
lola: 19595183 markings, 33865910 edges, 384858 markings/sec, 45 secs
lola: 21518879 markings, 37190521 edges, 384739 markings/sec, 50 secs
lola: 23489270 markings, 40595973 edges, 394078 markings/sec, 55 secs
lola: 26451099 markings, 45714824 edges, 592366 markings/sec, 60 secs
lola: 28370954 markings, 49032883 edges, 383971 markings/sec, 65 secs
lola: 30291164 markings, 52351573 edges, 384042 markings/sec, 70 secs
lola: 32205393 markings, 55659883 edges, 382846 markings/sec, 75 secs
lola: 34097249 markings, 58929595 edges, 378371 markings/sec, 80 secs
lola: 35991454 markings, 62203293 edges, 378841 markings/sec, 85 secs
lola: 37891567 markings, 65487212 edges, 380023 markings/sec, 90 secs
lola: 39764332 markings, 68723902 edges, 374553 markings/sec, 95 secs
lola: 41615241 markings, 71922812 edges, 370182 markings/sec, 100 secs
lola: 43449453 markings, 75092839 edges, 366842 markings/sec, 105 secs
lola: 45409980 markings, 78481141 edges, 392105 markings/sec, 110 secs
lola: 47354008 markings, 81841041 edges, 388806 markings/sec, 115 secs
lola: 49278955 markings, 85167823 edges, 384989 markings/sec, 120 secs
lola: 51204377 markings, 88495516 edges, 385084 markings/sec, 125 secs
lola: 53112186 markings, 91792784 edges, 381562 markings/sec, 130 secs
lola: 55004952 markings, 95063974 edges, 378553 markings/sec, 135 secs
lola: 56882636 markings, 98309249 edges, 375537 markings/sec, 140 secs
lola: 58774404 markings, 101578764 edges, 378354 markings/sec, 145 secs
lola: 60693236 markings, 104895025 edges, 383766 markings/sec, 150 secs
lola: 62570248 markings, 108138975 edges, 375402 markings/sec, 155 secs
lola: 64472388 markings, 111426481 edges, 380428 markings/sec, 160 secs
lola: 66425074 markings, 114801261 edges, 390537 markings/sec, 165 secs
lola: 68365330 markings, 118154536 edges, 388051 markings/sec, 170 secs
lola: 70287795 markings, 121477138 edges, 384493 markings/sec, 175 secs
lola: 72168109 markings, 124726900 edges, 376063 markings/sec, 180 secs
lola: 74100139 markings, 128066003 edges, 386406 markings/sec, 185 secs
lola: 76011521 markings, 131369344 edges, 382276 markings/sec, 190 secs
lola: 77902403 markings, 134637323 edges, 378176 markings/sec, 195 secs
lola: 79793587 markings, 137905872 edges, 378237 markings/sec, 200 secs
lola: 81672931 markings, 141153945 edges, 375869 markings/sec, 205 secs
lola: 83747880 markings, 144739910 edges, 414990 markings/sec, 210 secs
lola: 85598069 markings, 147937601 edges, 370038 markings/sec, 215 secs
lola: 87468347 markings, 151170019 edges, 374056 markings/sec, 220 secs
lola: 89383362 markings, 154479708 edges, 383003 markings/sec, 225 secs
lola: 91266157 markings, 157733775 edges, 376559 markings/sec, 230 secs
lola: 93514661 markings, 161619786 edges, 449701 markings/sec, 235 secs
lola: 95412225 markings, 164899355 edges, 379513 markings/sec, 240 secs
lola: 97280621 markings, 168128424 edges, 373679 markings/sec, 245 secs
lola: 99125708 markings, 171317221 edges, 369017 markings/sec, 250 secs
lola: 100939814 markings, 174452586 edges, 362821 markings/sec, 255 secs
lola: 102839962 markings, 177736569 edges, 380030 markings/sec, 260 secs
lola: 104722649 markings, 180990367 edges, 376537 markings/sec, 265 secs
lola: 106577090 markings, 184195357 edges, 370888 markings/sec, 270 secs
lola: 108448350 markings, 187429408 edges, 374252 markings/sec, 275 secs
lola: 110345243 markings, 190707841 edges, 379379 markings/sec, 280 secs
lola: 112813276 markings, 194973330 edges, 493607 markings/sec, 285 secs
lola: 114675963 markings, 198192538 edges, 372537 markings/sec, 290 secs
lola: 116283470 markings, 200970765 edges, 321501 markings/sec, 295 secs
lola: 117344039 markings, 202804227 edges, 212114 markings/sec, 300 secs
lola: 118090384 markings, 204093675 edges, 149269 markings/sec, 305 secs
lola: 118146418 markings, 204190448 edges, 11207 markings/sec, 310 secs
lola: 119303523 markings, 206190299 edges, 231421 markings/sec, 315 secs
lola: 120193238 markings, 207727970 edges, 177943 markings/sec, 320 secs
lola: 121567561 markings, 210103139 edges, 274865 markings/sec, 325 secs
lola: 122236249 markings, 211258920 edges, 133738 markings/sec, 330 secs
lola: 123495508 markings, 213435263 edges, 251852 markings/sec, 335 secs
lola: 125205711 markings, 216390971 edges, 342041 markings/sec, 340 secs
lola: 125660216 markings, 217176427 edges, 90901 markings/sec, 345 secs
lola: 126836679 markings, 219209777 edges, 235293 markings/sec, 350 secs
lola: 127491408 markings, 220341297 edges, 130946 markings/sec, 355 secs
lola: 128532730 markings, 222140939 edges, 208264 markings/sec, 360 secs
lola: 129846872 markings, 224412273 edges, 262828 markings/sec, 365 secs
lola: 131361537 markings, 227030044 edges, 302933 markings/sec, 370 secs
lola: 133209451 markings, 230223726 edges, 369583 markings/sec, 375 secs
lola: 134520519 markings, 232489658 edges, 262214 markings/sec, 380 secs
lola: 136030582 markings, 235099385 edges, 302013 markings/sec, 385 secs
lola: 137160155 markings, 237051636 edges, 225915 markings/sec, 390 secs
lola: 138632385 markings, 239596026 edges, 294446 markings/sec, 395 secs
lola: 139759898 markings, 241544783 edges, 225503 markings/sec, 400 secs
lola: 140712985 markings, 243191990 edges, 190617 markings/sec, 405 secs
lola: 141537273 markings, 244616586 edges, 164858 markings/sec, 410 secs
lola: 142718594 markings, 246658220 edges, 236264 markings/sec, 415 secs
lola: 143771756 markings, 248478345 edges, 210632 markings/sec, 420 secs
lola: 143771904 markings, 248478673 edges, 30 markings/sec, 425 secs
lola: 143772472 markings, 248479613 edges, 114 markings/sec, 430 secs
lola: 143772561 markings, 248479819 edges, 18 markings/sec, 435 secs
lola: 143772625 markings, 248479951 edges, 13 markings/sec, 440 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((2 <= p71)))
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 ((2 <= p71)))
lola: processed formula length: 18
lola: 62 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: 150 markings, 150 edges
lola: ========================================
lola: subprocess 7 will run for 677 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((2 <= p77))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((2 <= p77))
lola: processed formula length: 14
lola: 62 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: 843887 markings, 1457733 edges
lola: ========================================
lola: subprocess 8 will run for 902 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G ((p88 <= 3)) R (p59 <= 4)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G ((p88 <= 3)) R (p59 <= 4)))
lola: processed formula length: 33
lola: 62 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: 1991142 markings, 3441015 edges, 398228 markings/sec, 0 secs
lola: 3957392 markings, 6839308 edges, 393250 markings/sec, 5 secs
lola: 5907978 markings, 10210388 edges, 390117 markings/sec, 10 secs
lola: 7843311 markings, 13555188 edges, 387067 markings/sec, 15 secs
lola: 9720178 markings, 16798904 edges, 375373 markings/sec, 20 secs
lola: 11645509 markings, 20126467 edges, 385066 markings/sec, 25 secs
lola: 13581673 markings, 23472601 edges, 387233 markings/sec, 30 secs
lola: 15489379 markings, 26769606 edges, 381541 markings/sec, 35 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: 16825519 markings, 29078823 edges
lola: ========================================
lola: subprocess 9 will run for 1331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((p48 <= 2)) AND F ((p88 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 1331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((p88 <= 2))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (3 <= p88)
lola: processed formula length: 10
lola: 64 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 2662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p48 <= 2))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p48 <= 2))
lola: processed formula length: 14
lola: 62 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: 1988942 markings, 3437271 edges, 397788 markings/sec, 0 secs
lola: 3947343 markings, 6821895 edges, 391680 markings/sec, 5 secs
lola: 5887076 markings, 10174286 edges, 387947 markings/sec, 10 secs
lola: 7827901 markings, 13528619 edges, 388165 markings/sec, 15 secs
lola: 9743552 markings, 16839426 edges, 383130 markings/sec, 20 secs
lola: 11655276 markings, 20143351 edges, 382345 markings/sec, 25 secs
lola: 13553178 markings, 23423523 edges, 379580 markings/sec, 30 secs
lola: 15469217 markings, 26735043 edges, 383208 markings/sec, 35 secs
lola: 17409773 markings, 30088753 edges, 388111 markings/sec, 40 secs
lola: 19313084 markings, 33378369 edges, 380662 markings/sec, 45 secs
lola: 21233989 markings, 36698143 edges, 384181 markings/sec, 50 secs
lola: 23199209 markings, 40094600 edges, 393044 markings/sec, 55 secs
lola: 25148061 markings, 43462829 edges, 389770 markings/sec, 60 secs
lola: 27083880 markings, 46808465 edges, 387164 markings/sec, 65 secs
lola: 28984195 markings, 50092765 edges, 380063 markings/sec, 70 secs
lola: 30924337 markings, 53445862 edges, 388028 markings/sec, 75 secs
lola: 32844391 markings, 56764254 edges, 384011 markings/sec, 80 secs
lola: 34744140 markings, 60047516 edges, 379950 markings/sec, 85 secs
lola: 36645489 markings, 63333637 edges, 380270 markings/sec, 90 secs
lola: 38527844 markings, 66586911 edges, 376471 markings/sec, 95 secs
lola: 40411636 markings, 69842639 edges, 376758 markings/sec, 100 secs
lola: 42269227 markings, 73053046 edges, 371518 markings/sec, 105 secs
lola: 44154071 markings, 76310546 edges, 376969 markings/sec, 110 secs
lola: 46111288 markings, 79693122 edges, 391443 markings/sec, 115 secs
lola: 48027024 markings, 83004059 edges, 383147 markings/sec, 120 secs
lola: 49974199 markings, 86369378 edges, 389435 markings/sec, 125 secs
lola: 51913744 markings, 89721489 edges, 387909 markings/sec, 130 secs
lola: 53831849 markings, 93036503 edges, 383621 markings/sec, 135 secs
lola: 55730737 markings, 96318316 edges, 379778 markings/sec, 140 secs
lola: 57589137 markings, 99530205 edges, 371680 markings/sec, 145 secs
lola: 59515783 markings, 102859891 edges, 385329 markings/sec, 150 secs
lola: 61430656 markings, 106169364 edges, 382975 markings/sec, 155 secs
lola: 63327127 markings, 109447062 edges, 379294 markings/sec, 160 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: 64919424 markings, 112198925 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 2493 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (G ((2 <= p97))) AND (F ((2 <= p97)) OR (5 <= p49)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 2493 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((2 <= p97)))
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 ((2 <= p97)))
lola: processed formula length: 18
lola: 62 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: add low 158
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: 39 markings, 43 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G ((F ((X (G ((p62 <= 0))) AND G (F ((p14 <= 4))))) OR (p39 <= 4)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((X (G ((p62 <= 0))) AND G (F ((p14 <= 4))))) OR (p39 <= 4)))
lola: processed formula length: 67
lola: 62 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: 2192284 markings, 2935512 edges, 438457 markings/sec, 0 secs
lola: 4209443 markings, 5638188 edges, 403432 markings/sec, 5 secs
lola: 6218734 markings, 8327468 edges, 401858 markings/sec, 10 secs
lola: 8165787 markings, 10937042 edges, 389411 markings/sec, 15 secs
lola: 10064743 markings, 13477825 edges, 379791 markings/sec, 20 secs
lola: 11901287 markings, 15936871 edges, 367309 markings/sec, 25 secs
lola: 13757845 markings, 18421184 edges, 371312 markings/sec, 30 secs
lola: 15541777 markings, 20809866 edges, 356786 markings/sec, 35 secs
lola: 17446167 markings, 23358191 edges, 380878 markings/sec, 40 secs
lola: 19289524 markings, 25826654 edges, 368671 markings/sec, 45 secs
lola: 21128585 markings, 28287591 edges, 367812 markings/sec, 50 secs
lola: 22945409 markings, 30719964 edges, 363365 markings/sec, 55 secs
lola: 24742843 markings, 33125460 edges, 359487 markings/sec, 60 secs
lola: 26542573 markings, 35535257 edges, 359946 markings/sec, 65 secs
lola: 28404177 markings, 38026433 edges, 372321 markings/sec, 70 secs
lola: 30245058 markings, 40491089 edges, 368176 markings/sec, 75 secs
lola: 32035010 markings, 42886492 edges, 357990 markings/sec, 80 secs
lola: 33868964 markings, 45344208 edges, 366791 markings/sec, 85 secs
lola: 35682858 markings, 47772552 edges, 362779 markings/sec, 90 secs
lola: 37461321 markings, 50156835 edges, 355693 markings/sec, 95 secs
lola: 39292627 markings, 52608985 edges, 366261 markings/sec, 100 secs
lola: 41041608 markings, 54951521 edges, 349796 markings/sec, 105 secs
lola: 42787796 markings, 57287795 edges, 349238 markings/sec, 110 secs
lola: 44562086 markings, 59664403 edges, 354858 markings/sec, 115 secs
lola: 46298679 markings, 61991262 edges, 347319 markings/sec, 120 secs
lola: 46977923 markings, 62901684 edges, 135849 markings/sec, 125 secs
lola: 48329765 markings, 64709736 edges, 270368 markings/sec, 130 secs
lola: 48913051 markings, 65492064 edges, 116657 markings/sec, 135 secs
lola: 50007380 markings, 66957625 edges, 218866 markings/sec, 140 secs
lola: 50409330 markings, 67496063 edges, 80390 markings/sec, 145 secs
lola: 51397999 markings, 68821382 edges, 197734 markings/sec, 150 secs
lola: 52063132 markings, 69711946 edges, 133027 markings/sec, 155 secs
lola: 52959512 markings, 70912135 edges, 179276 markings/sec, 160 secs
lola: 53600366 markings, 71772815 edges, 128171 markings/sec, 165 secs
lola: 54404915 markings, 72850351 edges, 160910 markings/sec, 170 secs
lola: 55740416 markings, 74636735 edges, 267100 markings/sec, 175 secs
lola: 56230915 markings, 75294778 edges, 98100 markings/sec, 180 secs
lola: 57108298 markings, 76469890 edges, 175477 markings/sec, 185 secs
lola: 57170946 markings, 76553877 edges, 12530 markings/sec, 190 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X ((F ((X (G ((p28 <= 3))) AND (p28 <= 3))) OR (3 <= p43)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F ((X (G ((p28 <= 3))) AND (p28 <= 3))) OR (3 <= p43)))
lola: processed formula length: 59
lola: 62 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: 2178322 markings, 2917022 edges, 435664 markings/sec, 0 secs
lola: 4186106 markings, 5606169 edges, 401557 markings/sec, 5 secs
lola: 6183591 markings, 8280365 edges, 399497 markings/sec, 10 secs
lola: 8089805 markings, 10835575 edges, 381243 markings/sec, 15 secs
lola: 9998881 markings, 13390062 edges, 381815 markings/sec, 20 secs
lola: 11852359 markings, 15871533 edges, 370696 markings/sec, 25 secs
lola: 13691519 markings, 18332632 edges, 367832 markings/sec, 30 secs
lola: 15499241 markings, 20752661 edges, 361544 markings/sec, 35 secs
lola: 17678077 markings, 23668736 edges, 435767 markings/sec, 40 secs
lola: 19541945 markings, 26164417 edges, 372774 markings/sec, 45 secs
lola: 21357392 markings, 28593722 edges, 363089 markings/sec, 50 secs
lola: 23183365 markings, 31038837 edges, 365195 markings/sec, 55 secs
lola: 24957686 markings, 33413363 edges, 354864 markings/sec, 60 secs
lola: 26766336 markings, 35834750 edges, 361730 markings/sec, 65 secs
lola: 28630871 markings, 38330116 edges, 372907 markings/sec, 70 secs
lola: 30462866 markings, 40782849 edges, 366399 markings/sec, 75 secs
lola: 32235948 markings, 43156096 edges, 354616 markings/sec, 80 secs
lola: 34073404 markings, 45617002 edges, 367491 markings/sec, 85 secs
lola: 35881028 markings, 48037780 edges, 361525 markings/sec, 90 secs
lola: 37638614 markings, 50394262 edges, 351517 markings/sec, 95 secs
lola: 39462614 markings, 52837683 edges, 364800 markings/sec, 100 secs
lola: 41230004 markings, 55203223 edges, 353478 markings/sec, 105 secs
lola: 43002504 markings, 57574836 edges, 354500 markings/sec, 110 secs
lola: 44810965 markings, 59996697 edges, 361692 markings/sec, 115 secs
lola: 46515672 markings, 62281742 edges, 340941 markings/sec, 120 secs
lola: 47406230 markings, 63474188 edges, 178112 markings/sec, 125 secs
lola: 47970032 markings, 64227687 edges, 112760 markings/sec, 130 secs
lola: 48965208 markings, 65561754 edges, 199035 markings/sec, 135 secs
lola: 49800511 markings, 66678291 edges, 167061 markings/sec, 140 secs
lola: 50780599 markings, 67994761 edges, 196018 markings/sec, 145 secs
lola: 51949925 markings, 69560701 edges, 233865 markings/sec, 150 secs
lola: 52256463 markings, 69970674 edges, 61308 markings/sec, 155 secs
lola: 53562798 markings, 71722890 edges, 261267 markings/sec, 160 secs
lola: 53600389 markings, 71772844 edges, 7518 markings/sec, 165 secs
lola: 54011476 markings, 72323364 edges, 82217 markings/sec, 170 secs
lola: 55341983 markings, 74102980 edges, 266101 markings/sec, 175 secs
lola: 56932024 markings, 76232859 edges, 318008 markings/sec, 180 secs
lola: 56999117 markings, 76322406 edges, 13419 markings/sec, 185 secs
lola: 56999117 markings, 76322406 edges, 0 markings/sec, 190 secs
lola: 56999117 markings, 76322406 edges, 0 markings/sec, 195 secs
lola: lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: F (G ((1 <= p22)))
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 <= p22)))
lola: processed formula length: 18
lola: 62 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: 1976178 markings, 3415230 edges, 395236 markings/sec, 0 secs
lola: 3929345 markings, 6790764 edges, 390633 markings/sec, 5 secs
lola: 5871087 markings, 10146716 edges, 388348 markings/sec, 10 secs
lola: 7815976 markings, 13508013 edges, 388978 markings/sec, 15 secs
lola: 9736714 markings, 16827661 edges, 384148 markings/sec, 20 secs
lola: 11653644 markings, 20140648 edges, 383386 markings/sec, 25 secs
lola: 13556715 markings, 23429701 edges, 380614 markings/sec, 30 secs
lola: 15462070 markings, 26722572 edges, 381071 markings/sec, 35 secs
lola: 17409554 markings, 30088436 edges, 389497 markings/sec, 40 secs
lola: 19662192 markings, 33981583 edges, 450528 markings/sec, 45 secs
lola: 21578630 markings, 37293829 edges, 383288 markings/sec, 50 secs
lola: 23539757 markings, 40683153 edges, 392225 markings/sec, 55 secs
lola: 25466541 markings, 44013257 edges, 385357 markings/sec, 60 secs
lola: 27383913 markings, 47326982 edges, 383474 markings/sec, 65 secs
lola: 29275386 markings, 50595977 edges, 378295 markings/sec, 70 secs
lola: 31187655 markings, 53900989 edges, 382454 markings/sec, 75 secs
lola: 33086268 markings, 57182308 edges, 379723 markings/sec, 80 secs
lola: 34968460 markings, 60435197 edges, 376438 markings/sec, 85 secs
lola: 36854734 markings, 63695291 edges, 377255 markings/sec, 90 secs
lola: 38726904 markings, 66930873 edges, 374434 markings/sec, 95 secs
lola: 40583015 markings, 70138836 edges, 371222 markings/sec, 100 secs
lola: 42425977 markings, 73323938 edges, 368592 markings/sec, 105 secs
lola: 44307689 markings, 76576095 edges, 376342 markings/sec, 110 secs
lola: 46311000 markings, 80038416 edges, 400662 markings/sec, 115 secs
lola: 48210750 markings, 83321670 edges, 379950 markings/sec, 120 secs
lola: 50132003 markings, 86642122 edges, 384251 markings/sec, 125 secs
lola: 52051460 markings, 89959467 edges, 383891 markings/sec, 130 secs
lola: 53944778 markings, 93231786 edges, 378664 markings/sec, 135 secs
lola: 55824033 markings, 96479653 edges, 375851 markings/sec, 140 secs
lola: 57660878 markings, 99654157 edges, 367369 markings/sec, 145 secs
lola: 59578293 markings, 102968009 edges, 383483 markings/sec, 150 secs
lola: 61480372 markings, 106255415 edges, 380416 markings/sec, 155 secs
lola: 64379489 markings, 111265896 edges, 579823 markings/sec, 160 secs
lola: 66322594 markings, 114624177 edges, 388621 markings/sec, 165 secs
lola: 68260164 markings, 117972807 edges, 387514 markings/sec, 170 secs
lola: 70171884 markings, 121276728 edges, 382344 markings/sec, 175 secs
lola: 72056415 markings, 124533837 edges, 376906 markings/sec, 180 secs
lola: 76493562 markings, 132202413 edges, 887429 markings/sec, 185 secs
lola: 78377108 markings, 135457745 edges, 376709 markings/sec, 190 secs
lola: 80266174 markings, 138722654 edges, 377813 markings/sec, 195 secs
lola: 82132088 markings, 141947487 edges, 373183 markings/sec, 200 secs
lola: 83985190 markings, 145150094 edges, 370620 markings/sec, 205 secs
lola: 87111539 markings, 150553378 edges, 625270 markings/sec, 210 secs
lola: 89026509 markings, 153862958 edges, 382994 markings/sec, 215 secs
lola: 90918709 markings, 157133287 edges, 378440 markings/sec, 220 secs
lola: 92797349 markings, 160380131 edges, 375728 markings/sec, 225 secs
lola: 94686660 markings, 163645341 edges, 377862 markings/sec, 230 secs
lola: 96545455 markings, 166857817 edges, 371759 markings/sec, 235 secs
lola: 98391952 markings, 170049054 edges, 369299 markings/sec, 240 secs
lola: 100214750 markings, 173199450 edges, 364560 markings/sec, 245 secs
lola: 102069801 markings, 176405479 edges, 371010 markings/sec, 250 secs
lola: 103950701 markings, 179656261 edges, 376180 markings/sec, 255 secs
lola: 105790206 markings, 182835461 edges, 367901 markings/sec, 260 secs
lola: 107657468 markings, 186062613 edges, 373452 markings/sec, 265 secs
lola: 109546645 markings, 189327641 edges, 377835 markings/sec, 270 secs
lola: 111420858 markings, 192566813 edges, 374843 markings/sec, 275 secs
lola: 113283141 markings, 195785424 edges, 372457 markings/sec, 280 secs
lola: 115113883 markings, 198949395 edges, 366148 markings/sec, 285 secs
lola: 116890963 markings, 202020989 edges, 355416 markings/sec, 290 secs
lola: 118115868 markings, 204138076 edges, 244981 markings/sec, 295 secs
lola: 119485872 markings, 206505417 edges, 274001 markings/sec, 300 secs
lola: 120828809 markings, 208826456 edges, 268587 markings/sec, 305 secs
lola: 122176937 markings, 211156301 edges, 269626 markings/sec, 310 secs
lola: 123177781 markings, 212886062 edges, 200169 markings/sec, 315 secs
lola: 123905526 markings, 214143881 edges, 145549 markings/sec, 320 secs
lola: 125126900 markings, 216254768 edges, 244275 markings/sec, 325 secs
lola: 125622784 markings, 217111838 edges, 99177 markings/sec, 330 secs
lola: 126921212 markings, 219355785 edges, 259686 markings/sec, 335 secs
lola: 127886806 markings, 221024622 edges, 193119 markings/sec, 340 secs
lola: 129271402 markings, 223417626 edges, 276919 markings/sec, 345 secs
lola: 130528263 markings, 225589875 edges, 251372 markings/sec, 350 secs
lola: 131287337 markings, 226901827 edges, 151815 markings/sec, 355 secs
lola: 132622570 markings, 229209431 edges, 267047 markings/sec, 360 secs
lola: 132622570 markings, 229209431 edges, 0 markings/sec, 365 secs
lola: 132690979 markings, 229327688 edges, 13682 markings/sec, 370 secs
lola: 134494006 markings, 232443816 edges, 360605 markings/sec, 375 secs
lola: 134726880 markings, 232846242 edges, 46575 markings/sec, 380 secs
lola: 134726880 markings, 232846242 edges, 0 markings/sec, 385 secs
lola: 134726880 markings, 232846242 edges, 0 markings/sec, 390 secs
lola: 136263023 markings, 235501151 edges, 307229 markings/sec, 395 secs
lola: 136790870 markings, 236413378 edges, 105569 markings/sec, 400 secs
lola: 136790870 markings, 236413378 edges, 0 markings/sec, 405 secs
lola: 137558286 markings, 237739773 edges, 153483 markings/sec, 410 secs
lola: 138852056 markings, 239975757 edges, 258754 markings/sec, 415 secs
lola: 138852056 markings, 239975757 edges, 0 markings/sec, 420 secs
lola: 139449074 markings, 241007533 edges, 119404 markings/sec, 425 secs
lola: 141203917 markings, 244040372 edges, 350969 markings/sec, 430 secs
lola: 141424660 markings, 244421994 edges, 44149 markings/sec, 435 secs
lola: 141424660 markings, 244421994 edges, 0 markings/sec, 440 secs
lola: 142469672 markings, 246228047 edges, 209002 markings/sec, 445 secs
lola: 143415973 markings, 247863477 edges, 189260 markings/sec, 450 secs
lola: 143415973 markings, 247863477 edges, 0 markings/sec, 455 secs
lola: 143574313 markings, 248137150 edges, 31668 markings/sec, 460 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown yes no no unknown no no no no no
lola:
preliminary result: unknown unknown yes no no unknown no no no no no
lola: memory consumption: 3308 KB
lola: time consumption: 2000 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="JoinFreeModules-PT-0020"
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 JoinFreeModules-PT-0020, 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 r132-tall-162075428300210"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0020.tgz
mv JoinFreeModules-PT-0020 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 ;