About the Execution of 2019-Gold for ClientsAndServers-PT-N0100P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.180 | 3570211.00 | 3582458.00 | 11823.70 | F?FFFFFT?FFFFFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r045-smll-158902068300056.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-N0100P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300056
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-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.9K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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.6K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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-N0100P0-00
FORMULA_NAME ClientsAndServers-PT-N0100P0-01
FORMULA_NAME ClientsAndServers-PT-N0100P0-02
FORMULA_NAME ClientsAndServers-PT-N0100P0-03
FORMULA_NAME ClientsAndServers-PT-N0100P0-04
FORMULA_NAME ClientsAndServers-PT-N0100P0-05
FORMULA_NAME ClientsAndServers-PT-N0100P0-06
FORMULA_NAME ClientsAndServers-PT-N0100P0-07
FORMULA_NAME ClientsAndServers-PT-N0100P0-08
FORMULA_NAME ClientsAndServers-PT-N0100P0-09
FORMULA_NAME ClientsAndServers-PT-N0100P0-10
FORMULA_NAME ClientsAndServers-PT-N0100P0-11
FORMULA_NAME ClientsAndServers-PT-N0100P0-12
FORMULA_NAME ClientsAndServers-PT-N0100P0-13
FORMULA_NAME ClientsAndServers-PT-N0100P0-14
FORMULA_NAME ClientsAndServers-PT-N0100P0-15
=== Now, execution of the tool begins
BK_START 1589296793877
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0100P0 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0100P0-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-01 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0100P0-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0100P0
{
"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 15:19:53 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A ((NOT FIREABLE(srF) OR X (FIREABLE(srF))))",
"processed_size": 44,
"rewrites": 111
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 238
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"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": 2
},
"processed": "A (X (X (G ((FIREABLE(srF) AND X (FIREABLE(ssG)))))))",
"processed_size": 53,
"rewrites": 111
},
"result":
{
"edges": 5001,
"markings": 5001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 238
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 238
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (FIREABLE(mrF)))",
"processed_size": 21,
"rewrites": 113
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 257
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"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": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (X (G ((FIREABLE(msG) OR X (G (FIREABLE(csR))))))))",
"processed_size": 56,
"rewrites": 111
},
"result":
{
"edges": 5001,
"markings": 5001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 278
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 278
},
"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(mrR)))",
"processed_size": 21,
"rewrites": 111
},
"result":
{
"edges": 5001,
"markings": 5001,
"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": 303
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X ((X (FIREABLE(csR)) OR (X (FIREABLE(srF)) OR (X (F (FIREABLE(srF))) AND F (G (FIREABLE(msG))))))))",
"processed_size": 103,
"rewrites": 111
},
"result":
{
"edges": 6,
"markings": 7,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 8
},
"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": 334
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"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": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F ((X (G (FIREABLE(msG))) AND G (F ((NOT FIREABLE(msG) R NOT FIREABLE(csR)))))))",
"processed_size": 83,
"rewrites": 111
},
"result":
{
"edges": 5001,
"markings": 5001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 371
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"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": 2
},
"processed": "A (X ((FIREABLE(mrF) OR (G (FIREABLE(ssA)) AND F (FIREABLE(mrF))))))",
"processed_size": 68,
"rewrites": 111
},
"result":
{
"edges": 5001,
"markings": 5001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"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": 417
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"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 (F (FIREABLE(msA))))",
"processed_size": 25,
"rewrites": 111
},
"result":
{
"edges": 5001,
"markings": 5001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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": 487
},
"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(csF))))",
"processed_size": 29,
"rewrites": 111
},
"result":
{
"edges": 259051395,
"markings": 32567216,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 557
},
"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 (G (F (NOT FIREABLE(ssG))))",
"processed_size": 29,
"rewrites": 111
},
"result":
{
"edges": 24856,
"markings": 22854,
"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": 743
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((FIREABLE(msA) U (F (FIREABLE(srF)) AND G (NOT FIREABLE(msA)))))",
"processed_size": 67,
"rewrites": 111
},
"result":
{
"edges": 5001,
"markings": 5001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"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": 1667
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1667
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 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": "FIREABLE(maU)",
"processed_size": 13,
"rewrites": 111
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 2,
"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 (X (FIREABLE(msA))))",
"processed_size": 25,
"rewrites": 111
},
"result":
{
"edges": 5001,
"markings": 5001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 18,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 17,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 10496,
"runtime": 3571.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(F(*))) : A(F((X(G(*)) OR (G(*) R X(X(G(*))))))) : (A(X(X(G((** AND X(**)))))) AND A((** OR X(**)))) : (A(G(**)) AND A(X(G((F(**) OR X(**)))))) : A((** U (F(**) AND G(*)))) : A(X(X(G((** OR X(G(**))))))) : (A(X(**)) AND A(X((F(**) U (** AND X(**)))))) : A(X((X(**) OR (X(**) OR (X(F(**)) AND F(G(**))))))) : A((** OR (G(*) AND F(**)))) : A(F((X(G(**)) AND G(F((* R *)))))) : A(X((** OR (G(**) AND F(**))))) : (A(X(X(**))) AND A(G(F((** AND (** U X(**))))))) : (** AND A((F(**) OR (** U **)))) : A(X(F(**))) : A(F(G(*))) : A(G(F((* OR (X(*) OR F(G(*)))))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"interim_value": "no unknown no no no no no yes unknown no no no no no no unknown ",
"preliminary_value": "no unknown no no no no no yes unknown no no no no no 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 (X (F (NOT(F (G (FIREABLE(ssG))))))) : A (NOT(G ((X (F (FIREABLE(srR))) AND (F (FIREABLE(mfU)) U X (F (X (FIREABLE(mfU))))))))) : A ((X (G (X ((FIREABLE(srF) AND X (FIREABLE(ssG)))))) AND (NOT FIREABLE(srF) OR X (FIREABLE(srF))))) : A (G ((FIREABLE(mrF) AND X ((F (FIREABLE(mrR)) OR X (FIREABLE(mrF))))))) : A ((FIREABLE(msA) U (F (FIREABLE(srF)) AND G (NOT(F (FIREABLE(msA))))))) : A (X (G ((X (FIREABLE(msG)) OR X (X (G (FIREABLE(csR)))))))) : A (X ((FIREABLE(mrR) AND (F (FIREABLE(ssF)) U (FIREABLE(ssR) AND X (FIREABLE(ssF))))))) : A (X ((X (FIREABLE(csR)) OR (F (G (X (X (X (FIREABLE(msG)))))) U X (FIREABLE(srF)))))) : A ((NOT((X (X ((X (FIREABLE(csF)) OR X (F (NOT FIREABLE(mfU)))))) U F (FIREABLE(mfU)))) U FIREABLE(csF))) : A (F ((G (X (G (FIREABLE(msG)))) AND G (F (NOT((FIREABLE(msG) U FIREABLE(csR)))))))) : A (X ((G (FIREABLE(ssA)) U FIREABLE(mrF)))) : A (X ((X (FIREABLE(msA)) AND F (NOT(F (G (NOT((FIREABLE(msG) AND (FIREABLE(msA) U X (FIREABLE(srG)))))))))))) : A ((FIREABLE(maU) AND (F ((FIREABLE(mrR) AND FIREABLE(ssF))) OR ((FIREABLE(ssF) U FIREABLE(maU)) U FIREABLE(ssF))))) : A (X (F (((FIREABLE(srF) U (FIREABLE(crA) AND FIREABLE(srF))) U (FIREABLE(srF) U FIREABLE(msA)))))) : A (NOT(G (F (X (G (F (((FIREABLE(crG) U NOT FIREABLE(srR)) U F (FIREABLE(csF)))))))))) : A (NOT(G (NOT(G (F (NOT(((FIREABLE(msG) AND X (FIREABLE(srF))) AND X (G (F (FIREABLE(maU))))))))))))
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:371
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:528
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:485
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
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:377
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((X (G (NOT FIREABLE(srR))) OR (G (NOT FIREABLE(mfU)) R X (X (G (NOT FIREABLE(mfU))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X (G (NOT FIREABLE(srR))) OR (G (NOT FIREABLE(mfU)) R X (X (G (NOT FIREABLE(mfU))))))))
lola: processed formula length: 94
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 26 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: 1222326 markings, 6802432 edges, 244465 markings/sec, 0 secs
lola: 2398340 markings, 13837275 edges, 235203 markings/sec, 5 secs
lola: 3579752 markings, 20901875 edges, 236282 markings/sec, 10 secs
lola: 4730125 markings, 27780451 edges, 230075 markings/sec, 15 secs
lola: 5865649 markings, 34570290 edges, 227105 markings/sec, 20 secs
lola: 6987790 markings, 41282548 edges, 224428 markings/sec, 25 secs
lola: 8110440 markings, 47995254 edges, 224530 markings/sec, 30 secs
lola: 9218835 markings, 54622489 edges, 221679 markings/sec, 35 secs
lola: 10298003 markings, 61077185 edges, 215834 markings/sec, 40 secs
lola: 11434495 markings, 67872784 edges, 227298 markings/sec, 45 secs
lola: 12457906 markings, 73993410 edges, 204682 markings/sec, 50 secs
lola: 13560636 markings, 80586955 edges, 220546 markings/sec, 55 secs
lola: 14548895 markings, 86496931 edges, 197652 markings/sec, 60 secs
lola: 15636618 markings, 93003102 edges, 217545 markings/sec, 65 secs
lola: 16705932 markings, 99396174 edges, 213863 markings/sec, 70 secs
lola: 17758445 markings, 105691118 edges, 210503 markings/sec, 75 secs
lola: 18874510 markings, 112364580 edges, 223213 markings/sec, 80 secs
lola: 20020356 markings, 119218738 edges, 229169 markings/sec, 85 secs
lola: 21153392 markings, 125993490 edges, 226607 markings/sec, 90 secs
lola: 22216747 markings, 132353439 edges, 212671 markings/sec, 95 secs
lola: 23353822 markings, 139152573 edges, 227415 markings/sec, 100 secs
lola: 24466862 markings, 145807599 edges, 222608 markings/sec, 105 secs
lola: 25554274 markings, 152311863 edges, 217482 markings/sec, 110 secs
lola: 26684658 markings, 159070659 edges, 226077 markings/sec, 115 secs
lola: 27805337 markings, 165774593 edges, 224136 markings/sec, 120 secs
lola: 28908968 markings, 172372984 edges, 220726 markings/sec, 125 secs
lola: 29996161 markings, 178873454 edges, 217439 markings/sec, 130 secs
lola: 31096799 markings, 185456618 edges, 220128 markings/sec, 135 secs
lola: 32181502 markings, 191942006 edges, 216941 markings/sec, 140 secs
lola: 33250448 markings, 198335172 edges, 213789 markings/sec, 145 secs
lola: 34381206 markings, 205096598 edges, 226152 markings/sec, 150 secs
lola: 35536250 markings, 212006133 edges, 231009 markings/sec, 155 secs
lola: 36680789 markings, 218849651 edges, 228908 markings/sec, 160 secs
lola: 37813043 markings, 225619886 edges, 226451 markings/sec, 165 secs
lola: 38956170 markings, 232455312 edges, 228625 markings/sec, 170 secs
lola: 40079477 markings, 239174553 edges, 224661 markings/sec, 175 secs
lola: 41192263 markings, 245827796 edges, 222557 markings/sec, 180 secs
lola: 42353198 markings, 252770007 edges, 232187 markings/sec, 185 secs
lola: 43500302 markings, 259631971 edges, 229421 markings/sec, 190 secs
lola: 44644298 markings, 266472417 edges, 228799 markings/sec, 195 secs
lola: 45798641 markings, 273374643 edges, 230869 markings/sec, 200 secs
lola: 46981148 markings, 280446009 edges, 236501 markings/sec, 205 secs
lola: 48174798 markings, 287584067 edges, 238730 markings/sec, 210 secs
lola: 49160117 markings, 294099361 edges, 197064 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7227196 KB
lola: time consumption: 228 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X (G ((FIREABLE(srF) AND X (FIREABLE(ssG))))))) AND A ((NOT FIREABLE(srF) OR X (FIREABLE(srF)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(srF) OR X (FIREABLE(srF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(srF) OR X (FIREABLE(srF))))
lola: processed formula length: 44
lola: 111 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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((FIREABLE(srF) AND X (FIREABLE(ssG)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((FIREABLE(srF) AND X (FIREABLE(ssG)))))))
lola: processed formula length: 53
lola: 111 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: 5001 markings, 5001 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(mrF))) AND A (X (G ((F (FIREABLE(mrR)) OR X (FIREABLE(mrF)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(mrF)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(mrF)))
lola: processed formula length: 21
lola: 113 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(mrF)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((FIREABLE(msG) OR X (G (FIREABLE(csR))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((FIREABLE(msG) OR X (G (FIREABLE(csR))))))))
lola: processed formula length: 56
lola: 111 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: 5001 markings, 5001 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(mrR))) AND A (X ((F (FIREABLE(ssF)) U (FIREABLE(ssR) AND X (FIREABLE(ssF)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(mrR)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(mrR)))
lola: processed formula length: 21
lola: 111 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: 5001 markings, 5001 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X (FIREABLE(csR)) OR (X (FIREABLE(srF)) OR (X (F (FIREABLE(srF))) AND F (G (FIREABLE(msG))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X (FIREABLE(csR)) OR (X (FIREABLE(srF)) OR (X (F (FIREABLE(srF))) AND F (G (FIREABLE(msG))))))))
lola: processed formula length: 103
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((X (G (FIREABLE(msG))) AND G (F ((NOT FIREABLE(msG) R NOT FIREABLE(csR)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X (G (FIREABLE(msG))) AND G (F ((NOT FIREABLE(msG) R NOT FIREABLE(csR)))))))
lola: processed formula length: 83
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 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: 5001 markings, 5001 edges
lola: ========================================
lola: subprocess 7 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(mrF) OR (G (FIREABLE(ssA)) AND F (FIREABLE(mrF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(mrF) OR (G (FIREABLE(ssA)) AND F (FIREABLE(mrF))))))
lola: processed formula length: 68
lola: 111 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5001 markings, 5001 edges
lola: ========================================
lola: subprocess 8 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X (FIREABLE(msA)))) AND A (G (F ((FIREABLE(msG) AND (FIREABLE(msA) U X (FIREABLE(srG))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(msG) AND (FIREABLE(msA) U X (FIREABLE(srG)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(msG) AND (FIREABLE(msA) U X (FIREABLE(srG)))))))
lola: processed formula length: 67
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1241667 markings, 5775524 edges, 248333 markings/sec, 0 secs
lola: 2299997 markings, 11191835 edges, 211666 markings/sec, 5 secs
lola: 3435151 markings, 16918364 edges, 227031 markings/sec, 10 secs
lola: 4512613 markings, 22528517 edges, 215492 markings/sec, 15 secs
lola: 5496235 markings, 27892440 edges, 196724 markings/sec, 20 secs
lola: 6515808 markings, 33143636 edges, 203915 markings/sec, 25 secs
lola: 7606954 markings, 38825911 edges, 218229 markings/sec, 30 secs
lola: 8593071 markings, 44253922 edges, 197223 markings/sec, 35 secs
lola: 9672489 markings, 49834221 edges, 215884 markings/sec, 40 secs
lola: 10624995 markings, 55110996 edges, 190501 markings/sec, 45 secs
lola: 11573890 markings, 60227797 edges, 189779 markings/sec, 50 secs
lola: 12568674 markings, 65459287 edges, 198957 markings/sec, 55 secs
lola: 13457807 markings, 70419361 edges, 177827 markings/sec, 60 secs
lola: 14483438 markings, 75799647 edges, 205126 markings/sec, 65 secs
lola: 15458755 markings, 81065546 edges, 195063 markings/sec, 70 secs
lola: 16350276 markings, 86086438 edges, 178304 markings/sec, 75 secs
lola: 17319632 markings, 91463484 edges, 193871 markings/sec, 80 secs
lola: 18376201 markings, 96861247 edges, 211314 markings/sec, 85 secs
lola: 19254160 markings, 101774395 edges, 175592 markings/sec, 90 secs
lola: 20152638 markings, 106824453 edges, 179696 markings/sec, 95 secs
lola: 21138615 markings, 112225246 edges, 197195 markings/sec, 100 secs
lola: 22175312 markings, 117567875 edges, 207339 markings/sec, 105 secs
lola: 23047221 markings, 122458933 edges, 174382 markings/sec, 110 secs
lola: 23938782 markings, 127486986 edges, 178312 markings/sec, 115 secs
lola: 24868827 markings, 132784471 edges, 186009 markings/sec, 120 secs
lola: 25965217 markings, 138337088 edges, 219278 markings/sec, 125 secs
lola: 26858125 markings, 143233135 edges, 178582 markings/sec, 130 secs
lola: 27668236 markings, 147814413 edges, 162022 markings/sec, 135 secs
lola: 28502820 markings, 152518365 edges, 166917 markings/sec, 140 secs
lola: 29342998 markings, 157356674 edges, 168036 markings/sec, 145 secs
lola: 30237313 markings, 162214697 edges, 178863 markings/sec, 150 secs
lola: 31236502 markings, 167287405 edges, 199838 markings/sec, 155 secs
lola: 32173609 markings, 172518758 edges, 187421 markings/sec, 160 secs
lola: 33070947 markings, 177569747 edges, 179468 markings/sec, 165 secs
lola: 33931629 markings, 182468274 edges, 172136 markings/sec, 170 secs
lola: 34781357 markings, 187366734 edges, 169946 markings/sec, 175 secs
lola: 35715082 markings, 192504400 edges, 186745 markings/sec, 180 secs
lola: 36779517 markings, 197860950 edges, 212887 markings/sec, 185 secs
lola: 37698764 markings, 202986941 edges, 183849 markings/sec, 190 secs
lola: 38534685 markings, 207716766 edges, 167184 markings/sec, 195 secs
lola: 39408841 markings, 212694043 edges, 174831 markings/sec, 200 secs
lola: 40300181 markings, 217794180 edges, 178268 markings/sec, 205 secs
lola: 41095533 markings, 222349005 edges, 159070 markings/sec, 210 secs
lola: 42017878 markings, 227393436 edges, 184469 markings/sec, 215 secs
lola: 43071070 markings, 232683450 edges, 210638 markings/sec, 220 secs
lola: 43980756 markings, 237749890 edges, 181937 markings/sec, 225 secs
lola: 44818319 markings, 242516401 edges, 167513 markings/sec, 230 secs
lola: 45702768 markings, 247541172 edges, 176890 markings/sec, 235 secs
lola: 46590202 markings, 252599074 edges, 177487 markings/sec, 240 secs
lola: 47472658 markings, 257630930 edges, 176491 markings/sec, 245 secs
lola: 48372828 markings, 262817192 edges, 180034 markings/sec, 250 secs
lola: 49410598 markings, 268247240 edges, 207554 markings/sec, 255 secs
lola: 50431716 markings, 273562060 edges, 204224 markings/sec, 260 secs
lola: 51307162 markings, 278441610 edges, 175089 markings/sec, 265 secs
lola: 52158309 markings, 283271267 edges, 170229 markings/sec, 270 secs
lola: 53021947 markings, 288186017 edges, 172728 markings/sec, 275 secs
lola: 53880564 markings, 293123983 edges, 171723 markings/sec, 280 secs
lola: 54731927 markings, 297974468 edges, 170273 markings/sec, 285 secs
lola: 55516692 markings, 302500705 edges, 156953 markings/sec, 290 secs
lola: 56350763 markings, 307309520 edges, 166814 markings/sec, 295 secs
lola: 57347440 markings, 312456510 edges, 199335 markings/sec, 300 secs
lola: 58342410 markings, 317602646 edges, 198994 markings/sec, 305 secs
lola: 59223209 markings, 322520594 edges, 176160 markings/sec, 310 secs
lola: 60056889 markings, 327236575 edges, 166736 markings/sec, 315 secs
lola: 60867875 markings, 331845421 edges, 162197 markings/sec, 320 secs
lola: 61657133 markings, 336389541 edges, 157852 markings/sec, 325 secs
lola: 62444228 markings, 340915988 edges, 157419 markings/sec, 330 secs
lola: 63271253 markings, 345620088 edges, 165405 markings/sec, 335 secs
lola: 64095735 markings, 350375685 edges, 164896 markings/sec, 340 secs
lola: 64944221 markings, 355269369 edges, 169697 markings/sec, 345 secs
lola: 65905076 markings, 360456144 edges, 192171 markings/sec, 350 secs
lola: 66955223 markings, 365724952 edges, 210029 markings/sec, 355 secs
lola: 67840714 markings, 370619284 edges, 177098 markings/sec, 360 secs
lola: 68671547 markings, 375331328 edges, 166167 markings/sec, 365 secs
lola: 69465017 markings, 379835770 edges, 158694 markings/sec, 370 secs
lola: 70266396 markings, 384384811 edges, 160276 markings/sec, 375 secs
lola: 70997807 markings, 388589306 edges, 146282 markings/sec, 380 secs
lola: 71816571 markings, 393316163 edges, 163753 markings/sec, 385 secs
lola: 72662710 markings, 398201186 edges, 169228 markings/sec, 390 secs
lola: 73508786 markings, 403078830 edges, 169215 markings/sec, 395 secs
lola: 74312132 markings, 407725291 edges, 160669 markings/sec, 400 secs
lola: 75169853 markings, 412677840 edges, 171544 markings/sec, 405 secs
lola: 76292597 markings, 418202435 edges, 224549 markings/sec, 410 secs
lola: local time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown unknown no no unknown no no yes unknown no no unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown no no unknown no no yes unknown no no unknown unknown unknown unknown unknown
lola: memory consumption: 10252828 KB
lola: time consumption: 645 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no unknown no no yes unknown no no unknown unknown unknown unknown unknown
lola: memory consumption: 10252828 KB
lola: time consumption: 646 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(msA))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(msA))))
lola: processed formula length: 25
lola: 111 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: 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: 5001 markings, 5001 edges
lola: ========================================
lola: subprocess 10 will run for 487 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((NOT FIREABLE(msG) OR (X (NOT FIREABLE(srF)) OR F (G (NOT FIREABLE(maU))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((NOT FIREABLE(msG) OR (X (NOT FIREABLE(srF)) OR F (G (NOT FIREABLE(maU))))))))
lola: processed formula length: 87
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2220610 markings, 6549629 edges, 444122 markings/sec, 0 secs
lola: 4385263 markings, 13021987 edges, 432931 markings/sec, 5 secs
lola: 6516760 markings, 19395679 edges, 426299 markings/sec, 10 secs
lola: 8569409 markings, 25532824 edges, 410530 markings/sec, 15 secs
lola: 10719598 markings, 31962593 edges, 430038 markings/sec, 20 secs
lola: 12935266 markings, 38587196 edges, 443134 markings/sec, 25 secs
lola: 15188402 markings, 45324204 edges, 450627 markings/sec, 30 secs
lola: 16909157 markings, 51092622 edges, 344151 markings/sec, 35 secs
lola: 18048830 markings, 55640118 edges, 227935 markings/sec, 40 secs
lola: 19169268 markings, 60110670 edges, 224088 markings/sec, 45 secs
lola: 20296954 markings, 64610213 edges, 225537 markings/sec, 50 secs
lola: 21416745 markings, 69078178 edges, 223958 markings/sec, 55 secs
lola: 22516565 markings, 73466255 edges, 219964 markings/sec, 60 secs
lola: 23629398 markings, 77906390 edges, 222567 markings/sec, 65 secs
lola: 24746872 markings, 82365885 edges, 223495 markings/sec, 70 secs
lola: 25861124 markings, 86811693 edges, 222850 markings/sec, 75 secs
lola: 26990732 markings, 91318924 edges, 225922 markings/sec, 80 secs
lola: 28185740 markings, 96086958 edges, 239002 markings/sec, 85 secs
lola: 29447794 markings, 101122372 edges, 252411 markings/sec, 90 secs
lola: 30759675 markings, 106357097 edges, 262376 markings/sec, 95 secs
lola: 32279273 markings, 112420287 edges, 303920 markings/sec, 100 secs
lola: 33466395 markings, 117075778 edges, 237424 markings/sec, 105 secs
lola: 34532582 markings, 121330126 edges, 213237 markings/sec, 110 secs
lola: 35593027 markings, 125561502 edges, 212089 markings/sec, 115 secs
lola: 36657184 markings, 129807734 edges, 212831 markings/sec, 120 secs
lola: 37715067 markings, 134028862 edges, 211577 markings/sec, 125 secs
lola: 38755554 markings, 138180414 edges, 208097 markings/sec, 130 secs
lola: 39807270 markings, 142376874 edges, 210343 markings/sec, 135 secs
lola: 40863608 markings, 146591827 edges, 211268 markings/sec, 140 secs
lola: 41919185 markings, 150802936 edges, 211115 markings/sec, 145 secs
lola: 42985409 markings, 155057434 edges, 213245 markings/sec, 150 secs
lola: 44088955 markings, 159461217 edges, 220709 markings/sec, 155 secs
lola: 45277625 markings, 164203896 edges, 237734 markings/sec, 160 secs
lola: 46486788 markings, 169028547 edges, 241833 markings/sec, 165 secs
lola: 47776888 markings, 174176150 edges, 258020 markings/sec, 170 secs
lola: 49291138 markings, 180196314 edges, 302850 markings/sec, 175 secs
lola: 50692073 markings, 186201874 edges, 280187 markings/sec, 180 secs
lola: 52018378 markings, 192134355 edges, 265261 markings/sec, 185 secs
lola: 53362864 markings, 198127550 edges, 268897 markings/sec, 190 secs
lola: 54724133 markings, 204155709 edges, 272254 markings/sec, 195 secs
lola: 56078511 markings, 210085892 edges, 270876 markings/sec, 200 secs
lola: 57272610 markings, 215897708 edges, 238820 markings/sec, 205 secs
lola: 58644282 markings, 221863657 edges, 274334 markings/sec, 210 secs
lola: 59894084 markings, 227558274 edges, 249960 markings/sec, 215 secs
lola: 61182907 markings, 233459782 edges, 257765 markings/sec, 220 secs
lola: 62448129 markings, 239110811 edges, 253044 markings/sec, 225 secs
lola: 63743831 markings, 245112651 edges, 259140 markings/sec, 230 secs
lola: 64967277 markings, 250708959 edges, 244689 markings/sec, 235 secs
lola: 66296985 markings, 256668576 edges, 265942 markings/sec, 240 secs
lola: 67449850 markings, 262326422 edges, 230573 markings/sec, 245 secs
lola: 68862323 markings, 268214959 edges, 282495 markings/sec, 250 secs
lola: 70013324 markings, 273870404 edges, 230200 markings/sec, 255 secs
lola: 71291914 markings, 279475841 edges, 255718 markings/sec, 260 secs
lola: 72562292 markings, 285277218 edges, 254076 markings/sec, 265 secs
lola: 73685226 markings, 290800372 edges, 224587 markings/sec, 270 secs
lola: 75084783 markings, 296602388 edges, 279911 markings/sec, 275 secs
lola: 76294985 markings, 302440052 edges, 242040 markings/sec, 280 secs
lola: 77409987 markings, 307929259 edges, 223000 markings/sec, 285 secs
lola: 78834483 markings, 313737279 edges, 284899 markings/sec, 290 secs
lola: 80027762 markings, 319538084 edges, 238656 markings/sec, 295 secs
lola: 81144498 markings, 325039811 edges, 223347 markings/sec, 300 secs
lola: 82517676 markings, 330784918 edges, 274636 markings/sec, 305 secs
lola: 83760536 markings, 336567868 edges, 248572 markings/sec, 310 secs
lola: 84895469 markings, 342163579 edges, 226987 markings/sec, 315 secs
lola: 86131494 markings, 347731312 edges, 247205 markings/sec, 320 secs
lola: 87474027 markings, 353433147 edges, 268507 markings/sec, 325 secs
lola: 88628310 markings, 359129080 edges, 230857 markings/sec, 330 secs
lola: 89689330 markings, 364367436 edges, 212204 markings/sec, 335 secs
lola: 91069334 markings, 370066245 edges, 276001 markings/sec, 340 secs
lola: 92328706 markings, 375864821 edges, 251874 markings/sec, 345 secs
lola: 93484894 markings, 381572690 edges, 231238 markings/sec, 350 secs
lola: 94607619 markings, 387058777 edges, 224545 markings/sec, 355 secs
lola: 96061241 markings, 392789403 edges, 290724 markings/sec, 360 secs
lola: 97236640 markings, 398493108 edges, 235080 markings/sec, 365 secs
lola: 98374439 markings, 404112217 edges, 227560 markings/sec, 370 secs
lola: 99509388 markings, 409595633 edges, 226990 markings/sec, 375 secs
lola: 100820402 markings, 414767198 edges, 262203 markings/sec, 380 secs
lola: 101978320 markings, 420229577 edges, 231584 markings/sec, 385 secs
lola: 103080824 markings, 425677289 edges, 220501 markings/sec, 390 secs
lola: 104085719 markings, 430647167 edges, 200979 markings/sec, 395 secs
lola: 105336844 markings, 435957275 edges, 250225 markings/sec, 400 secs
lola: 106630230 markings, 441451334 edges, 258677 markings/sec, 405 secs
lola: 107721888 markings, 446853353 edges, 218332 markings/sec, 410 secs
lola: 108772180 markings, 452043275 edges, 210058 markings/sec, 415 secs
lola: 109820112 markings, 457188996 edges, 209586 markings/sec, 420 secs
lola: 111195954 markings, 462620792 edges, 275168 markings/sec, 425 secs
lola: 112402092 markings, 468142553 edges, 241228 markings/sec, 430 secs
lola: 113532787 markings, 473736615 edges, 226139 markings/sec, 435 secs
lola: 114544558 markings, 478741299 edges, 202354 markings/sec, 440 secs
lola: 115679056 markings, 484017930 edges, 226900 markings/sec, 445 secs
lola: 117040751 markings, 489398984 edges, 272339 markings/sec, 450 secs
lola: 118182389 markings, 494806270 edges, 228328 markings/sec, 455 secs
lola: 119298972 markings, 500331438 edges, 223317 markings/sec, 460 secs
lola: 120296091 markings, 505266366 edges, 199424 markings/sec, 465 secs
lola: 121397908 markings, 510467504 edges, 220363 markings/sec, 470 secs
lola: 122714960 markings, 515674349 edges, 263410 markings/sec, 475 secs
lola: 122825673 markings, 516111488 edges, 22143 markings/sec, 480 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 487 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (NOT FIREABLE(csF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (NOT FIREABLE(csF))))
lola: processed formula length: 29
lola: 111 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: 947418 markings, 6871948 edges, 189484 markings/sec, 0 secs
lola: 1808614 markings, 13729255 edges, 172239 markings/sec, 5 secs
lola: 2613512 markings, 20140484 edges, 160980 markings/sec, 10 secs
lola: 3422489 markings, 26584081 edges, 161795 markings/sec, 15 secs
lola: 4248162 markings, 33161265 edges, 165135 markings/sec, 20 secs
lola: 5093423 markings, 39894790 edges, 169052 markings/sec, 25 secs
lola: 5922599 markings, 46499772 edges, 165835 markings/sec, 30 secs
lola: 6734154 markings, 52964026 edges, 162311 markings/sec, 35 secs
lola: 7517784 markings, 59205263 edges, 156726 markings/sec, 40 secs
lola: 8320977 markings, 65603066 edges, 160639 markings/sec, 45 secs
lola: 9113780 markings, 71917419 edges, 158561 markings/sec, 50 secs
lola: 9923231 markings, 78364930 edges, 161890 markings/sec, 55 secs
lola: 10722414 markings, 84730451 edges, 159837 markings/sec, 60 secs
lola: 11514190 markings, 91036915 edges, 158355 markings/sec, 65 secs
lola: 12298494 markings, 97283429 edges, 156861 markings/sec, 70 secs
lola: 13081867 markings, 103522884 edges, 156675 markings/sec, 75 secs
lola: 13853181 markings, 109669221 edges, 154263 markings/sec, 80 secs
lola: 14582065 markings, 115473186 edges, 145777 markings/sec, 85 secs
lola: 15396888 markings, 121963732 edges, 162965 markings/sec, 90 secs
lola: 16193208 markings, 128306336 edges, 159264 markings/sec, 95 secs
lola: 16971470 markings, 134504762 edges, 155652 markings/sec, 100 secs
lola: 17725399 markings, 140512586 edges, 150786 markings/sec, 105 secs
lola: 18497526 markings, 146661779 edges, 154425 markings/sec, 110 secs
lola: 19266701 markings, 152787544 edges, 153835 markings/sec, 115 secs
lola: 20042132 markings, 158963231 edges, 155086 markings/sec, 120 secs
lola: 20831744 markings, 165252396 edges, 157922 markings/sec, 125 secs
lola: 21606447 markings, 171423039 edges, 154941 markings/sec, 130 secs
lola: 22328822 markings, 177177801 edges, 144475 markings/sec, 135 secs
lola: 23104127 markings, 183352690 edges, 155061 markings/sec, 140 secs
lola: 23858257 markings, 189362261 edges, 150826 markings/sec, 145 secs
lola: 24603150 markings, 195293741 edges, 148979 markings/sec, 150 secs
lola: 25398742 markings, 201630745 edges, 159118 markings/sec, 155 secs
lola: 26211543 markings, 208104782 edges, 162560 markings/sec, 160 secs
lola: 26971824 markings, 214159738 edges, 152056 markings/sec, 165 secs
lola: 27758145 markings, 220422587 edges, 157264 markings/sec, 170 secs
lola: 28547476 markings, 226709604 edges, 157866 markings/sec, 175 secs
lola: 29315393 markings, 232828866 edges, 153583 markings/sec, 180 secs
lola: 30071590 markings, 238850666 edges, 151239 markings/sec, 185 secs
lola: 30867533 markings, 245190282 edges, 159189 markings/sec, 190 secs
lola: 31642760 markings, 251364604 edges, 155045 markings/sec, 195 secs
lola: 32427510 markings, 257656032 edges, 156950 markings/sec, 200 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: 32567216 markings, 259051395 edges
lola: ========================================
lola: subprocess 12 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (NOT FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (NOT FIREABLE(ssG))))
lola: processed formula length: 29
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 22854 markings, 24856 edges
lola: ========================================
lola: subprocess 13 will run for 743 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(msA) U (F (FIREABLE(srF)) AND G (NOT FIREABLE(msA)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(msA) U (F (FIREABLE(srF)) AND G (NOT FIREABLE(msA)))))
lola: processed formula length: 67
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 5001 markings, 5001 edges
lola: ========================================
lola: subprocess 14 will run for 1115 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(csF) OR (G (NOT FIREABLE(mfU)) AND F (FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(csF) OR (G (NOT FIREABLE(mfU)) AND F (FIREABLE(csF)))))
lola: processed formula length: 68
lola: 111 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: 1469071 markings, 4753997 edges, 293814 markings/sec, 0 secs
lola: 2882563 markings, 9611669 edges, 282698 markings/sec, 5 secs
lola: 4167841 markings, 14231864 edges, 257056 markings/sec, 10 secs
lola: 5482506 markings, 18843303 edges, 262933 markings/sec, 15 secs
lola: 6797281 markings, 23509623 edges, 262955 markings/sec, 20 secs
lola: 7995410 markings, 27920822 edges, 239626 markings/sec, 25 secs
lola: 9183582 markings, 32355326 edges, 237634 markings/sec, 30 secs
lola: 10509315 markings, 36967467 edges, 265147 markings/sec, 35 secs
lola: 11602166 markings, 41140403 edges, 218570 markings/sec, 40 secs
lola: 12688775 markings, 45304978 edges, 217322 markings/sec, 45 secs
lola: 13991658 markings, 49813976 edges, 260577 markings/sec, 50 secs
lola: 15170552 markings, 54124033 edges, 235779 markings/sec, 55 secs
lola: 16193872 markings, 58110751 edges, 204664 markings/sec, 60 secs
lola: 17241240 markings, 62169346 edges, 209474 markings/sec, 65 secs
lola: 18419676 markings, 66543461 edges, 235687 markings/sec, 70 secs
lola: 19732468 markings, 71106609 edges, 262558 markings/sec, 75 secs
lola: 20837745 markings, 75184911 edges, 221055 markings/sec, 80 secs
lola: 21843552 markings, 79116306 edges, 201161 markings/sec, 85 secs
lola: 22823831 markings, 82998788 edges, 196056 markings/sec, 90 secs
lola: 23844148 markings, 86942913 edges, 204063 markings/sec, 95 secs
lola: 24907461 markings, 91031018 edges, 212663 markings/sec, 100 secs
lola: 26268359 markings, 95669553 edges, 272180 markings/sec, 105 secs
lola: 27470142 markings, 100010135 edges, 240357 markings/sec, 110 secs
lola: 28518063 markings, 104025864 edges, 209584 markings/sec, 115 secs
lola: 29471007 markings, 107805698 edges, 190589 markings/sec, 120 secs
lola: 30412030 markings, 111552389 edges, 188205 markings/sec, 125 secs
lola: 31383132 markings, 115436069 edges, 194220 markings/sec, 130 secs
lola: 32360371 markings, 119189934 edges, 195448 markings/sec, 135 secs
lola: 33363952 markings, 123072554 edges, 200716 markings/sec, 140 secs
lola: 34718689 markings, 127756767 edges, 270947 markings/sec, 145 secs
lola: 35893894 markings, 131984856 edges, 235041 markings/sec, 150 secs
lola: 37009771 markings, 136099979 edges, 223175 markings/sec, 155 secs
lola: 38053970 markings, 140123617 edges, 208840 markings/sec, 160 secs
lola: 38993146 markings, 143841047 edges, 187835 markings/sec, 165 secs
lola: 39907029 markings, 147511677 edges, 182777 markings/sec, 170 secs
lola: 40816745 markings, 151179730 edges, 181943 markings/sec, 175 secs
lola: 41755136 markings, 154978489 edges, 187678 markings/sec, 180 secs
lola: 42723694 markings, 158675746 edges, 193712 markings/sec, 185 secs
lola: 43652198 markings, 162395907 edges, 185701 markings/sec, 190 secs
lola: 44628458 markings, 166117573 edges, 195252 markings/sec, 195 secs
lola: 46023244 markings, 170882742 edges, 278957 markings/sec, 200 secs
lola: 47182075 markings, 175046152 edges, 231766 markings/sec, 205 secs
lola: 48322739 markings, 179248158 edges, 228133 markings/sec, 210 secs
lola: 49335782 markings, 183127389 edges, 202609 markings/sec, 215 secs
lola: 50336224 markings, 187008191 edges, 200088 markings/sec, 220 secs
lola: 51240871 markings, 190629060 edges, 180929 markings/sec, 225 secs
lola: 52134332 markings, 194224146 edges, 178692 markings/sec, 230 secs
lola: 53025146 markings, 197825703 edges, 178163 markings/sec, 235 secs
lola: 53917711 markings, 201419236 edges, 178513 markings/sec, 240 secs
lola: 54814221 markings, 205131437 edges, 179302 markings/sec, 245 secs
lola: 55820992 markings, 208936772 edges, 201354 markings/sec, 250 secs
lola: 56683178 markings, 212372880 edges, 172437 markings/sec, 255 secs
lola: 57629518 markings, 216157585 edges, 189268 markings/sec, 260 secs
lola: 58590305 markings, 219796404 edges, 192157 markings/sec, 265 secs
lola: 59973731 markings, 224568619 edges, 276685 markings/sec, 270 secs
lola: 61163182 markings, 228793243 edges, 237890 markings/sec, 275 secs
lola: 62279995 markings, 232872008 edges, 223363 markings/sec, 280 secs
lola: 63416650 markings, 237049297 edges, 227331 markings/sec, 285 secs
lola: 64441174 markings, 241028843 edges, 204905 markings/sec, 290 secs
lola: 65399646 markings, 244804366 edges, 191694 markings/sec, 295 secs
lola: 66288035 markings, 248391150 edges, 177678 markings/sec, 300 secs
lola: 67172820 markings, 251962061 edges, 176957 markings/sec, 305 secs
lola: 68047525 markings, 255518789 edges, 174941 markings/sec, 310 secs
lola: 68930206 markings, 259119716 edges, 176536 markings/sec, 315 secs
lola: 69802254 markings, 262647491 edges, 174410 markings/sec, 320 secs
lola: 70707890 markings, 266325637 edges, 181127 markings/sec, 325 secs
lola: 71694831 markings, 270210204 edges, 197388 markings/sec, 330 secs
lola: 72614328 markings, 273821625 edges, 183899 markings/sec, 335 secs
lola: 73451010 markings, 277166571 edges, 167336 markings/sec, 340 secs
lola: 74343242 markings, 280765199 edges, 178446 markings/sec, 345 secs
lola: 75296425 markings, 284468569 edges, 190637 markings/sec, 350 secs
lola: 76260398 markings, 288136332 edges, 192795 markings/sec, 355 secs
lola: 77656699 markings, 292909153 edges, 279260 markings/sec, 360 secs
lola: 78841243 markings, 297122900 edges, 236909 markings/sec, 365 secs
lola: 79945822 markings, 301156028 edges, 220916 markings/sec, 370 secs
lola: 81064464 markings, 305279738 edges, 223728 markings/sec, 375 secs
lola: 82079293 markings, 309136260 edges, 202966 markings/sec, 380 secs
lola: 83143450 markings, 313232691 edges, 212831 markings/sec, 385 secs
lola: 84070647 markings, 316904419 edges, 185439 markings/sec, 390 secs
lola: 84944842 markings, 320457014 edges, 174839 markings/sec, 395 secs
lola: 85820160 markings, 324000419 edges, 175064 markings/sec, 400 secs
lola: 86675873 markings, 327493766 edges, 171143 markings/sec, 405 secs
lola: 87540944 markings, 331006436 edges, 173014 markings/sec, 410 secs
lola: 88396733 markings, 334512555 edges, 171158 markings/sec, 415 secs
lola: 89248728 markings, 337993641 edges, 170399 markings/sec, 420 secs
lola: 90106286 markings, 341475766 edges, 171512 markings/sec, 425 secs
lola: 90997271 markings, 345142547 edges, 178197 markings/sec, 430 secs
lola: 91956499 markings, 348916641 edges, 191846 markings/sec, 435 secs
lola: 92878042 markings, 352504278 edges, 184309 markings/sec, 440 secs
lola: 93696539 markings, 355822057 edges, 163699 markings/sec, 445 secs
lola: 94513811 markings, 359086517 edges, 163454 markings/sec, 450 secs
lola: 95385749 markings, 362600894 edges, 174388 markings/sec, 455 secs
lola: 96340533 markings, 366384490 edges, 190957 markings/sec, 460 secs
lola: 97241180 markings, 369820658 edges, 180129 markings/sec, 465 secs
lola: 98315197 markings, 373911467 edges, 214803 markings/sec, 470 secs
lola: 99735343 markings, 378616588 edges, 284029 markings/sec, 475 secs
lola: 100876976 markings, 382732314 edges, 228327 markings/sec, 480 secs
lola: 101952706 markings, 386699287 edges, 215146 markings/sec, 485 secs
lola: 103052104 markings, 390749064 edges, 219880 markings/sec, 490 secs
lola: 104178891 markings, 394885287 edges, 225357 markings/sec, 495 secs
lola: 105126059 markings, 398661013 edges, 189434 markings/sec, 500 secs
lola: 106162488 markings, 402639915 edges, 207286 markings/sec, 505 secs
lola: 107057468 markings, 406232070 edges, 178996 markings/sec, 510 secs
lola: 107930409 markings, 409755983 edges, 174588 markings/sec, 515 secs
lola: 108785742 markings, 413245993 edges, 171067 markings/sec, 520 secs
lola: 109636597 markings, 416724943 edges, 170171 markings/sec, 525 secs
lola: 110484824 markings, 420200801 edges, 169645 markings/sec, 530 secs
lola: 111334107 markings, 423680905 edges, 169857 markings/sec, 535 secs
lola: 112177456 markings, 427139651 edges, 168670 markings/sec, 540 secs
lola: 113018017 markings, 430592448 edges, 168112 markings/sec, 545 secs
lola: 113856927 markings, 434040906 edges, 167782 markings/sec, 550 secs
lola: 114717397 markings, 437529598 edges, 172094 markings/sec, 555 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1667 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(maU) AND A ((F ((FIREABLE(mrR) AND FIREABLE(ssF))) OR (FIREABLE(maU) U FIREABLE(ssF)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1667 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(maU)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(maU)
lola: processed formula length: 13
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F ((X (G (NOT FIREABLE(srR))) OR (G (NOT FIREABLE(mfU)) R X (X (G (NOT FIREABLE(mfU))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X (G (NOT FIREABLE(srR))) OR (G (NOT FIREABLE(mfU)) R X (X (G (NOT FIREABLE(mfU))))))))
lola: processed formula length: 94
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 26 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: 1090341 markings, 6014051 edges, 218068 markings/sec, 0 secs
lola: 2279580 markings, 13125494 edges, 237848 markings/sec, 5 secs
lola: 3465944 markings, 20219963 edges, 237273 markings/sec, 10 secs
lola: 4620661 markings, 27124852 edges, 230943 markings/sec, 15 secs
lola: 5755133 markings, 33911020 edges, 226894 markings/sec, 20 secs
lola: 6876611 markings, 40616457 edges, 224296 markings/sec, 25 secs
lola: 8009126 markings, 47388231 edges, 226503 markings/sec, 30 secs
lola: 9113941 markings, 53996743 edges, 220963 markings/sec, 35 secs
lola: 10207968 markings, 60537770 edges, 218805 markings/sec, 40 secs
lola: 11339280 markings, 67305059 edges, 226262 markings/sec, 45 secs
lola: 12448733 markings, 73938428 edges, 221891 markings/sec, 50 secs
lola: 13552661 markings, 80539319 edges, 220786 markings/sec, 55 secs
lola: 14630203 markings, 86983934 edges, 215508 markings/sec, 60 secs
lola: 15729913 markings, 93559547 edges, 219942 markings/sec, 65 secs
lola: 16803019 markings, 99977556 edges, 214621 markings/sec, 70 secs
lola: 17869251 markings, 106355182 edges, 213246 markings/sec, 75 secs
lola: 19009043 markings, 113170198 edges, 227958 markings/sec, 80 secs
lola: 20171832 markings, 120123408 edges, 232558 markings/sec, 85 secs
lola: 21320202 markings, 126990121 edges, 229674 markings/sec, 90 secs
lola: 22451757 markings, 133758875 edges, 226311 markings/sec, 95 secs
lola: 23586559 markings, 140544277 edges, 226960 markings/sec, 100 secs
lola: 24703522 markings, 147222765 edges, 223393 markings/sec, 105 secs
lola: 25794551 markings, 153748549 edges, 218206 markings/sec, 110 secs
lola: 26944681 markings, 160625931 edges, 230026 markings/sec, 115 secs
lola: 28068277 markings, 167344407 edges, 224719 markings/sec, 120 secs
lola: 29170121 markings, 173934792 edges, 220369 markings/sec, 125 secs
lola: 30277910 markings, 180558357 edges, 221558 markings/sec, 130 secs
lola: 31376003 markings, 187126665 edges, 219619 markings/sec, 135 secs
lola: 32469258 markings, 193663107 edges, 218651 markings/sec, 140 secs
lola: 33540748 markings, 200072075 edges, 214298 markings/sec, 145 secs
lola: 34712605 markings, 207079227 edges, 234371 markings/sec, 150 secs
lola: 35875005 markings, 214030119 edges, 232480 markings/sec, 155 secs
lola: 37024576 markings, 220904107 edges, 229914 markings/sec, 160 secs
lola: 38170829 markings, 227761053 edges, 229251 markings/sec, 165 secs
lola: 39304999 markings, 234542226 edges, 226834 markings/sec, 170 secs
lola: 40437012 markings, 241311113 edges, 226403 markings/sec, 175 secs
lola: 41552282 markings, 247982246 edges, 223054 markings/sec, 180 secs
lola: 42726684 markings, 255004760 edges, 234880 markings/sec, 185 secs
lola: 43881519 markings, 261910176 edges, 230967 markings/sec, 190 secs
lola: 45022010 markings, 268729868 edges, 228098 markings/sec, 195 secs
lola: 46202694 markings, 275790432 edges, 236137 markings/sec, 200 secs
lola: 47385429 markings, 282865823 edges, 236547 markings/sec, 205 secs
lola: 48589181 markings, 290064029 edges, 240750 markings/sec, 210 secs
lola: 49435947 markings, 296300724 edges, 169353 markings/sec, 215 secs
lola: 50222920 markings, 302581677 edges, 157395 markings/sec, 220 secs
lola: 51004853 markings, 308822402 edges, 156387 markings/sec, 225 secs
lola: 51771140 markings, 314935231 edges, 153257 markings/sec, 230 secs
lola: 52525707 markings, 320956975 edges, 150913 markings/sec, 235 secs
lola: 53275752 markings, 326942549 edges, 150009 markings/sec, 240 secs
lola: 54017982 markings, 332865784 edges, 148446 markings/sec, 245 secs
lola: 54754609 markings, 338744411 edges, 147325 markings/sec, 250 secs
lola: 55489664 markings, 344610312 edges, 147011 markings/sec, 255 secs
lola: 56227189 markings, 350495984 edges, 147505 markings/sec, 260 secs
lola: 56959990 markings, 356344048 edges, 146560 markings/sec, 265 secs
lola: 57693581 markings, 362198219 edges, 146718 markings/sec, 270 secs
lola: 58419859 markings, 367994062 edges, 145256 markings/sec, 275 secs
lola: 59145255 markings, 373782820 edges, 145079 markings/sec, 280 secs
lola: 59884482 markings, 379682091 edges, 147845 markings/sec, 285 secs
lola: 60614769 markings, 385509946 edges, 146057 markings/sec, 290 secs
lola: 61340032 markings, 391297564 edges, 145053 markings/sec, 295 secs
lola: 62066603 markings, 397095796 edges, 145314 markings/sec, 300 secs
lola: 62787537 markings, 402848684 edges, 144187 markings/sec, 305 secs
lola: 63515216 markings, 408655750 edges, 145536 markings/sec, 310 secs
lola: 64236010 markings, 414407821 edges, 144159 markings/sec, 315 secs
lola: 64953894 markings, 420136552 edges, 143577 markings/sec, 320 secs
lola: 65680497 markings, 425934834 edges, 145321 markings/sec, 325 secs
lola: 66406250 markings, 431726372 edges, 145151 markings/sec, 330 secs
lola: 67139226 markings, 437575686 edges, 146595 markings/sec, 335 secs
lola: 67913359 markings, 443754065 edges, 154827 markings/sec, 340 secs
lola: 68685482 markings, 449913755 edges, 154425 markings/sec, 345 secs
lola: 69449423 markings, 456010162 edges, 152788 markings/sec, 350 secs
lola: 70208679 markings, 462069384 edges, 151851 markings/sec, 355 secs
lola: 70967640 markings, 468126351 edges, 151792 markings/sec, 360 secs
lola: 71730944 markings, 474218299 edges, 152661 markings/sec, 365 secs
lola: 72483029 markings, 480220276 edges, 150417 markings/sec, 370 secs
lola: 73241452 markings, 486273062 edges, 151685 markings/sec, 375 secs
lola: 73995128 markings, 492287739 edges, 150735 markings/sec, 380 secs
lola: 74746437 markings, 498280915 edges, 150262 markings/sec, 385 secs
lola: 75514767 markings, 504412638 edges, 153666 markings/sec, 390 secs
lola: 76272091 markings, 510456340 edges, 151465 markings/sec, 395 secs
lola: 77028823 markings, 516495584 edges, 151346 markings/sec, 400 secs
lola: 77781722 markings, 522504277 edges, 150580 markings/sec, 405 secs
lola: 78529647 markings, 528473060 edges, 149585 markings/sec, 410 secs
lola: 79288754 markings, 534531305 edges, 151821 markings/sec, 415 secs
lola: 80040685 markings, 540532275 edges, 150386 markings/sec, 420 secs
lola: 80789478 markings, 546505027 edges, 149759 markings/sec, 425 secs
lola: 81538842 markings, 552485308 edges, 149873 markings/sec, 430 secs
lola: 82286740 markings, 558453660 edges, 149580 markings/sec, 435 secs
lola: 83080190 markings, 564786251 edges, 158690 markings/sec, 440 secs
lola: 83877092 markings, 571146820 edges, 159380 markings/sec, 445 secs
lola: 84672307 markings, 577490657 edges, 159043 markings/sec, 450 secs
lola: 85458375 markings, 583764022 edges, 157214 markings/sec, 455 secs
lola: 86240170 markings, 590003719 edges, 156359 markings/sec, 460 secs
lola: 87037117 markings, 596364176 edges, 159389 markings/sec, 465 secs
lola: 87823510 markings, 602637644 edges, 157279 markings/sec, 470 secs
lola: 88602653 markings, 608855796 edges, 155829 markings/sec, 475 secs
lola: 89380870 markings, 615066711 edges, 155643 markings/sec, 480 secs
lola: 90162398 markings, 621304079 edges, 156306 markings/sec, 485 secs
lola: 90980859 markings, 627833848 edges, 163692 markings/sec, 490 secs
lola: 91781110 markings, 634220778 edges, 160050 markings/sec, 495 secs
lola: 92586417 markings, 640648319 edges, 161061 markings/sec, 500 secs
lola: 93386520 markings, 647031151 edges, 160021 markings/sec, 505 secs
lola: 94191189 markings, 653453386 edges, 160934 markings/sec, 510 secs
lola: 95039889 markings, 660225152 edges, 169740 markings/sec, 515 secs
lola: 95876783 markings, 666904449 edges, 167379 markings/sec, 520 secs
lola: 96759707 markings, 673949514 edges, 176585 markings/sec, 525 secs
lola: 97634838 markings, 680450200 edges, 175026 markings/sec, 530 secs
lola: 98393668 markings, 686506160 edges, 151766 markings/sec, 535 secs
lola: 99141784 markings, 692476585 edges, 149623 markings/sec, 540 secs
lola: 99884193 markings, 698398604 edges, 148482 markings/sec, 545 secs
lola: 100610439 markings, 704194101 edges, 145249 markings/sec, 550 secs
lola: 101329205 markings, 709929993 edges, 143753 markings/sec, 555 secs
lola: 102040790 markings, 715610841 edges, 142317 markings/sec, 560 secs
lola: 102745171 markings, 721231568 edges, 140876 markings/sec, 565 secs
lola: 103445388 markings, 726819129 edges, 140043 markings/sec, 570 secs
lola: 104147372 markings, 732420926 edges, 140397 markings/sec, 575 secs
lola: 104850381 markings, 738030635 edges, 140602 markings/sec, 580 secs
lola: 105547512 markings, 743593462 edges, 139426 markings/sec, 585 secs
lola: 106246785 markings, 749173352 edges, 139855 markings/sec, 590 secs
lola: 106939387 markings, 754700204 edges, 138520 markings/sec, 595 secs
lola: 107631562 markings, 760223479 edges, 138435 markings/sec, 600 secs
lola: 108335471 markings, 765840933 edges, 140782 markings/sec, 605 secs
lola: 109031979 markings, 771401028 edges, 139302 markings/sec, 610 secs
lola: 109721848 markings, 776905971 edges, 137974 markings/sec, 615 secs
lola: 110417677 markings, 782458501 edges, 139166 markings/sec, 620 secs
lola: 111107377 markings, 787961878 edges, 137940 markings/sec, 625 secs
lola: 111522648 markings, 791274938 edges, 83054 markings/sec, 630 secs
lola: 111522687 markings, 791275222 edges, 8 markings/sec, 635 secs
lola: 111527417 markings, 791313134 edges, 946 markings/sec, 640 secs
lola: 111527448 markings, 791313349 edges, 6 markings/sec, 645 secs
lola: 111527481 markings, 791313577 edges, 7 markings/sec, 650 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (A (X (X (FIREABLE(msA)))) AND A (G (F ((FIREABLE(msG) AND (FIREABLE(msA) U X (FIREABLE(srG))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(msG) AND (FIREABLE(msA) U X (FIREABLE(srG)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(msG) AND (FIREABLE(msA) U X (FIREABLE(srG)))))))
lola: processed formula length: 67
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1159900 markings, 5417552 edges, 231980 markings/sec, 0 secs
lola: 2300096 markings, 11192916 edges, 228039 markings/sec, 5 secs
lola: 3425212 markings, 16871917 edges, 225023 markings/sec, 10 secs
lola: 4503286 markings, 22476684 edges, 215615 markings/sec, 15 secs
lola: 5487383 markings, 27855027 edges, 196819 markings/sec, 20 secs
lola: 6563794 markings, 33419005 edges, 215282 markings/sec, 25 secs
lola: 7638820 markings, 39002728 edges, 215005 markings/sec, 30 secs
lola: 8599208 markings, 44288574 edges, 192078 markings/sec, 35 secs
lola: 9655596 markings, 49750214 edges, 211278 markings/sec, 40 secs
lola: 10595854 markings, 54942570 edges, 188052 markings/sec, 45 secs
lola: 11579568 markings, 60256395 edges, 196743 markings/sec, 50 secs
lola: 12566025 markings, 65444718 edges, 197291 markings/sec, 55 secs
lola: 13460744 markings, 70435790 edges, 178944 markings/sec, 60 secs
lola: 14462099 markings, 75718809 edges, 200271 markings/sec, 65 secs
lola: 15439602 markings, 80953974 edges, 195501 markings/sec, 70 secs
lola: 16333305 markings, 85989499 edges, 178741 markings/sec, 75 secs
lola: 17264529 markings, 91205558 edges, 186245 markings/sec, 80 secs
lola: 18320916 markings, 96558044 edges, 211277 markings/sec, 85 secs
lola: 19210784 markings, 101518587 edges, 177974 markings/sec, 90 secs
lola: 20095364 markings, 106498090 edges, 176916 markings/sec, 95 secs
lola: 21034510 markings, 111725742 edges, 187829 markings/sec, 100 secs
lola: 22076678 markings, 117040587 edges, 208434 markings/sec, 105 secs
lola: 22963087 markings, 121982131 edges, 177282 markings/sec, 110 secs
lola: 23844592 markings, 126940935 edges, 176301 markings/sec, 115 secs
lola: 24736672 markings, 132015640 edges, 178416 markings/sec, 120 secs
lola: 25782581 markings, 137380332 edges, 209182 markings/sec, 125 secs
lola: 26697221 markings, 142348891 edges, 182928 markings/sec, 130 secs
lola: 27547817 markings, 147130433 edges, 170119 markings/sec, 135 secs
lola: 28383541 markings, 151879851 edges, 167145 markings/sec, 140 secs
lola: 29253875 markings, 156832167 edges, 174067 markings/sec, 145 secs
lola: 30188092 markings, 161974936 edges, 186843 markings/sec, 150 secs
lola: 31249609 markings, 167359244 edges, 212303 markings/sec, 155 secs
lola: 32171025 markings, 172503671 edges, 184283 markings/sec, 160 secs
lola: 33061837 markings, 177518898 edges, 178162 markings/sec, 165 secs
lola: 33940326 markings, 182516343 edges, 175698 markings/sec, 170 secs
lola: 34800455 markings, 187480623 edges, 172026 markings/sec, 175 secs
lola: 35742286 markings, 192634435 edges, 188366 markings/sec, 180 secs
lola: 36805569 markings, 198007003 edges, 212657 markings/sec, 185 secs
lola: 37708501 markings, 203045229 edges, 180586 markings/sec, 190 secs
lola: 38579777 markings, 207948427 edges, 174255 markings/sec, 195 secs
lola: 39423085 markings, 212762259 edges, 168662 markings/sec, 200 secs
lola: 40258314 markings, 217546148 edges, 167046 markings/sec, 205 secs
lola: 41079613 markings, 222268933 edges, 164260 markings/sec, 210 secs
lola: 42002434 markings, 227322560 edges, 184564 markings/sec, 215 secs
lola: 43060672 markings, 232628178 edges, 211648 markings/sec, 220 secs
lola: 43958692 markings, 237623069 edges, 179604 markings/sec, 225 secs
lola: 44806367 markings, 242448552 edges, 169535 markings/sec, 230 secs
lola: 45642642 markings, 247201141 edges, 167255 markings/sec, 235 secs
lola: 46480970 markings, 251960064 edges, 167666 markings/sec, 240 secs
lola: 47283639 markings, 256591924 edges, 160534 markings/sec, 245 secs
lola: 48128155 markings, 261398421 edges, 168903 markings/sec, 250 secs
lola: 49040126 markings, 266439287 edges, 182394 markings/sec, 255 secs
lola: 50087309 markings, 271660198 edges, 209437 markings/sec, 260 secs
lola: 50960080 markings, 276505394 edges, 174554 markings/sec, 265 secs
lola: 51790751 markings, 281188179 edges, 166134 markings/sec, 270 secs
lola: 52601536 markings, 285790722 edges, 162157 markings/sec, 275 secs
lola: 53423193 markings, 290466175 edges, 164331 markings/sec, 280 secs
lola: 54199914 markings, 294932344 edges, 155344 markings/sec, 285 secs
lola: 54990801 markings, 299491355 edges, 158177 markings/sec, 290 secs
lola: 55805930 markings, 304203144 edges, 163026 markings/sec, 295 secs
lola: 56652230 markings, 309093905 edges, 169260 markings/sec, 300 secs
lola: 57733229 markings, 314291665 edges, 216200 markings/sec, 305 secs
lola: 58637071 markings, 319262719 edges, 180768 markings/sec, 310 secs
lola: 59480082 markings, 323999308 edges, 168602 markings/sec, 315 secs
lola: 60299192 markings, 328645901 edges, 163822 markings/sec, 320 secs
lola: 61125667 markings, 333350769 edges, 165295 markings/sec, 325 secs
lola: 61943595 markings, 337995535 edges, 163586 markings/sec, 330 secs
lola: 62729117 markings, 342517477 edges, 157104 markings/sec, 335 secs
lola: 63546679 markings, 347232852 edges, 163512 markings/sec, 340 secs
lola: 64374584 markings, 352012315 edges, 165581 markings/sec, 345 secs
lola: 65218930 markings, 356889229 edges, 168869 markings/sec, 350 secs
lola: 66247078 markings, 362135890 edges, 205630 markings/sec, 355 secs
lola: 67233274 markings, 367241220 edges, 197239 markings/sec, 360 secs
lola: 68072466 markings, 371948532 edges, 167838 markings/sec, 365 secs
lola: 68892220 markings, 376554442 edges, 163951 markings/sec, 370 secs
lola: 69701339 markings, 381159859 edges, 161824 markings/sec, 375 secs
lola: 70493196 markings, 385709032 edges, 158371 markings/sec, 380 secs
lola: 71268106 markings, 390175640 edges, 154982 markings/sec, 385 secs
lola: 72087670 markings, 394831280 edges, 163913 markings/sec, 390 secs
lola: 72895930 markings, 399486398 edges, 161652 markings/sec, 395 secs
lola: 73706234 markings, 404160972 edges, 162061 markings/sec, 400 secs
lola: 74516928 markings, 408841830 edges, 162139 markings/sec, 405 secs
lola: 75429111 markings, 414018890 edges, 182437 markings/sec, 410 secs
lola: 76549802 markings, 419459446 edges, 224138 markings/sec, 415 secs
lola: 77425099 markings, 424267246 edges, 175059 markings/sec, 420 secs
lola: 78239016 markings, 428872733 edges, 162783 markings/sec, 425 secs
lola: 79034825 markings, 433395205 edges, 159162 markings/sec, 430 secs
lola: 79843688 markings, 437979448 edges, 161773 markings/sec, 435 secs
lola: 80640328 markings, 442514778 edges, 159328 markings/sec, 440 secs
lola: 81407998 markings, 446921506 edges, 153534 markings/sec, 445 secs
lola: 82205970 markings, 451519837 edges, 159594 markings/sec, 450 secs
lola: 83006899 markings, 456137175 edges, 160186 markings/sec, 455 secs
lola: 83804310 markings, 460736608 edges, 159482 markings/sec, 460 secs
lola: 84618553 markings, 465433907 edges, 162849 markings/sec, 465 secs
lola: 85488233 markings, 470461464 edges, 173936 markings/sec, 470 secs
lola: 86441225 markings, 475728191 edges, 190598 markings/sec, 475 secs
lola: 87518558 markings, 480994412 edges, 215467 markings/sec, 480 secs
lola: 88373259 markings, 485674729 edges, 170940 markings/sec, 485 secs
lola: 89163962 markings, 490155654 edges, 158141 markings/sec, 490 secs
lola: 89940901 markings, 494563317 edges, 155388 markings/sec, 495 secs
lola: 90728244 markings, 499032151 edges, 157469 markings/sec, 500 secs
lola: 91491681 markings, 503434724 edges, 152687 markings/sec, 505 secs
lola: 92254760 markings, 507748563 edges, 152616 markings/sec, 510 secs
lola: 93027442 markings, 512195696 edges, 154536 markings/sec, 515 secs
lola: 93804386 markings, 516673686 edges, 155389 markings/sec, 520 secs
lola: 94582053 markings, 521156817 edges, 155533 markings/sec, 525 secs
lola: 95359994 markings, 525647330 edges, 155588 markings/sec, 530 secs
lola: 96193213 markings, 530464749 edges, 166644 markings/sec, 535 secs
lola: 97013399 markings, 535284256 edges, 164037 markings/sec, 540 secs
lola: 97867899 markings, 540216463 edges, 170900 markings/sec, 545 secs
lola: 98895624 markings, 545463409 edges, 205545 markings/sec, 550 secs
lola: 99926786 markings, 550679076 edges, 206232 markings/sec, 555 secs
lola: 100795211 markings, 555514859 edges, 173685 markings/sec, 560 secs
lola: 101618101 markings, 560192947 edges, 164578 markings/sec, 565 secs
lola: 102434152 markings, 564828438 edges, 163210 markings/sec, 570 secs
lola: 103255720 markings, 569491062 edges, 164314 markings/sec, 575 secs
lola: 104037946 markings, 573999670 edges, 156445 markings/sec, 580 secs
lola: 104841049 markings, 578639024 edges, 160621 markings/sec, 585 secs
lola: 105677917 markings, 583391851 edges, 167374 markings/sec, 590 secs
lola: 106498129 markings, 588119293 edges, 164042 markings/sec, 595 secs
lola: 107294767 markings, 592729553 edges, 159328 markings/sec, 600 secs
lola: 108121106 markings, 597576090 edges, 165268 markings/sec, 605 secs
lola: 108973686 markings, 602494574 edges, 170516 markings/sec, 610 secs
lola: 109823526 markings, 607395712 edges, 169968 markings/sec, 615 secs
lola: 110698434 markings, 612448451 edges, 174982 markings/sec, 620 secs
lola: 111654206 markings, 617717024 edges, 191154 markings/sec, 625 secs
lola: 112771351 markings, 623136977 edges, 223429 markings/sec, 630 secs
lola: 113669610 markings, 628074806 edges, 179652 markings/sec, 635 secs
lola: 114505647 markings, 632768758 edges, 167207 markings/sec, 640 secs
lola: 115311831 markings, 637357357 edges, 161237 markings/sec, 645 secs
lola: 116129391 markings, 641996047 edges, 163512 markings/sec, 650 secs
lola: 116937154 markings, 646588840 edges, 161553 markings/sec, 655 secs
lola: 117711585 markings, 651037640 edges, 154886 markings/sec, 660 secs
lola: 118516777 markings, 655677712 edges, 161038 markings/sec, 665 secs
lola: 119325260 markings, 660347041 edges, 161697 markings/sec, 670 secs
lola: 120127198 markings, 664970116 edges, 160388 markings/sec, 675 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (X (X (FIREABLE(msA))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (FIREABLE(msA))))
lola: processed formula length: 25
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5001 markings, 5001 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (F ((NOT FIREABLE(msG) OR (X (NOT FIREABLE(srF)) OR F (G (NOT FIREABLE(maU))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((NOT FIREABLE(msG) OR (X (NOT FIREABLE(srF)) OR F (G (NOT FIREABLE(maU))))))))
lola: processed formula length: 87
lola: 111 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2144089 markings, 6320864 edges, 428818 markings/sec, 0 secs
lola: 4348077 markings, 12911230 edges, 440798 markings/sec, 5 secs
lola: 6207460 markings, 18470978 edges, 371877 markings/sec, 10 secs
lola: 8455878 markings, 25193833 edges, 449684 markings/sec, 15 secs
lola: 10647865 markings, 31747392 edges, 438397 markings/sec, 20 secs
lola: 12885591 markings, 38438969 edges, 447545 markings/sec, 25 secs
lola: 14874394 markings, 44385381 edges, 397761 markings/sec, 30 secs
lola: 16712891 markings, 50309166 edges, 367699 markings/sec, 35 secs
lola: 17790233 markings, 54608133 edges, 215468 markings/sec, 40 secs
lola: 18846510 markings, 58822842 edges, 211255 markings/sec, 45 secs
lola: 19906410 markings, 63052041 edges, 211980 markings/sec, 50 secs
lola: 20973206 markings, 67308022 edges, 213359 markings/sec, 55 secs
lola: 22046468 markings, 71590668 edges, 214652 markings/sec, 60 secs
lola: 23126160 markings, 75899042 edges, 215938 markings/sec, 65 secs
lola: 24219081 markings, 80259522 edges, 218584 markings/sec, 70 secs
lola: 25320683 markings, 84654730 edges, 220320 markings/sec, 75 secs
lola: 26406500 markings, 88987599 edges, 217163 markings/sec, 80 secs
lola: 27511221 markings, 93395286 edges, 220944 markings/sec, 85 secs
lola: 28699620 markings, 98136877 edges, 237680 markings/sec, 90 secs
lola: 29887045 markings, 102875378 edges, 237485 markings/sec, 95 secs
lola: 31152142 markings, 107922967 edges, 253019 markings/sec, 100 secs
lola: 32610620 markings, 113661478 edges, 291696 markings/sec, 105 secs
lola: 33642773 markings, 117779690 edges, 206431 markings/sec, 110 secs
lola: 34631454 markings, 121724818 edges, 197736 markings/sec, 115 secs
lola: 35623479 markings, 125683317 edges, 198405 markings/sec, 120 secs
lola: 36616322 markings, 129644286 edges, 198569 markings/sec, 125 secs
lola: 37614716 markings, 133628265 edges, 199679 markings/sec, 130 secs
lola: 38621793 markings, 137646174 edges, 201415 markings/sec, 135 secs
lola: 39641585 markings, 141715741 edges, 203958 markings/sec, 140 secs
lola: 40661264 markings, 145784054 edges, 203936 markings/sec, 145 secs
lola: 41685558 markings, 149870830 edges, 204859 markings/sec, 150 secs
lola: 42694859 markings, 153898435 edges, 201860 markings/sec, 155 secs
lola: 43720294 markings, 157989777 edges, 205087 markings/sec, 160 secs
lola: 44812595 markings, 162348578 edges, 218460 markings/sec, 165 secs
lola: 45907566 markings, 166717264 edges, 218994 markings/sec, 170 secs
lola: 47055144 markings, 171296377 edges, 229516 markings/sec, 175 secs
lola: 48317304 markings, 176332216 edges, 252432 markings/sec, 180 secs
lola: 49780741 markings, 182227555 edges, 292687 markings/sec, 185 secs
lola: 51041282 markings, 187839883 edges, 252108 markings/sec, 190 secs
lola: 52331450 markings, 193538682 edges, 258034 markings/sec, 195 secs
lola: 53589645 markings, 199222604 edges, 251639 markings/sec, 200 secs
lola: 54910409 markings, 205056518 edges, 264153 markings/sec, 205 secs
lola: 56204092 markings, 210697024 edges, 258737 markings/sec, 210 secs
lola: 57364828 markings, 216291620 edges, 232147 markings/sec, 215 secs
lola: 58690573 markings, 222089596 edges, 265149 markings/sec, 220 secs
lola: 59902676 markings, 227591741 edges, 242421 markings/sec, 225 secs
lola: 61170538 markings, 233399310 edges, 253572 markings/sec, 230 secs
lola: 62408191 markings, 238955032 edges, 247531 markings/sec, 235 secs
lola: 63702082 markings, 244908567 edges, 258778 markings/sec, 240 secs
lola: 64910855 markings, 250488023 edges, 241755 markings/sec, 245 secs
lola: 66257218 markings, 256473676 edges, 269273 markings/sec, 250 secs
lola: 67433195 markings, 262245021 edges, 235195 markings/sec, 255 secs
lola: 68854612 markings, 268177260 edges, 284283 markings/sec, 260 secs
lola: 70028468 markings, 273945101 edges, 234771 markings/sec, 265 secs
lola: 71340894 markings, 279668023 edges, 262485 markings/sec, 270 secs
lola: 72618266 markings, 285553184 edges, 255474 markings/sec, 275 secs
lola: 73760335 markings, 291170470 edges, 228414 markings/sec, 280 secs
lola: 75210827 markings, 297100463 edges, 290098 markings/sec, 285 secs
lola: 76403729 markings, 302975705 edges, 238580 markings/sec, 290 secs
lola: 77507104 markings, 308407430 edges, 220675 markings/sec, 295 secs
lola: 78943898 markings, 314194819 edges, 287359 markings/sec, 300 secs
lola: 80097982 markings, 319884238 edges, 230817 markings/sec, 305 secs
lola: 81172581 markings, 325178397 edges, 214920 markings/sec, 310 secs
lola: 82530052 markings, 330833707 edges, 271494 markings/sec, 315 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no no no no no yes unknown no no no no no no unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no unknown no no no no no yes unknown no no no no no no unknown
lola:
preliminary result: no unknown no no no no no yes unknown no no no no no no unknown
lola: memory consumption: 10496 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589300364088
--------------------
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-N0100P0"
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-N0100P0, 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-158902068300056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0100P0.tgz
mv ClientsAndServers-PT-N0100P0 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 ;