About the Execution of 2019-Gold for ClientsAndServers-PT-N0020P3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.320 | 3570373.00 | 3368814.00 | 24693.40 | ?FFFFFTFT?T?FTF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r045-smll-158902068200050.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is ClientsAndServers-PT-N0020P3, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200050
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 07:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.2K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ClientsAndServers-PT-N0020P3-00
FORMULA_NAME ClientsAndServers-PT-N0020P3-01
FORMULA_NAME ClientsAndServers-PT-N0020P3-02
FORMULA_NAME ClientsAndServers-PT-N0020P3-03
FORMULA_NAME ClientsAndServers-PT-N0020P3-04
FORMULA_NAME ClientsAndServers-PT-N0020P3-05
FORMULA_NAME ClientsAndServers-PT-N0020P3-06
FORMULA_NAME ClientsAndServers-PT-N0020P3-07
FORMULA_NAME ClientsAndServers-PT-N0020P3-08
FORMULA_NAME ClientsAndServers-PT-N0020P3-09
FORMULA_NAME ClientsAndServers-PT-N0020P3-10
FORMULA_NAME ClientsAndServers-PT-N0020P3-11
FORMULA_NAME ClientsAndServers-PT-N0020P3-12
FORMULA_NAME ClientsAndServers-PT-N0020P3-13
FORMULA_NAME ClientsAndServers-PT-N0020P3-14
FORMULA_NAME ClientsAndServers-PT-N0020P3-15
=== Now, execution of the tool begins
BK_START 1589280963040
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0020P3 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0020P3-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0020P3
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 12 10:56:03 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 8,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (X (F ((X (X (X (G (NOT FIREABLE(mfU))))) AND (X (X (X (G (NOT FIREABLE(mfU))))) OR G (F (NOT FIREABLE(mfU)))))))))",
"processed_size": 120,
"rewrites": 92
},
"result":
{
"edges": 112564933,
"markings": 12774398,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 51
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 232
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A ((X (G (NOT FIREABLE(srF))) OR (G (FIREABLE(srF)) R NOT FIREABLE(srF))))",
"processed_size": 74,
"rewrites": 92
},
"result":
{
"edges": 4054257,
"markings": 568847,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 12
},
"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": 248
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (G (FIREABLE(mrF))))",
"processed_size": 25,
"rewrites": 92
},
"result":
{
"edges": 1217,
"markings": 1217,
"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": 268
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 268
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (NOT FIREABLE(ssF)))",
"processed_size": 25,
"rewrites": 94
},
"result":
{
"edges": 11,
"markings": 12,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 290
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 290
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (FIREABLE(msG)))",
"processed_size": 21,
"rewrites": 92
},
"result":
{
"edges": 1217,
"markings": 1217,
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 316
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((X (G (NOT FIREABLE(msG))) OR F ((FIREABLE(msG) OR X (NOT FIREABLE(csF))))))",
"processed_size": 79,
"rewrites": 92
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 348
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 3,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((NOT FIREABLE(msG) OR ((FIREABLE(mrF) AND X (F (FIREABLE(mrR)))) R X (NOT FIREABLE(msG)))))",
"processed_size": 94,
"rewrites": 92
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 392
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (F ((FIREABLE(ssF) AND X (X (FIREABLE(ssF)))))))",
"processed_size": 53,
"rewrites": 92
},
"result":
{
"edges": 1217,
"markings": 1217,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"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": 448
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 2,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((FIREABLE(ssR) OR (FIREABLE(msA) AND G (FIREABLE(crG)))) U (NOT FIREABLE(crG) U X (F (FIREABLE(ssR))))))",
"processed_size": 108,
"rewrites": 92
},
"result":
{
"edges": 1917,
"markings": 961,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 522
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(FIREABLE(csR) AND NOT FIREABLE(ssF))",
"processed_size": 37,
"rewrites": 94
},
"result":
{
"edges": 3700145,
"markings": 2944170,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 10,
"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": 668
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (G (NOT FIREABLE(csR))))",
"processed_size": 29,
"rewrites": 92
},
"result":
{
"edges": 2725,
"markings": 2722,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 891
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 2,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F (G (((NOT FIREABLE(srF) AND NOT FIREABLE(mrF)) AND G ((NOT FIREABLE(srR) AND NOT FIREABLE(mrF)))))))",
"processed_size": 105,
"rewrites": 92
},
"result":
{
"edges": 69958,
"markings": 18467,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1957
},
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 10476,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(F(**))) : A(X(X(F((X(X(X(G(*)))) AND (X(X(X(G(*)))) OR G(F(*)))))))) : A((X(G(*)) OR (G(**) R *))) : A(X(G(**))) : (A(X(F(**))) AND A(G(*))) : (A(X(**)) AND A(X((** OR G(**))))) : A(F(**)) : A(F(G((* AND G(*))))) : A((X(G(*)) OR F((** OR X(**))))) : A(G((** OR (F(G(**)) OR X(F((** AND F(**)))))))) : A((* OR ((* AND X(F(*))) R X(**)))) : (A(G(F((F(**) OR (** U **))))) AND A(G((** OR (F(**) OR (** U **)))))) : A(X(F((** AND X(X(**)))))) : A(((** OR (** AND G(**))) U (** U X(F(**))))) : A(F(G(*))) : A(((** OR G(F(**))) U (G(*) OR G(**))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"interim_value": "unknown no no no no no yes no yes unknown yes unknown no yes no unknown ",
"preliminary_value": "unknown no no no no no yes no yes unknown yes unknown no yes no unknown "
},
"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: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (((FIREABLE(maU) OR G (X (FIREABLE(ssG)))) U G (F (FIREABLE(ssG))))) : A (F (X (NOT(X ((X (F (G (FIREABLE(mfU)))) U F (X (F (X (X (FIREABLE(mfU)))))))))))) : A ((X (NOT(F (FIREABLE(srF)))) OR NOT((NOT(G (FIREABLE(srF))) U FIREABLE(srF))))) : A (G (X (FIREABLE(mrF)))) : A ((X (F (FIREABLE(srF))) AND G (NOT((FIREABLE(ssF) OR F (FIREABLE(ssF))))))) : A (X ((FIREABLE(msG) AND (FIREABLE(crA) OR G (FIREABLE(ssR)))))) : A (F ((NOT FIREABLE(csR) OR FIREABLE(ssF)))) : A (((FIREABLE(mrF) U FIREABLE(srF)) U NOT(G (F (((FIREABLE(srF) OR FIREABLE(mrF)) OR F ((FIREABLE(srR) OR FIREABLE(mrF))))))))) : A ((NOT(X (F (FIREABLE(msG)))) OR F ((FIREABLE(mfU) U (FIREABLE(msG) OR X (NOT FIREABLE(csF))))))) : A (G (((NOT FIREABLE(csR) OR F (G (NOT FIREABLE(msG)))) OR F (X ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))) : A (NOT((FIREABLE(msG) AND ((NOT FIREABLE(mrF) OR G (X (NOT FIREABLE(mrR)))) U NOT(X (NOT FIREABLE(msG))))))) : A (G ((FIREABLE(srG) U (F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF)))))) : A ((X ((NOT FIREABLE(mrR) OR G (FIREABLE(ssF)))) U X (F ((FIREABLE(ssF) AND X (X (FIREABLE(ssF)))))))) : A (((FIREABLE(ssR) OR (FIREABLE(msA) AND G (FIREABLE(crG)))) U (NOT FIREABLE(crG) U X (F (FIREABLE(ssR)))))) : A (((FIREABLE(crG) AND FIREABLE(csF)) U X (NOT(G (X (F (FIREABLE(csR)))))))) : A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U NOT((F (FIREABLE(msG)) AND NOT(G (FIREABLE(csF)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:500
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((X (X (X (G (NOT FIREABLE(mfU))))) AND (X (X (X (G (NOT FIREABLE(mfU))))) OR G (F (NOT FIREABLE(mfU)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((X (X (X (G (NOT FIREABLE(mfU))))) AND (X (X (X (G (NOT FIREABLE(mfU))))) OR G (F (NOT FIREABLE(mfU)))))))))
lola: processed formula length: 120
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 51 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: 1001836 markings, 6819064 edges, 200367 markings/sec, 0 secs
lola: 1932106 markings, 14349339 edges, 186054 markings/sec, 5 secs
lola: 2780524 markings, 21710012 edges, 169684 markings/sec, 10 secs
lola: 3599659 markings, 29077683 edges, 163827 markings/sec, 15 secs
lola: 4390698 markings, 36282533 edges, 158208 markings/sec, 20 secs
lola: 5189000 markings, 43498367 edges, 159660 markings/sec, 25 secs
lola: 5979033 markings, 50652548 edges, 158007 markings/sec, 30 secs
lola: 6790179 markings, 57938711 edges, 162229 markings/sec, 35 secs
lola: 7611521 markings, 65282971 edges, 164268 markings/sec, 40 secs
lola: 8417779 markings, 72430960 edges, 161252 markings/sec, 45 secs
lola: 9179028 markings, 79545559 edges, 152250 markings/sec, 50 secs
lola: 9951175 markings, 86643988 edges, 154429 markings/sec, 55 secs
lola: 10762844 markings, 93753908 edges, 162334 markings/sec, 60 secs
lola: 11495137 markings, 100807826 edges, 146459 markings/sec, 65 secs
lola: 12309876 markings, 108025148 edges, 162948 markings/sec, 70 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: 12774398 markings, 112564933 edges
lola: ========================================
lola: subprocess 1 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G (NOT FIREABLE(srF))) OR (G (FIREABLE(srF)) R NOT FIREABLE(srF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G (NOT FIREABLE(srF))) OR (G (FIREABLE(srF)) R NOT FIREABLE(srF))))
lola: processed formula length: 74
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 568847 markings, 4054257 edges
lola: ========================================
lola: subprocess 2 will run for 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (FIREABLE(mrF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(mrF))))
lola: processed formula length: 25
lola: 92 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: 1217 markings, 1217 edges
lola: ========================================
lola: subprocess 3 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (F (FIREABLE(srF)))) AND A (G (NOT FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(ssF)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(ssF)))
lola: processed formula length: 25
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(ssF)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 12 markings, 11 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(msG))) AND A (X ((FIREABLE(crA) OR G (FIREABLE(ssR))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(msG)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(msG)))
lola: processed formula length: 21
lola: 92 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: 1217 markings, 1217 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G (NOT FIREABLE(msG))) OR F ((FIREABLE(msG) OR X (NOT FIREABLE(csF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G (NOT FIREABLE(msG))) OR F ((FIREABLE(msG) OR X (NOT FIREABLE(csF))))))
lola: processed formula length: 79
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 348 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(csR) OR (F (G (NOT FIREABLE(msG))) OR X (F ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((NOT FIREABLE(csR) OR (F (G (NOT FIREABLE(msG))) OR X (F ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))))
lola: processed formula length: 107
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2272165 markings, 5399990 edges, 454433 markings/sec, 0 secs
lola: 4306670 markings, 10817444 edges, 406901 markings/sec, 5 secs
lola: 6118904 markings, 15919899 edges, 362447 markings/sec, 10 secs
lola: 7887388 markings, 20933627 edges, 353697 markings/sec, 15 secs
lola: 9584893 markings, 25806313 edges, 339501 markings/sec, 20 secs
lola: 11256080 markings, 30608532 edges, 334237 markings/sec, 25 secs
lola: 12913631 markings, 35377396 edges, 331510 markings/sec, 30 secs
lola: 14532777 markings, 40071447 edges, 323829 markings/sec, 35 secs
lola: 16142845 markings, 44754856 edges, 322014 markings/sec, 40 secs
lola: 17772774 markings, 49431621 edges, 325986 markings/sec, 45 secs
lola: 19360732 markings, 54039173 edges, 317592 markings/sec, 50 secs
lola: 20937964 markings, 58617998 edges, 315446 markings/sec, 55 secs
lola: 22512281 markings, 63191908 edges, 314863 markings/sec, 60 secs
lola: 24109498 markings, 67835204 edges, 319443 markings/sec, 65 secs
lola: 25724113 markings, 72539005 edges, 322923 markings/sec, 70 secs
lola: 27275946 markings, 77104631 edges, 310367 markings/sec, 75 secs
lola: 28847440 markings, 81662452 edges, 314299 markings/sec, 80 secs
lola: 30323497 markings, 85944234 edges, 295211 markings/sec, 85 secs
lola: 31762574 markings, 90201287 edges, 287815 markings/sec, 90 secs
lola: 32750671 markings, 95039505 edges, 197619 markings/sec, 95 secs
lola: 34028846 markings, 98822985 edges, 255635 markings/sec, 100 secs
lola: 35143431 markings, 102063903 edges, 222917 markings/sec, 105 secs
lola: 36531269 markings, 106229830 edges, 277568 markings/sec, 110 secs
lola: 38134864 markings, 111137702 edges, 320719 markings/sec, 115 secs
lola: 39664152 markings, 115906475 edges, 305858 markings/sec, 120 secs
lola: 41129915 markings, 120577278 edges, 293153 markings/sec, 125 secs
lola: 42581110 markings, 125205452 edges, 290239 markings/sec, 130 secs
lola: 44016595 markings, 129787759 edges, 287097 markings/sec, 135 secs
lola: 45448212 markings, 134349137 edges, 286323 markings/sec, 140 secs
lola: 46879010 markings, 138925041 edges, 286160 markings/sec, 145 secs
lola: 48224096 markings, 143370183 edges, 269017 markings/sec, 150 secs
lola: 49632439 markings, 147840275 edges, 281669 markings/sec, 155 secs
lola: 51052999 markings, 152397322 edges, 284112 markings/sec, 160 secs
lola: 52352496 markings, 156667787 edges, 259899 markings/sec, 165 secs
lola: 53758413 markings, 161164796 edges, 281183 markings/sec, 170 secs
lola: 55052643 markings, 165437941 edges, 258846 markings/sec, 175 secs
lola: 56458853 markings, 169947204 edges, 281242 markings/sec, 180 secs
lola: 57759557 markings, 174217792 edges, 260141 markings/sec, 185 secs
lola: 59061765 markings, 178561050 edges, 260442 markings/sec, 190 secs
lola: 60451023 markings, 182947385 edges, 277852 markings/sec, 195 secs
lola: 61718230 markings, 187166903 edges, 253441 markings/sec, 200 secs
lola: 63105262 markings, 191609737 edges, 277406 markings/sec, 205 secs
lola: 64379728 markings, 195796731 edges, 254893 markings/sec, 210 secs
lola: 65643315 markings, 200003324 edges, 252717 markings/sec, 215 secs
lola: 66975563 markings, 204252617 edges, 266450 markings/sec, 220 secs
lola: 68252024 markings, 208445828 edges, 255292 markings/sec, 225 secs
lola: 69502017 markings, 212621560 edges, 249999 markings/sec, 230 secs
lola: 70843941 markings, 217011790 edges, 268385 markings/sec, 235 secs
lola: 72163989 markings, 221249179 edges, 264010 markings/sec, 240 secs
lola: 73397579 markings, 225356743 edges, 246718 markings/sec, 245 secs
lola: 74667124 markings, 229613177 edges, 253909 markings/sec, 250 secs
lola: 76055194 markings, 233989285 edges, 277614 markings/sec, 255 secs
lola: 77294757 markings, 238102424 edges, 247913 markings/sec, 260 secs
lola: 78524358 markings, 242210103 edges, 245920 markings/sec, 265 secs
lola: 79810659 markings, 246523332 edges, 257260 markings/sec, 270 secs
lola: 81180645 markings, 250819313 edges, 273997 markings/sec, 275 secs
lola: 82403769 markings, 254889190 edges, 244625 markings/sec, 280 secs
lola: 83623908 markings, 258962592 edges, 244028 markings/sec, 285 secs
lola: 84893366 markings, 263219700 edges, 253892 markings/sec, 290 secs
lola: 86275837 markings, 267563705 edges, 276494 markings/sec, 295 secs
lola: 87504705 markings, 271638201 edges, 245774 markings/sec, 300 secs
lola: 88708531 markings, 275671552 edges, 240765 markings/sec, 305 secs
lola: 89959295 markings, 279864056 edges, 250153 markings/sec, 310 secs
lola: 91316547 markings, 284238167 edges, 271450 markings/sec, 315 secs
lola: 92594830 markings, 288371864 edges, 255657 markings/sec, 320 secs
lola: 93806390 markings, 292416962 edges, 242312 markings/sec, 325 secs
lola: 95010416 markings, 296450679 edges, 240805 markings/sec, 330 secs
lola: 96269369 markings, 300670574 edges, 251791 markings/sec, 335 secs
lola: 97649959 markings, 305038218 edges, 276118 markings/sec, 340 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no no no unknown unknown yes unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 348 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(msG) OR ((FIREABLE(mrF) AND X (F (FIREABLE(mrR)))) R X (NOT FIREABLE(msG)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(msG) OR ((FIREABLE(mrF) AND X (F (FIREABLE(mrR)))) R X (NOT FIREABLE(msG)))))
lola: processed formula length: 94
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(ssF) AND X (X (FIREABLE(ssF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(ssF) AND X (X (FIREABLE(ssF)))))))
lola: processed formula length: 53
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1217 markings, 1217 edges
lola: ========================================
lola: subprocess 9 will run for 448 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(ssR) OR (FIREABLE(msA) AND G (FIREABLE(crG)))) U (NOT FIREABLE(crG) U X (F (FIREABLE(ssR))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(ssR) OR (FIREABLE(msA) AND G (FIREABLE(crG)))) U (NOT FIREABLE(crG) U X (F (FIREABLE(ssR))))))
lola: processed formula length: 108
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 961 markings, 1917 edges
lola: ========================================
lola: subprocess 10 will run for 522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(csR) OR FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (FIREABLE(csR) AND NOT FIREABLE(ssF))
lola: processed formula length: 37
lola: 94 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: 2944170 markings, 3700145 edges
lola: ========================================
lola: subprocess 11 will run for 626 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(ssG))))
lola: processed formula length: 25
lola: 92 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: 1809148 markings, 5574933 edges, 361830 markings/sec, 0 secs
lola: 3476935 markings, 11393970 edges, 333557 markings/sec, 5 secs
lola: 5116156 markings, 17183432 edges, 327844 markings/sec, 10 secs
lola: 6625426 markings, 22688887 edges, 301854 markings/sec, 15 secs
lola: 8195022 markings, 28392354 edges, 313919 markings/sec, 20 secs
lola: 9805870 markings, 34230154 edges, 322170 markings/sec, 25 secs
lola: 11305027 markings, 39781863 edges, 299831 markings/sec, 30 secs
lola: 12832260 markings, 45398934 edges, 305447 markings/sec, 35 secs
lola: 14448529 markings, 51260563 edges, 323254 markings/sec, 40 secs
lola: 15937113 markings, 56838964 edges, 297717 markings/sec, 45 secs
lola: 17353537 markings, 62128121 edges, 283285 markings/sec, 50 secs
lola: 18827538 markings, 67657785 edges, 294800 markings/sec, 55 secs
lola: 20461613 markings, 73536121 edges, 326815 markings/sec, 60 secs
lola: 21936357 markings, 79140595 edges, 294949 markings/sec, 65 secs
lola: 23414168 markings, 84682389 edges, 295562 markings/sec, 70 secs
lola: 24784619 markings, 89813225 edges, 274090 markings/sec, 75 secs
lola: 26167612 markings, 95246208 edges, 276599 markings/sec, 80 secs
lola: 27834606 markings, 101043017 edges, 333399 markings/sec, 85 secs
lola: 29316834 markings, 106707312 edges, 296446 markings/sec, 90 secs
lola: 30760647 markings, 112200837 edges, 288763 markings/sec, 95 secs
lola: 32219647 markings, 117677455 edges, 291800 markings/sec, 100 secs
lola: 33560482 markings, 122726784 edges, 268167 markings/sec, 105 secs
lola: 34745542 markings, 127795748 edges, 237012 markings/sec, 110 secs
lola: 36314783 markings, 133247722 edges, 313848 markings/sec, 115 secs
lola: 37958400 markings, 139130772 edges, 328723 markings/sec, 120 secs
lola: 39428735 markings, 144766324 edges, 294067 markings/sec, 125 secs
lola: 40869321 markings, 150274037 edges, 288117 markings/sec, 130 secs
lola: 42308166 markings, 155718054 edges, 287769 markings/sec, 135 secs
lola: 43713175 markings, 161012452 edges, 281002 markings/sec, 140 secs
lola: 45042305 markings, 166048872 edges, 265826 markings/sec, 145 secs
lola: 46204521 markings, 171045214 edges, 232443 markings/sec, 150 secs
lola: 47546037 markings, 175920553 edges, 268303 markings/sec, 155 secs
lola: 49183326 markings, 181523850 edges, 327458 markings/sec, 160 secs
lola: 50550645 markings, 186786674 edges, 273464 markings/sec, 165 secs
lola: 51989784 markings, 192309553 edges, 287828 markings/sec, 170 secs
lola: 53412402 markings, 197756990 edges, 284524 markings/sec, 175 secs
lola: 54823939 markings, 203129663 edges, 282307 markings/sec, 180 secs
lola: 56251703 markings, 208507219 edges, 285553 markings/sec, 185 secs
lola: 57560803 markings, 213469815 edges, 261820 markings/sec, 190 secs
lola: 58813716 markings, 218243099 edges, 250583 markings/sec, 195 secs
lola: 59961214 markings, 223293954 edges, 229500 markings/sec, 200 secs
lola: 61377922 markings, 228546463 edges, 283342 markings/sec, 205 secs
lola: 63031484 markings, 234212407 edges, 330712 markings/sec, 210 secs
lola: 64583603 markings, 240073200 edges, 310424 markings/sec, 215 secs
lola: 66053402 markings, 245737226 edges, 293960 markings/sec, 220 secs
lola: 67488697 markings, 251251861 edges, 287059 markings/sec, 225 secs
lola: 68918288 markings, 256722646 edges, 285918 markings/sec, 230 secs
lola: 70339498 markings, 262126143 edges, 284242 markings/sec, 235 secs
lola: 71775014 markings, 267544622 edges, 287103 markings/sec, 240 secs
lola: 73062395 markings, 272447118 edges, 257476 markings/sec, 245 secs
lola: 74387913 markings, 277489683 edges, 265104 markings/sec, 250 secs
lola: 75642600 markings, 282270349 edges, 250937 markings/sec, 255 secs
lola: 76633879 markings, 287240269 edges, 198256 markings/sec, 260 secs
lola: 78241731 markings, 292696167 edges, 321570 markings/sec, 265 secs
lola: 79917991 markings, 298469563 edges, 335252 markings/sec, 270 secs
lola: 81399184 markings, 304190212 edges, 296239 markings/sec, 275 secs
lola: 82849918 markings, 309776799 edges, 290147 markings/sec, 280 secs
lola: 84259755 markings, 315214821 edges, 281967 markings/sec, 285 secs
lola: 85661957 markings, 320604381 edges, 280440 markings/sec, 290 secs
lola: 87060614 markings, 325952539 edges, 279731 markings/sec, 295 secs
lola: 88453379 markings, 331235759 edges, 278553 markings/sec, 300 secs
lola: 89860227 markings, 336562874 edges, 281370 markings/sec, 305 secs
lola: 91140597 markings, 341461127 edges, 256074 markings/sec, 310 secs
lola: 92390480 markings, 346230631 edges, 249977 markings/sec, 315 secs
lola: 93619440 markings, 350876031 edges, 245792 markings/sec, 320 secs
lola: 94828279 markings, 355728880 edges, 241768 markings/sec, 325 secs
lola: 95891169 markings, 360864201 edges, 212578 markings/sec, 330 secs
lola: 97457963 markings, 366208234 edges, 313359 markings/sec, 335 secs
lola: 99114888 markings, 371921808 edges, 331385 markings/sec, 340 secs
lola: 100598055 markings, 377616231 edges, 296633 markings/sec, 345 secs
lola: 101899112 markings, 382635003 edges, 260211 markings/sec, 350 secs
lola: 103281302 markings, 387965629 edges, 276438 markings/sec, 355 secs
lola: 104555030 markings, 392875591 edges, 254746 markings/sec, 360 secs
lola: 105922775 markings, 398151636 edges, 273549 markings/sec, 365 secs
lola: 107301594 markings, 403431196 edges, 275764 markings/sec, 370 secs
lola: 108667390 markings, 408638373 edges, 273159 markings/sec, 375 secs
lola: 110072810 markings, 413956998 edges, 281084 markings/sec, 380 secs
lola: 111339794 markings, 418801602 edges, 253397 markings/sec, 385 secs
lola: 112585915 markings, 423547586 edges, 249224 markings/sec, 390 secs
lola: 113819725 markings, 428258487 edges, 246762 markings/sec, 395 secs
lola: 115033677 markings, 432898370 edges, 242790 markings/sec, 400 secs
lola: 115729563 markings, 435552055 edges, 139177 markings/sec, 405 secs
lola: 116018106 markings, 436665720 edges, 57709 markings/sec, 410 secs
lola: 116131732 markings, 437102998 edges, 22725 markings/sec, 415 secs
lola: 116150125 markings, 437171654 edges, 3679 markings/sec, 420 secs
lola: 116150197 markings, 437171820 edges, 14 markings/sec, 425 secs
lola: 116150231 markings, 437171999 edges, 7 markings/sec, 430 secs
lola: 116150251 markings, 437172186 edges, 4 markings/sec, 435 secs
lola: 116154759 markings, 437187249 edges, 902 markings/sec, 440 secs
lola: 116154809 markings, 437187441 edges, 10 markings/sec, 445 secs
lola: 116160341 markings, 437208898 edges, 1106 markings/sec, 450 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 668 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (NOT FIREABLE(csR))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (NOT FIREABLE(csR))))
lola: processed formula length: 29
lola: 92 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 17
lola: add low 7
lola: add low 4
lola: add low 9
lola: add low 12
lola: add low 16
lola: add low 1
lola: add low 2
lola: add low 0
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: 2722 markings, 2725 edges
lola: ========================================
lola: subprocess 13 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((NOT FIREABLE(srF) AND NOT FIREABLE(mrF)) AND G ((NOT FIREABLE(srR) AND NOT FIREABLE(mrF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((NOT FIREABLE(srF) AND NOT FIREABLE(mrF)) AND G ((NOT FIREABLE(srR) AND NOT FIREABLE(mrF)))))))
lola: processed formula length: 105
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 18467 markings, 69958 edges
lola: ========================================
lola: subprocess 14 will run for 1336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U (G (NOT FIREABLE(msG)) OR G (FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U (G (NOT FIREABLE(msG)) OR G (FIREABLE(csF)))))
lola: processed formula length: 97
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 1409971 markings, 5080618 edges, 281994 markings/sec, 0 secs
lola: 2710525 markings, 10099078 edges, 260111 markings/sec, 5 secs
lola: 3888848 markings, 14843742 edges, 235665 markings/sec, 10 secs
lola: 5088972 markings, 19604200 edges, 240025 markings/sec, 15 secs
lola: 6180345 markings, 24233668 edges, 218275 markings/sec, 20 secs
lola: 7365796 markings, 29032382 edges, 237090 markings/sec, 25 secs
lola: 8569809 markings, 33817456 edges, 240803 markings/sec, 30 secs
lola: 9730406 markings, 38535208 edges, 232119 markings/sec, 35 secs
lola: 10762122 markings, 43052636 edges, 206343 markings/sec, 40 secs
lola: 11816919 markings, 47470920 edges, 210959 markings/sec, 45 secs
lola: 12899367 markings, 51955264 edges, 216490 markings/sec, 50 secs
lola: 14006371 markings, 56464910 edges, 221401 markings/sec, 55 secs
lola: 15087348 markings, 61043216 edges, 216195 markings/sec, 60 secs
lola: 16085142 markings, 65451444 edges, 199559 markings/sec, 65 secs
lola: 17075507 markings, 69841637 edges, 198073 markings/sec, 70 secs
lola: 18079397 markings, 74251083 edges, 200778 markings/sec, 75 secs
lola: 19046178 markings, 78591438 edges, 193356 markings/sec, 80 secs
lola: 20113472 markings, 83088635 edges, 213459 markings/sec, 85 secs
lola: 21160660 markings, 87641362 edges, 209438 markings/sec, 90 secs
lola: 22269771 markings, 92245369 edges, 221822 markings/sec, 95 secs
lola: 23294931 markings, 96735882 edges, 205032 markings/sec, 100 secs
lola: 24515064 markings, 101489245 edges, 244027 markings/sec, 105 secs
lola: 25555419 markings, 106077048 edges, 208071 markings/sec, 110 secs
lola: 26654443 markings, 110803319 edges, 219805 markings/sec, 115 secs
lola: 27854149 markings, 115459941 edges, 239941 markings/sec, 120 secs
lola: 28948688 markings, 120030067 edges, 218908 markings/sec, 125 secs
lola: 29917075 markings, 124382852 edges, 193677 markings/sec, 130 secs
lola: 31018689 markings, 128915037 edges, 220323 markings/sec, 135 secs
lola: 32011797 markings, 133250788 edges, 198622 markings/sec, 140 secs
lola: 32915323 markings, 137493487 edges, 180705 markings/sec, 145 secs
lola: 33908765 markings, 141872331 edges, 198688 markings/sec, 150 secs
lola: 34803709 markings, 146134372 edges, 178989 markings/sec, 155 secs
lola: 35817327 markings, 150304206 edges, 202724 markings/sec, 160 secs
lola: 36766704 markings, 154430360 edges, 189875 markings/sec, 165 secs
lola: 37709230 markings, 158633531 edges, 188505 markings/sec, 170 secs
lola: 38704900 markings, 162899126 edges, 199134 markings/sec, 175 secs
lola: 39768226 markings, 167308218 edges, 212665 markings/sec, 180 secs
lola: 40734828 markings, 171522690 edges, 193320 markings/sec, 185 secs
lola: 41737537 markings, 175769475 edges, 200542 markings/sec, 190 secs
lola: 42808617 markings, 180260880 edges, 214216 markings/sec, 195 secs
lola: 43775982 markings, 184576856 edges, 193473 markings/sec, 200 secs
lola: 44703759 markings, 188792671 edges, 185555 markings/sec, 205 secs
lola: 45656155 markings, 193051001 edges, 190479 markings/sec, 210 secs
lola: 46547851 markings, 197200314 edges, 178339 markings/sec, 215 secs
lola: 47505740 markings, 201455797 edges, 191578 markings/sec, 220 secs
lola: 48377030 markings, 205550628 edges, 174258 markings/sec, 225 secs
lola: 49288737 markings, 209717770 edges, 182341 markings/sec, 230 secs
lola: 50232510 markings, 213935944 edges, 188755 markings/sec, 235 secs
lola: 51060378 markings, 217929320 edges, 165574 markings/sec, 240 secs
lola: 51976228 markings, 222135517 edges, 183170 markings/sec, 245 secs
lola: 52931507 markings, 226379192 edges, 191056 markings/sec, 250 secs
lola: 53777532 markings, 230399569 edges, 169205 markings/sec, 255 secs
lola: 54612695 markings, 234461057 edges, 167033 markings/sec, 260 secs
lola: 55565225 markings, 238681779 edges, 190506 markings/sec, 265 secs
lola: 56644962 markings, 243123696 edges, 215947 markings/sec, 270 secs
lola: 57597323 markings, 247386738 edges, 190472 markings/sec, 275 secs
lola: 58444915 markings, 251454718 edges, 169518 markings/sec, 280 secs
lola: 59277588 markings, 255531553 edges, 166535 markings/sec, 285 secs
lola: 60369103 markings, 260102680 edges, 218303 markings/sec, 290 secs
lola: 61446563 markings, 264627870 edges, 215492 markings/sec, 295 secs
lola: 62430612 markings, 269021091 edges, 196810 markings/sec, 300 secs
lola: 63448360 markings, 273356816 edges, 203550 markings/sec, 305 secs
lola: 64442257 markings, 277725853 edges, 198779 markings/sec, 310 secs
lola: 65330643 markings, 281921105 edges, 177677 markings/sec, 315 secs
lola: 66265474 markings, 286145796 edges, 186966 markings/sec, 320 secs
lola: 67192849 markings, 290275557 edges, 185475 markings/sec, 325 secs
lola: 68567002 markings, 295085775 edges, 274831 markings/sec, 330 secs
lola: 69945741 markings, 299926541 edges, 275748 markings/sec, 335 secs
lola: 70994165 markings, 304060140 edges, 209685 markings/sec, 340 secs
lola: 72156147 markings, 308726807 edges, 232396 markings/sec, 345 secs
lola: 73216011 markings, 313178971 edges, 211973 markings/sec, 350 secs
lola: 74175590 markings, 317480335 edges, 191916 markings/sec, 355 secs
lola: 75175239 markings, 321787154 edges, 199930 markings/sec, 360 secs
lola: 76115385 markings, 326016391 edges, 188029 markings/sec, 365 secs
lola: 76993213 markings, 330194872 edges, 175566 markings/sec, 370 secs
lola: 77889107 markings, 334285340 edges, 179179 markings/sec, 375 secs
lola: 78920425 markings, 338580737 edges, 206264 markings/sec, 380 secs
lola: 79965225 markings, 342989032 edges, 208960 markings/sec, 385 secs
lola: 80911594 markings, 347193777 edges, 189274 markings/sec, 390 secs
lola: 81844048 markings, 351349449 edges, 186491 markings/sec, 395 secs
lola: 82667459 markings, 355293759 edges, 164682 markings/sec, 400 secs
lola: 83513244 markings, 359308201 edges, 169157 markings/sec, 405 secs
lola: 84337390 markings, 363355193 edges, 164829 markings/sec, 410 secs
lola: 85254270 markings, 367557796 edges, 183376 markings/sec, 415 secs
lola: 86178487 markings, 371722953 edges, 184843 markings/sec, 420 secs
lola: 87019037 markings, 375735094 edges, 168110 markings/sec, 425 secs
lola: 87838190 markings, 379747075 edges, 163831 markings/sec, 430 secs
lola: 88662759 markings, 383814895 edges, 164914 markings/sec, 435 secs
lola: 89613275 markings, 387949872 edges, 190103 markings/sec, 440 secs
lola: 90553483 markings, 391939215 edges, 188042 markings/sec, 445 secs
lola: 91453759 markings, 395851470 edges, 180055 markings/sec, 450 secs
lola: 92331248 markings, 399795403 edges, 175498 markings/sec, 455 secs
lola: 93200538 markings, 403667782 edges, 173858 markings/sec, 460 secs
lola: 94094582 markings, 407678071 edges, 178809 markings/sec, 465 secs
lola: 94977368 markings, 411766411 edges, 176557 markings/sec, 470 secs
lola: 95830308 markings, 415766338 edges, 170588 markings/sec, 475 secs
lola: 96705367 markings, 419691303 edges, 175012 markings/sec, 480 secs
lola: 97518501 markings, 423547189 edges, 162627 markings/sec, 485 secs
lola: 98558565 markings, 427860345 edges, 208013 markings/sec, 490 secs
lola: 99552892 markings, 432089119 edges, 198865 markings/sec, 495 secs
lola: 100522955 markings, 436234791 edges, 194013 markings/sec, 500 secs
lola: 101470053 markings, 440316063 edges, 189420 markings/sec, 505 secs
lola: 102378236 markings, 444327076 edges, 181637 markings/sec, 510 secs
lola: 103226316 markings, 448271842 edges, 169616 markings/sec, 515 secs
lola: 104124949 markings, 452278684 edges, 179727 markings/sec, 520 secs
lola: 105056870 markings, 456309883 edges, 186384 markings/sec, 525 secs
lola: 106065245 markings, 460582809 edges, 201675 markings/sec, 530 secs
lola: 107026022 markings, 464839788 edges, 192155 markings/sec, 535 secs
lola: 107930554 markings, 468967029 edges, 180906 markings/sec, 540 secs
lola: 108831466 markings, 473113061 edges, 180182 markings/sec, 545 secs
lola: 109732743 markings, 477224320 edges, 180255 markings/sec, 550 secs
lola: 110627111 markings, 481326671 edges, 178874 markings/sec, 555 secs
lola: 111455567 markings, 485298768 edges, 165691 markings/sec, 560 secs
lola: 112350712 markings, 489396796 edges, 179029 markings/sec, 565 secs
lola: 112433363 markings, 489795773 edges, 16530 markings/sec, 570 secs
lola: 112434154 markings, 489799677 edges, 158 markings/sec, 575 secs
lola: 112437406 markings, 489814089 edges, 650 markings/sec, 580 secs
lola: 112441503 markings, 489830926 edges, 819 markings/sec, 585 secs
lola: 112442609 markings, 489835948 edges, 221 markings/sec, 590 secs
lola: 112443519 markings, 489840076 edges, 182 markings/sec, 595 secs
lola: 112443563 markings, 489840245 edges, 9 markings/sec, 600 secs
lola: 112443607 markings, 489840445 edges, 9 markings/sec, 605 secs
lola: 112445801 markings, 489849969 edges, 439 markings/sec, 610 secs
lola: 112449578 markings, 489866806 edges, 755 markings/sec, 615 secs
lola: 112449615 markings, 489866986 edges, 7 markings/sec, 620 secs
lola: 112449672 markings, 489867296 edges, 11 markings/sec, 625 secs
lola: 112453201 markings, 489883396 edges, 706 markings/sec, 630 secs
lola: 112456806 markings, 489900854 edges, 721 markings/sec, 635 secs
lola: 112457000 markings, 489902196 edges, 39 markings/sec, 640 secs
lola: 112457144 markings, 489902604 edges, 29 markings/sec, 645 secs
lola: 112457980 markings, 489906655 edges, 167 markings/sec, 650 secs
lola: 112458885 markings, 489910794 edges, 181 markings/sec, 655 secs
lola: 112524830 markings, 490214079 edges, 13189 markings/sec, 660 secs
lola: 112527127 markings, 490223804 edges, 459 markings/sec, 665 secs
lola: 112527165 markings, 490223960 edges, 8 markings/sec, 670 secs
lola: 112527888 markings, 490227026 edges, 145 markings/sec, 675 secs
lola: 112527919 markings, 490227184 edges, 6 markings/sec, 680 secs
lola: 112527936 markings, 490227273 edges, 3 markings/sec, 685 secs
lola: 112529879 markings, 490236405 edges, 389 markings/sec, 690 secs
lola: 112533577 markings, 490253252 edges, 740 markings/sec, 695 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1957 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F ((F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF)))))) AND A (G ((FIREABLE(srG) OR (F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1957 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(srG) OR (F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((FIREABLE(srG) OR (F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF))))))
lola: processed formula length: 81
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1829175 markings, 5153930 edges, 365835 markings/sec, 0 secs
lola: 3715720 markings, 10547407 edges, 377309 markings/sec, 5 secs
lola: 5637935 markings, 16130262 edges, 384443 markings/sec, 10 secs
lola: 7170984 markings, 21227411 edges, 306610 markings/sec, 15 secs
lola: 8703311 markings, 26354263 edges, 306465 markings/sec, 20 secs
lola: 10263212 markings, 31549167 edges, 311980 markings/sec, 25 secs
lola: 11649871 markings, 36155430 edges, 277332 markings/sec, 30 secs
lola: 13055886 markings, 40848182 edges, 281203 markings/sec, 35 secs
lola: 14554071 markings, 45804082 edges, 299637 markings/sec, 40 secs
lola: 16028510 markings, 50732462 edges, 294888 markings/sec, 45 secs
lola: 17538585 markings, 55796344 edges, 302015 markings/sec, 50 secs
lola: 18792289 markings, 60432564 edges, 250741 markings/sec, 55 secs
lola: 19963817 markings, 64916743 edges, 234306 markings/sec, 60 secs
lola: 21165210 markings, 69528884 edges, 240279 markings/sec, 65 secs
lola: 22637696 markings, 74328476 edges, 294497 markings/sec, 70 secs
lola: 24075711 markings, 79033382 edges, 287603 markings/sec, 75 secs
lola: 25514517 markings, 83755143 edges, 287761 markings/sec, 80 secs
lola: 26963463 markings, 88512435 edges, 289789 markings/sec, 85 secs
lola: 28425161 markings, 93327128 edges, 292340 markings/sec, 90 secs
lola: 29972376 markings, 98366309 edges, 309443 markings/sec, 95 secs
lola: 31261069 markings, 103129774 edges, 257739 markings/sec, 100 secs
lola: 32495047 markings, 107776652 edges, 246796 markings/sec, 105 secs
lola: 33729042 markings, 112432333 edges, 246799 markings/sec, 110 secs
lola: 34963692 markings, 117102768 edges, 246930 markings/sec, 115 secs
lola: 36208088 markings, 121816696 edges, 248879 markings/sec, 120 secs
lola: 37472603 markings, 126607757 edges, 252903 markings/sec, 125 secs
lola: 38797025 markings, 131566630 edges, 264884 markings/sec, 130 secs
lola: 40047673 markings, 136008263 edges, 250130 markings/sec, 135 secs
lola: 41247955 markings, 140349926 edges, 240056 markings/sec, 140 secs
lola: 42433041 markings, 144649373 edges, 237017 markings/sec, 145 secs
lola: 43614636 markings, 148950925 edges, 236319 markings/sec, 150 secs
lola: 44797816 markings, 153258198 edges, 236636 markings/sec, 155 secs
lola: 45976525 markings, 157559151 edges, 235742 markings/sec, 160 secs
lola: 47165638 markings, 161897926 edges, 237823 markings/sec, 165 secs
lola: 48354452 markings, 166235708 edges, 237763 markings/sec, 170 secs
lola: 49555199 markings, 170628860 edges, 240149 markings/sec, 175 secs
lola: 50805559 markings, 175138732 edges, 250072 markings/sec, 180 secs
lola: 52269530 markings, 179999055 edges, 292794 markings/sec, 185 secs
lola: 53725014 markings, 184870922 edges, 291097 markings/sec, 190 secs
lola: 55203355 markings, 189850400 edges, 295668 markings/sec, 195 secs
lola: 56339566 markings, 194168380 edges, 227242 markings/sec, 200 secs
lola: 57464727 markings, 198479570 edges, 225032 markings/sec, 205 secs
lola: 58622792 markings, 202910918 edges, 231613 markings/sec, 210 secs
lola: 59852235 markings, 207490405 edges, 245889 markings/sec, 215 secs
lola: 61047387 markings, 211993983 edges, 239030 markings/sec, 220 secs
lola: 62243381 markings, 216505257 edges, 239199 markings/sec, 225 secs
lola: 63440162 markings, 221030691 edges, 239356 markings/sec, 230 secs
lola: 64648687 markings, 225607747 edges, 241705 markings/sec, 235 secs
lola: 65865718 markings, 230217392 edges, 243406 markings/sec, 240 secs
lola: 67113787 markings, 234928347 edges, 249614 markings/sec, 245 secs
lola: 68236294 markings, 239354361 edges, 224501 markings/sec, 250 secs
lola: 69266194 markings, 243583196 edges, 205980 markings/sec, 255 secs
lola: 70278045 markings, 247751911 edges, 202370 markings/sec, 260 secs
lola: 71288341 markings, 251925244 edges, 202059 markings/sec, 265 secs
lola: 72286294 markings, 256054673 edges, 199591 markings/sec, 270 secs
lola: 73292941 markings, 260218753 edges, 201329 markings/sec, 275 secs
lola: 74292352 markings, 264363003 edges, 199882 markings/sec, 280 secs
lola: 75303244 markings, 268554226 edges, 202178 markings/sec, 285 secs
lola: 76306288 markings, 272720282 edges, 200609 markings/sec, 290 secs
lola: 77326625 markings, 276946054 edges, 204067 markings/sec, 295 secs
lola: 78360117 markings, 281238803 edges, 206698 markings/sec, 300 secs
lola: 79459680 markings, 285625483 edges, 219913 markings/sec, 305 secs
lola: 80759609 markings, 290155188 edges, 259986 markings/sec, 310 secs
lola: 82037101 markings, 294643017 edges, 255498 markings/sec, 315 secs
lola: 83302602 markings, 299113202 edges, 253100 markings/sec, 320 secs
lola: 84555397 markings, 303539545 edges, 250559 markings/sec, 325 secs
lola: 85802417 markings, 307955913 edges, 249404 markings/sec, 330 secs
lola: 87042672 markings, 312363156 edges, 248051 markings/sec, 335 secs
lola: 88295022 markings, 316796592 edges, 250470 markings/sec, 340 secs
lola: 89539869 markings, 321219568 edges, 248969 markings/sec, 345 secs
lola: 90780435 markings, 325626731 edges, 248113 markings/sec, 350 secs
lola: 92030968 markings, 330069512 edges, 250107 markings/sec, 355 secs
lola: 93288182 markings, 334535426 edges, 251443 markings/sec, 360 secs
lola: 94533058 markings, 338960071 edges, 248975 markings/sec, 365 secs
lola: 95789519 markings, 343438552 edges, 251292 markings/sec, 370 secs
lola: 97046557 markings, 347903560 edges, 251408 markings/sec, 375 secs
lola: 98316815 markings, 352433085 edges, 254052 markings/sec, 380 secs
lola: 99595407 markings, 356977278 edges, 255718 markings/sec, 385 secs
lola: 100884975 markings, 361587569 edges, 257914 markings/sec, 390 secs
lola: 102221130 markings, 366318531 edges, 267231 markings/sec, 395 secs
lola: 103333666 markings, 370759039 edges, 222507 markings/sec, 400 secs
lola: 104435797 markings, 375177485 edges, 220426 markings/sec, 405 secs
lola: 105526929 markings, 379570361 edges, 218226 markings/sec, 410 secs
lola: 106607193 markings, 383930362 edges, 216053 markings/sec, 415 secs
lola: 107684219 markings, 388277004 edges, 215405 markings/sec, 420 secs
lola: 108767152 markings, 392647142 edges, 216587 markings/sec, 425 secs
lola: 109842199 markings, 396997623 edges, 215009 markings/sec, 430 secs
lola: 110919214 markings, 401356024 edges, 215403 markings/sec, 435 secs
lola: 111997192 markings, 405719209 edges, 215596 markings/sec, 440 secs
lola: 113072481 markings, 410071180 edges, 215058 markings/sec, 445 secs
lola: 114139505 markings, 414406169 edges, 213405 markings/sec, 450 secs
lola: 115233794 markings, 418833738 edges, 218858 markings/sec, 455 secs
lola: 116313694 markings, 423213558 edges, 215980 markings/sec, 460 secs
lola: 116645760 markings, 424558070 edges, 66413 markings/sec, 465 secs
lola: 116646503 markings, 424561138 edges, 149 markings/sec, 470 secs
lola: 116648543 markings, 424569596 edges, 408 markings/sec, 475 secs
lola: 116648568 markings, 424569691 edges, 5 markings/sec, 480 secs
lola: 116724741 markings, 424879847 edges, 15235 markings/sec, 485 secs
lola: 116724777 markings, 424880002 edges, 7 markings/sec, 490 secs
lola: 116724832 markings, 424880235 edges, 11 markings/sec, 495 secs
lola: 116724890 markings, 424880464 edges, 12 markings/sec, 500 secs
lola: 116728536 markings, 424895574 edges, 729 markings/sec, 505 secs
lola: 116728901 markings, 424897073 edges, 73 markings/sec, 510 secs
lola: 116732837 markings, 424913351 edges, 787 markings/sec, 515 secs
lola: 116736126 markings, 424926963 edges, 658 markings/sec, 520 secs
lola: 116745896 markings, 424966350 edges, 1954 markings/sec, 525 secs
lola: 116745937 markings, 424966505 edges, 8 markings/sec, 530 secs
lola: 116748997 markings, 424979182 edges, 612 markings/sec, 535 secs
lola: 116750096 markings, 424983701 edges, 220 markings/sec, 540 secs
lola: Child process aborted or communication problem between parent and child process
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(csR) OR (F (G (NOT FIREABLE(msG))) OR X (F ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((NOT FIREABLE(csR) OR (F (G (NOT FIREABLE(msG))) OR X (F ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))))
lola: processed formula length: 107
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2275625 markings, 5408339 edges, 455125 markings/sec, 0 secs
lola: 4400163 markings, 11061085 edges, 424908 markings/sec, 5 secs
lola: 6254039 markings, 16282289 edges, 370775 markings/sec, 10 secs
lola: 8041980 markings, 21380440 edges, 357588 markings/sec, 15 secs
lola: 9767320 markings, 26343439 edges, 345068 markings/sec, 20 secs
lola: 11467011 markings, 31228903 edges, 339938 markings/sec, 25 secs
lola: 13162456 markings, 36100944 edges, 339089 markings/sec, 30 secs
lola: 14815349 markings, 40905997 edges, 330579 markings/sec, 35 secs
lola: 16491192 markings, 45719754 edges, 335169 markings/sec, 40 secs
lola: 18116750 markings, 50436901 edges, 325112 markings/sec, 45 secs
lola: 19736464 markings, 55142392 edges, 323943 markings/sec, 50 secs
lola: 21348231 markings, 59826814 edges, 322353 markings/sec, 55 secs
lola: 22965632 markings, 64526906 edges, 323480 markings/sec, 60 secs
lola: 24605386 markings, 69292251 edges, 327951 markings/sec, 65 secs
lola: 26255455 markings, 74086751 edges, 330014 markings/sec, 70 secs
lola: 27892125 markings, 78847502 edges, 327334 markings/sec, 75 secs
lola: 29473312 markings, 83518453 edges, 316237 markings/sec, 80 secs
lola: 31076835 markings, 88170708 edges, 320705 markings/sec, 85 secs
lola: 32335828 markings, 92996956 edges, 251799 markings/sec, 90 secs
lola: 33550505 markings, 97443273 edges, 242935 markings/sec, 95 secs
lola: 34706440 markings, 100788980 edges, 231187 markings/sec, 100 secs
lola: 35789439 markings, 104122742 edges, 216600 markings/sec, 105 secs
lola: 37521514 markings, 109253207 edges, 346415 markings/sec, 110 secs
lola: 39065931 markings, 114061306 edges, 308883 markings/sec, 115 secs
lola: 40588700 markings, 118824083 edges, 304554 markings/sec, 120 secs
lola: 42056731 markings, 123483595 edges, 293606 markings/sec, 125 secs
lola: 43501149 markings, 128093792 edges, 288884 markings/sec, 130 secs
lola: 44940772 markings, 132696891 edges, 287925 markings/sec, 135 secs
lola: 46314648 markings, 137217335 edges, 274775 markings/sec, 140 secs
lola: 47722588 markings, 141707762 edges, 281588 markings/sec, 145 secs
lola: 49149632 markings, 146254528 edges, 285409 markings/sec, 150 secs
lola: 50488615 markings, 150688844 edges, 267797 markings/sec, 155 secs
lola: 51881230 markings, 155110117 edges, 278523 markings/sec, 160 secs
lola: 53195935 markings, 159491274 edges, 262941 markings/sec, 165 secs
lola: 54594738 markings, 163910477 edges, 279761 markings/sec, 170 secs
lola: 55910657 markings, 168295413 edges, 263184 markings/sec, 175 secs
lola: 57310170 markings, 172724409 edges, 279903 markings/sec, 180 secs
lola: 58600335 markings, 177022213 edges, 258033 markings/sec, 185 secs
lola: 60015371 markings, 181510674 edges, 283007 markings/sec, 190 secs
lola: 61285584 markings, 185725699 edges, 254043 markings/sec, 195 secs
lola: 62597465 markings, 190111655 edges, 262376 markings/sec, 200 secs
lola: 63985329 markings, 194485335 edges, 277573 markings/sec, 205 secs
lola: 65239678 markings, 198661112 edges, 250870 markings/sec, 210 secs
lola: 66566553 markings, 203056041 edges, 265375 markings/sec, 215 secs
lola: 67922834 markings, 207356254 edges, 271256 markings/sec, 220 secs
lola: 69168476 markings, 211502226 edges, 249128 markings/sec, 225 secs
lola: 70461633 markings, 215839165 edges, 258631 markings/sec, 230 secs
lola: 71843368 markings, 220178877 edges, 276347 markings/sec, 235 secs
lola: 73082223 markings, 224299202 edges, 247771 markings/sec, 240 secs
lola: 74337292 markings, 228506723 edges, 251014 markings/sec, 245 secs
lola: 75730814 markings, 232933204 edges, 278704 markings/sec, 250 secs
lola: 76984343 markings, 237063489 edges, 250706 markings/sec, 255 secs
lola: 78208870 markings, 241152637 edges, 244905 markings/sec, 260 secs
lola: 79480467 markings, 245415797 edges, 254319 markings/sec, 265 secs
lola: 80872359 markings, 249800449 edges, 278378 markings/sec, 270 secs
lola: 82102463 markings, 253879684 edges, 246021 markings/sec, 275 secs
lola: 83318723 markings, 257940138 edges, 243252 markings/sec, 280 secs
lola: 84577877 markings, 262161043 edges, 251831 markings/sec, 285 secs
lola: 85967595 markings, 266559478 edges, 277944 markings/sec, 290 secs
lola: 87200037 markings, 270632237 edges, 246488 markings/sec, 295 secs
lola: 88414223 markings, 274685950 edges, 242837 markings/sec, 300 secs
lola: 89648136 markings, 278821059 edges, 246783 markings/sec, 305 secs
lola: 90942528 markings, 283153959 edges, 258878 markings/sec, 310 secs
lola: 92300220 markings, 287399930 edges, 271538 markings/sec, 315 secs
lola: 93519112 markings, 291455290 edges, 243778 markings/sec, 320 secs
lola: 94720479 markings, 295480192 edges, 240273 markings/sec, 325 secs
lola: 95968687 markings, 299663307 edges, 249642 markings/sec, 330 secs
lola: 97299119 markings, 304003595 edges, 266086 markings/sec, 335 secs
lola: 98594722 markings, 308145999 edges, 259121 markings/sec, 340 secs
lola: 99804989 markings, 312171364 edges, 242053 markings/sec, 345 secs
lola: 101002474 markings, 316183055 edges, 239497 markings/sec, 350 secs
lola: 102216162 markings, 320264421 edges, 242738 markings/sec, 355 secs
lola: 103474158 markings, 324496398 edges, 251599 markings/sec, 360 secs
lola: 104816557 markings, 328665524 edges, 268480 markings/sec, 365 secs
lola: 105987688 markings, 332558693 edges, 234226 markings/sec, 370 secs
lola: 107173324 markings, 336519522 edges, 237127 markings/sec, 375 secs
lola: 108351936 markings, 340477080 edges, 235722 markings/sec, 380 secs
lola: 109574673 markings, 344589244 edges, 244547 markings/sec, 385 secs
lola: 110895539 markings, 348865782 edges, 264173 markings/sec, 390 secs
lola: 112149357 markings, 352880296 edges, 250764 markings/sec, 395 secs
lola: 113309700 markings, 356751246 edges, 232069 markings/sec, 400 secs
lola: 114503160 markings, 360736804 edges, 238692 markings/sec, 405 secs
lola: 115688450 markings, 364718744 edges, 237058 markings/sec, 410 secs
lola: 116548141 markings, 367611301 edges, 171938 markings/sec, 415 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(ssG))))
lola: processed formula length: 25
lola: 92 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: 1677672 markings, 5108664 edges, 335534 markings/sec, 0 secs
lola: 3355615 markings, 10947313 edges, 335589 markings/sec, 5 secs
lola: 4993458 markings, 16730675 edges, 327569 markings/sec, 10 secs
lola: 6577460 markings, 22518891 edges, 316800 markings/sec, 15 secs
lola: 8136975 markings, 28195626 edges, 311903 markings/sec, 20 secs
lola: 9752169 markings, 34025289 edges, 323039 markings/sec, 25 secs
lola: 11243643 markings, 39562711 edges, 298295 markings/sec, 30 secs
lola: 12759944 markings, 45153336 edges, 303260 markings/sec, 35 secs
lola: 14376809 markings, 50995636 edges, 323373 markings/sec, 40 secs
lola: 15852951 markings, 56545300 edges, 295228 markings/sec, 45 secs
lola: 17266711 markings, 61808835 edges, 282752 markings/sec, 50 secs
lola: 18729203 markings, 67330983 edges, 292498 markings/sec, 55 secs
lola: 20370891 markings, 73193673 edges, 328338 markings/sec, 60 secs
lola: 21847765 markings, 78805269 edges, 295375 markings/sec, 65 secs
lola: 23327069 markings, 84350554 edges, 295861 markings/sec, 70 secs
lola: 24684131 markings, 89444152 edges, 271412 markings/sec, 75 secs
lola: 26053521 markings, 94856751 edges, 273878 markings/sec, 80 secs
lola: 27725322 markings, 100622206 edges, 334360 markings/sec, 85 secs
lola: 29211199 markings, 106300727 edges, 297175 markings/sec, 90 secs
lola: 30653415 markings, 111794927 edges, 288443 markings/sec, 95 secs
lola: 32104937 markings, 117235912 edges, 290304 markings/sec, 100 secs
lola: 33445499 markings, 122302022 edges, 268112 markings/sec, 105 secs
lola: 34680713 markings, 127375187 edges, 247043 markings/sec, 110 secs
lola: 36186089 markings, 132801672 edges, 301075 markings/sec, 115 secs
lola: 37833722 markings, 138650568 edges, 329527 markings/sec, 120 secs
lola: 39308380 markings, 144305315 edges, 294932 markings/sec, 125 secs
lola: 40750467 markings, 149816959 edges, 288417 markings/sec, 130 secs
lola: 42186503 markings, 155263977 edges, 287207 markings/sec, 135 secs
lola: 43592171 markings, 160546301 edges, 281134 markings/sec, 140 secs
lola: 44931811 markings, 165624479 edges, 267928 markings/sec, 145 secs
lola: 46133805 markings, 170578550 edges, 240399 markings/sec, 150 secs
lola: 47556553 markings, 175957119 edges, 284550 markings/sec, 155 secs
lola: 49242910 markings, 181753660 edges, 337271 markings/sec, 160 secs
lola: 50728783 markings, 187466872 edges, 297175 markings/sec, 165 secs
lola: 52171764 markings, 193007653 edges, 288596 markings/sec, 170 secs
lola: 53594514 markings, 198451952 edges, 284550 markings/sec, 175 secs
lola: 55010862 markings, 203834861 edges, 283270 markings/sec, 180 secs
lola: 56428412 markings, 209186437 edges, 283510 markings/sec, 185 secs
lola: 57751351 markings, 214203659 edges, 264588 markings/sec, 190 secs
lola: 59011089 markings, 218964608 edges, 251948 markings/sec, 195 secs
lola: 60066517 markings, 223978679 edges, 211086 markings/sec, 200 secs
lola: 61621985 markings, 229376048 edges, 311094 markings/sec, 205 secs
lola: 63311814 markings, 235172327 edges, 337966 markings/sec, 210 secs
lola: 64829467 markings, 241020775 edges, 303531 markings/sec, 215 secs
lola: 66296494 markings, 246662648 edges, 293405 markings/sec, 220 secs
lola: 67736681 markings, 252201362 edges, 288037 markings/sec, 225 secs
lola: 69166487 markings, 257669993 edges, 285961 markings/sec, 230 secs
lola: 70593618 markings, 263075349 edges, 285426 markings/sec, 235 secs
lola: 72009051 markings, 268446984 edges, 283087 markings/sec, 240 secs
lola: 73329355 markings, 273452038 edges, 264061 markings/sec, 245 secs
lola: 74625012 markings, 278400241 edges, 259131 markings/sec, 250 secs
lola: 75860400 markings, 283083021 edges, 247078 markings/sec, 255 secs
lola: 76981626 markings, 288405996 edges, 224245 markings/sec, 260 secs
lola: 78586475 markings, 293826361 edges, 320970 markings/sec, 265 secs
lola: 80245675 markings, 299737309 edges, 331840 markings/sec, 270 secs
lola: 81725417 markings, 305443556 edges, 295948 markings/sec, 275 secs
lola: 83165115 markings, 311000759 edges, 287940 markings/sec, 280 secs
lola: 84580539 markings, 316442796 edges, 283085 markings/sec, 285 secs
lola: 85984667 markings, 321839662 edges, 280826 markings/sec, 290 secs
lola: 87382007 markings, 327180867 edges, 279468 markings/sec, 295 secs
lola: 88809783 markings, 332536117 edges, 285555 markings/sec, 300 secs
lola: 90162138 markings, 337730176 edges, 270471 markings/sec, 305 secs
lola: 91423624 markings, 342530076 edges, 252297 markings/sec, 310 secs
lola: 92721871 markings, 347465990 edges, 259649 markings/sec, 315 secs
lola: 93975551 markings, 352250785 edges, 250736 markings/sec, 320 secs
lola: 95047608 markings, 357199568 edges, 214411 markings/sec, 325 secs
lola: 96307811 markings, 362292087 edges, 252041 markings/sec, 330 secs
lola: 97887511 markings, 367624669 edges, 315940 markings/sec, 335 secs
lola: 99548411 markings, 373553052 edges, 332180 markings/sec, 340 secs
lola: 101006040 markings, 379183124 edges, 291526 markings/sec, 345 secs
lola: 102428480 markings, 384694915 edges, 284488 markings/sec, 350 secs
lola: 103821744 markings, 390053855 edges, 278653 markings/sec, 355 secs
lola: 105198466 markings, 395356619 edges, 275344 markings/sec, 360 secs
lola: 106572793 markings, 400636833 edges, 274865 markings/sec, 365 secs
lola: 107946912 markings, 405900922 edges, 274824 markings/sec, 370 secs
lola: 109334320 markings, 411136074 edges, 277482 markings/sec, 375 secs
lola: 110719769 markings, 416407746 edges, 277090 markings/sec, 380 secs
lola: 112000841 markings, 421310931 edges, 256214 markings/sec, 385 secs
lola: 113274314 markings, 426181584 edges, 254695 markings/sec, 390 secs
lola: 114518435 markings, 430936005 edges, 248824 markings/sec, 395 secs
lola: 115595189 markings, 435033683 edges, 215351 markings/sec, 400 secs
lola: 115906423 markings, 436237360 edges, 62247 markings/sec, 405 secs
lola: 116058323 markings, 436821604 edges, 30380 markings/sec, 410 secs
lola: 116058358 markings, 436821716 edges, 7 markings/sec, 415 secs
lola: 116150313 markings, 437172329 edges, 18391 markings/sec, 420 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U (G (NOT FIREABLE(msG)) OR G (FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U (G (NOT FIREABLE(msG)) OR G (FIREABLE(csF)))))
lola: processed formula length: 97
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 1460522 markings, 5274452 edges, 292104 markings/sec, 0 secs
lola: 2757593 markings, 10282107 edges, 259414 markings/sec, 5 secs
lola: 3936968 markings, 15026743 edges, 235875 markings/sec, 10 secs
lola: 5130488 markings, 19786380 edges, 238704 markings/sec, 15 secs
lola: 6224335 markings, 24407897 edges, 218769 markings/sec, 20 secs
lola: 7416042 markings, 29222433 edges, 238341 markings/sec, 25 secs
lola: 8614163 markings, 33986110 edges, 239624 markings/sec, 30 secs
lola: 9765330 markings, 38680244 edges, 230233 markings/sec, 35 secs
lola: 10790084 markings, 43186182 edges, 204951 markings/sec, 40 secs
lola: 11846304 markings, 47597812 edges, 211244 markings/sec, 45 secs
lola: 12931726 markings, 52079247 edges, 217084 markings/sec, 50 secs
lola: 13978070 markings, 56358728 edges, 209269 markings/sec, 55 secs
lola: 15051636 markings, 60896240 edges, 214713 markings/sec, 60 secs
lola: 16049954 markings, 65292598 edges, 199664 markings/sec, 65 secs
lola: 17032308 markings, 69638086 edges, 196471 markings/sec, 70 secs
lola: 18021660 markings, 73993513 edges, 197870 markings/sec, 75 secs
lola: 18974028 markings, 78276454 edges, 190474 markings/sec, 80 secs
lola: 20038698 markings, 82749560 edges, 212934 markings/sec, 85 secs
lola: 21056773 markings, 87219503 edges, 203615 markings/sec, 90 secs
lola: 22166843 markings, 91804643 edges, 222014 markings/sec, 95 secs
lola: 23177321 markings, 96256118 edges, 202096 markings/sec, 100 secs
lola: 24295698 markings, 100848143 edges, 223675 markings/sec, 105 secs
lola: 25436900 markings, 105534646 edges, 228240 markings/sec, 110 secs
lola: 26517531 markings, 110206221 edges, 216126 markings/sec, 115 secs
lola: 27683530 markings, 114781583 edges, 233200 markings/sec, 120 secs
lola: 28778317 markings, 119333276 edges, 218957 markings/sec, 125 secs
lola: 29768020 markings, 123709639 edges, 197941 markings/sec, 130 secs
lola: 30855825 markings, 128181992 edges, 217561 markings/sec, 135 secs
lola: 31843618 markings, 132485782 edges, 197559 markings/sec, 140 secs
lola: 32748052 markings, 136694578 edges, 180887 markings/sec, 145 secs
lola: 33720522 markings, 141022828 edges, 194494 markings/sec, 150 secs
lola: 34612078 markings, 145235109 edges, 178311 markings/sec, 155 secs
lola: 35603244 markings, 149387186 edges, 198233 markings/sec, 160 secs
lola: 36535866 markings, 153420157 edges, 186524 markings/sec, 165 secs
lola: 37468564 markings, 157620279 edges, 186540 markings/sec, 170 secs
lola: 38420986 markings, 161755138 edges, 190484 markings/sec, 175 secs
lola: 39492062 markings, 166160710 edges, 214215 markings/sec, 180 secs
lola: 40485698 markings, 170401627 edges, 198727 markings/sec, 185 secs
lola: 41430274 markings, 174527280 edges, 188915 markings/sec, 190 secs
lola: 42509412 markings, 178973726 edges, 215828 markings/sec, 195 secs
lola: 43475879 markings, 183263390 edges, 193293 markings/sec, 200 secs
lola: 44432720 markings, 187513533 edges, 191368 markings/sec, 205 secs
lola: 45347767 markings, 191678337 edges, 183009 markings/sec, 210 secs
lola: 46262660 markings, 195850914 edges, 182979 markings/sec, 215 secs
lola: 47164404 markings, 199972565 edges, 180349 markings/sec, 220 secs
lola: 48092472 markings, 204153544 edges, 185614 markings/sec, 225 secs
lola: 48954814 markings, 208236790 edges, 172468 markings/sec, 230 secs
lola: 49905874 markings, 212428143 edges, 190212 markings/sec, 235 secs
lola: 50755710 markings, 216429488 edges, 169967 markings/sec, 240 secs
lola: 51608582 markings, 220511779 edges, 170574 markings/sec, 245 secs
lola: 52563033 markings, 224701414 edges, 190890 markings/sec, 250 secs
lola: 53433783 markings, 228742554 edges, 174150 markings/sec, 255 secs
lola: 54247550 markings, 232692271 edges, 162753 markings/sec, 260 secs
lola: 55150881 markings, 236849498 edges, 180666 markings/sec, 265 secs
lola: 56159591 markings, 241139724 edges, 201742 markings/sec, 270 secs
lola: 57187871 markings, 245499066 edges, 205656 markings/sec, 275 secs
lola: 58052101 markings, 249551507 edges, 172846 markings/sec, 280 secs
lola: 58856732 markings, 253527112 edges, 160926 markings/sec, 285 secs
lola: 59776780 markings, 257757482 edges, 184010 markings/sec, 290 secs
lola: 60910240 markings, 262391001 edges, 226692 markings/sec, 295 secs
lola: 61955178 markings, 266811550 edges, 208988 markings/sec, 300 secs
lola: 62906645 markings, 271089127 edges, 190293 markings/sec, 305 secs
lola: 63942059 markings, 275468027 edges, 207083 markings/sec, 310 secs
lola: 64861551 markings, 279660309 edges, 183898 markings/sec, 315 secs
lola: 65744756 markings, 283825316 edges, 176641 markings/sec, 320 secs
lola: 66651828 markings, 287922227 edges, 181414 markings/sec, 325 secs
lola: 67728990 markings, 292271283 edges, 215432 markings/sec, 330 secs
lola: 69161457 markings, 297100197 edges, 286493 markings/sec, 335 secs
lola: 70379568 markings, 301543201 edges, 243622 markings/sec, 340 secs
lola: 71484214 markings, 305944597 edges, 220929 markings/sec, 345 secs
lola: 72558367 markings, 310435898 edges, 214831 markings/sec, 350 secs
lola: 73569196 markings, 314794303 edges, 202166 markings/sec, 355 secs
lola: 74530884 markings, 319033582 edges, 192338 markings/sec, 360 secs
lola: 75533366 markings, 323334192 edges, 200496 markings/sec, 365 secs
lola: 76412301 markings, 327428039 edges, 175787 markings/sec, 370 secs
lola: 77295237 markings, 331564398 edges, 176587 markings/sec, 375 secs
lola: 78198981 markings, 335620270 edges, 180749 markings/sec, 380 secs
lola: 79252038 markings, 339948290 edges, 210611 markings/sec, 385 secs
lola: 80229448 markings, 344226530 edges, 195482 markings/sec, 390 secs
lola: 81204401 markings, 348432145 edges, 194991 markings/sec, 395 secs
lola: 82076782 markings, 352434946 edges, 174476 markings/sec, 400 secs
lola: 82891788 markings, 356349009 edges, 163001 markings/sec, 405 secs
lola: 83708155 markings, 360294204 edges, 163273 markings/sec, 410 secs
lola: 84538059 markings, 364331659 edges, 165981 markings/sec, 415 secs
lola: 85483771 markings, 368547074 edges, 189142 markings/sec, 420 secs
lola: 86365578 markings, 372596596 edges, 176361 markings/sec, 425 secs
lola: 87189111 markings, 376549287 edges, 164707 markings/sec, 430 secs
lola: 87985987 markings, 380514272 edges, 159375 markings/sec, 435 secs
lola: 88826241 markings, 384569820 edges, 168051 markings/sec, 440 secs
lola: 89777899 markings, 388641568 edges, 190332 markings/sec, 445 secs
lola: 90695529 markings, 392565351 edges, 183526 markings/sec, 450 secs
lola: 91591167 markings, 396453652 edges, 179128 markings/sec, 455 secs
lola: 92452080 markings, 400332821 edges, 172183 markings/sec, 460 secs
lola: 93308440 markings, 404151446 edges, 171272 markings/sec, 465 secs
lola: 94197165 markings, 408150935 edges, 177745 markings/sec, 470 secs
lola: 95073140 markings, 412192591 edges, 175195 markings/sec, 475 secs
lola: 95905633 markings, 416128317 edges, 166499 markings/sec, 480 secs
lola: 96769556 markings, 419993851 edges, 172785 markings/sec, 485 secs
lola: 97574441 markings, 423817230 edges, 160977 markings/sec, 490 secs
lola: 98621334 markings, 428129218 edges, 209379 markings/sec, 495 secs
lola: 99604018 markings, 432304308 edges, 196537 markings/sec, 500 secs
lola: 100566815 markings, 436424700 edges, 192559 markings/sec, 505 secs
lola: 101502020 markings, 440453471 edges, 187041 markings/sec, 510 secs
lola: 102399468 markings, 444423654 edges, 179490 markings/sec, 515 secs
lola: 103233482 markings, 448304254 edges, 166803 markings/sec, 520 secs
lola: 104122805 markings, 452269421 edges, 177865 markings/sec, 525 secs
lola: 105043187 markings, 456249195 edges, 184076 markings/sec, 530 secs
lola: 106045097 markings, 460491553 edges, 200382 markings/sec, 535 secs
lola: 106995766 markings, 464702661 edges, 190134 markings/sec, 540 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no no yes no yes unknown yes unknown no yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown no no no no no yes no yes unknown yes unknown no yes no unknown
preliminary result: unknown no no no no no yes no yes unknown yes unknown no yes no unknown
lola: memory consumption: 10476 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589284533413
--------------------
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="ClientsAndServers-PT-N0020P3"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is ClientsAndServers-PT-N0020P3, 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 r045-smll-158902068200050"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0020P3.tgz
mv ClientsAndServers-PT-N0020P3 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 ;