About the Execution of 2019-Gold for ClientsAndServers-PT-N0010P2
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15919.130 | 3570193.00 | 3539426.00 | 13549.20 | T???F?FTTFTF?FFF | 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-158902068200041.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-N0010P2, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200041
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 3.1K Mar 30 01:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 01:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:21 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.0K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 26 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Mar 26 07:39 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-N0010P2-00
FORMULA_NAME ClientsAndServers-PT-N0010P2-01
FORMULA_NAME ClientsAndServers-PT-N0010P2-02
FORMULA_NAME ClientsAndServers-PT-N0010P2-03
FORMULA_NAME ClientsAndServers-PT-N0010P2-04
FORMULA_NAME ClientsAndServers-PT-N0010P2-05
FORMULA_NAME ClientsAndServers-PT-N0010P2-06
FORMULA_NAME ClientsAndServers-PT-N0010P2-07
FORMULA_NAME ClientsAndServers-PT-N0010P2-08
FORMULA_NAME ClientsAndServers-PT-N0010P2-09
FORMULA_NAME ClientsAndServers-PT-N0010P2-10
FORMULA_NAME ClientsAndServers-PT-N0010P2-11
FORMULA_NAME ClientsAndServers-PT-N0010P2-12
FORMULA_NAME ClientsAndServers-PT-N0010P2-13
FORMULA_NAME ClientsAndServers-PT-N0010P2-14
FORMULA_NAME ClientsAndServers-PT-N0010P2-15
=== Now, execution of the tool begins
BK_START 1589262365384
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ ClientsAndServers-PT-N0010P2 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0010P2-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-01 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ ClientsAndServers-PT-N0010P2
{
"exit":
{
"memory": 2036416,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A (X (F (((MpG <= 2) AND G ((SR <= CA))))))",
"processed_size": 43,
"rewrites": 92
},
"result":
{
"preliminary_value": "yes unknown unknown unknown no unknown no yes yes no yes no unknown no no no "
},
"task":
{
"buchi":
{
"states": 3
},
"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"
}
}
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 LTLCardinality.xml
lola: LP says that atomic proposition is always false: (Mi <= SR)
lola: LP says that atomic proposition is always true: (CR <= CwG)
lola: A (((SR + 1 <= Mi) OR (F ((((SpG <= Uf) AND G ((3 <= StR))) U G ((0 <= SG)))) U (0 <= SG)))) : A (((SpG + 1 <= SA) OR G (X ((G ((CA <= Ci)) U F ((SA <= SpG))))))) : A (NOT(G (X (((3 <= MpG) OR NOT(G ((SR <= CA)))))))) : A (X (F (G ((((3 <= SpG) AND (SwG <= MtF)) OR F (X (X (F ((1 <= CR)))))))))) : A (F (NOT(G (F ((0 <= CwA)))))) : A (((SG <= Uf) U G (X ((SG <= Uf))))) : A (F (NOT(X (X (G (X (G ((CF <= MpG))))))))) : A ((((SpA <= StF) OR (F ((0 <= CwG)) AND G ((StF <= 0)))) OR X (X ((1 <= StF))))) : A (F ((Cb <= 1))) : A (NOT(X (F ((F (X ((0 <= CwA))) OR ((0 <= CwA) U X (F ((CR <= CwG))))))))) : A (F (((CG <= 1)))) : A ((NOT(F ((MpA <= Si))) U (Ci <= StF))) : A ((X (G (F (G (((SpG <= MtF) OR (Si <= MpA)))))) U ((Si <= SA) OR F (G (F (X ((1 <= SG)))))))) : A (G (F (X (X (((2 <= Cb) AND X ((2 <= Cb)))))))) : A (X (X (X (X ((((Uf <= StF) OR ((Uf <= CwG))) AND G ((Uf <= StF)))))))) : A (((G ((CR <= SpA)) U ((X (X ((CR <= SpA))) U (SR <= SF)) U (3 <= Si))) AND X (NOT(X ((0 <= CwA))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 92 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: lola: ========================================
...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((SpG + 1 <= SA) OR X (G ((F ((SA <= SpG)) OR (G ((CA <= Ci)) AND F ((SA <= SpG))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((SpG + 1 <= SA) OR X (G ((F ((SA <= SpG)) OR (G ((CA <= Ci)) AND F ((SA <= SpG))))))))
lola: processed formula length: 90
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 2018493 markings, 4536035 edges, 403699 markings/sec, 0 secs
lola: 3757887 markings, 8656329 edges, 347879 markings/sec, 5 secs
lola: 5449706 markings, 12618781 edges, 338364 markings/sec, 10 secs
lola: 6907866 markings, 16261720 edges, 291632 markings/sec, 15 secs
lola: 8373714 markings, 19683316 edges, 293170 markings/sec, 20 secs
lola: 9469444 markings, 22490139 edges, 219146 markings/sec, 25 secs
lola: 10515219 markings, 25209316 edges, 209155 markings/sec, 30 secs
lola: 11848162 markings, 28332121 edges, 266589 markings/sec, 35 secs
lola: 13106202 markings, 31352802 edges, 251608 markings/sec, 40 secs
lola: 14123949 markings, 33941647 edges, 203549 markings/sec, 45 secs
lola: 15126152 markings, 36556309 edges, 200441 markings/sec, 50 secs
lola: 16156108 markings, 39322137 edges, 205991 markings/sec, 55 secs
lola: 17423553 markings, 42340083 edges, 253489 markings/sec, 60 secs
lola: 18751986 markings, 45424482 edges, 265687 markings/sec, 65 secs
lola: 19808231 markings, 48134071 edges, 211249 markings/sec, 70 secs
lola: 20807582 markings, 50733667 edges, 199870 markings/sec, 75 secs
lola: 21840181 markings, 53456489 edges, 206520 markings/sec, 80 secs
lola: 22917034 markings, 56265117 edges, 215371 markings/sec, 85 secs
lola: 23918514 markings, 58986673 edges, 200296 markings/sec, 90 secs
lola: 25158874 markings, 61935905 edges, 248072 markings/sec, 95 secs
lola: 26506182 markings, 65068528 edges, 269462 markings/sec, 100 secs
lola: 27740898 markings, 68118823 edges, 246943 markings/sec, 105 secs
lola: 28820524 markings, 70943377 edges, 215925 markings/sec, 110 secs
lola: 29902476 markings, 73769294 edges, 216390 markings/sec, 115 secs
lola: 30955514 markings, 76528926 edges, 210608 markings/sec, 120 secs
lola: 31920906 markings, 79197676 edges, 193078 markings/sec, 125 secs
lola: 33016201 markings, 82031943 edges, 219059 markings/sec, 130 secs
lola: 33992916 markings, 84754277 edges, 195343 markings/sec, 135 secs
lola: 35207889 markings, 87740271 edges, 242995 markings/sec, 140 secs
lola: 36351960 markings, 90558008 edges, 228814 markings/sec, 145 secs
lola: 37717308 markings, 93698452 edges, 273070 markings/sec, 150 secs
lola: 38942170 markings, 96741250 edges, 244972 markings/sec, 155 secs
lola: 40025050 markings, 99566723 edges, 216576 markings/sec, 160 secs
lola: 41095867 markings, 102373441 edges, 214163 markings/sec, 165 secs
lola: 42186441 markings, 105223633 edges, 218115 markings/sec, 170 secs
lola: 43156091 markings, 107913264 edges, 193930 markings/sec, 175 secs
lola: 44235375 markings, 110708622 edges, 215857 markings/sec, 180 secs
lola: 45178690 markings, 113335685 edges, 188663 markings/sec, 185 secs
lola: 46270975 markings, 116162210 edges, 218457 markings/sec, 190 secs
lola: 47240833 markings, 118838286 edges, 193972 markings/sec, 195 secs
lola: 48219519 markings, 121556910 edges, 195737 markings/sec, 200 secs
lola: 49469417 markings, 124563357 edges, 249980 markings/sec, 205 secs
lola: 50632848 markings, 127429373 edges, 232686 markings/sec, 210 secs
lola: 51882638 markings, 130443461 edges, 249958 markings/sec, 215 secs
lola: 53327131 markings, 133872827 edges, 288899 markings/sec, 220 secs
lola: 54536216 markings, 136966821 edges, 241817 markings/sec, 225 secs
lola: 55677096 markings, 139964415 edges, 228176 markings/sec, 230 secs
lola: 56779627 markings, 142851398 edges, 220506 markings/sec, 235 secs
lola: 57780448 markings, 145621592 edges, 200164 markings/sec, 240 secs
lola: 58888540 markings, 148489730 edges, 221618 markings/sec, 245 secs
lola: 59859175 markings, 151193935 edges, 194127 markings/sec, 250 secs
lola: 60963066 markings, 154054170 edges, 220778 markings/sec, 255 secs
lola: 61948440 markings, 156775089 edges, 197075 markings/sec, 260 secs
lola: 62950647 markings, 159547596 edges, 200441 markings/sec, 265 secs
lola: 64089665 markings, 162521681 edges, 227804 markings/sec, 270 secs
lola: 65113601 markings, 165381250 edges, 204787 markings/sec, 275 secs
lola: 66156807 markings, 168334030 edges, 208641 markings/sec, 280 secs
lola: 67475125 markings, 171537800 edges, 263664 markings/sec, 285 secs
lola: 68726945 markings, 174603593 edges, 250364 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown no unknown unknown unknown unknown no unknown unknown unknown unknown unknown no
lola: memory consumption: 9974268 KB
lola: time consumption: 302 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((SG <= Uf) U X (G ((SG <= Uf)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((SG <= Uf) U X (G ((SG <= Uf)))))
lola: processed formula length: 37
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 1169110 markings, 3735285 edges, 233822 markings/sec, 0 secs
lola: 2010881 markings, 6608385 edges, 168354 markings/sec, 5 secs
lola: 2773777 markings, 9271513 edges, 152579 markings/sec, 10 secs
lola: 3510361 markings, 11881602 edges, 147317 markings/sec, 15 secs
lola: 4220798 markings, 14432867 edges, 142087 markings/sec, 20 secs
lola: 4889763 markings, 16851977 edges, 133793 markings/sec, 25 secs
lola: 5562470 markings, 19305291 edges, 134541 markings/sec, 30 secs
lola: 6224998 markings, 21734437 edges, 132506 markings/sec, 35 secs
lola: 6874626 markings, 24133836 edges, 129926 markings/sec, 40 secs
lola: 7517257 markings, 26517001 edges, 128526 markings/sec, 45 secs
lola: 8151933 markings, 28880352 edges, 126935 markings/sec, 50 secs
lola: 8778015 markings, 31224434 edges, 125216 markings/sec, 55 secs
lola: 9397266 markings, 33549542 edges, 123850 markings/sec, 60 secs
lola: 10013793 markings, 35865221 edges, 123305 markings/sec, 65 secs
lola: 10618248 markings, 38153129 edges, 120891 markings/sec, 70 secs
lola: 11216601 markings, 40424184 edges, 119671 markings/sec, 75 secs
lola: 11815108 markings, 42691800 edges, 119701 markings/sec, 80 secs
lola: 12403748 markings, 44932537 edges, 117728 markings/sec, 85 secs
lola: 12988145 markings, 47156361 edges, 116879 markings/sec, 90 secs
lola: 13563345 markings, 49357089 edges, 115040 markings/sec, 95 secs
lola: 14132532 markings, 51534459 edges, 113837 markings/sec, 100 secs
lola: 14691907 markings, 53682673 edges, 111875 markings/sec, 105 secs
lola: 15245511 markings, 55808972 edges, 110721 markings/sec, 110 secs
lola: 15790264 markings, 57909768 edges, 108951 markings/sec, 115 secs
lola: 16330205 markings, 59992313 edges, 107988 markings/sec, 120 secs
lola: 16862873 markings, 62052772 edges, 106534 markings/sec, 125 secs
lola: 17388958 markings, 64090480 edges, 105217 markings/sec, 130 secs
lola: 17909063 markings, 66113963 edges, 104021 markings/sec, 135 secs
lola: 18428038 markings, 68124597 edges, 103795 markings/sec, 140 secs
lola: 18941420 markings, 70117281 edges, 102676 markings/sec, 145 secs
lola: 19446618 markings, 72088878 edges, 101040 markings/sec, 150 secs
lola: 19951143 markings, 74052181 edges, 100905 markings/sec, 155 secs
lola: 20449345 markings, 75996036 edges, 99640 markings/sec, 160 secs
lola: 20945314 markings, 77930813 edges, 99194 markings/sec, 165 secs
lola: 21435440 markings, 79849753 edges, 98025 markings/sec, 170 secs
lola: 21924108 markings, 81759883 edges, 97734 markings/sec, 175 secs
lola: 22406045 markings, 83653914 edges, 96387 markings/sec, 180 secs
lola: 22888307 markings, 85545096 edges, 96452 markings/sec, 185 secs
lola: 23363645 markings, 87414043 edges, 95068 markings/sec, 190 secs
lola: 23837789 markings, 89278096 edges, 94829 markings/sec, 195 secs
lola: 24308060 markings, 91131026 edges, 94054 markings/sec, 200 secs
lola: 24777159 markings, 92978488 edges, 93820 markings/sec, 205 secs
lola: 25242600 markings, 94814395 edges, 93088 markings/sec, 210 secs
lola: 25702108 markings, 96635253 edges, 91902 markings/sec, 215 secs
lola: 26163837 markings, 98455907 edges, 92346 markings/sec, 220 secs
lola: 26621152 markings, 100266943 edges, 91463 markings/sec, 225 secs
lola: 27074854 markings, 102066903 edges, 90740 markings/sec, 230 secs
lola: 27527767 markings, 103859630 edges, 90583 markings/sec, 235 secs
lola: 27978366 markings, 105643899 edges, 90120 markings/sec, 240 secs
lola: 28424935 markings, 107416537 edges, 89314 markings/sec, 245 secs
lola: 28870544 markings, 109185956 edges, 89122 markings/sec, 250 secs
lola: 29312930 markings, 110947529 edges, 88477 markings/sec, 255 secs
lola: 29755022 markings, 112704865 edges, 88418 markings/sec, 260 secs
lola: 30194076 markings, 114454269 edges, 87811 markings/sec, 265 secs
lola: 30632988 markings, 116197667 edges, 87782 markings/sec, 270 secs
lola: 31068851 markings, 117933567 edges, 87173 markings/sec, 275 secs
lola: 31501388 markings, 119658115 edges, 86507 markings/sec, 280 secs
lola: 31932965 markings, 121379971 edges, 86315 markings/sec, 285 secs
lola: 32363191 markings, 123096644 edges, 86045 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown no unknown unknown unknown unknown no unknown unknown unknown unknown unknown no
lola: memory consumption: 6184736 KB
lola: time consumption: 600 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (F ((MpG + 1 <= CF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F ((MpG + 1 <= CF))))))
lola: processed formula length: 35
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 1894328 markings, 5168284 edges, 378866 markings/sec, 0 secs
lola: 3305430 markings, 9638481 edges, 282220 markings/sec, 5 secs
lola: 4753246 markings, 14299653 edges, 289563 markings/sec, 10 secs
lola: 6312830 markings, 19276012 edges, 311917 markings/sec, 15 secs
lola: 8033906 markings, 24997002 edges, 344215 markings/sec, 20 secs
lola: 9690961 markings, 30534910 edges, 331411 markings/sec, 25 secs
lola: 11244464 markings, 35861624 edges, 310701 markings/sec, 30 secs
lola: 12802556 markings, 41177452 edges, 311618 markings/sec, 35 secs
lola: 14324242 markings, 46430416 edges, 304337 markings/sec, 40 secs
lola: 15754285 markings, 51525122 edges, 286009 markings/sec, 45 secs
lola: 17316335 markings, 56755222 edges, 312410 markings/sec, 50 secs
lola: 18683462 markings, 61761560 edges, 273425 markings/sec, 55 secs
lola: 20253209 markings, 66948098 edges, 313949 markings/sec, 60 secs
lola: 21582401 markings, 71839604 edges, 265838 markings/sec, 65 secs
lola: 23051435 markings, 76945392 edges, 293807 markings/sec, 70 secs
lola: 24574963 markings, 82169140 edges, 304706 markings/sec, 75 secs
lola: 25959906 markings, 87286753 edges, 276989 markings/sec, 80 secs
lola: 27498128 markings, 92513698 edges, 307644 markings/sec, 85 secs
lola: 28970005 markings, 97598113 edges, 294375 markings/sec, 90 secs
lola: 30308301 markings, 102566517 edges, 267659 markings/sec, 95 secs
lola: 31694754 markings, 107594261 edges, 277291 markings/sec, 100 secs
lola: 33315339 markings, 112787135 edges, 324117 markings/sec, 105 secs
lola: 34653518 markings, 117712046 edges, 267636 markings/sec, 110 secs
lola: 35984170 markings, 122670932 edges, 266130 markings/sec, 115 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: 37219390 markings, 127292418 edges
lola: ========================================
lola: subprocess 7 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((SpA <= StF) OR (G ((StF <= 0)) OR X (X ((1 <= StF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((SpA <= StF) OR (G ((StF <= 0)) OR X (X ((1 <= StF))))))
lola: processed formula length: 60
lola: 92 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((MpG <= 2) AND G ((SR <= CA))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((MpG <= 2) AND G ((SR <= CA))))))
lola: processed formula length: 43
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 1129847 markings, 3664766 edges, 225969 markings/sec, 0 secs
lola: 1981022 markings, 6563324 edges, 170235 markings/sec, 5 secs
lola: 2754490 markings, 9260048 edges, 154694 markings/sec, 10 secs
lola: 3482267 markings, 11837926 edges, 145555 markings/sec, 15 secs
lola: 4179019 markings, 14337479 edges, 139350 markings/sec, 20 secs
lola: 4816435 markings, 16640643 edges, 127483 markings/sec, 25 secs
lola: 5486105 markings, 19080706 edges, 133934 markings/sec, 30 secs
lola: 6134860 markings, 21459795 edges, 129751 markings/sec, 35 secs
lola: 6765225 markings, 23782638 edges, 126073 markings/sec, 40 secs
lola: 7382050 markings, 26067669 edges, 123365 markings/sec, 45 secs
lola: 7988001 markings, 28321901 edges, 121190 markings/sec, 50 secs
lola: 8581403 markings, 30539343 edges, 118680 markings/sec, 55 secs
lola: 9165355 markings, 32731401 edges, 116790 markings/sec, 60 secs
lola: 9742707 markings, 34898120 edges, 115470 markings/sec, 65 secs
lola: 10310484 markings, 37038671 edges, 113555 markings/sec, 70 secs
lola: 10867093 markings, 39148992 edges, 111322 markings/sec, 75 secs
lola: 11420455 markings, 41246615 edges, 110672 markings/sec, 80 secs
lola: 11967614 markings, 43324399 edges, 109432 markings/sec, 85 secs
lola: 12510815 markings, 45390127 edges, 108640 markings/sec, 90 secs
lola: 13048434 markings, 47438783 edges, 107524 markings/sec, 95 secs
lola: 13579843 markings, 49472060 edges, 106282 markings/sec, 100 secs
lola: 14107345 markings, 51491624 edges, 105500 markings/sec, 105 secs
lola: 14630756 markings, 53499241 edges, 104682 markings/sec, 110 secs
lola: 15151003 markings, 55499222 edges, 104049 markings/sec, 115 secs
lola: 15667111 markings, 57487863 edges, 103222 markings/sec, 120 secs
lola: 16182813 markings, 59472957 edges, 103140 markings/sec, 125 secs
lola: 16693694 markings, 61447515 edges, 102176 markings/sec, 130 secs
lola: 17201165 markings, 63412609 edges, 101494 markings/sec, 135 secs
lola: 17704359 markings, 65372123 edges, 100639 markings/sec, 140 secs
lola: 18210506 markings, 67333959 edges, 101229 markings/sec, 145 secs
lola: 18716975 markings, 69297188 edges, 101294 markings/sec, 150 secs
lola: 19217836 markings, 71246025 edges, 100172 markings/sec, 155 secs
lola: 19718308 markings, 73198619 edges, 100094 markings/sec, 160 secs
lola: 20218816 markings, 75145246 edges, 100102 markings/sec, 165 secs
lola: 20715620 markings, 77086683 edges, 99361 markings/sec, 170 secs
lola: 21210244 markings, 79022828 edges, 98925 markings/sec, 175 secs
lola: 21706649 markings, 80959886 edges, 99281 markings/sec, 180 secs
lola: 22199101 markings, 82890964 edges, 98490 markings/sec, 185 secs
lola: 22689233 markings, 84817038 edges, 98026 markings/sec, 190 secs
lola: 23182135 markings, 86749006 edges, 98580 markings/sec, 195 secs
lola: 23668466 markings, 88667052 edges, 97266 markings/sec, 200 secs
lola: 24158708 markings, 90590253 edges, 98048 markings/sec, 205 secs
lola: 24643862 markings, 92504720 edges, 97031 markings/sec, 210 secs
lola: 25131013 markings, 94423042 edges, 97430 markings/sec, 215 secs
lola: 25610703 markings, 96323928 edges, 95938 markings/sec, 220 secs
lola: 26095323 markings, 98235963 edges, 96924 markings/sec, 225 secs
lola: 26576589 markings, 100141010 edges, 96253 markings/sec, 230 secs
lola: 27056031 markings, 102043830 edges, 95888 markings/sec, 235 secs
lola: 27536819 markings, 103945301 edges, 96158 markings/sec, 240 secs
lola: 28015430 markings, 105840419 edges, 95722 markings/sec, 245 secs
lola: 28492201 markings, 107732796 edges, 95354 markings/sec, 250 secs
lola: 28967992 markings, 109624342 edges, 95158 markings/sec, 255 secs
lola: 29440128 markings, 111507027 edges, 94427 markings/sec, 260 secs
lola: 29917591 markings, 113399546 edges, 95493 markings/sec, 265 secs
lola: 30392143 markings, 115286519 edges, 94910 markings/sec, 270 secs
lola: 30862196 markings, 117161175 edges, 94011 markings/sec, 275 secs
lola: 31333154 markings, 119035968 edges, 94192 markings/sec, 280 secs
lola: 31803414 markings, 120910668 edges, 94052 markings/sec, 285 secs
lola: 32271883 markings, 122781576 edges, 93694 markings/sec, 290 secs
lola: 32739470 markings, 124648847 edges, 93517 markings/sec, 295 secs
lola: 33208417 markings, 126520263 edges, 93789 markings/sec, 300 secs
lola: 33676023 markings, 128388394 edges, 93521 markings/sec, 305 secs
lola: 34141119 markings, 130251799 edges, 93019 markings/sec, 310 secs
lola: 34606918 markings, 132116681 edges, 93160 markings/sec, 315 secs
lola: 35068279 markings, 133969111 edges, 92272 markings/sec, 320 secs
lola: 35529174 markings, 135819470 edges, 92179 markings/sec, 325 secs
lola: 35990821 markings, 137672659 edges, 92329 markings/sec, 330 secs
lola: 36455193 markings, 139530416 edges, 92874 markings/sec, 335 secs
lola: 36916341 markings, 141380521 edges, 92230 markings/sec, 340 secs
lola: 37373755 markings, 143222769 edges, 91483 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown no unknown no yes unknown no unknown unknown unknown unknown unknown no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes unknown unknown unknown no unknown no yes unknown no unknown unknown unknown unknown unknown no
lola: memory consumption: 7196508 KB
lola: time consumption: 1081 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((2 <= Cb) AND X ((2 <= Cb))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((2 <= Cb) AND X ((2 <= Cb))))))
lola: processed formula length: 41
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 645 markings, 645 edges
lola: ========================================
lola: subprocess 10 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (X ((((Uf <= StF) OR ((Uf <= CwG))) AND G ((Uf <= StF))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (X ((((Uf <= StF) OR ((Uf <= CwG))) AND G ((Uf <= StF))))))))
lola: processed formula length: 73
lola: 92 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 645 markings, 645 edges
lola: ========================================
lola: subprocess 11 will run for 497 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((((3 <= SpG) AND (SwG <= MtF)) OR X (X (F ((1 <= CR))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((((3 <= SpG) AND (SwG <= MtF)) OR X (X (F ((1 <= CR))))))))
lola: processed formula length: 68
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 1194502 markings, 6115295 edges, 238900 markings/sec, 0 secs
lola: 2180354 markings, 11671816 edges, 197170 markings/sec, 5 secs
lola: 3108330 markings, 17258721 edges, 185595 markings/sec, 10 secs
lola: 4023180 markings, 22771639 edges, 182970 markings/sec, 15 secs
lola: 4928300 markings, 28179567 edges, 181024 markings/sec, 20 secs
lola: 5861110 markings, 33651657 edges, 186562 markings/sec, 25 secs
lola: 6761748 markings, 39071360 edges, 180128 markings/sec, 30 secs
lola: 7657877 markings, 44621839 edges, 179226 markings/sec, 35 secs
lola: 8546550 markings, 50169766 edges, 177735 markings/sec, 40 secs
lola: 9304531 markings, 55286393 edges, 151596 markings/sec, 45 secs
lola: 10112530 markings, 60422709 edges, 161600 markings/sec, 50 secs
lola: 10888052 markings, 65417713 edges, 155104 markings/sec, 55 secs
lola: 11634730 markings, 70254062 edges, 149336 markings/sec, 60 secs
lola: 12378394 markings, 75064371 edges, 148733 markings/sec, 65 secs
lola: 13174361 markings, 80297349 edges, 159193 markings/sec, 70 secs
lola: 13951649 markings, 85504754 edges, 155458 markings/sec, 75 secs
lola: 14653006 markings, 90256350 edges, 140271 markings/sec, 80 secs
lola: 15346235 markings, 95152751 edges, 138646 markings/sec, 85 secs
lola: 16099623 markings, 99977250 edges, 150678 markings/sec, 90 secs
lola: 16843833 markings, 104895623 edges, 148842 markings/sec, 95 secs
lola: 17584659 markings, 109769434 edges, 148165 markings/sec, 100 secs
lola: 18258266 markings, 114342635 edges, 134721 markings/sec, 105 secs
lola: 18938214 markings, 118877035 edges, 135990 markings/sec, 110 secs
lola: 19665045 markings, 123849168 edges, 145366 markings/sec, 115 secs
lola: 20401680 markings, 128841965 edges, 147327 markings/sec, 120 secs
lola: 21082722 markings, 133560053 edges, 136208 markings/sec, 125 secs
lola: 21932272 markings, 138863807 edges, 169910 markings/sec, 130 secs
lola: 22671664 markings, 143691656 edges, 147878 markings/sec, 135 secs
lola: 23349199 markings, 148139763 edges, 135507 markings/sec, 140 secs
lola: 24001320 markings, 152528928 edges, 130424 markings/sec, 145 secs
lola: 24697162 markings, 157261116 edges, 139168 markings/sec, 150 secs
lola: 25381963 markings, 162106671 edges, 136960 markings/sec, 155 secs
lola: 26065303 markings, 166903490 edges, 136668 markings/sec, 160 secs
lola: 26711311 markings, 171516143 edges, 129202 markings/sec, 165 secs
lola: 27354400 markings, 176119193 edges, 128618 markings/sec, 170 secs
lola: 28042195 markings, 180915247 edges, 137559 markings/sec, 175 secs
lola: 28733157 markings, 185754345 edges, 138192 markings/sec, 180 secs
lola: 29446042 markings, 190478535 edges, 142577 markings/sec, 185 secs
lola: 30107502 markings, 195053531 edges, 132292 markings/sec, 190 secs
lola: 30796444 markings, 199708375 edges, 137788 markings/sec, 195 secs
lola: 31495084 markings, 204411371 edges, 139728 markings/sec, 200 secs
lola: 32188542 markings, 209115227 edges, 138692 markings/sec, 205 secs
lola: 32826701 markings, 213578442 edges, 127632 markings/sec, 210 secs
lola: 33465948 markings, 218171431 edges, 127849 markings/sec, 215 secs
lola: 34077476 markings, 222616637 edges, 122306 markings/sec, 220 secs
lola: 34711598 markings, 227123711 edges, 126824 markings/sec, 225 secs
lola: 35417976 markings, 231953617 edges, 141276 markings/sec, 230 secs
lola: 36045555 markings, 236482911 edges, 125516 markings/sec, 235 secs
lola: 36690317 markings, 241083092 edges, 128952 markings/sec, 240 secs
lola: 37343424 markings, 245792231 edges, 130621 markings/sec, 245 secs
lola: 38079955 markings, 250594967 edges, 147306 markings/sec, 250 secs
lola: 38700957 markings, 255011158 edges, 124200 markings/sec, 255 secs
lola: 39311783 markings, 259398119 edges, 122165 markings/sec, 260 secs
lola: 39945130 markings, 263928333 edges, 126669 markings/sec, 265 secs
lola: 40576403 markings, 268426302 edges, 126255 markings/sec, 270 secs
lola: 41262180 markings, 272975292 edges, 137155 markings/sec, 275 secs
lola: 41832095 markings, 277017724 edges, 113983 markings/sec, 280 secs
lola: 42459691 markings, 281492723 edges, 125519 markings/sec, 285 secs
lola: 43082301 markings, 285959836 edges, 124522 markings/sec, 290 secs
lola: 43734964 markings, 290572087 edges, 130533 markings/sec, 295 secs
lola: 44369072 markings, 295072843 edges, 126822 markings/sec, 300 secs
lola: 45007260 markings, 299539190 edges, 127638 markings/sec, 305 secs
lola: 45624932 markings, 303943546 edges, 123534 markings/sec, 310 secs
lola: 46217940 markings, 308253588 edges, 118602 markings/sec, 315 secs
lola: 46752969 markings, 312538631 edges, 107006 markings/sec, 320 secs
lola: 47441030 markings, 317303608 edges, 137612 markings/sec, 325 secs
lola: 48156099 markings, 322054893 edges, 143014 markings/sec, 330 secs
lola: 48770893 markings, 326533621 edges, 122959 markings/sec, 335 secs
lola: 49300613 markings, 330663162 edges, 105944 markings/sec, 340 secs
lola: 49951548 markings, 335288971 edges, 130187 markings/sec, 345 secs
lola: 50530262 markings, 339525584 edges, 115743 markings/sec, 350 secs
lola: 51203764 markings, 344233357 edges, 134700 markings/sec, 355 secs
lola: 51845756 markings, 348799175 edges, 128398 markings/sec, 360 secs
lola: 52471304 markings, 353226344 edges, 125110 markings/sec, 365 secs
lola: 53107706 markings, 357889992 edges, 127280 markings/sec, 370 secs
lola: 53738212 markings, 362158991 edges, 126101 markings/sec, 375 secs
lola: 54355482 markings, 366571785 edges, 123454 markings/sec, 380 secs
lola: 54901892 markings, 370787784 edges, 109282 markings/sec, 385 secs
lola: 55462059 markings, 374954789 edges, 112033 markings/sec, 390 secs
lola: 56051991 markings, 379272788 edges, 117986 markings/sec, 395 secs
lola: 56657535 markings, 383637012 edges, 121109 markings/sec, 400 secs
lola: 57251759 markings, 387757251 edges, 118845 markings/sec, 405 secs
lola: 57829083 markings, 391714005 edges, 115465 markings/sec, 410 secs
lola: 58527513 markings, 396455860 edges, 139686 markings/sec, 415 secs
lola: 59353639 markings, 401488164 edges, 165225 markings/sec, 420 secs
lola: 59948158 markings, 405861648 edges, 118904 markings/sec, 425 secs
lola: 60553546 markings, 410070819 edges, 121078 markings/sec, 430 secs
lola: 61127861 markings, 414358247 edges, 114863 markings/sec, 435 secs
lola: 61667715 markings, 418498327 edges, 107971 markings/sec, 440 secs
lola: 62269639 markings, 422794042 edges, 120385 markings/sec, 445 secs
lola: 62921785 markings, 427544691 edges, 130429 markings/sec, 450 secs
lola: 63556392 markings, 432022125 edges, 126921 markings/sec, 455 secs
lola: 64141752 markings, 436295364 edges, 117072 markings/sec, 460 secs
lola: 64725439 markings, 440465380 edges, 116737 markings/sec, 465 secs
lola: 65340384 markings, 444803086 edges, 122989 markings/sec, 470 secs
lola: 65961545 markings, 449345514 edges, 124232 markings/sec, 475 secs
lola: 66599996 markings, 453814009 edges, 127690 markings/sec, 480 secs
lola: 67153372 markings, 457688016 edges, 110675 markings/sec, 485 secs
lola: 67689324 markings, 461821516 edges, 107190 markings/sec, 490 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown no unknown no yes unknown no unknown unknown unknown no no no
lola: memory consumption: 9461840 KB
lola: time consumption: 1579 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 497 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((CG <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((2 <= CG))
lola: processed formula length: 11
lola: 94 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 663 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((Cb <= 1)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (2 <= Cb)
lola: processed formula length: 9
lola: 94 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 995 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((Ci <= StF) OR (G ((Si + 1 <= MpA)) AND F ((Ci <= StF)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((Ci <= StF) OR (G ((Si + 1 <= MpA)) AND F ((Ci <= StF)))))
lola: processed formula length: 62
lola: 92 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1339 markings, 1339 edges
lola: ========================================
lola: subprocess 15 will run for 1990 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((Si <= SA) OR (G (F ((1 <= SG))) OR (F (((Si <= SA) OR G (F ((1 <= SG))))) AND F (G (((SpG <= MtF) OR (Si <= MpA))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((Si <= SA) OR (G (F ((1 <= SG))) OR (F (((Si <= SA) OR G (F ((1 <= SG))))) AND F (G (((SpG <= MtF) OR (Si <= MpA))))))))
lola: processed formula length: 125
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 2078310 markings, 5223177 edges, 415662 markings/sec, 0 secs
lola: 4081767 markings, 10475140 edges, 400691 markings/sec, 5 secs
lola: 6091908 markings, 15655867 edges, 402028 markings/sec, 10 secs
lola: 8030293 markings, 20736690 edges, 387677 markings/sec, 15 secs
lola: 9805178 markings, 25368540 edges, 354977 markings/sec, 20 secs
lola: 11697528 markings, 30302639 edges, 378470 markings/sec, 25 secs
lola: 13502323 markings, 35090245 edges, 360959 markings/sec, 30 secs
lola: 15416035 markings, 40082552 edges, 382742 markings/sec, 35 secs
lola: 17318888 markings, 45037537 edges, 380571 markings/sec, 40 secs
lola: 19067737 markings, 49771174 edges, 349770 markings/sec, 45 secs
lola: 21075739 markings, 54903102 edges, 401600 markings/sec, 50 secs
lola: 22853967 markings, 59626880 edges, 355646 markings/sec, 55 secs
lola: 24792352 markings, 64653049 edges, 387677 markings/sec, 60 secs
lola: 26477345 markings, 69216231 edges, 336999 markings/sec, 65 secs
lola: 28427536 markings, 74176426 edges, 390038 markings/sec, 70 secs
lola: 30095152 markings, 78692116 edges, 333523 markings/sec, 75 secs
lola: 31982564 markings, 83473596 edges, 377482 markings/sec, 80 secs
lola: 33745998 markings, 88161324 edges, 352687 markings/sec, 85 secs
lola: 35310466 markings, 92481611 edges, 312894 markings/sec, 90 secs
lola: 37271435 markings, 97374070 edges, 392194 markings/sec, 95 secs
lola: 39023820 markings, 102027220 edges, 350477 markings/sec, 100 secs
lola: 40558841 markings, 106282252 edges, 307004 markings/sec, 105 secs
lola: 42514401 markings, 111137148 edges, 391112 markings/sec, 110 secs
lola: 44248703 markings, 115745365 edges, 346860 markings/sec, 115 secs
lola: 45758389 markings, 119939300 edges, 301937 markings/sec, 120 secs
lola: 47683067 markings, 124699104 edges, 384936 markings/sec, 125 secs
lola: 49426214 markings, 129332956 edges, 348629 markings/sec, 130 secs
lola: 51145722 markings, 133879734 edges, 343902 markings/sec, 135 secs
lola: 52641699 markings, 137998549 edges, 299195 markings/sec, 140 secs
lola: 54574576 markings, 142824955 edges, 386575 markings/sec, 145 secs
lola: 56299393 markings, 147406418 edges, 344963 markings/sec, 150 secs
lola: 58012707 markings, 151920135 edges, 342663 markings/sec, 155 secs
lola: 59509984 markings, 156029739 edges, 299455 markings/sec, 160 secs
lola: 61451588 markings, 160900471 edges, 388321 markings/sec, 165 secs
lola: 63197376 markings, 165535648 edges, 349158 markings/sec, 170 secs
lola: 64929876 markings, 170112118 edges, 346500 markings/sec, 175 secs
lola: 66332707 markings, 174122158 edges, 280566 markings/sec, 180 secs
lola: 68322765 markings, 178951487 edges, 398012 markings/sec, 185 secs
lola: 70060334 markings, 183558836 edges, 347514 markings/sec, 190 secs
lola: 71778569 markings, 188116345 edges, 343647 markings/sec, 195 secs
lola: 73314701 markings, 192327052 edges, 307226 markings/sec, 200 secs
lola: 75031638 markings, 196741229 edges, 343387 markings/sec, 205 secs
lola: 76897328 markings, 201511577 edges, 373138 markings/sec, 210 secs
lola: 78632979 markings, 206122663 edges, 347130 markings/sec, 215 secs
lola: 80379106 markings, 210740534 edges, 349225 markings/sec, 220 secs
lola: 81842522 markings, 214885105 edges, 292683 markings/sec, 225 secs
lola: 83717835 markings, 219538148 edges, 375063 markings/sec, 230 secs
lola: 85567360 markings, 224313494 edges, 369905 markings/sec, 235 secs
lola: 87313783 markings, 228951808 edges, 349285 markings/sec, 240 secs
lola: 89052317 markings, 233553550 edges, 347707 markings/sec, 245 secs
lola: 90629774 markings, 237869941 edges, 315491 markings/sec, 250 secs
lola: 92323452 markings, 242312838 edges, 338736 markings/sec, 255 secs
lola: 94275386 markings, 247203840 edges, 390387 markings/sec, 260 secs
lola: 96026064 markings, 251862049 edges, 350136 markings/sec, 265 secs
lola: 97764828 markings, 256465924 edges, 347753 markings/sec, 270 secs
lola: 99512954 markings, 261072966 edges, 349625 markings/sec, 275 secs
lola: 100941029 markings, 265210930 edges, 285615 markings/sec, 280 secs
lola: 102908768 markings, 269941829 edges, 393548 markings/sec, 285 secs
lola: 104703524 markings, 274662330 edges, 358951 markings/sec, 290 secs
lola: 106446885 markings, 279286426 edges, 348672 markings/sec, 295 secs
lola: 108164710 markings, 283837667 edges, 343565 markings/sec, 300 secs
lola: 109886796 markings, 288369408 edges, 344417 markings/sec, 305 secs
lola: 111283061 markings, 292452861 edges, 279253 markings/sec, 310 secs
lola: 113237910 markings, 297143415 edges, 390970 markings/sec, 315 secs
lola: 114024646 markings, 299160688 edges, 157347 markings/sec, 320 secs
lola: 114024692 markings, 299160812 edges, 9 markings/sec, 325 secs
lola: 114024728 markings, 299160924 edges, 7 markings/sec, 330 secs
lola: 114024753 markings, 299160989 edges, 5 markings/sec, 335 secs
lola: 114024779 markings, 299161103 edges, 5 markings/sec, 340 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (((SpG + 1 <= SA) OR X (G ((F ((SA <= SpG)) OR (G ((CA <= Ci)) AND F ((SA <= SpG))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((SpG + 1 <= SA) OR X (G ((F ((SA <= SpG)) OR (G ((CA <= Ci)) AND F ((SA <= SpG))))))))
lola: processed formula length: 90
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 1912380 markings, 4289348 edges, 382476 markings/sec, 0 secs
lola: 3493348 markings, 7989315 edges, 316194 markings/sec, 5 secs
lola: 5064373 markings, 11671857 edges, 314205 markings/sec, 10 secs
lola: 6344991 markings, 14899004 edges, 256124 markings/sec, 15 secs
lola: 7853796 markings, 18413758 edges, 301761 markings/sec, 20 secs
lola: 9099585 markings, 21504552 edges, 249158 markings/sec, 25 secs
lola: 10247802 markings, 24515128 edges, 229643 markings/sec, 30 secs
lola: 11520000 markings, 27589530 edges, 254440 markings/sec, 35 secs
lola: 12954600 markings, 30956243 edges, 286920 markings/sec, 40 secs
lola: 14089701 markings, 33847445 edges, 227020 markings/sec, 45 secs
lola: 15200822 markings, 36750380 edges, 222224 markings/sec, 50 secs
lola: 16363774 markings, 39800645 edges, 232590 markings/sec, 55 secs
lola: 17742379 markings, 43087118 edges, 275721 markings/sec, 60 secs
lola: 19122053 markings, 46371506 edges, 275935 markings/sec, 65 secs
lola: 20259924 markings, 49261963 edges, 227574 markings/sec, 70 secs
lola: 21350120 markings, 52114106 edges, 218039 markings/sec, 75 secs
lola: 22335707 markings, 54737992 edges, 197117 markings/sec, 80 secs
lola: 23411577 markings, 57630256 edges, 215174 markings/sec, 85 secs
lola: 24615711 markings, 60624961 edges, 240827 markings/sec, 90 secs
lola: 25812444 markings, 63566508 edges, 239347 markings/sec, 95 secs
lola: 27186887 markings, 66716653 edges, 274889 markings/sec, 100 secs
lola: 28350202 markings, 69693755 edges, 232663 markings/sec, 105 secs
lola: 29350275 markings, 72301248 edges, 200015 markings/sec, 110 secs
lola: 30363601 markings, 75033567 edges, 202665 markings/sec, 115 secs
lola: 31405208 markings, 77752275 edges, 208321 markings/sec, 120 secs
lola: 32333985 markings, 80254349 edges, 185755 markings/sec, 125 secs
lola: 33393401 markings, 83082710 edges, 211883 markings/sec, 130 secs
lola: 34389262 markings, 85798871 edges, 199172 markings/sec, 135 secs
lola: 35618489 markings, 88750023 edges, 245845 markings/sec, 140 secs
lola: 36786519 markings, 91634625 edges, 233606 markings/sec, 145 secs
lola: 38219534 markings, 94925739 edges, 286603 markings/sec, 150 secs
lola: 39344517 markings, 97803456 edges, 224997 markings/sec, 155 secs
lola: 40400891 markings, 100554374 edges, 211275 markings/sec, 160 secs
lola: 41459061 markings, 103384656 edges, 211634 markings/sec, 165 secs
lola: 42524821 markings, 106158994 edges, 213152 markings/sec, 170 secs
lola: 43481117 markings, 108729903 edges, 191259 markings/sec, 175 secs
lola: 44458447 markings, 111322527 edges, 195466 markings/sec, 180 secs
lola: 45340553 markings, 113790075 edges, 176421 markings/sec, 185 secs
lola: 46364254 markings, 116410538 edges, 204740 markings/sec, 190 secs
lola: 47243905 markings, 118847245 edges, 175930 markings/sec, 195 secs
lola: 48145441 markings, 121372911 edges, 180307 markings/sec, 200 secs
lola: 49291538 markings, 124137034 edges, 229219 markings/sec, 205 secs
lola: 50382419 markings, 126828004 edges, 218176 markings/sec, 210 secs
lola: 51497635 markings, 129597133 edges, 223043 markings/sec, 215 secs
lola: 52880392 markings, 132740426 edges, 276551 markings/sec, 220 secs
lola: 53986648 markings, 135573521 edges, 221251 markings/sec, 225 secs
lola: 55020159 markings, 138262392 edges, 206702 markings/sec, 230 secs
lola: 56009757 markings, 140876231 edges, 197920 markings/sec, 235 secs
lola: 56995068 markings, 143441174 edges, 197062 markings/sec, 240 secs
lola: 57871556 markings, 145865297 edges, 175298 markings/sec, 245 secs
lola: 58857036 markings, 148400136 edges, 197096 markings/sec, 250 secs
lola: 59708368 markings, 150762411 edges, 170266 markings/sec, 255 secs
lola: 60662482 markings, 153245746 edges, 190823 markings/sec, 260 secs
lola: 61553640 markings, 155675583 edges, 178232 markings/sec, 265 secs
lola: 62408820 markings, 158067056 edges, 171036 markings/sec, 270 secs
lola: 63431722 markings, 160746865 edges, 204580 markings/sec, 275 secs
lola: 64527298 markings, 163730771 edges, 219115 markings/sec, 280 secs
lola: 65569355 markings, 166674165 edges, 208411 markings/sec, 285 secs
lola: 66623997 markings, 169520928 edges, 210928 markings/sec, 290 secs
lola: 67813041 markings, 172365588 edges, 237809 markings/sec, 295 secs
lola: 69063057 markings, 175460942 edges, 250003 markings/sec, 300 secs
lola: 70383671 markings, 178759534 edges, 264123 markings/sec, 305 secs
lola: 71959784 markings, 182348960 edges, 315223 markings/sec, 310 secs
lola: 73147983 markings, 185393368 edges, 237640 markings/sec, 315 secs
lola: 74293850 markings, 188348377 edges, 229173 markings/sec, 320 secs
lola: 75257829 markings, 190953788 edges, 192796 markings/sec, 325 secs
lola: 76226811 markings, 193491664 edges, 193796 markings/sec, 330 secs
lola: 77122115 markings, 195905924 edges, 179061 markings/sec, 335 secs
lola: 78089618 markings, 198453980 edges, 193501 markings/sec, 340 secs
lola: 78939647 markings, 200840223 edges, 170006 markings/sec, 345 secs
lola: 79932153 markings, 203378612 edges, 198501 markings/sec, 350 secs
lola: 80794019 markings, 205771642 edges, 172373 markings/sec, 355 secs
lola: 81658147 markings, 208200807 edges, 172826 markings/sec, 360 secs
lola: 82652855 markings, 210739216 edges, 198942 markings/sec, 365 secs
lola: 83594894 markings, 213338968 edges, 188408 markings/sec, 370 secs
lola: 84529545 markings, 215970825 edges, 186930 markings/sec, 375 secs
lola: 85537244 markings, 218711111 edges, 201540 markings/sec, 380 secs
lola: 86612488 markings, 221522266 edges, 215049 markings/sec, 385 secs
lola: 87552310 markings, 224144392 edges, 187964 markings/sec, 390 secs
lola: 88501974 markings, 226818464 edges, 189933 markings/sec, 395 secs
lola: 89491121 markings, 229598275 edges, 197829 markings/sec, 400 secs
lola: 90698841 markings, 232551107 edges, 241544 markings/sec, 405 secs
lola: 91810065 markings, 235262726 edges, 222245 markings/sec, 410 secs
lola: 92914686 markings, 238019158 edges, 220924 markings/sec, 415 secs
lola: 94060207 markings, 240870059 edges, 229104 markings/sec, 420 secs
lola: 95412066 markings, 244009781 edges, 270372 markings/sec, 425 secs
lola: 96749950 markings, 247240011 edges, 267577 markings/sec, 430 secs
lola: 97821590 markings, 250021456 edges, 214328 markings/sec, 435 secs
lola: 98854061 markings, 252721040 edges, 206494 markings/sec, 440 secs
lola: 99783467 markings, 255170210 edges, 185881 markings/sec, 445 secs
lola: 100726372 markings, 257727867 edges, 188581 markings/sec, 450 secs
lola: 101679822 markings, 260204013 edges, 190690 markings/sec, 455 secs
lola: 102568126 markings, 262628902 edges, 177661 markings/sec, 460 secs
lola: 103432502 markings, 265004742 edges, 172875 markings/sec, 465 secs
lola: 104403214 markings, 267531590 edges, 194142 markings/sec, 470 secs
lola: 105249448 markings, 269878758 edges, 169247 markings/sec, 475 secs
lola: 106127127 markings, 272317368 edges, 175536 markings/sec, 480 secs
lola: 107114428 markings, 274858435 edges, 197460 markings/sec, 485 secs
lola: 107947511 markings, 277169753 edges, 166617 markings/sec, 490 secs
lola: 108774115 markings, 279501310 edges, 165321 markings/sec, 495 secs
lola: 109653788 markings, 281908538 edges, 175935 markings/sec, 500 secs
lola: 110615761 markings, 284389773 edges, 192395 markings/sec, 505 secs
lola: 111458027 markings, 286723246 edges, 168453 markings/sec, 510 secs
lola: 112068273 markings, 288423322 edges, 122049 markings/sec, 515 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (((SG <= Uf) U X (G ((SG <= Uf)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((SG <= Uf) U X (G ((SG <= Uf)))))
lola: processed formula length: 37
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 1172379 markings, 3746245 edges, 234476 markings/sec, 0 secs
lola: 2039404 markings, 6706746 edges, 173405 markings/sec, 5 secs
lola: 2828917 markings, 9465916 edges, 157903 markings/sec, 10 secs
lola: 3577344 markings, 12122684 edges, 149685 markings/sec, 15 secs
lola: 4262702 markings, 14583408 edges, 137072 markings/sec, 20 secs
lola: 4916981 markings, 16951589 edges, 130856 markings/sec, 25 secs
lola: 5556074 markings, 19282342 edges, 127819 markings/sec, 30 secs
lola: 6180806 markings, 21572604 edges, 124946 markings/sec, 35 secs
lola: 6791499 markings, 23825114 edges, 122139 markings/sec, 40 secs
lola: 7391495 markings, 26049009 edges, 119999 markings/sec, 45 secs
lola: 7983403 markings, 28251276 edges, 118382 markings/sec, 50 secs
lola: 8566456 markings, 30430081 edges, 116611 markings/sec, 55 secs
lola: 9139907 markings, 32582991 edges, 114690 markings/sec, 60 secs
lola: 9707815 markings, 34713469 edges, 113582 markings/sec, 65 secs
lola: 10265935 markings, 36817796 edges, 111624 markings/sec, 70 secs
lola: 10806741 markings, 38868688 edges, 108161 markings/sec, 75 secs
lola: 11386114 markings, 41063405 edges, 115875 markings/sec, 80 secs
lola: 11959599 markings, 43241680 edges, 114697 markings/sec, 85 secs
lola: 12530083 markings, 45410900 edges, 114097 markings/sec, 90 secs
lola: 13094519 markings, 47563508 edges, 112887 markings/sec, 95 secs
lola: 13652605 markings, 49699749 edges, 111617 markings/sec, 100 secs
lola: 14154778 markings, 51619334 edges, 100435 markings/sec, 105 secs
lola: 14666966 markings, 53587499 edges, 102438 markings/sec, 110 secs
lola: 15177032 markings, 55547781 edges, 102013 markings/sec, 115 secs
lola: 15684204 markings, 57501015 edges, 101434 markings/sec, 120 secs
lola: 16189020 markings, 59447313 edges, 100963 markings/sec, 125 secs
lola: 16691834 markings, 61387983 edges, 100563 markings/sec, 130 secs
lola: 17187929 markings, 63310821 edges, 99219 markings/sec, 135 secs
lola: 17680601 markings, 65229005 edges, 98534 markings/sec, 140 secs
lola: 18175434 markings, 67146735 edges, 98967 markings/sec, 145 secs
lola: 18670721 markings, 69065504 edges, 99057 markings/sec, 150 secs
lola: 19159328 markings, 70967425 edges, 97721 markings/sec, 155 secs
lola: 19625306 markings, 72785421 edges, 93196 markings/sec, 160 secs
lola: 20112018 markings, 74680235 edges, 97342 markings/sec, 165 secs
lola: 20596562 markings, 76569590 edges, 96909 markings/sec, 170 secs
lola: 21075980 markings, 78446723 edges, 95884 markings/sec, 175 secs
lola: 21557311 markings, 80324653 edges, 96266 markings/sec, 180 secs
lola: 22034520 markings, 82193904 edges, 95442 markings/sec, 185 secs
lola: 22487957 markings, 83975114 edges, 90687 markings/sec, 190 secs
lola: 22978324 markings, 85899462 edges, 98073 markings/sec, 195 secs
lola: 23464163 markings, 87810734 edges, 97168 markings/sec, 200 secs
lola: 23923601 markings, 89613374 edges, 91888 markings/sec, 205 secs
lola: 24387295 markings, 91444055 edges, 92739 markings/sec, 210 secs
lola: 24851547 markings, 93270678 edges, 92850 markings/sec, 215 secs
lola: 25311285 markings, 95086312 edges, 91948 markings/sec, 220 secs
lola: 25767201 markings, 96890657 edges, 91183 markings/sec, 225 secs
lola: 26223178 markings, 98691644 edges, 91195 markings/sec, 230 secs
lola: 26676548 markings, 100485997 edges, 90674 markings/sec, 235 secs
lola: 27127277 markings, 102273176 edges, 90146 markings/sec, 240 secs
lola: 27576572 markings, 104051317 edges, 89859 markings/sec, 245 secs
lola: 28023623 markings, 105823840 edges, 89410 markings/sec, 250 secs
lola: 28467843 markings, 107586294 edges, 88844 markings/sec, 255 secs
lola: 28909914 markings, 109343768 edges, 88414 markings/sec, 260 secs
lola: 29349072 markings, 111092968 edges, 87832 markings/sec, 265 secs
lola: 29789894 markings, 112843021 edges, 88164 markings/sec, 270 secs
lola: 30226591 markings, 114583033 edges, 87339 markings/sec, 275 secs
lola: 30663195 markings, 116318054 edges, 87321 markings/sec, 280 secs
lola: 31096490 markings, 118044508 edges, 86659 markings/sec, 285 secs
lola: 31527289 markings, 119761683 edges, 86160 markings/sec, 290 secs
lola: 31957994 markings, 121478557 edges, 86141 markings/sec, 295 secs
lola: 32386384 markings, 123189809 edges, 85678 markings/sec, 300 secs
lola: 32814469 markings, 124896320 edges, 85617 markings/sec, 305 secs
lola: 33240931 markings, 126599983 edges, 85292 markings/sec, 310 secs
lola: 33665221 markings, 128296471 edges, 84858 markings/sec, 315 secs
lola: 34087166 markings, 129988319 edges, 84389 markings/sec, 320 secs
lola: 34509779 markings, 131678256 edges, 84523 markings/sec, 325 secs
lola: 34930614 markings, 133370404 edges, 84167 markings/sec, 330 secs
lola: 35388489 markings, 135203086 edges, 91575 markings/sec, 335 secs
lola: 35844466 markings, 137037323 edges, 91195 markings/sec, 340 secs
lola: 36303179 markings, 138875910 edges, 91743 markings/sec, 345 secs
lola: 36762565 markings, 140712585 edges, 91877 markings/sec, 350 secs
lola: 37215433 markings, 142537820 edges, 90574 markings/sec, 355 secs
lola: 37667622 markings, 144358983 edges, 90438 markings/sec, 360 secs
lola: 38072297 markings, 145983953 edges, 80935 markings/sec, 365 secs
lola: 38473775 markings, 147603171 edges, 80296 markings/sec, 370 secs
lola: 38924933 markings, 149422130 edges, 90232 markings/sec, 375 secs
lola: 39376294 markings, 151240168 edges, 90272 markings/sec, 380 secs
lola: 39825353 markings, 153052885 edges, 89812 markings/sec, 385 secs
lola: 40275711 markings, 154866177 edges, 90072 markings/sec, 390 secs
lola: 40723134 markings, 156673552 edges, 89485 markings/sec, 395 secs
lola: 41170989 markings, 158480193 edges, 89571 markings/sec, 400 secs
lola: 41613659 markings, 160279308 edges, 88534 markings/sec, 405 secs
lola: 42061013 markings, 162088698 edges, 89471 markings/sec, 410 secs
lola: 42508929 markings, 163897690 edges, 89583 markings/sec, 415 secs
lola: 42951599 markings, 165695298 edges, 88534 markings/sec, 420 secs
lola: 43398742 markings, 167503237 edges, 89429 markings/sec, 425 secs
lola: 43842431 markings, 169302835 edges, 88738 markings/sec, 430 secs
lola: 44289671 markings, 171107391 edges, 89448 markings/sec, 435 secs
lola: 44732196 markings, 172901195 edges, 88505 markings/sec, 440 secs
lola: 45131671 markings, 174523430 edges, 79895 markings/sec, 445 secs
lola: 45521539 markings, 176101829 edges, 77974 markings/sec, 450 secs
lola: 45910551 markings, 177678776 edges, 77802 markings/sec, 455 secs
lola: 46298704 markings, 179251765 edges, 77631 markings/sec, 460 secs
lola: 46685031 markings, 180819504 edges, 77265 markings/sec, 465 secs
lola: 47071583 markings, 182388098 edges, 77310 markings/sec, 470 secs
lola: 47458088 markings, 183955695 edges, 77301 markings/sec, 475 secs
lola: 47844109 markings, 185521320 edges, 77204 markings/sec, 480 secs
lola: 48226648 markings, 187079132 edges, 76508 markings/sec, 485 secs
lola: 48609718 markings, 188636437 edges, 76614 markings/sec, 490 secs
lola: 48990309 markings, 190186600 edges, 76118 markings/sec, 495 secs
lola: 49373048 markings, 191739586 edges, 76548 markings/sec, 500 secs
lola: 49753410 markings, 193286718 edges, 76072 markings/sec, 505 secs
lola: 50131900 markings, 194829423 edges, 75698 markings/sec, 510 secs
lola: 50508669 markings, 196367478 edges, 75354 markings/sec, 515 secs
lola: 50876436 markings, 197869522 edges, 73553 markings/sec, 520 secs
lola: 51308784 markings, 199632129 edges, 86470 markings/sec, 525 secs
lola: 51741552 markings, 201397511 edges, 86554 markings/sec, 530 secs
lola: 52171973 markings, 203159784 edges, 86084 markings/sec, 535 secs
lola: 52605046 markings, 204926570 edges, 86615 markings/sec, 540 secs
lola: 53035614 markings, 206687206 edges, 86114 markings/sec, 545 secs
lola: 53466780 markings, 208445639 edges, 86233 markings/sec, 550 secs
lola: 53893259 markings, 210196308 edges, 85296 markings/sec, 555 secs
lola: 54256560 markings, 211681104 edges, 72660 markings/sec, 560 secs
lola: 54625625 markings, 213190089 edges, 73813 markings/sec, 565 secs
lola: 54996614 markings, 214704204 edges, 74198 markings/sec, 570 secs
lola: 55364629 markings, 216212545 edges, 73603 markings/sec, 575 secs
lola: 55731330 markings, 217719636 edges, 73340 markings/sec, 580 secs
lola: 56099897 markings, 219227418 edges, 73713 markings/sec, 585 secs
lola: 56467206 markings, 220732410 edges, 73462 markings/sec, 590 secs
lola: 56837632 markings, 222244794 edges, 74085 markings/sec, 595 secs
lola: 57205382 markings, 223750711 edges, 73550 markings/sec, 600 secs
lola: 57571430 markings, 225254162 edges, 73210 markings/sec, 605 secs
lola: 57971887 markings, 226890980 edges, 80091 markings/sec, 610 secs
lola: 58329388 markings, 228358874 edges, 71500 markings/sec, 615 secs
lola: 58692659 markings, 229853590 edges, 72654 markings/sec, 620 secs
lola: 59055873 markings, 231348972 edges, 72643 markings/sec, 625 secs
lola: 59440546 markings, 232930135 edges, 76935 markings/sec, 630 secs
lola: 59859001 markings, 234646393 edges, 83691 markings/sec, 635 secs
lola: 60274471 markings, 236359361 edges, 83094 markings/sec, 640 secs
lola: 60625320 markings, 237808306 edges, 70170 markings/sec, 645 secs
lola: 60989849 markings, 239304797 edges, 72906 markings/sec, 650 secs
lola: 61352243 markings, 240795075 edges, 72479 markings/sec, 655 secs
lola: 61713161 markings, 242284986 edges, 72184 markings/sec, 660 secs
lola: 62076225 markings, 243778365 edges, 72613 markings/sec, 665 secs
lola: 62436296 markings, 245265077 edges, 72014 markings/sec, 670 secs
lola: 62797366 markings, 246753645 edges, 72214 markings/sec, 675 secs
lola: 63161310 markings, 248254140 edges, 72789 markings/sec, 680 secs
lola: 63573481 markings, 249950918 edges, 82434 markings/sec, 685 secs
lola: 63987051 markings, 251647560 edges, 82714 markings/sec, 690 secs
lola: 64395893 markings, 253333361 edges, 81768 markings/sec, 695 secs
lola: 64806134 markings, 255023392 edges, 82048 markings/sec, 700 secs
lola: 65213499 markings, 256706426 edges, 81473 markings/sec, 705 secs
lola: 65620034 markings, 258386511 edges, 81307 markings/sec, 710 secs
lola: 66026339 markings, 260062056 edges, 81261 markings/sec, 715 secs
lola: 66428132 markings, 261732057 edges, 80359 markings/sec, 720 secs
lola: 66831769 markings, 263402109 edges, 80727 markings/sec, 725 secs
lola: 67234962 markings, 265070280 edges, 80639 markings/sec, 730 secs
lola: 67590594 markings, 266541993 edges, 71126 markings/sec, 735 secs
lola: 67948454 markings, 268018448 edges, 71572 markings/sec, 740 secs
lola: 68301720 markings, 269481092 edges, 70653 markings/sec, 745 secs
lola: 68704030 markings, 271142828 edges, 80462 markings/sec, 750 secs
lola: 69106841 markings, 272806488 edges, 80562 markings/sec, 755 secs
lola: 69506824 markings, 274460979 edges, 79997 markings/sec, 760 secs
lola: 69905694 markings, 276111625 edges, 79774 markings/sec, 765 secs
lola: 70303764 markings, 277761716 edges, 79614 markings/sec, 770 secs
lola: 70700696 markings, 279407191 edges, 79386 markings/sec, 775 secs
lola: 71097409 markings, 281049168 edges, 79343 markings/sec, 780 secs
lola: 71493281 markings, 282688911 edges, 79174 markings/sec, 785 secs
lola: 71889595 markings, 284328035 edges, 79263 markings/sec, 790 secs
lola: 72285465 markings, 285968028 edges, 79174 markings/sec, 795 secs
lola: 72676980 markings, 287598620 edges, 78303 markings/sec, 800 secs
lola: 73067117 markings, 289222451 edges, 78027 markings/sec, 805 secs
lola: 73425529 markings, 290704758 edges, 71682 markings/sec, 810 secs
lola: 73775000 markings, 292160917 edges, 69894 markings/sec, 815 secs
lola: 74124108 markings, 293616573 edges, 69822 markings/sec, 820 secs
lola: 74516588 markings, 295241085 edges, 78496 markings/sec, 825 secs
lola: 74906540 markings, 296862333 edges, 77990 markings/sec, 830 secs
lola: 75299113 markings, 298485518 edges, 78515 markings/sec, 835 secs
lola: 75660982 markings, 299985072 edges, 72374 markings/sec, 840 secs
lola: 76012472 markings, 301442750 edges, 70298 markings/sec, 845 secs
lola: 76362001 markings, 302896895 edges, 69906 markings/sec, 850 secs
lola: 76713463 markings, 304354587 edges, 70292 markings/sec, 855 secs
lola: 77062515 markings, 305808727 edges, 69810 markings/sec, 860 secs
lola: 77412765 markings, 307262716 edges, 70050 markings/sec, 865 secs
lola: 77758014 markings, 308699405 edges, 69050 markings/sec, 870 secs
lola: 78133039 markings, 310257256 edges, 75005 markings/sec, 875 secs
lola: 78519244 markings, 311860747 edges, 77241 markings/sec, 880 secs
lola: 78901613 markings, 313456135 edges, 76474 markings/sec, 885 secs
lola: 79284302 markings, 315052076 edges, 76538 markings/sec, 890 secs
lola: 79666405 markings, 316645165 edges, 76421 markings/sec, 895 secs
lola: 80050709 markings, 318241584 edges, 76861 markings/sec, 900 secs
lola: 80430690 markings, 319828251 edges, 75996 markings/sec, 905 secs
lola: 80811283 markings, 321417350 edges, 76119 markings/sec, 910 secs
lola: 81190123 markings, 322999479 edges, 75768 markings/sec, 915 secs
lola: 81570111 markings, 324583587 edges, 75998 markings/sec, 920 secs
lola: 81951239 markings, 326169570 edges, 76226 markings/sec, 925 secs
lola: 82329358 markings, 327747835 edges, 75624 markings/sec, 930 secs
lola: 82707989 markings, 329326603 edges, 75726 markings/sec, 935 secs
lola: 83087722 markings, 330907426 edges, 75947 markings/sec, 940 secs
lola: 83436138 markings, 332359343 edges, 69683 markings/sec, 945 secs
lola: 83786034 markings, 333819058 edges, 69979 markings/sec, 950 secs
lola: 84164226 markings, 335394003 edges, 75638 markings/sec, 955 secs
lola: 84541427 markings, 336966510 edges, 75440 markings/sec, 960 secs
lola: 84750306 markings, 337837823 edges, 41776 markings/sec, 965 secs
lola: 84799998 markings, 338043621 edges, 9938 markings/sec, 970 secs
lola: 84801101 markings, 338048549 edges, 221 markings/sec, 975 secs
lola: 84801132 markings, 338048701 edges, 6 markings/sec, 980 secs
lola: 84801169 markings, 338048876 edges, 7 markings/sec, 985 secs
lola: 84801204 markings, 338049001 edges, 7 markings/sec, 990 secs
lola: 84802971 markings, 338056314 edges, 353 markings/sec, 995 secs
lola: 84805054 markings, 338064584 edges, 417 markings/sec, 1000 secs
lola: 84805210 markings, 338065238 edges, 31 markings/sec, 1005 secs
lola: 84807108 markings, 338072905 edges, 380 markings/sec, 1010 secs
lola: 84807150 markings, 338073116 edges, 8 markings/sec, 1015 secs
lola: 84807199 markings, 338073342 edges, 10 markings/sec, 1020 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (X (F (((MpG <= 2) AND G ((SR <= CA))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((MpG <= 2) AND G ((SR <= CA))))))
lola: processed formula length: 43
lola: 92 rewrites
lola: closed formula file LTLCardinality.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: 1141041 markings, 3701697 edges, 228208 markings/sec, 0 secs
lola: 1977343 markings, 6550875 edges, 167260 markings/sec, 5 secs
lola: 2733804 markings, 9187802 edges, 151292 markings/sec, 10 secs
lola: 3447294 markings, 11713276 edges, 142698 markings/sec, 15 secs
lola: 4130272 markings, 14164608 edges, 136596 markings/sec, 20 secs
lola: 4830418 markings, 16690410 edges, 140029 markings/sec, 25 secs
lola: 5505588 markings, 19152088 edges, 135034 markings/sec, 30 secs
lola: 6164490 markings, 21566721 edges, 131780 markings/sec, 35 secs
lola: 6807507 markings, 23938214 edges, 128603 markings/sec, 40 secs
lola: 7439115 markings, 26279085 edges, 126322 markings/sec, 45 secs
lola: 8059016 markings, 28588314 edges, 123980 markings/sec, 50 secs
lola: 8669205 markings, 30868774 edges, 122038 markings/sec, 55 secs
lola: 9270815 markings, 33125623 edges, 120322 markings/sec, 60 secs
lola: 9864881 markings, 35360624 edges, 118813 markings/sec, 65 secs
lola: 10451499 markings, 37574802 edges, 117324 markings/sec, 70 secs
lola: time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown no unknown no yes yes no yes no unknown no no no
lola:
preliminary result: yes unknown unknown unknown no unknown no yes yes no yes no unknown no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown unknown unknown no unknown no yes yes no yes no unknown no no no
lola: memory consumption: 2036416 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown unknown unknown no unknown no yes yes no yes no unknown no no no
lola: memory consumption: 2036416 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
BK_STOP 1589265935577
--------------------
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-N0010P2"
export BK_EXAMINATION="LTLCardinality"
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-N0010P2, examination is LTLCardinality"
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-158902068200041"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0010P2.tgz
mv ClientsAndServers-PT-N0010P2 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;