About the Execution of 2019-Gold for CloudDeployment-PT-3b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10661.200 | 3570108.00 | 3617295.00 | 9619.10 | FF?FFFF?FFFFFFTF | 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-158902068300074.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 CloudDeployment-PT-3b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300074
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 07:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 308K 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 CloudDeployment-PT-3b-00
FORMULA_NAME CloudDeployment-PT-3b-01
FORMULA_NAME CloudDeployment-PT-3b-02
FORMULA_NAME CloudDeployment-PT-3b-03
FORMULA_NAME CloudDeployment-PT-3b-04
FORMULA_NAME CloudDeployment-PT-3b-05
FORMULA_NAME CloudDeployment-PT-3b-06
FORMULA_NAME CloudDeployment-PT-3b-07
FORMULA_NAME CloudDeployment-PT-3b-08
FORMULA_NAME CloudDeployment-PT-3b-09
FORMULA_NAME CloudDeployment-PT-3b-10
FORMULA_NAME CloudDeployment-PT-3b-11
FORMULA_NAME CloudDeployment-PT-3b-12
FORMULA_NAME CloudDeployment-PT-3b-13
FORMULA_NAME CloudDeployment-PT-3b-14
FORMULA_NAME CloudDeployment-PT-3b-15
=== Now, execution of the tool begins
BK_START 1590047481781
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CloudDeployment-PT-3b @ 3570 seconds
FORMULA CloudDeployment-PT-3b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-3b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CloudDeployment-PT-3b
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu May 21 07:51:21 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (FIREABLE(t870)))",
"processed_size": 22,
"rewrites": 81
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A ((FIREABLE(t32) OR X ((((FIREABLE(t970) OR FIREABLE(t1012)) AND F (NOT FIREABLE(t672))) OR G (FIREABLE(t32))))))",
"processed_size": 115,
"rewrites": 79
},
"result":
{
"edges": 119,
"markings": 119,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (((NOT FIREABLE(t655) AND (NOT FIREABLE(t818) OR X (G (NOT FIREABLE(t655))))) R F (FIREABLE(t655))))",
"processed_size": 102,
"rewrites": 79
},
"result":
{
"edges": 118,
"markings": 118,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (FIREABLE(t433)))",
"processed_size": 22,
"rewrites": 79
},
"result":
{
"edges": 118,
"markings": 118,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (G (FIREABLE(t443))))",
"processed_size": 26,
"rewrites": 79
},
"result":
{
"edges": 114,
"markings": 113,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X ((FIREABLE(t339) OR FIREABLE(t151))))",
"processed_size": 43,
"rewrites": 79
},
"result":
{
"edges": 118,
"markings": 118,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 360
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 3,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (G (((NOT FIREABLE(t652) OR FIREABLE(t252)) AND G ((FIREABLE(t602) AND G (FIREABLE(t652))))))))",
"processed_size": 101,
"rewrites": 79
},
"result":
{
"edges": 118,
"markings": 118,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 405
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 4,
"aconj": 0,
"adisj": 1,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((X (F (((NOT FIREABLE(t457) AND NOT FIREABLE(t972)) AND X (X (X (NOT FIREABLE(t621))))))) U FIREABLE(t972)))",
"processed_size": 111,
"rewrites": 79
},
"result":
{
"edges": 17212,
"markings": 9412,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 463
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((FIREABLE(t843) AND X ((FIREABLE(t940) OR FIREABLE(t436))))))",
"processed_size": 68,
"rewrites": 79
},
"result":
{
"edges": 118,
"markings": 118,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 540
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (G ((F ((X (NOT FIREABLE(t1141)) R NOT FIREABLE(t1141))) AND X (FIREABLE(t645))))))",
"processed_size": 88,
"rewrites": 79
},
"result":
{
"edges": 118,
"markings": 118,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 648
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 3,
"tdisj": 3,
"tneg": 0,
"transition_references": 7,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (((X (NOT FIREABLE(t985)) AND (FIREABLE(t153) OR X (F (NOT FIREABLE(t20))))) OR (G (NOT FIREABLE(t318)) AND F ((X (NOT FIREABLE(t985)) AND (FIREABLE(t153) OR X (F (NOT FIREABLE(t20)))))))))",
"processed_size": 191,
"rewrites": 79
},
"result":
{
"edges": 6,
"markings": 7,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 15
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 810
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 810
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F ((FIREABLE(t34) OR (G (F (FIREABLE(t217))) AND F (FIREABLE(t34))))))",
"processed_size": 73,
"rewrites": 79
},
"result":
{
"edges": 93,
"markings": 93,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1080
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (G (FIREABLE(t956))))",
"processed_size": 26,
"rewrites": 79
},
"result":
{
"edges": 107,
"markings": 106,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1620
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((FIREABLE(t59) AND F (G (FIREABLE(t328)))))))",
"processed_size": 54,
"rewrites": 79
},
"result":
{
"edges": 114,
"markings": 113,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 10685332,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G(**)) AND A(X(X(G(**))))) : A((** OR X(((** AND F(**)) OR G(**))))) : A((** OR G(F((* R *))))) : A(((* AND (* OR X(G(*)))) R F(**))) : (A(X(**)) AND A(X(G((X(F((G(*) OR (* AND *)))) OR (** AND F(**))))))) : (A(F(G(**))) AND A(X(G((F(**) OR G(**)))))) : A(F(G((** AND F(G(**)))))) : A((X(X((X(**) OR F(**)))) OR (* R X(G(*))))) : (A(X(**)) AND A(X(X(X(G(**)))))) : A(X(G((** AND G((** AND G(**))))))) : A((X(F((* AND X(X(X(*)))))) U **)) : A(F((** AND X(**)))) : A(F(G(**))) : A(X(G((F((X(*) R *)) AND X(**))))) : A(((X(*) AND (** OR X(F(**)))) OR (G(*) AND F((X(*) AND (** OR X(F(**)))))))) : (A(F((** OR (G(F(**)) AND F(**))))) AND A((F(**) OR X(**))))"
},
"net":
{
"arcs": 4030,
"conflict_clusters": 753,
"places": 859,
"places_significant": 846,
"singleton_clusters": 0,
"transitions": 1152
},
"result":
{
"interim_value": "no no unknown no no no no unknown no no no no no no yes no ",
"preliminary_value": "no no unknown no no no no unknown no no no no no no yes no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2011/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 859
lola: finding significant places
lola: 859 places, 1152 transitions, 846 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (G ((FIREABLE(t870) AND X (X ((FIREABLE(t870) OR (FIREABLE(t870) AND FIREABLE(t613)))))))) : A (((FIREABLE(t32) OR (X ((FIREABLE(t970) OR FIREABLE(t1012))) AND F (X (NOT FIREABLE(t672))))) OR X (G (FIREABLE(t32))))) : A ((FIREABLE(t636) OR X (G ((FIREABLE(t636) U F (NOT((FIREABLE(t626) U FIREABLE(t681))))))))) : A (NOT(((FIREABLE(t655) OR (FIREABLE(t818) AND X (F (FIREABLE(t655))))) U NOT(F ((FIREABLE(t620) U FIREABLE(t655))))))) : A (X ((FIREABLE(t433) AND G ((NOT(G (X ((FIREABLE(t307) U FIREABLE(t486))))) OR (FIREABLE(t1142) AND F (FIREABLE(t486)))))))) : A (G ((X (F (FIREABLE(t170))) U G (X (FIREABLE(t443)))))) : A (X (G (F (G ((FIREABLE(t59) AND X (G (F (G (FIREABLE(t328))))))))))) : A ((X (X ((X (FIREABLE(t1118)) OR F (FIREABLE(t685))))) OR NOT((NOT FIREABLE(t1118) U F (X (FIREABLE(t196))))))) : A (X (((FIREABLE(t339) OR FIREABLE(t151)) AND X (X (G (FIREABLE(t339))))))) : A (G (X (((NOT FIREABLE(t652) OR FIREABLE(t252)) AND G ((FIREABLE(t602) AND G (FIREABLE(t652)))))))) : A ((X (NOT(G (((FIREABLE(t457) OR FIREABLE(t972)) OR X (X (X (FIREABLE(t621)))))))) U FIREABLE(t972))) : A (F ((FIREABLE(t843) AND X ((FIREABLE(t940) OR FIREABLE(t436)))))) : A (F ((NOT(X (X (FIREABLE(t664)))) U G (FIREABLE(t956))))) : A (G (X ((F (NOT((X (FIREABLE(t1141)) U FIREABLE(t1141)))) AND X (FIREABLE(t645)))))) : A ((NOT(F (FIREABLE(t318))) U (NOT(X (FIREABLE(t985))) AND (FIREABLE(t153) OR X (F (NOT FIREABLE(t20))))))) : A ((F ((G (F (FIREABLE(t217))) U FIREABLE(t34))) AND (F (FIREABLE(t17)) OR X (FIREABLE(t920)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t870))) AND A (X (X (G ((FIREABLE(t870) OR (FIREABLE(t870) AND FIREABLE(t613))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t870)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t870)))
lola: processed formula length: 22
lola: 81 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t870)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t32) OR X ((((FIREABLE(t970) OR FIREABLE(t1012)) AND F (NOT FIREABLE(t672))) OR G (FIREABLE(t32))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t32) OR X ((((FIREABLE(t970) OR FIREABLE(t1012)) AND F (NOT FIREABLE(t672))) OR G (FIREABLE(t32))))))
lola: processed formula length: 115
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 119 markings, 119 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t655) AND (NOT FIREABLE(t818) OR X (G (NOT FIREABLE(t655))))) R F (FIREABLE(t655))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(t655) AND (NOT FIREABLE(t818) OR X (G (NOT FIREABLE(t655))))) R F (FIREABLE(t655))))
lola: processed formula length: 102
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 118 markings, 118 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(t433))) AND A (X (G ((X (F ((G (NOT FIREABLE(t486)) OR (NOT FIREABLE(t307) AND NOT FIREABLE(t486))))) OR (FIREABLE(t1142) AND F (FIREABLE(t486))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t433)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(t433)))
lola: processed formula length: 22
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 118 markings, 118 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G (FIREABLE(t443)))) AND A (X (G ((F (FIREABLE(t170)) OR G (FIREABLE(t443)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t443))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t443))))
lola: processed formula length: 26
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 113 markings, 114 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X ((X (FIREABLE(t1118)) OR F (FIREABLE(t685))))) OR (FIREABLE(t1118) R X (G (NOT FIREABLE(t196))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X ((X (FIREABLE(t1118)) OR F (FIREABLE(t685))))) OR (FIREABLE(t1118) R X (G (NOT FIREABLE(t196))))))
lola: processed formula length: 107
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 145576 markings, 609171 edges, 29115 markings/sec, 0 secs
lola: 278646 markings, 1238684 edges, 26614 markings/sec, 5 secs
lola: 402371 markings, 1877945 edges, 24745 markings/sec, 10 secs
lola: 529071 markings, 2510396 edges, 25340 markings/sec, 15 secs
lola: 628613 markings, 3137153 edges, 19908 markings/sec, 20 secs
lola: 764404 markings, 3762637 edges, 27158 markings/sec, 25 secs
lola: 905238 markings, 4383204 edges, 28167 markings/sec, 30 secs
lola: 1020793 markings, 5000733 edges, 23111 markings/sec, 35 secs
lola: 1155858 markings, 5614510 edges, 27013 markings/sec, 40 secs
lola: 1259308 markings, 6226793 edges, 20690 markings/sec, 45 secs
lola: 1371547 markings, 6833232 edges, 22448 markings/sec, 50 secs
lola: 1483254 markings, 7442792 edges, 22341 markings/sec, 55 secs
lola: 1566910 markings, 8051762 edges, 16731 markings/sec, 60 secs
lola: 1661873 markings, 8657279 edges, 18993 markings/sec, 65 secs
lola: 1767901 markings, 9269999 edges, 21206 markings/sec, 70 secs
lola: 1881400 markings, 9883563 edges, 22700 markings/sec, 75 secs
lola: 1992616 markings, 10497207 edges, 22243 markings/sec, 80 secs
lola: 2115829 markings, 11109784 edges, 24643 markings/sec, 85 secs
lola: 2238697 markings, 11712237 edges, 24574 markings/sec, 90 secs
lola: 2336259 markings, 12313080 edges, 19512 markings/sec, 95 secs
lola: 2451558 markings, 12911218 edges, 23060 markings/sec, 100 secs
lola: 2559355 markings, 13515875 edges, 21559 markings/sec, 105 secs
lola: 2680479 markings, 14109763 edges, 24225 markings/sec, 110 secs
lola: 2778470 markings, 14699913 edges, 19598 markings/sec, 115 secs
lola: 2885479 markings, 15289116 edges, 21402 markings/sec, 120 secs
lola: 3005187 markings, 15875293 edges, 23942 markings/sec, 125 secs
lola: 3101160 markings, 16457145 edges, 19195 markings/sec, 130 secs
lola: 3208546 markings, 17033626 edges, 21477 markings/sec, 135 secs
lola: 3326934 markings, 17620773 edges, 23678 markings/sec, 140 secs
lola: 3430015 markings, 18193229 edges, 20616 markings/sec, 145 secs
lola: 3532976 markings, 18764394 edges, 20592 markings/sec, 150 secs
lola: 3664265 markings, 19394654 edges, 26258 markings/sec, 155 secs
lola: 3811021 markings, 20024805 edges, 29351 markings/sec, 160 secs
lola: 3930148 markings, 20655801 edges, 23825 markings/sec, 165 secs
lola: 4060887 markings, 21289799 edges, 26148 markings/sec, 170 secs
lola: 4177859 markings, 21911574 edges, 23394 markings/sec, 175 secs
lola: 4289020 markings, 22532462 edges, 22232 markings/sec, 180 secs
lola: 4426173 markings, 23154497 edges, 27431 markings/sec, 185 secs
lola: 4555447 markings, 23766946 edges, 25855 markings/sec, 190 secs
lola: 4681550 markings, 24376488 edges, 25221 markings/sec, 195 secs
lola: 4821607 markings, 24976784 edges, 28011 markings/sec, 200 secs
lola: 4929385 markings, 25579186 edges, 21556 markings/sec, 205 secs
lola: 5037020 markings, 26181593 edges, 21527 markings/sec, 210 secs
lola: 5138563 markings, 26785003 edges, 20309 markings/sec, 215 secs
lola: 5215260 markings, 27389170 edges, 15339 markings/sec, 220 secs
lola: 5293292 markings, 27988950 edges, 15606 markings/sec, 225 secs
lola: 5403372 markings, 28598675 edges, 22016 markings/sec, 230 secs
lola: 5520899 markings, 29204669 edges, 23505 markings/sec, 235 secs
lola: 5629702 markings, 29812217 edges, 21761 markings/sec, 240 secs
lola: 5754803 markings, 30418457 edges, 25020 markings/sec, 245 secs
lola: 5871667 markings, 31005189 edges, 23373 markings/sec, 250 secs
lola: 5963495 markings, 31567077 edges, 18366 markings/sec, 255 secs
lola: 6075345 markings, 32162718 edges, 22370 markings/sec, 260 secs
lola: 6185001 markings, 32764451 edges, 21931 markings/sec, 265 secs
lola: 6302610 markings, 33354389 edges, 23522 markings/sec, 270 secs
lola: 6403533 markings, 33942168 edges, 20185 markings/sec, 275 secs
lola: 6507273 markings, 34528673 edges, 20748 markings/sec, 280 secs
lola: 6624723 markings, 35112210 edges, 23490 markings/sec, 285 secs
lola: 6722203 markings, 35692725 edges, 19496 markings/sec, 290 secs
lola: 6831971 markings, 36270380 edges, 21954 markings/sec, 295 secs
lola: 6949261 markings, 36854124 edges, 23458 markings/sec, 300 secs
lola: 7053473 markings, 37424981 edges, 20842 markings/sec, 305 secs
lola: 7155585 markings, 38000122 edges, 20422 markings/sec, 310 secs
lola: 7294476 markings, 38627711 edges, 27778 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1050380 KB
lola: time consumption: 329 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((FIREABLE(t339) OR FIREABLE(t151)))) AND A (X (X (X (G (FIREABLE(t339)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t339) OR FIREABLE(t151))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(t339) OR FIREABLE(t151))))
lola: processed formula length: 43
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 118 markings, 118 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((NOT FIREABLE(t652) OR FIREABLE(t252)) AND G ((FIREABLE(t602) AND G (FIREABLE(t652))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((NOT FIREABLE(t652) OR FIREABLE(t252)) AND G ((FIREABLE(t602) AND G (FIREABLE(t652))))))))
lola: processed formula length: 101
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 118 markings, 118 edges
lola: ========================================
lola: subprocess 8 will run for 405 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (F (((NOT FIREABLE(t457) AND NOT FIREABLE(t972)) AND X (X (X (NOT FIREABLE(t621))))))) U FIREABLE(t972)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (F (((NOT FIREABLE(t457) AND NOT FIREABLE(t972)) AND X (X (X (NOT FIREABLE(t621))))))) U FIREABLE(t972)))
lola: processed formula length: 111
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 9412 markings, 17212 edges
lola: ========================================
lola: subprocess 9 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t843) AND X ((FIREABLE(t940) OR FIREABLE(t436))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t843) AND X ((FIREABLE(t940) OR FIREABLE(t436))))))
lola: processed formula length: 68
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 118 markings, 118 edges
lola: ========================================
lola: subprocess 10 will run for 540 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((F ((X (NOT FIREABLE(t1141)) R NOT FIREABLE(t1141))) AND X (FIREABLE(t645))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F ((X (NOT FIREABLE(t1141)) R NOT FIREABLE(t1141))) AND X (FIREABLE(t645))))))
lola: processed formula length: 88
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 118 markings, 118 edges
lola: ========================================
lola: subprocess 11 will run for 648 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (NOT FIREABLE(t985)) AND (FIREABLE(t153) OR X (F (NOT FIREABLE(t20))))) OR (G (NOT FIREABLE(t318)) AND F ((X (NOT FIREABLE(t985)) AND (FIREABLE(t153) OR X (F (NOT FIREABLE(t20)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (NOT FIREABLE(t985)) AND (FIREABLE(t153) OR X (F (NOT FIREABLE(t20))))) OR (G (NOT FIREABLE(t318)) AND F ((X (NOT FIREABLE(t985)) AND (FIREABLE(t153) OR X (F (NOT FIREABLE(t20)))))))))
lola: processed formula length: 191
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 12 will run for 810 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((FIREABLE(t34) OR (G (F (FIREABLE(t217))) AND F (FIREABLE(t34)))))) AND A ((F (FIREABLE(t17)) OR X (FIREABLE(t920)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 810 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t34) OR (G (F (FIREABLE(t217))) AND F (FIREABLE(t34))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t34) OR (G (F (FIREABLE(t217))) AND F (FIREABLE(t34))))))
lola: processed formula length: 73
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 93 markings, 93 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 13 will run for 1080 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t956))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t956))))
lola: processed formula length: 26
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 106 markings, 107 edges
lola: ========================================
lola: subprocess 14 will run for 1620 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t59) AND F (G (FIREABLE(t328)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t59) AND F (G (FIREABLE(t328)))))))
lola: processed formula length: 54
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 113 markings, 114 edges
lola: ========================================
lola: subprocess 15 will run for 3241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t636) OR G (F ((NOT FIREABLE(t626) R NOT FIREABLE(t681))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t636) OR G (F ((NOT FIREABLE(t626) R NOT FIREABLE(t681))))))
lola: processed formula length: 73
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 202636 markings, 537855 edges, 40527 markings/sec, 0 secs
lola: 394848 markings, 1053650 edges, 38442 markings/sec, 5 secs
lola: 538440 markings, 1596280 edges, 28718 markings/sec, 10 secs
lola: 667590 markings, 2142995 edges, 25830 markings/sec, 15 secs
lola: 809492 markings, 2700343 edges, 28380 markings/sec, 20 secs
lola: 947150 markings, 3244540 edges, 27532 markings/sec, 25 secs
lola: 1070876 markings, 3730003 edges, 24745 markings/sec, 30 secs
lola: 1215215 markings, 4265365 edges, 28868 markings/sec, 35 secs
lola: 1346864 markings, 4813549 edges, 26330 markings/sec, 40 secs
lola: 1469012 markings, 5362675 edges, 24430 markings/sec, 45 secs
lola: 1607093 markings, 5904592 edges, 27616 markings/sec, 50 secs
lola: 1738310 markings, 6444618 edges, 26243 markings/sec, 55 secs
lola: 1863392 markings, 6925505 edges, 25016 markings/sec, 60 secs
lola: 2007277 markings, 7443568 edges, 28777 markings/sec, 65 secs
lola: 2133743 markings, 7984247 edges, 25293 markings/sec, 70 secs
lola: 2253619 markings, 8526823 edges, 23975 markings/sec, 75 secs
lola: 2380685 markings, 9059958 edges, 25413 markings/sec, 80 secs
lola: 2487905 markings, 9613277 edges, 21444 markings/sec, 85 secs
lola: 2601300 markings, 10186367 edges, 22679 markings/sec, 90 secs
lola: 2755366 markings, 10726072 edges, 30813 markings/sec, 95 secs
lola: 2875377 markings, 11278861 edges, 24002 markings/sec, 100 secs
lola: 2983705 markings, 11828377 edges, 21666 markings/sec, 105 secs
lola: 3117807 markings, 12356557 edges, 26820 markings/sec, 110 secs
lola: 3231014 markings, 12895358 edges, 22641 markings/sec, 115 secs
lola: 3371629 markings, 13411036 edges, 28123 markings/sec, 120 secs
lola: 3534634 markings, 13930129 edges, 32601 markings/sec, 125 secs
lola: 3647210 markings, 14460833 edges, 22515 markings/sec, 130 secs
lola: 3753448 markings, 14988246 edges, 21248 markings/sec, 135 secs
lola: 3862372 markings, 15493202 edges, 21785 markings/sec, 140 secs
lola: 3977336 markings, 16011601 edges, 22993 markings/sec, 145 secs
lola: 4091875 markings, 16550955 edges, 22908 markings/sec, 150 secs
lola: 4202473 markings, 17078464 edges, 22120 markings/sec, 155 secs
lola: 4326282 markings, 17613480 edges, 24762 markings/sec, 160 secs
lola: 4454638 markings, 18125057 edges, 25671 markings/sec, 165 secs
lola: 4566859 markings, 18648662 edges, 22444 markings/sec, 170 secs
lola: 4709314 markings, 19139936 edges, 28491 markings/sec, 175 secs
lola: 4824382 markings, 19619258 edges, 23014 markings/sec, 180 secs
lola: 4954300 markings, 20097107 edges, 25984 markings/sec, 185 secs
lola: 5064907 markings, 20564328 edges, 22121 markings/sec, 190 secs
lola: 5171562 markings, 21025838 edges, 21331 markings/sec, 195 secs
lola: 5271942 markings, 21477294 edges, 20076 markings/sec, 200 secs
lola: 5394735 markings, 21980598 edges, 24559 markings/sec, 205 secs
lola: 5522559 markings, 22484087 edges, 25565 markings/sec, 210 secs
lola: 5667242 markings, 23002076 edges, 28937 markings/sec, 215 secs
lola: 5777950 markings, 23557509 edges, 22142 markings/sec, 220 secs
lola: 5886613 markings, 24113157 edges, 21733 markings/sec, 225 secs
lola: 5988627 markings, 24663281 edges, 20403 markings/sec, 230 secs
lola: 6096648 markings, 25203641 edges, 21604 markings/sec, 235 secs
lola: 6203744 markings, 25742938 edges, 21419 markings/sec, 240 secs
lola: 6301007 markings, 26278141 edges, 19453 markings/sec, 245 secs
lola: 6427445 markings, 26788944 edges, 25288 markings/sec, 250 secs
lola: 6537398 markings, 27300172 edges, 21991 markings/sec, 255 secs
lola: 6669113 markings, 27802905 edges, 26343 markings/sec, 260 secs
lola: 6777021 markings, 28320562 edges, 21582 markings/sec, 265 secs
lola: 6878546 markings, 28847365 edges, 20305 markings/sec, 270 secs
lola: 6973857 markings, 29371232 edges, 19062 markings/sec, 275 secs
lola: 7079051 markings, 29887169 edges, 21039 markings/sec, 280 secs
lola: 7192838 markings, 30419776 edges, 22757 markings/sec, 285 secs
lola: 7315117 markings, 30974557 edges, 24456 markings/sec, 290 secs
lola: 7424773 markings, 31550157 edges, 21931 markings/sec, 295 secs
lola: 7532709 markings, 32111538 edges, 21587 markings/sec, 300 secs
lola: 7623441 markings, 32637117 edges, 18146 markings/sec, 305 secs
lola: 7716798 markings, 33172744 edges, 18671 markings/sec, 310 secs
lola: 7810773 markings, 33715873 edges, 18795 markings/sec, 315 secs
lola: 7907807 markings, 34273164 edges, 19407 markings/sec, 320 secs
lola: 8014192 markings, 34819042 edges, 21277 markings/sec, 325 secs
lola: 8115667 markings, 35350551 edges, 20295 markings/sec, 330 secs
lola: 8214593 markings, 35917202 edges, 19785 markings/sec, 335 secs
lola: 8310330 markings, 36472360 edges, 19147 markings/sec, 340 secs
lola: 8406365 markings, 37007873 edges, 19207 markings/sec, 345 secs
lola: 8549982 markings, 37484984 edges, 28723 markings/sec, 350 secs
lola: 8689562 markings, 37956332 edges, 27916 markings/sec, 355 secs
lola: 8829988 markings, 38441356 edges, 28085 markings/sec, 360 secs
lola: 8980283 markings, 38925020 edges, 30059 markings/sec, 365 secs
lola: 9132938 markings, 39427795 edges, 30531 markings/sec, 370 secs
lola: 9278911 markings, 39928208 edges, 29195 markings/sec, 375 secs
lola: 9410968 markings, 40420899 edges, 26411 markings/sec, 380 secs
lola: 9525405 markings, 40900301 edges, 22887 markings/sec, 385 secs
lola: 9634511 markings, 41361106 edges, 21821 markings/sec, 390 secs
lola: 9738672 markings, 41842805 edges, 20832 markings/sec, 395 secs
lola: 9844689 markings, 42312150 edges, 21203 markings/sec, 400 secs
lola: 9945021 markings, 42783829 edges, 20066 markings/sec, 405 secs
lola: 10051395 markings, 43261059 edges, 21275 markings/sec, 410 secs
lola: 10155232 markings, 43746898 edges, 20767 markings/sec, 415 secs
lola: 10261355 markings, 44226450 edges, 21225 markings/sec, 420 secs
lola: 10373353 markings, 44703297 edges, 22400 markings/sec, 425 secs
lola: 10476810 markings, 45157332 edges, 20691 markings/sec, 430 secs
lola: 10574229 markings, 45616482 edges, 19484 markings/sec, 435 secs
lola: 10672985 markings, 46082007 edges, 19751 markings/sec, 440 secs
lola: 10770916 markings, 46550256 edges, 19586 markings/sec, 445 secs
lola: 10869403 markings, 46995791 edges, 19697 markings/sec, 450 secs
lola: 10966277 markings, 47447077 edges, 19375 markings/sec, 455 secs
lola: 11063185 markings, 47900370 edges, 19382 markings/sec, 460 secs
lola: 11160842 markings, 48354194 edges, 19531 markings/sec, 465 secs
lola: 11258781 markings, 48808764 edges, 19588 markings/sec, 470 secs
lola: 11409974 markings, 49339070 edges, 30239 markings/sec, 475 secs
lola: 11540123 markings, 49905275 edges, 26030 markings/sec, 480 secs
lola: 11673966 markings, 50468257 edges, 26769 markings/sec, 485 secs
lola: 11807940 markings, 51022956 edges, 26795 markings/sec, 490 secs
lola: 11923080 markings, 51590982 edges, 23028 markings/sec, 495 secs
lola: 12031702 markings, 52152797 edges, 21724 markings/sec, 500 secs
lola: 12139223 markings, 52708262 edges, 21504 markings/sec, 505 secs
lola: 12284457 markings, 53230184 edges, 29047 markings/sec, 510 secs
lola: 12424575 markings, 53750509 edges, 28024 markings/sec, 515 secs
lola: 12541634 markings, 54275857 edges, 23412 markings/sec, 520 secs
lola: 12637278 markings, 54810255 edges, 19129 markings/sec, 525 secs
lola: 12748824 markings, 55337573 edges, 22309 markings/sec, 530 secs
lola: 12865044 markings, 55857075 edges, 23244 markings/sec, 535 secs
lola: 12976785 markings, 56396413 edges, 22348 markings/sec, 540 secs
lola: 13087213 markings, 56927264 edges, 22086 markings/sec, 545 secs
lola: 13200774 markings, 57450957 edges, 22712 markings/sec, 550 secs
lola: 13345207 markings, 57979030 edges, 28887 markings/sec, 555 secs
lola: 13491568 markings, 58509826 edges, 29272 markings/sec, 560 secs
lola: 13634273 markings, 59042994 edges, 28541 markings/sec, 565 secs
lola: 13762599 markings, 59572255 edges, 25665 markings/sec, 570 secs
lola: 13885088 markings, 60099182 edges, 24498 markings/sec, 575 secs
lola: 14026816 markings, 60606246 edges, 28346 markings/sec, 580 secs
lola: 14158087 markings, 61103498 edges, 26254 markings/sec, 585 secs
lola: 14277022 markings, 61610813 edges, 23787 markings/sec, 590 secs
lola: 14393294 markings, 62115958 edges, 23254 markings/sec, 595 secs
lola: 14499076 markings, 62618268 edges, 21156 markings/sec, 600 secs
lola: 14625485 markings, 63108566 edges, 25282 markings/sec, 605 secs
lola: 14742280 markings, 63597916 edges, 23359 markings/sec, 610 secs
lola: 14860069 markings, 64076564 edges, 23558 markings/sec, 615 secs
lola: 14951636 markings, 64576207 edges, 18313 markings/sec, 620 secs
lola: 15052685 markings, 65083040 edges, 20210 markings/sec, 625 secs
lola: 15159383 markings, 65584988 edges, 21340 markings/sec, 630 secs
lola: 15258468 markings, 66073726 edges, 19817 markings/sec, 635 secs
lola: 15362695 markings, 66571732 edges, 20845 markings/sec, 640 secs
lola: 15465497 markings, 67072489 edges, 20560 markings/sec, 645 secs
lola: 15637805 markings, 67555142 edges, 34462 markings/sec, 650 secs
lola: 15817738 markings, 68031442 edges, 35987 markings/sec, 655 secs
lola: 15957343 markings, 68535985 edges, 27921 markings/sec, 660 secs
lola: 16073995 markings, 69050825 edges, 23330 markings/sec, 665 secs
lola: 16214312 markings, 69575732 edges, 28063 markings/sec, 670 secs
lola: 16333856 markings, 70104214 edges, 23909 markings/sec, 675 secs
lola: 16463077 markings, 70570885 edges, 25844 markings/sec, 680 secs
lola: 16588887 markings, 71051907 edges, 25162 markings/sec, 685 secs
lola: 16724601 markings, 71578782 edges, 27143 markings/sec, 690 secs
lola: 16844711 markings, 72111549 edges, 24022 markings/sec, 695 secs
lola: 16970871 markings, 72618135 edges, 25232 markings/sec, 700 secs
lola: 17095448 markings, 73146826 edges, 24915 markings/sec, 705 secs
lola: 17226166 markings, 73637160 edges, 26144 markings/sec, 710 secs
lola: 17339070 markings, 74084786 edges, 22581 markings/sec, 715 secs
lola: 17475297 markings, 74591195 edges, 27245 markings/sec, 720 secs
lola: 17597191 markings, 75098504 edges, 24379 markings/sec, 725 secs
lola: 17705556 markings, 75616823 edges, 21673 markings/sec, 730 secs
lola: 17829237 markings, 76127693 edges, 24736 markings/sec, 735 secs
lola: 17932636 markings, 76661983 edges, 20680 markings/sec, 740 secs
lola: 18042113 markings, 77220228 edges, 21895 markings/sec, 745 secs
lola: 18203764 markings, 77728045 edges, 32330 markings/sec, 750 secs
lola: 18330437 markings, 78226888 edges, 25335 markings/sec, 755 secs
lola: 18439460 markings, 78735364 edges, 21805 markings/sec, 760 secs
lola: 18534145 markings, 79245371 edges, 18937 markings/sec, 765 secs
lola: 18641386 markings, 79723956 edges, 21448 markings/sec, 770 secs
lola: 18759323 markings, 80235003 edges, 23587 markings/sec, 775 secs
lola: 18866301 markings, 80757505 edges, 21396 markings/sec, 780 secs
lola: 18974282 markings, 81272374 edges, 21596 markings/sec, 785 secs
lola: 19100845 markings, 81778977 edges, 25313 markings/sec, 790 secs
lola: 19219952 markings, 82274890 edges, 23821 markings/sec, 795 secs
lola: 19326524 markings, 82778806 edges, 21314 markings/sec, 800 secs
lola: 19465383 markings, 83245452 edges, 27772 markings/sec, 805 secs
lola: 19575048 markings, 83705602 edges, 21933 markings/sec, 810 secs
lola: 19697779 markings, 84161620 edges, 24546 markings/sec, 815 secs
lola: 19805549 markings, 84603779 edges, 21554 markings/sec, 820 secs
lola: 19905444 markings, 85038602 edges, 19979 markings/sec, 825 secs
lola: 19998112 markings, 85462702 edges, 18534 markings/sec, 830 secs
lola: 20113057 markings, 85933516 edges, 22989 markings/sec, 835 secs
lola: 20229895 markings, 86401364 edges, 23368 markings/sec, 840 secs
lola: 20363154 markings, 86911982 edges, 26652 markings/sec, 845 secs
lola: 20500338 markings, 87392935 edges, 27437 markings/sec, 850 secs
lola: 20611333 markings, 87880883 edges, 22199 markings/sec, 855 secs
lola: 20734109 markings, 88373497 edges, 24555 markings/sec, 860 secs
lola: 20840388 markings, 88891833 edges, 21256 markings/sec, 865 secs
lola: 20946232 markings, 89410573 edges, 21169 markings/sec, 870 secs
lola: 21037804 markings, 89932523 edges, 18314 markings/sec, 875 secs
lola: 21141657 markings, 90446748 edges, 20771 markings/sec, 880 secs
lola: 21233303 markings, 90970603 edges, 18329 markings/sec, 885 secs
lola: 21351319 markings, 91463513 edges, 23603 markings/sec, 890 secs
lola: 21452566 markings, 91958362 edges, 20249 markings/sec, 895 secs
lola: 21548736 markings, 92459709 edges, 19234 markings/sec, 900 secs
lola: 21637834 markings, 92953777 edges, 17820 markings/sec, 905 secs
lola: 21735720 markings, 93447442 edges, 19577 markings/sec, 910 secs
lola: 21825620 markings, 93944766 edges, 17980 markings/sec, 915 secs
lola: 21934539 markings, 94463108 edges, 21784 markings/sec, 920 secs
lola: 22039792 markings, 95006961 edges, 21051 markings/sec, 925 secs
lola: 22139706 markings, 95537967 edges, 19983 markings/sec, 930 secs
lola: 22248253 markings, 96067653 edges, 21709 markings/sec, 935 secs
lola: 22389884 markings, 96576802 edges, 28326 markings/sec, 940 secs
lola: 22534087 markings, 97030093 edges, 28841 markings/sec, 945 secs
lola: 22644758 markings, 97523872 edges, 22134 markings/sec, 950 secs
lola: 22757561 markings, 98069086 edges, 22561 markings/sec, 955 secs
lola: 22873649 markings, 98628740 edges, 23218 markings/sec, 960 secs
lola: 22967135 markings, 99148482 edges, 18697 markings/sec, 965 secs
lola: 23058680 markings, 99672359 edges, 18309 markings/sec, 970 secs
lola: 23154497 markings, 100212150 edges, 19163 markings/sec, 975 secs
lola: 23247678 markings, 100750925 edges, 18636 markings/sec, 980 secs
lola: 23349479 markings, 101290866 edges, 20360 markings/sec, 985 secs
lola: 23455246 markings, 101850805 edges, 21153 markings/sec, 990 secs
lola: 23553761 markings, 102367408 edges, 19703 markings/sec, 995 secs
lola: 23647201 markings, 102901781 edges, 18688 markings/sec, 1000 secs
lola: 23741091 markings, 103452430 edges, 18778 markings/sec, 1005 secs
lola: 23832529 markings, 103985556 edges, 18288 markings/sec, 1010 secs
lola: 23972982 markings, 104500603 edges, 28091 markings/sec, 1015 secs
lola: 24135585 markings, 105028212 edges, 32521 markings/sec, 1020 secs
lola: 24277343 markings, 105543108 edges, 28352 markings/sec, 1025 secs
lola: 24398073 markings, 106051596 edges, 24146 markings/sec, 1030 secs
lola: 24509097 markings, 106572427 edges, 22205 markings/sec, 1035 secs
lola: 24642564 markings, 107123967 edges, 26693 markings/sec, 1040 secs
lola: 24769382 markings, 107669974 edges, 25364 markings/sec, 1045 secs
lola: 24879684 markings, 108200031 edges, 22060 markings/sec, 1050 secs
lola: 24981908 markings, 108726616 edges, 20445 markings/sec, 1055 secs
lola: 25075270 markings, 109252900 edges, 18672 markings/sec, 1060 secs
lola: 25191798 markings, 109798947 edges, 23306 markings/sec, 1065 secs
lola: 25306785 markings, 110367125 edges, 22997 markings/sec, 1070 secs
lola: 25452003 markings, 110909267 edges, 29044 markings/sec, 1075 secs
lola: 25575546 markings, 111430909 edges, 24709 markings/sec, 1080 secs
lola: 25692946 markings, 111948186 edges, 23480 markings/sec, 1085 secs
lola: 25820533 markings, 112504874 edges, 25517 markings/sec, 1090 secs
lola: 25922987 markings, 113052336 edges, 20491 markings/sec, 1095 secs
lola: 26016648 markings, 113588969 edges, 18732 markings/sec, 1100 secs
lola: 26109806 markings, 114121697 edges, 18632 markings/sec, 1105 secs
lola: 26199249 markings, 114684174 edges, 17889 markings/sec, 1110 secs
lola: 26302445 markings, 115221796 edges, 20639 markings/sec, 1115 secs
lola: 26428739 markings, 115755963 edges, 25259 markings/sec, 1120 secs
lola: 26543674 markings, 116232181 edges, 22987 markings/sec, 1125 secs
lola: 26654512 markings, 116713604 edges, 22168 markings/sec, 1130 secs
lola: 26766457 markings, 117262602 edges, 22389 markings/sec, 1135 secs
lola: 26873476 markings, 117799012 edges, 21404 markings/sec, 1140 secs
lola: 26974192 markings, 118347012 edges, 20143 markings/sec, 1145 secs
lola: 27069785 markings, 118888378 edges, 19119 markings/sec, 1150 secs
lola: 27166072 markings, 119412411 edges, 19257 markings/sec, 1155 secs
lola: 27272576 markings, 119975301 edges, 21301 markings/sec, 1160 secs
lola: 27372375 markings, 120530053 edges, 19960 markings/sec, 1165 secs
lola: 27466639 markings, 121069538 edges, 18853 markings/sec, 1170 secs
lola: 27551565 markings, 121595834 edges, 16985 markings/sec, 1175 secs
lola: 27643231 markings, 122142769 edges, 18333 markings/sec, 1180 secs
lola: 27760470 markings, 122673085 edges, 23448 markings/sec, 1185 secs
lola: 27881727 markings, 123206485 edges, 24251 markings/sec, 1190 secs
lola: 27981459 markings, 123750701 edges, 19946 markings/sec, 1195 secs
lola: 28072951 markings, 124314278 edges, 18298 markings/sec, 1200 secs
lola: 28171788 markings, 124858130 edges, 19767 markings/sec, 1205 secs
lola: 28266063 markings, 125406799 edges, 18855 markings/sec, 1210 secs
lola: 28352849 markings, 125950068 edges, 17357 markings/sec, 1215 secs
lola: 28448884 markings, 126476097 edges, 19207 markings/sec, 1220 secs
lola: 28537299 markings, 127006749 edges, 17683 markings/sec, 1225 secs
lola: 28631678 markings, 127531838 edges, 18876 markings/sec, 1230 secs
lola: 28729736 markings, 128082665 edges, 19612 markings/sec, 1235 secs
lola: 28826466 markings, 128638344 edges, 19346 markings/sec, 1240 secs
lola: 28919913 markings, 129199932 edges, 18689 markings/sec, 1245 secs
lola: 29015164 markings, 129747744 edges, 19050 markings/sec, 1250 secs
lola: 29097414 markings, 130265739 edges, 16450 markings/sec, 1255 secs
lola: 29180648 markings, 130783498 edges, 16647 markings/sec, 1260 secs
lola: 29295109 markings, 131327629 edges, 22892 markings/sec, 1265 secs
lola: 29441492 markings, 131877233 edges, 29277 markings/sec, 1270 secs
lola: 29569929 markings, 132426693 edges, 25687 markings/sec, 1275 secs
lola: 29667268 markings, 132973311 edges, 19468 markings/sec, 1280 secs
lola: 29761649 markings, 133539717 edges, 18876 markings/sec, 1285 secs
lola: 29853694 markings, 134106305 edges, 18409 markings/sec, 1290 secs
lola: 29933410 markings, 134614334 edges, 15943 markings/sec, 1295 secs
lola: 30026640 markings, 135151459 edges, 18646 markings/sec, 1300 secs
lola: 30152597 markings, 135700653 edges, 25191 markings/sec, 1305 secs
lola: 30255882 markings, 136205696 edges, 20657 markings/sec, 1310 secs
lola: 30403538 markings, 136718518 edges, 29531 markings/sec, 1315 secs
lola: 30517483 markings, 137213610 edges, 22789 markings/sec, 1320 secs
lola: 30619411 markings, 137721268 edges, 20386 markings/sec, 1325 secs
lola: 30761227 markings, 138204342 edges, 28363 markings/sec, 1330 secs
lola: 30898441 markings, 138689686 edges, 27443 markings/sec, 1335 secs
lola: 30997507 markings, 139183616 edges, 19813 markings/sec, 1340 secs
lola: 31107342 markings, 139656565 edges, 21967 markings/sec, 1345 secs
lola: 31239703 markings, 140132891 edges, 26472 markings/sec, 1350 secs
lola: 31375812 markings, 140612131 edges, 27222 markings/sec, 1355 secs
lola: 31492225 markings, 141087573 edges, 23283 markings/sec, 1360 secs
lola: 31615035 markings, 141570116 edges, 24562 markings/sec, 1365 secs
lola: 31721212 markings, 142038687 edges, 21235 markings/sec, 1370 secs
lola: 31837077 markings, 142576651 edges, 23173 markings/sec, 1375 secs
lola: 31970619 markings, 143122009 edges, 26708 markings/sec, 1380 secs
lola: 32101936 markings, 143673025 edges, 26263 markings/sec, 1385 secs
lola: 32214837 markings, 144194662 edges, 22580 markings/sec, 1390 secs
lola: 32311108 markings, 144707503 edges, 19254 markings/sec, 1395 secs
lola: 32399019 markings, 145201883 edges, 17582 markings/sec, 1400 secs
lola: 32522269 markings, 145729671 edges, 24650 markings/sec, 1405 secs
lola: 32640044 markings, 146275733 edges, 23555 markings/sec, 1410 secs
lola: 32755246 markings, 146821090 edges, 23040 markings/sec, 1415 secs
lola: 32859435 markings, 147385158 edges, 20838 markings/sec, 1420 secs
lola: 32972451 markings, 147956695 edges, 22603 markings/sec, 1425 secs
lola: 33082307 markings, 148518616 edges, 21971 markings/sec, 1430 secs
lola: 33199073 markings, 149042909 edges, 23353 markings/sec, 1435 secs
lola: 33293671 markings, 149566670 edges, 18920 markings/sec, 1440 secs
lola: 33406357 markings, 150094446 edges, 22537 markings/sec, 1445 secs
lola: 33512797 markings, 150625426 edges, 21288 markings/sec, 1450 secs
lola: 33617894 markings, 151157113 edges, 21019 markings/sec, 1455 secs
lola: 33729264 markings, 151685589 edges, 22274 markings/sec, 1460 secs
lola: 33815532 markings, 152179891 edges, 17254 markings/sec, 1465 secs
lola: 33913413 markings, 152700298 edges, 19576 markings/sec, 1470 secs
lola: 34015912 markings, 153240392 edges, 20500 markings/sec, 1475 secs
lola: 34129135 markings, 153792871 edges, 22645 markings/sec, 1480 secs
lola: 34233585 markings, 154332928 edges, 20890 markings/sec, 1485 secs
lola: 34346091 markings, 154847893 edges, 22501 markings/sec, 1490 secs
lola: 34452535 markings, 155391944 edges, 21289 markings/sec, 1495 secs
lola: 34554213 markings, 155910432 edges, 20336 markings/sec, 1500 secs
lola: 34655641 markings, 156424697 edges, 20286 markings/sec, 1505 secs
lola: 34762574 markings, 156977147 edges, 21387 markings/sec, 1510 secs
lola: 34866266 markings, 157515583 edges, 20738 markings/sec, 1515 secs
lola: 34961082 markings, 158055945 edges, 18963 markings/sec, 1520 secs
lola: 35066138 markings, 158585606 edges, 21011 markings/sec, 1525 secs
lola: 35151949 markings, 159103069 edges, 17162 markings/sec, 1530 secs
lola: 35241207 markings, 159628210 edges, 17852 markings/sec, 1535 secs
lola: 35331591 markings, 160143808 edges, 18077 markings/sec, 1540 secs
lola: 35423009 markings, 160675409 edges, 18284 markings/sec, 1545 secs
lola: 35514882 markings, 161200616 edges, 18375 markings/sec, 1550 secs
lola: 35602858 markings, 161719089 edges, 17595 markings/sec, 1555 secs
lola: 35693506 markings, 162254956 edges, 18130 markings/sec, 1560 secs
lola: 35790898 markings, 162792195 edges, 19478 markings/sec, 1565 secs
lola: 35897930 markings, 163356181 edges, 21406 markings/sec, 1570 secs
lola: 35993053 markings, 163897287 edges, 19025 markings/sec, 1575 secs
lola: 36093859 markings, 164451890 edges, 20161 markings/sec, 1580 secs
lola: 36209191 markings, 165005902 edges, 23066 markings/sec, 1585 secs
lola: 36316191 markings, 165545511 edges, 21400 markings/sec, 1590 secs
lola: 36420905 markings, 166098323 edges, 20943 markings/sec, 1595 secs
lola: 36511408 markings, 166645336 edges, 18101 markings/sec, 1600 secs
lola: 36598128 markings, 167179250 edges, 17344 markings/sec, 1605 secs
lola: 36677146 markings, 167709971 edges, 15804 markings/sec, 1610 secs
lola: 36790102 markings, 168209178 edges, 22591 markings/sec, 1615 secs
lola: 36916333 markings, 168684776 edges, 25246 markings/sec, 1620 secs
lola: 37047620 markings, 169175044 edges, 26257 markings/sec, 1625 secs
lola: 37137308 markings, 169680556 edges, 17938 markings/sec, 1630 secs
lola: 37223757 markings, 170227414 edges, 17290 markings/sec, 1635 secs
lola: 37305781 markings, 170730821 edges, 16405 markings/sec, 1640 secs
lola: 37387890 markings, 171259757 edges, 16422 markings/sec, 1645 secs
lola: 37469594 markings, 171786943 edges, 16341 markings/sec, 1650 secs
lola: 37608040 markings, 172303213 edges, 27689 markings/sec, 1655 secs
lola: 37749428 markings, 172785323 edges, 28278 markings/sec, 1660 secs
lola: 37872981 markings, 173259896 edges, 24711 markings/sec, 1665 secs
lola: 37982158 markings, 173740829 edges, 21835 markings/sec, 1670 secs
lola: 38110148 markings, 174195798 edges, 25598 markings/sec, 1675 secs
lola: 38247980 markings, 174676841 edges, 27566 markings/sec, 1680 secs
lola: 38372501 markings, 175203734 edges, 24904 markings/sec, 1685 secs
lola: 38506615 markings, 175704137 edges, 26823 markings/sec, 1690 secs
lola: 38628631 markings, 176150673 edges, 24403 markings/sec, 1695 secs
lola: 38743319 markings, 176580709 edges, 22938 markings/sec, 1700 secs
lola: 38842018 markings, 177017726 edges, 19740 markings/sec, 1705 secs
lola: 38961262 markings, 177441803 edges, 23849 markings/sec, 1710 secs
lola: 39083533 markings, 177885431 edges, 24454 markings/sec, 1715 secs
lola: 39231211 markings, 178372785 edges, 29536 markings/sec, 1720 secs
lola: 39344461 markings, 178866490 edges, 22650 markings/sec, 1725 secs
lola: 39451986 markings, 179356038 edges, 21505 markings/sec, 1730 secs
lola: 39555039 markings, 179817982 edges, 20611 markings/sec, 1735 secs
lola: 39672144 markings, 180300447 edges, 23421 markings/sec, 1740 secs
lola: 39777292 markings, 180785491 edges, 21030 markings/sec, 1745 secs
lola: 39879434 markings, 181269448 edges, 20428 markings/sec, 1750 secs
lola: 39974906 markings, 181710453 edges, 19094 markings/sec, 1755 secs
lola: 40132960 markings, 182205885 edges, 31611 markings/sec, 1760 secs
lola: 40272378 markings, 182769430 edges, 27884 markings/sec, 1765 secs
lola: 40391944 markings, 183335606 edges, 23913 markings/sec, 1770 secs
lola: 40510037 markings, 183856900 edges, 23619 markings/sec, 1775 secs
lola: 40643193 markings, 184405587 edges, 26631 markings/sec, 1780 secs
lola: 40763009 markings, 184963670 edges, 23963 markings/sec, 1785 secs
lola: 40874640 markings, 185499070 edges, 22326 markings/sec, 1790 secs
lola: 40989216 markings, 185988867 edges, 22915 markings/sec, 1795 secs
lola: 41161951 markings, 186541268 edges, 34547 markings/sec, 1800 secs
lola: 41291647 markings, 187104537 edges, 25939 markings/sec, 1805 secs
lola: 41408632 markings, 187646230 edges, 23397 markings/sec, 1810 secs
lola: 41531695 markings, 188174968 edges, 24613 markings/sec, 1815 secs
lola: 41659096 markings, 188728231 edges, 25480 markings/sec, 1820 secs
lola: 41774348 markings, 189287207 edges, 23050 markings/sec, 1825 secs
lola: 41886613 markings, 189792657 edges, 22453 markings/sec, 1830 secs
lola: 42008123 markings, 190307810 edges, 24302 markings/sec, 1835 secs
lola: 42130142 markings, 190857522 edges, 24404 markings/sec, 1840 secs
lola: 42252300 markings, 191406756 edges, 24432 markings/sec, 1845 secs
lola: 42351191 markings, 191898154 edges, 19778 markings/sec, 1850 secs
lola: 42454752 markings, 192388298 edges, 20712 markings/sec, 1855 secs
lola: 42577933 markings, 192935876 edges, 24636 markings/sec, 1860 secs
lola: 42695269 markings, 193475038 edges, 23467 markings/sec, 1865 secs
lola: 42803946 markings, 193997605 edges, 21735 markings/sec, 1870 secs
lola: 42899190 markings, 194495863 edges, 19049 markings/sec, 1875 secs
lola: 42989576 markings, 194999538 edges, 18077 markings/sec, 1880 secs
lola: 43089232 markings, 195546760 edges, 19931 markings/sec, 1885 secs
lola: 43187037 markings, 196091059 edges, 19561 markings/sec, 1890 secs
lola: 43292146 markings, 196637920 edges, 21022 markings/sec, 1895 secs
lola: 43386161 markings, 197171981 edges, 18803 markings/sec, 1900 secs
lola: 43496956 markings, 197739606 edges, 22159 markings/sec, 1905 secs
lola: 43583719 markings, 198287706 edges, 17353 markings/sec, 1910 secs
lola: 43672139 markings, 198827510 edges, 17684 markings/sec, 1915 secs
lola: 43771637 markings, 199395535 edges, 19900 markings/sec, 1920 secs
lola: 43882396 markings, 199937260 edges, 22152 markings/sec, 1925 secs
lola: 43986503 markings, 200474394 edges, 20821 markings/sec, 1930 secs
lola: 44108794 markings, 201023701 edges, 24458 markings/sec, 1935 secs
lola: 44239648 markings, 201555912 edges, 26171 markings/sec, 1940 secs
lola: 44355294 markings, 202084287 edges, 23129 markings/sec, 1945 secs
lola: 44465234 markings, 202593090 edges, 21988 markings/sec, 1950 secs
lola: 44559927 markings, 203129921 edges, 18939 markings/sec, 1955 secs
lola: 44662213 markings, 203642367 edges, 20457 markings/sec, 1960 secs
lola: 44759977 markings, 204172938 edges, 19553 markings/sec, 1965 secs
lola: 44859712 markings, 204681241 edges, 19947 markings/sec, 1970 secs
lola: 44960317 markings, 205165159 edges, 20121 markings/sec, 1975 secs
lola: 45039964 markings, 205660604 edges, 15929 markings/sec, 1980 secs
lola: 45120805 markings, 206142735 edges, 16168 markings/sec, 1985 secs
lola: 45203462 markings, 206627150 edges, 16531 markings/sec, 1990 secs
lola: 45286829 markings, 207105612 edges, 16673 markings/sec, 1995 secs
lola: 45366100 markings, 207599238 edges, 15854 markings/sec, 2000 secs
lola: 45459434 markings, 208074271 edges, 18667 markings/sec, 2005 secs
lola: 45556676 markings, 208537231 edges, 19448 markings/sec, 2010 secs
lola: 45639393 markings, 209001964 edges, 16543 markings/sec, 2015 secs
lola: 45718867 markings, 209438911 edges, 15895 markings/sec, 2020 secs
lola: 45802542 markings, 209886332 edges, 16735 markings/sec, 2025 secs
lola: 45883422 markings, 210309012 edges, 16176 markings/sec, 2030 secs
lola: 45962449 markings, 210769583 edges, 15805 markings/sec, 2035 secs
lola: 46037567 markings, 211214654 edges, 15024 markings/sec, 2040 secs
lola: 46118211 markings, 211647790 edges, 16129 markings/sec, 2045 secs
lola: 46195297 markings, 212072423 edges, 15417 markings/sec, 2050 secs
lola: 46275014 markings, 212492070 edges, 15943 markings/sec, 2055 secs
lola: 46361825 markings, 212977926 edges, 17362 markings/sec, 2060 secs
lola: 46453288 markings, 213465988 edges, 18293 markings/sec, 2065 secs
lola: 46546757 markings, 213982103 edges, 18694 markings/sec, 2070 secs
lola: 46638464 markings, 214508383 edges, 18341 markings/sec, 2075 secs
lola: 46732737 markings, 215039088 edges, 18855 markings/sec, 2080 secs
lola: 46829695 markings, 215585995 edges, 19392 markings/sec, 2085 secs
lola: 46916875 markings, 216102269 edges, 17436 markings/sec, 2090 secs
lola: 47007769 markings, 216634599 edges, 18179 markings/sec, 2095 secs
lola: 47105279 markings, 217184272 edges, 19502 markings/sec, 2100 secs
lola: 47195883 markings, 217730394 edges, 18121 markings/sec, 2105 secs
lola: 47279046 markings, 218272361 edges, 16633 markings/sec, 2110 secs
lola: 47369360 markings, 218802566 edges, 18063 markings/sec, 2115 secs
lola: 47465565 markings, 219359680 edges, 19241 markings/sec, 2120 secs
lola: 47562582 markings, 219896785 edges, 19403 markings/sec, 2125 secs
lola: 47678738 markings, 220381440 edges, 23231 markings/sec, 2130 secs
lola: 47777751 markings, 220907962 edges, 19803 markings/sec, 2135 secs
lola: 47870417 markings, 221442313 edges, 18533 markings/sec, 2140 secs
lola: 47963160 markings, 221981681 edges, 18549 markings/sec, 2145 secs
lola: 48081875 markings, 222496072 edges, 23743 markings/sec, 2150 secs
lola: 48207464 markings, 223010874 edges, 25118 markings/sec, 2155 secs
lola: 48318286 markings, 223517688 edges, 22164 markings/sec, 2160 secs
lola: 48419855 markings, 224030903 edges, 20314 markings/sec, 2165 secs
lola: 48510333 markings, 224550668 edges, 18096 markings/sec, 2170 secs
lola: 48609301 markings, 225055935 edges, 19794 markings/sec, 2175 secs
lola: 48708492 markings, 225570206 edges, 19838 markings/sec, 2180 secs
lola: 48795147 markings, 226073086 edges, 17331 markings/sec, 2185 secs
lola: 48876223 markings, 226570538 edges, 16215 markings/sec, 2190 secs
lola: 48970862 markings, 227102356 edges, 18928 markings/sec, 2195 secs
lola: 49049400 markings, 227618213 edges, 15708 markings/sec, 2200 secs
lola: 49141093 markings, 228103014 edges, 18339 markings/sec, 2205 secs
lola: 49241344 markings, 228577837 edges, 20050 markings/sec, 2210 secs
lola: 49325244 markings, 229046841 edges, 16780 markings/sec, 2215 secs
lola: 49410683 markings, 229515375 edges, 17088 markings/sec, 2220 secs
lola: 49488244 markings, 229981269 edges, 15512 markings/sec, 2225 secs
lola: 49570119 markings, 230451094 edges, 16375 markings/sec, 2230 secs
lola: 49651510 markings, 230929933 edges, 16278 markings/sec, 2235 secs
lola: 49729354 markings, 231418236 edges, 15569 markings/sec, 2240 secs
lola: 49817481 markings, 231893856 edges, 17625 markings/sec, 2245 secs
lola: 49907300 markings, 232353017 edges, 17964 markings/sec, 2250 secs
lola: 49991488 markings, 232812740 edges, 16838 markings/sec, 2255 secs
lola: 50066641 markings, 233257009 edges, 15031 markings/sec, 2260 secs
lola: 50145203 markings, 233681519 edges, 15712 markings/sec, 2265 secs
lola: 50221200 markings, 234125078 edges, 15199 markings/sec, 2270 secs
lola: 50298274 markings, 234539977 edges, 15415 markings/sec, 2275 secs
lola: 50372984 markings, 234993807 edges, 14942 markings/sec, 2280 secs
lola: 50441372 markings, 235419389 edges, 13678 markings/sec, 2285 secs
lola: 50516463 markings, 235831389 edges, 15018 markings/sec, 2290 secs
lola: 50597108 markings, 236259486 edges, 16129 markings/sec, 2295 secs
lola: 50671879 markings, 236677639 edges, 14954 markings/sec, 2300 secs
lola: 50742649 markings, 237089020 edges, 14154 markings/sec, 2305 secs
lola: 50816718 markings, 237493462 edges, 14814 markings/sec, 2310 secs
lola: 50893850 markings, 237889447 edges, 15426 markings/sec, 2315 secs
lola: 50971341 markings, 238294053 edges, 15498 markings/sec, 2320 secs
lola: 51046135 markings, 238712170 edges, 14959 markings/sec, 2325 secs
lola: 51120756 markings, 239133938 edges, 14924 markings/sec, 2330 secs
lola: 51212296 markings, 239621818 edges, 18308 markings/sec, 2335 secs
lola: 51307190 markings, 240162452 edges, 18979 markings/sec, 2340 secs
lola: 51393037 markings, 240644138 edges, 17169 markings/sec, 2345 secs
lola: 51473740 markings, 241067408 edges, 16141 markings/sec, 2350 secs
lola: 51570881 markings, 241501731 edges, 19428 markings/sec, 2355 secs
lola: 51726598 markings, 242014368 edges, 31143 markings/sec, 2360 secs
lola: 51846329 markings, 242534713 edges, 23946 markings/sec, 2365 secs
lola: 51956788 markings, 243045379 edges, 22092 markings/sec, 2370 secs
lola: 52068660 markings, 243533796 edges, 22374 markings/sec, 2375 secs
lola: 52189715 markings, 244041583 edges, 24211 markings/sec, 2380 secs
lola: 52300900 markings, 244556521 edges, 22237 markings/sec, 2385 secs
lola: 52403398 markings, 245050155 edges, 20500 markings/sec, 2390 secs
lola: 52504481 markings, 245504454 edges, 20217 markings/sec, 2395 secs
lola: 52654989 markings, 246029518 edges, 30102 markings/sec, 2400 secs
lola: 52782394 markings, 246560882 edges, 25481 markings/sec, 2405 secs
lola: 52951763 markings, 247069770 edges, 33874 markings/sec, 2410 secs
lola: 53088965 markings, 247572921 edges, 27440 markings/sec, 2415 secs
lola: 53233520 markings, 248098111 edges, 28911 markings/sec, 2420 secs
lola: 53391129 markings, 248591441 edges, 31522 markings/sec, 2425 secs
lola: 53504740 markings, 249136111 edges, 22722 markings/sec, 2430 secs
lola: 53687055 markings, 249668845 edges, 36463 markings/sec, 2435 secs
lola: 53851078 markings, 250190636 edges, 32805 markings/sec, 2440 secs
lola: 53969457 markings, 250701522 edges, 23676 markings/sec, 2445 secs
lola: 54119524 markings, 251205025 edges, 30013 markings/sec, 2450 secs
lola: 54240484 markings, 251712000 edges, 24192 markings/sec, 2455 secs
lola: 54390086 markings, 252230128 edges, 29920 markings/sec, 2460 secs
lola: 54531172 markings, 252713905 edges, 28217 markings/sec, 2465 secs
lola: 54663353 markings, 253226540 edges, 26436 markings/sec, 2470 secs
lola: 54823324 markings, 253705471 edges, 31994 markings/sec, 2475 secs
lola: 54936992 markings, 254148346 edges, 22734 markings/sec, 2480 secs
lola: 55072295 markings, 254587621 edges, 27061 markings/sec, 2485 secs
lola: 55197243 markings, 255076605 edges, 24990 markings/sec, 2490 secs
lola: 55332056 markings, 255553235 edges, 26963 markings/sec, 2495 secs
lola: 55452277 markings, 256031207 edges, 24044 markings/sec, 2500 secs
lola: 55577868 markings, 256523731 edges, 25118 markings/sec, 2505 secs
lola: 55730150 markings, 257000006 edges, 30456 markings/sec, 2510 secs
lola: 55840127 markings, 257482920 edges, 21995 markings/sec, 2515 secs
lola: 55999545 markings, 257959767 edges, 31884 markings/sec, 2520 secs
lola: 56125209 markings, 258404395 edges, 25133 markings/sec, 2525 secs
lola: 56243040 markings, 258830999 edges, 23566 markings/sec, 2530 secs
lola: 56403112 markings, 259337624 edges, 32014 markings/sec, 2535 secs
lola: 56519920 markings, 259853151 edges, 23362 markings/sec, 2540 secs
lola: 56673284 markings, 260356781 edges, 30673 markings/sec, 2545 secs
lola: 56779025 markings, 260881459 edges, 21148 markings/sec, 2550 secs
lola: 56952796 markings, 261396203 edges, 34754 markings/sec, 2555 secs
lola: 57071499 markings, 261891618 edges, 23741 markings/sec, 2560 secs
lola: 57228223 markings, 262392319 edges, 31345 markings/sec, 2565 secs
lola: 57364746 markings, 262853557 edges, 27305 markings/sec, 2570 secs
lola: 57486800 markings, 263290817 edges, 24411 markings/sec, 2575 secs
lola: 57618739 markings, 263770128 edges, 26388 markings/sec, 2580 secs
lola: 57726325 markings, 264293389 edges, 21517 markings/sec, 2585 secs
lola: 57890329 markings, 264785802 edges, 32801 markings/sec, 2590 secs
lola: 58017569 markings, 265292819 edges, 25448 markings/sec, 2595 secs
lola: 58176669 markings, 265771392 edges, 31820 markings/sec, 2600 secs
lola: 58301497 markings, 266224777 edges, 24966 markings/sec, 2605 secs
lola: 58427761 markings, 266654586 edges, 25253 markings/sec, 2610 secs
lola: 58526154 markings, 267142881 edges, 19679 markings/sec, 2615 secs
lola: 58673190 markings, 267606838 edges, 29407 markings/sec, 2620 secs
lola: 58799682 markings, 268039710 edges, 25298 markings/sec, 2625 secs
lola: 58895765 markings, 268543870 edges, 19217 markings/sec, 2630 secs
lola: 58993189 markings, 269060096 edges, 19485 markings/sec, 2635 secs
lola: 59084601 markings, 269586479 edges, 18282 markings/sec, 2640 secs
lola: 59180709 markings, 270115519 edges, 19222 markings/sec, 2645 secs
lola: 59273754 markings, 270644761 edges, 18609 markings/sec, 2650 secs
lola: 59355302 markings, 271144268 edges, 16310 markings/sec, 2655 secs
lola: 59444609 markings, 271670927 edges, 17861 markings/sec, 2660 secs
lola: 59542382 markings, 272191503 edges, 19555 markings/sec, 2665 secs
lola: 59635743 markings, 272717149 edges, 18672 markings/sec, 2670 secs
lola: 59725916 markings, 273248750 edges, 18035 markings/sec, 2675 secs
lola: 59804168 markings, 273748050 edges, 15650 markings/sec, 2680 secs
lola: 59884197 markings, 274279014 edges, 16006 markings/sec, 2685 secs
lola: 59971455 markings, 274798601 edges, 17452 markings/sec, 2690 secs
lola: 60065821 markings, 275320257 edges, 18873 markings/sec, 2695 secs
lola: 60149845 markings, 275829002 edges, 16805 markings/sec, 2700 secs
lola: 60233413 markings, 276341298 edges, 16714 markings/sec, 2705 secs
lola: 60321467 markings, 276862607 edges, 17611 markings/sec, 2710 secs
lola: 60411603 markings, 277402968 edges, 18027 markings/sec, 2715 secs
lola: 60498907 markings, 277934378 edges, 17461 markings/sec, 2720 secs
lola: 60572701 markings, 278404577 edges, 14759 markings/sec, 2725 secs
lola: 60642889 markings, 278903985 edges, 14038 markings/sec, 2730 secs
lola: 60737106 markings, 279431613 edges, 18843 markings/sec, 2735 secs
lola: 60823952 markings, 279954523 edges, 17369 markings/sec, 2740 secs
lola: 60900902 markings, 280465589 edges, 15390 markings/sec, 2745 secs
lola: 60987756 markings, 280990206 edges, 17371 markings/sec, 2750 secs
lola: 61079656 markings, 281519166 edges, 18380 markings/sec, 2755 secs
lola: 61161163 markings, 282028322 edges, 16301 markings/sec, 2760 secs
lola: 61260268 markings, 282543808 edges, 19821 markings/sec, 2765 secs
lola: 61413277 markings, 283029363 edges, 30602 markings/sec, 2770 secs
lola: 61540706 markings, 283527019 edges, 25486 markings/sec, 2775 secs
lola: 61692859 markings, 283981766 edges, 30431 markings/sec, 2780 secs
lola: 61845584 markings, 284460125 edges, 30545 markings/sec, 2785 secs
lola: 61990992 markings, 284945449 edges, 29082 markings/sec, 2790 secs
lola: 62159801 markings, 285456615 edges, 33762 markings/sec, 2795 secs
lola: 62329677 markings, 285948983 edges, 33975 markings/sec, 2800 secs
lola: 62499287 markings, 286445143 edges, 33922 markings/sec, 2805 secs
lola: 62637318 markings, 286915251 edges, 27606 markings/sec, 2810 secs
lola: 62791788 markings, 287405663 edges, 30894 markings/sec, 2815 secs
lola: 62950534 markings, 287870004 edges, 31749 markings/sec, 2820 secs
lola: 63106280 markings, 288352191 edges, 31149 markings/sec, 2825 secs
lola: 63248124 markings, 288812548 edges, 28369 markings/sec, 2830 secs
lola: 63404937 markings, 289284663 edges, 31363 markings/sec, 2835 secs
lola: 63550141 markings, 289735951 edges, 29041 markings/sec, 2840 secs
lola: 63704590 markings, 290191626 edges, 30890 markings/sec, 2845 secs
lola: 63846599 markings, 290634150 edges, 28402 markings/sec, 2850 secs
lola: 63988836 markings, 291078903 edges, 28447 markings/sec, 2855 secs
lola: 64131348 markings, 291530636 edges, 28502 markings/sec, 2860 secs
lola: 64265735 markings, 291997961 edges, 26877 markings/sec, 2865 secs
lola: 64385527 markings, 292445905 edges, 23958 markings/sec, 2870 secs
lola: 64504719 markings, 292888908 edges, 23838 markings/sec, 2875 secs
lola: 64630834 markings, 293336968 edges, 25223 markings/sec, 2880 secs
lola: 64767330 markings, 293789335 edges, 27299 markings/sec, 2885 secs
lola: 64894030 markings, 294228608 edges, 25340 markings/sec, 2890 secs
lola: 65015286 markings, 294676034 edges, 24251 markings/sec, 2895 secs
lola: 65149239 markings, 295128384 edges, 26791 markings/sec, 2900 secs
lola: 65285335 markings, 295597436 edges, 27219 markings/sec, 2905 secs
lola: 65420364 markings, 296071719 edges, 27006 markings/sec, 2910 secs
lola: 65541682 markings, 296517647 edges, 24264 markings/sec, 2915 secs
lola: 65660667 markings, 296953829 edges, 23797 markings/sec, 2920 secs
lola: 65784896 markings, 297425116 edges, 24846 markings/sec, 2925 secs
lola: 65900183 markings, 297889885 edges, 23057 markings/sec, 2930 secs
lola: 66000296 markings, 298341767 edges, 20023 markings/sec, 2935 secs
lola: 66109075 markings, 298807011 edges, 21756 markings/sec, 2940 secs
lola: 66232969 markings, 299266707 edges, 24779 markings/sec, 2945 secs
lola: 66346943 markings, 299731267 edges, 22795 markings/sec, 2950 secs
lola: 66473380 markings, 300207282 edges, 25287 markings/sec, 2955 secs
lola: 66579165 markings, 300662073 edges, 21157 markings/sec, 2960 secs
lola: 66677671 markings, 301105710 edges, 19701 markings/sec, 2965 secs
lola: 66791646 markings, 301559191 edges, 22795 markings/sec, 2970 secs
lola: 66903517 markings, 301991245 edges, 22374 markings/sec, 2975 secs
lola: 66980847 markings, 302433346 edges, 15466 markings/sec, 2980 secs
lola: 67054836 markings, 302889701 edges, 14798 markings/sec, 2985 secs
lola: 67134540 markings, 303314342 edges, 15941 markings/sec, 2990 secs
lola: 67214310 markings, 303749805 edges, 15954 markings/sec, 2995 secs
lola: 67321244 markings, 304136387 edges, 21387 markings/sec, 3000 secs
lola: 67403801 markings, 304589073 edges, 16511 markings/sec, 3005 secs
lola: 67470414 markings, 305040109 edges, 13323 markings/sec, 3010 secs
lola: 67545345 markings, 305497039 edges, 14986 markings/sec, 3015 secs
lola: 67621437 markings, 305955367 edges, 15218 markings/sec, 3020 secs
lola: 67684883 markings, 306387800 edges, 12689 markings/sec, 3025 secs
lola: 67755271 markings, 306819941 edges, 14078 markings/sec, 3030 secs
lola: 67826015 markings, 307274127 edges, 14149 markings/sec, 3035 secs
lola: 67899231 markings, 307731782 edges, 14643 markings/sec, 3040 secs
lola: 67986146 markings, 308119848 edges, 17383 markings/sec, 3045 secs
lola: 68097342 markings, 308505774 edges, 22239 markings/sec, 3050 secs
lola: 68227306 markings, 308906491 edges, 25993 markings/sec, 3055 secs
lola: 68352523 markings, 309303920 edges, 25043 markings/sec, 3060 secs
lola: 68481719 markings, 309694880 edges, 25839 markings/sec, 3065 secs
lola: 68605884 markings, 310086016 edges, 24833 markings/sec, 3070 secs
lola: 68729417 markings, 310477772 edges, 24707 markings/sec, 3075 secs
lola: 68819997 markings, 310862962 edges, 18116 markings/sec, 3080 secs
lola: 68914472 markings, 311256227 edges, 18895 markings/sec, 3085 secs
lola: 69021475 markings, 311660095 edges, 21401 markings/sec, 3090 secs
lola: 69116020 markings, 312048349 edges, 18909 markings/sec, 3095 secs
lola: 69214919 markings, 312453170 edges, 19780 markings/sec, 3100 secs
lola: 69313060 markings, 312856587 edges, 19628 markings/sec, 3105 secs
lola: 69402637 markings, 313242254 edges, 17915 markings/sec, 3110 secs
lola: 69511077 markings, 313599591 edges, 21688 markings/sec, 3115 secs
lola: 69608486 markings, 313952583 edges, 19482 markings/sec, 3120 secs
lola: 69698592 markings, 314368290 edges, 18021 markings/sec, 3125 secs
lola: 69796491 markings, 314708756 edges, 19580 markings/sec, 3130 secs
lola: 69883126 markings, 315076733 edges, 17327 markings/sec, 3135 secs
lola: 69949637 markings, 315496662 edges, 13302 markings/sec, 3140 secs
lola: 70036497 markings, 315872527 edges, 17372 markings/sec, 3145 secs
lola: 70127101 markings, 316208273 edges, 18121 markings/sec, 3150 secs
lola: 70217636 markings, 316548590 edges, 18107 markings/sec, 3155 secs
lola: 70308903 markings, 316916695 edges, 18253 markings/sec, 3160 secs
lola: 70410206 markings, 317278042 edges, 20261 markings/sec, 3165 secs
lola: 70498032 markings, 317625255 edges, 17565 markings/sec, 3170 secs
lola: 70581519 markings, 318001156 edges, 16697 markings/sec, 3175 secs
lola: 70660660 markings, 318375290 edges, 15828 markings/sec, 3180 secs
lola: 70763851 markings, 318710762 edges, 20638 markings/sec, 3185 secs
lola: 70862707 markings, 319055493 edges, 19771 markings/sec, 3190 secs
lola: 70944091 markings, 319415137 edges, 16277 markings/sec, 3195 secs
lola: 71027096 markings, 319793887 edges, 16601 markings/sec, 3200 secs
lola: 71107070 markings, 320177912 edges, 15995 markings/sec, 3205 secs
lola: 71172527 markings, 320565181 edges, 13091 markings/sec, 3210 secs
lola: 71249143 markings, 320984393 edges, 15323 markings/sec, 3215 secs
lola: 71343885 markings, 321507506 edges, 18948 markings/sec, 3220 secs
lola: 71435285 markings, 322033464 edges, 18280 markings/sec, 3225 secs
lola: 71529638 markings, 322528519 edges, 18871 markings/sec, 3230 secs
lola: 71616919 markings, 323057491 edges, 17456 markings/sec, 3235 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no no no no unknown no no no no no no yes no
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no no no no unknown no no no no no no yes no
lola:
preliminary result: no no unknown no no no no unknown no no no no no no yes no
lola: memory consumption: 10685332 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1590051051889
--------------------
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="CloudDeployment-PT-3b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is CloudDeployment-PT-3b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r045-smll-158902068300074"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-3b.tgz
mv CloudDeployment-PT-3b execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;