About the Execution of 2019-Gold for Raft-PT-09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15915.680 | 3570185.00 | 3473801.00 | 14327.00 | FF??F?TTFFFTFTFT | 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.r150-smll-158961529300069.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 Raft-PT-09, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300069
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 08:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 09:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 09:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 21:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 196K Mar 24 05:38 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 Raft-PT-09-00
FORMULA_NAME Raft-PT-09-01
FORMULA_NAME Raft-PT-09-02
FORMULA_NAME Raft-PT-09-03
FORMULA_NAME Raft-PT-09-04
FORMULA_NAME Raft-PT-09-05
FORMULA_NAME Raft-PT-09-06
FORMULA_NAME Raft-PT-09-07
FORMULA_NAME Raft-PT-09-08
FORMULA_NAME Raft-PT-09-09
FORMULA_NAME Raft-PT-09-10
FORMULA_NAME Raft-PT-09-11
FORMULA_NAME Raft-PT-09-12
FORMULA_NAME Raft-PT-09-13
FORMULA_NAME Raft-PT-09-14
FORMULA_NAME Raft-PT-09-15
=== Now, execution of the tool begins
BK_START 1589930241470
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ Raft-PT-09 @ 3570 seconds
FORMULA Raft-PT-09-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ Raft-PT-09
{
"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=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 19 23:17:21 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 128
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 128
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 128
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 128
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 128
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 128
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A ((X (G ((X ((p287 <= p253)) AND (p317 + 1 <= p43)))) R ((p317 + 1 <= p43) R (p172 + 1 <= p252))))",
"processed_size": 99,
"rewrites": 128
},
"result":
{
"edges": 10,
"markings": 10,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A ((((p310 <= p193) AND F (G ((1 <= p191)))) OR X (((1 <= p191) U X (TRUE)))))",
"processed_size": 78,
"rewrites": 128
},
"result":
{
"edges": 667,
"markings": 582,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 11
},
"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": 445
},
"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": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "A (X (TRUE))",
"processed_size": 12,
"rewrites": 128
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"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": 519
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A (((p256 <= p38) U (X ((F ((p123 + 1 <= p252)) AND X ((p182 + 1 <= p57)))) R (p38 + 1 <= p256))))",
"processed_size": 98,
"rewrites": 128
},
"result":
{
"edges": 10,
"markings": 10,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 14
},
"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": 623
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((p314 <= p101)))",
"processed_size": 22,
"rewrites": 130
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 11,
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 779
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p191 <= p16)",
"processed_size": 13,
"rewrites": 130
},
"result":
{
"edges": 10,
"markings": 10,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1039
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A ((F ((1 <= p393)) U ((p393 <= 0) OR F ((p200 <= 0)))))",
"processed_size": 56,
"rewrites": 128
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"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"
}
}
],
"exit":
{
"error": null,
"memory": 1146112,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A((X(G((X(**) AND *))) R (* R *))) : FALSE : A(G(F((* OR G(**))))) : A(X(X(G((F(**) AND X(**)))))) : FALSE : A(F(((* OR F(*)) AND F((** AND G(**)))))) : A(((** AND F(G(**))) OR X((** U X(TRUE))))) : TRUE : A(G(*)) : FALSE : A(F(*)) : TRUE : FALSE : A(X(TRUE)) : A((** U (X((F(*) AND X(*))) R *))) : A((F(**) U (* OR F(*))))"
},
"net":
{
"arcs": 2728,
"conflict_clusters": 23,
"places": 413,
"places_significant": 332,
"singleton_clusters": 0,
"transitions": 710
},
"result":
{
"interim_value": "no no unknown unknown no unknown yes yes no no no yes no yes no yes ",
"preliminary_value": "no no unknown unknown no unknown yes yes no no no yes no yes no yes "
},
"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: 1123/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 413
lola: finding significant places
lola: 413 places, 710 transitions, 332 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p37)
lola: LP says that atomic proposition is always false: (3 <= p37)
lola: LP says that atomic proposition is always false: (3 <= p4)
lola: LP says that atomic proposition is always false: (2 <= p132)
lola: LP says that atomic proposition is always false: (3 <= p322)
lola: LP says that atomic proposition is always false: (2 <= p16)
lola: LP says that atomic proposition is always false: (3 <= p61)
lola: LP says that atomic proposition is always false: (2 <= p16)
lola: LP says that atomic proposition is always false: (3 <= p242)
lola: LP says that atomic proposition is always false: (2 <= p348)
lola: LP says that atomic proposition is always false: (2 <= p63)
lola: LP says that atomic proposition is always false: (3 <= p300)
lola: LP says that atomic proposition is always false: (2 <= p310)
lola: LP says that atomic proposition is always false: (2 <= p310)
lola: A (NOT((NOT(G (NOT((NOT(X (X ((p287 <= p253)))) OR X ((p43 <= p317)))))) U ((p43 <= p317) U (p252 <= p172))))) : A (F (X (((() AND G ((p8 <= p63))) OR F (X (((3 <= p37) AND F ((p32 <= p132))))))))) : A (X (NOT(((1 <= p46) U G (X (F (G (((1 <= p46) AND NOT(G ((p367 <= p393)))))))))))) : A (X (X (G ((F ((p341 <= p406)) AND (X ((p182 <= p374)) OR F (((p182 <= p374) U ())))))))) : A (F (G (((X ((p197 <= p28)) AND ((p197 <= p28) U X ((3 <= p322)))) AND X (G (F ((1 <= p5)))))))) : A (F ((NOT(((p144 <= p197) AND G ((p144 <= p197)))) AND F (((p144 <= p197) AND G ((p346 <= p351))))))) : A ((((p310 <= p193) AND F (G ((1 <= p191)))) OR X (((1 <= p191) U G (X (())))))) : A (NOT((((2 <= p16) OR NOT(G (X ((3 <= p61))))) AND G (X (X (G ((2 <= p16)))))))) : A (NOT((G (X (F (G ((3 <= p242))))) U F ((p101 + 1 <= p314))))) : A (NOT(F ((0 <= p118)))) : A (NOT(G ((p191 <= p16)))) : A (((p133 <= p382) U NOT(X ((2 <= p348))))) : A (X ((X (F (G (()))) AND ((p25 <= p268) U ((p48 <= p306)))))) : A ((((p310 <= 1) AND X ((0 <= p132))) OR G (((p200 <= p406) U X ((2 <= p310)))))) : A (((p256 <= p38) U NOT((X ((G ((p252 <= p123)) OR X ((p57 <= p182)))) U (p256 <= p38))))) : A ((F ((1 <= p393)) U NOT(((1 <= p393) AND G ((1 <= p200))))))
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:528
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((X ((p287 <= p253)) AND (p317 + 1 <= p43)))) R ((p317 + 1 <= p43) R (p172 + 1 <= p252))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((X ((p287 <= p253)) AND (p317 + 1 <= p43)))) R ((p317 + 1 <= p43) R (p172 + 1 <= p252))))
lola: processed formula length: 99
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10 markings, 10 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((p310 <= p193) AND F (G ((1 <= p191)))) OR X (((1 <= p191) U X (TRUE)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((p310 <= p193) AND F (G ((1 <= p191)))) OR X (((1 <= p191) U X (TRUE)))))
lola: processed formula length: 78
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 582 markings, 667 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((F ((p341 <= p406)) AND X ((p182 <= p374)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((F ((p341 <= p406)) AND X ((p182 <= p374)))))))
lola: processed formula length: 59
lola: 128 rewrites
lola: closed formula file LTLCardinality.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: 698524 markings, 1259802 edges, 139705 markings/sec, 0 secs
lola: 1388162 markings, 2502407 edges, 137928 markings/sec, 5 secs
lola: 2074137 markings, 3741352 edges, 137195 markings/sec, 10 secs
lola: 2754087 markings, 4969021 edges, 135990 markings/sec, 15 secs
lola: 3427835 markings, 6188774 edges, 134750 markings/sec, 20 secs
lola: 4103745 markings, 7408474 edges, 135182 markings/sec, 25 secs
lola: 4774187 markings, 8616533 edges, 134088 markings/sec, 30 secs
lola: 5449547 markings, 9834443 edges, 135072 markings/sec, 35 secs
lola: 6117821 markings, 11039734 edges, 133655 markings/sec, 40 secs
lola: 6786563 markings, 12247914 edges, 133748 markings/sec, 45 secs
lola: 7449062 markings, 13446847 edges, 132500 markings/sec, 50 secs
lola: 8113595 markings, 14648097 edges, 132907 markings/sec, 55 secs
lola: 8764730 markings, 15823698 edges, 130227 markings/sec, 60 secs
lola: 9422037 markings, 17010224 edges, 131461 markings/sec, 65 secs
lola: 10080843 markings, 18199763 edges, 131761 markings/sec, 70 secs
lola: 10739748 markings, 19393079 edges, 131781 markings/sec, 75 secs
lola: 11400345 markings, 20591024 edges, 132119 markings/sec, 80 secs
lola: 12050005 markings, 21770304 edges, 129932 markings/sec, 85 secs
lola: 12704275 markings, 22956681 edges, 130854 markings/sec, 90 secs
lola: 13353359 markings, 24135577 edges, 129817 markings/sec, 95 secs
lola: 14012457 markings, 25332951 edges, 131820 markings/sec, 100 secs
lola: 14652635 markings, 26498441 edges, 128036 markings/sec, 105 secs
lola: 15306401 markings, 27683209 edges, 130753 markings/sec, 110 secs
lola: 15952641 markings, 28855868 edges, 129248 markings/sec, 115 secs
lola: 16597954 markings, 30025186 edges, 129063 markings/sec, 120 secs
lola: 17244587 markings, 31198214 edges, 129327 markings/sec, 125 secs
lola: 17917053 markings, 32410753 edges, 134493 markings/sec, 130 secs
lola: 18558539 markings, 33566134 edges, 128297 markings/sec, 135 secs
lola: 19196867 markings, 34715203 edges, 127666 markings/sec, 140 secs
lola: 19832609 markings, 35862246 edges, 127148 markings/sec, 145 secs
lola: 20481543 markings, 37034918 edges, 129787 markings/sec, 150 secs
lola: 21122062 markings, 38207595 edges, 128104 markings/sec, 155 secs
lola: 21778887 markings, 39403328 edges, 131365 markings/sec, 160 secs
lola: 22466910 markings, 40641922 edges, 137605 markings/sec, 165 secs
lola: 23133779 markings, 41846007 edges, 133374 markings/sec, 170 secs
lola: 23808379 markings, 43062019 edges, 134920 markings/sec, 175 secs
lola: 24474123 markings, 44265122 edges, 133149 markings/sec, 180 secs
lola: 25139663 markings, 45466940 edges, 133108 markings/sec, 185 secs
lola: 25800439 markings, 46661499 edges, 132155 markings/sec, 190 secs
lola: 26459778 markings, 47852382 edges, 131868 markings/sec, 195 secs
lola: 27143183 markings, 49085586 edges, 136681 markings/sec, 200 secs
lola: 27820137 markings, 50308722 edges, 135391 markings/sec, 205 secs
lola: 28505062 markings, 51542024 edges, 136985 markings/sec, 210 secs
lola: 29185518 markings, 52767272 edges, 136091 markings/sec, 215 secs
lola: 29851617 markings, 53970142 edges, 133220 markings/sec, 220 secs
lola: 30513789 markings, 55165714 edges, 132434 markings/sec, 225 secs
lola: 31167459 markings, 56342915 edges, 130734 markings/sec, 230 secs
lola: 31825034 markings, 57529094 edges, 131515 markings/sec, 235 secs
lola: 32483896 markings, 58723887 edges, 131772 markings/sec, 240 secs
lola: 33145959 markings, 59918483 edges, 132413 markings/sec, 245 secs
lola: 33816218 markings, 61124525 edges, 134052 markings/sec, 250 secs
lola: 34486738 markings, 62335416 edges, 134104 markings/sec, 255 secs
lola: 35156077 markings, 63544795 edges, 133868 markings/sec, 260 secs
lola: 35827005 markings, 64758867 edges, 134186 markings/sec, 265 secs
lola: 36492059 markings, 65962941 edges, 133011 markings/sec, 270 secs
lola: 37152529 markings, 67163090 edges, 132094 markings/sec, 275 secs
lola: 37810195 markings, 68355229 edges, 131533 markings/sec, 280 secs
lola: 38469301 markings, 69542225 edges, 131821 markings/sec, 285 secs
lola: 39127595 markings, 70731102 edges, 131659 markings/sec, 290 secs
lola: 39786721 markings, 71921639 edges, 131825 markings/sec, 295 secs
lola: 40443780 markings, 73110012 edges, 131412 markings/sec, 300 secs
lola: 41104457 markings, 74307328 edges, 132135 markings/sec, 305 secs
lola: 41766731 markings, 75507181 edges, 132455 markings/sec, 310 secs
lola: 42420800 markings, 76693927 edges, 130814 markings/sec, 315 secs
lola: 43079038 markings, 77885128 edges, 131648 markings/sec, 320 secs
lola: 43731761 markings, 79071696 edges, 130545 markings/sec, 325 secs
lola: 44387087 markings, 80261235 edges, 131065 markings/sec, 330 secs
lola: 45042919 markings, 81452239 edges, 131166 markings/sec, 335 secs
lola: 45693051 markings, 82633000 edges, 130026 markings/sec, 340 secs
lola: 46360037 markings, 83841410 edges, 133397 markings/sec, 345 secs
lola: 47046269 markings, 85078716 edges, 137246 markings/sec, 350 secs
lola: 47721633 markings, 86295861 edges, 135073 markings/sec, 355 secs
lola: 48394330 markings, 87510488 edges, 134539 markings/sec, 360 secs
lola: 49070905 markings, 88729950 edges, 135315 markings/sec, 365 secs
lola: 49744123 markings, 89944858 edges, 134644 markings/sec, 370 secs
lola: 50409696 markings, 91147688 edges, 133115 markings/sec, 375 secs
lola: 51041892 markings, 92292080 edges, 126439 markings/sec, 380 secs
lola: 51700301 markings, 93479895 edges, 131682 markings/sec, 385 secs
lola: 52345011 markings, 94643357 edges, 128942 markings/sec, 390 secs
lola: 53008382 markings, 95835982 edges, 132674 markings/sec, 395 secs
lola: 53664163 markings, 97017270 edges, 131156 markings/sec, 400 secs
lola: 54322343 markings, 98205541 edges, 131636 markings/sec, 405 secs
lola: 54979677 markings, 99390619 edges, 131467 markings/sec, 410 secs
lola: 55636015 markings, 100578302 edges, 131268 markings/sec, 415 secs
lola: 56297685 markings, 101772336 edges, 132334 markings/sec, 420 secs
lola: 56958199 markings, 102967500 edges, 132103 markings/sec, 425 secs
lola: 57611763 markings, 104149839 edges, 130713 markings/sec, 430 secs
lola: 58262757 markings, 105329545 edges, 130199 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown no unknown yes yes unknown no unknown yes no unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p256 <= p38) U (X ((F ((p123 + 1 <= p252)) AND X ((p182 + 1 <= p57)))) R (p38 + 1 <= p256))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p256 <= p38) U (X ((F ((p123 + 1 <= p252)) AND X ((p182 + 1 <= p57)))) R (p38 + 1 <= p256))))
lola: processed formula length: 98
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 10 markings, 10 edges
lola: ========================================
lola: subprocess 11 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p314 <= p101)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G ((p314 <= p101)))
lola: processed formula length: 22
lola: 130 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p101 + 1 <= p314)
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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 12 will run for 779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p16 + 1 <= p191)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (p191 <= p16)
lola: processed formula length: 13
lola: 130 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 10 markings, 10 edges
lola: ========================================
lola: subprocess 13 will run for 1039 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((1 <= p393)) U ((p393 <= 0) OR F ((p200 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((1 <= p393)) U ((p393 <= 0) OR F ((p200 <= 0)))))
lola: processed formula length: 56
lola: 128 rewrites
lola: closed formula file LTLCardinality.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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1559 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((p46 <= 0) OR G ((p367 <= p393))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((p46 <= 0) OR G ((p367 <= p393))))))
lola: processed formula length: 46
lola: 128 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 179380 markings, 340455 edges, 35876 markings/sec, 0 secs
lola: 372273 markings, 711483 edges, 38579 markings/sec, 5 secs
lola: 568158 markings, 1086432 edges, 39177 markings/sec, 10 secs
lola: 762862 markings, 1468338 edges, 38941 markings/sec, 15 secs
lola: 959167 markings, 1854937 edges, 39261 markings/sec, 20 secs
lola: 1156439 markings, 2237910 edges, 39454 markings/sec, 25 secs
lola: 1354258 markings, 2625647 edges, 39564 markings/sec, 30 secs
lola: 1548124 markings, 3010802 edges, 38773 markings/sec, 35 secs
lola: 1742984 markings, 3391632 edges, 38972 markings/sec, 40 secs
lola: 1939748 markings, 3779059 edges, 39353 markings/sec, 45 secs
lola: 2133961 markings, 4170256 edges, 38843 markings/sec, 50 secs
lola: 2330994 markings, 4559068 edges, 39407 markings/sec, 55 secs
lola: 2525494 markings, 4952493 edges, 38900 markings/sec, 60 secs
lola: 2716806 markings, 5333604 edges, 38262 markings/sec, 65 secs
lola: 2912560 markings, 5727714 edges, 39151 markings/sec, 70 secs
lola: 3105673 markings, 6119358 edges, 38623 markings/sec, 75 secs
lola: 3304491 markings, 6515896 edges, 39764 markings/sec, 80 secs
lola: 3502989 markings, 6924094 edges, 39700 markings/sec, 85 secs
lola: 3696174 markings, 7322603 edges, 38637 markings/sec, 90 secs
lola: 3893062 markings, 7722960 edges, 39378 markings/sec, 95 secs
lola: 4092584 markings, 8130955 edges, 39904 markings/sec, 100 secs
lola: 4286834 markings, 8530842 edges, 38850 markings/sec, 105 secs
lola: 4483544 markings, 8928951 edges, 39342 markings/sec, 110 secs
lola: 4680961 markings, 9339459 edges, 39483 markings/sec, 115 secs
lola: 4875163 markings, 9739482 edges, 38840 markings/sec, 120 secs
lola: 5069643 markings, 10140980 edges, 38896 markings/sec, 125 secs
lola: 5269646 markings, 10557290 edges, 40001 markings/sec, 130 secs
lola: 5465575 markings, 10963462 edges, 39186 markings/sec, 135 secs
lola: 5663572 markings, 11374583 edges, 39599 markings/sec, 140 secs
lola: 5862371 markings, 11784565 edges, 39760 markings/sec, 145 secs
lola: 6057165 markings, 12198533 edges, 38959 markings/sec, 150 secs
lola: 6250849 markings, 12604026 edges, 38737 markings/sec, 155 secs
lola: 6443391 markings, 13004740 edges, 38508 markings/sec, 160 secs
lola: 6642755 markings, 13420842 edges, 39873 markings/sec, 165 secs
lola: 6839147 markings, 13833577 edges, 39278 markings/sec, 170 secs
lola: 7040697 markings, 14259970 edges, 40310 markings/sec, 175 secs
lola: 7240206 markings, 14678987 edges, 39902 markings/sec, 180 secs
lola: 7439498 markings, 15104521 edges, 39858 markings/sec, 185 secs
lola: 7643211 markings, 15534622 edges, 40743 markings/sec, 190 secs
lola: 7840344 markings, 15957530 edges, 39427 markings/sec, 195 secs
lola: 8040286 markings, 16381787 edges, 39988 markings/sec, 200 secs
lola: 8236407 markings, 16801524 edges, 39224 markings/sec, 205 secs
lola: 8435400 markings, 17228647 edges, 39799 markings/sec, 210 secs
lola: 8639756 markings, 17665101 edges, 40871 markings/sec, 215 secs
lola: 8838118 markings, 18091251 edges, 39672 markings/sec, 220 secs
lola: 9039269 markings, 18526313 edges, 40230 markings/sec, 225 secs
lola: 9242296 markings, 18947383 edges, 40605 markings/sec, 230 secs
lola: 9445461 markings, 19385633 edges, 40633 markings/sec, 235 secs
lola: 9642865 markings, 19808404 edges, 39481 markings/sec, 240 secs
lola: 9842112 markings, 20240724 edges, 39849 markings/sec, 245 secs
lola: 10050551 markings, 20692092 edges, 41688 markings/sec, 250 secs
lola: 10252530 markings, 21127009 edges, 40396 markings/sec, 255 secs
lola: 10456710 markings, 21563821 edges, 40836 markings/sec, 260 secs
lola: 10661424 markings, 22004852 edges, 40943 markings/sec, 265 secs
lola: 10867038 markings, 22445587 edges, 41123 markings/sec, 270 secs
lola: 11075436 markings, 22889847 edges, 41680 markings/sec, 275 secs
lola: 11280691 markings, 23330238 edges, 41051 markings/sec, 280 secs
lola: 11479467 markings, 23763864 edges, 39755 markings/sec, 285 secs
lola: 11681145 markings, 24201780 edges, 40336 markings/sec, 290 secs
lola: 11879281 markings, 24638104 edges, 39627 markings/sec, 295 secs
lola: 12085413 markings, 25088932 edges, 41226 markings/sec, 300 secs
lola: 12290453 markings, 25521420 edges, 41008 markings/sec, 305 secs
lola: 12494416 markings, 25970215 edges, 40793 markings/sec, 310 secs
lola: 12703808 markings, 26412412 edges, 41878 markings/sec, 315 secs
lola: 12906077 markings, 26854982 edges, 40454 markings/sec, 320 secs
lola: 13108916 markings, 27301211 edges, 40568 markings/sec, 325 secs
lola: 13311402 markings, 27744571 edges, 40497 markings/sec, 330 secs
lola: 13522064 markings, 28197665 edges, 42132 markings/sec, 335 secs
lola: 13734369 markings, 28650640 edges, 42461 markings/sec, 340 secs
lola: 13941179 markings, 29101257 edges, 41362 markings/sec, 345 secs
lola: 14141079 markings, 29542587 edges, 39980 markings/sec, 350 secs
lola: 14345977 markings, 29993286 edges, 40980 markings/sec, 355 secs
lola: 14548317 markings, 30427157 edges, 40468 markings/sec, 360 secs
lola: 14747576 markings, 30808446 edges, 39852 markings/sec, 365 secs
lola: 14949845 markings, 31196492 edges, 40454 markings/sec, 370 secs
lola: 15150563 markings, 31588958 edges, 40144 markings/sec, 375 secs
lola: 15352467 markings, 31987568 edges, 40381 markings/sec, 380 secs
lola: 15554076 markings, 32383686 edges, 40322 markings/sec, 385 secs
lola: 15758275 markings, 32781375 edges, 40840 markings/sec, 390 secs
lola: 15961598 markings, 33199047 edges, 40665 markings/sec, 395 secs
lola: 16176869 markings, 33629289 edges, 43054 markings/sec, 400 secs
lola: 16386064 markings, 34085664 edges, 41839 markings/sec, 405 secs
lola: 16588709 markings, 34536635 edges, 40529 markings/sec, 410 secs
lola: 16803652 markings, 34995793 edges, 42989 markings/sec, 415 secs
lola: 17008321 markings, 35450995 edges, 40934 markings/sec, 420 secs
lola: 17215783 markings, 35891902 edges, 41492 markings/sec, 425 secs
lola: 17430646 markings, 36351888 edges, 42973 markings/sec, 430 secs
lola: 17637872 markings, 36801551 edges, 41445 markings/sec, 435 secs
lola: 17852096 markings, 37263184 edges, 42845 markings/sec, 440 secs
lola: 18064853 markings, 37724516 edges, 42551 markings/sec, 445 secs
lola: 18280265 markings, 38185180 edges, 43082 markings/sec, 450 secs
lola: 18491309 markings, 38644485 edges, 42209 markings/sec, 455 secs
lola: 18702377 markings, 39094929 edges, 42214 markings/sec, 460 secs
lola: 18916078 markings, 39561448 edges, 42740 markings/sec, 465 secs
lola: 19124250 markings, 40015769 edges, 41634 markings/sec, 470 secs
lola: 19334848 markings, 40474886 edges, 42120 markings/sec, 475 secs
lola: 19540300 markings, 40930492 edges, 41090 markings/sec, 480 secs
lola: 19749953 markings, 41392559 edges, 41931 markings/sec, 485 secs
lola: 19960416 markings, 41846281 edges, 42093 markings/sec, 490 secs
lola: 20167232 markings, 42296930 edges, 41363 markings/sec, 495 secs
lola: 20373849 markings, 42762540 edges, 41323 markings/sec, 500 secs
lola: 20578363 markings, 43170875 edges, 40903 markings/sec, 505 secs
lola: 20782266 markings, 43569644 edges, 40781 markings/sec, 510 secs
lola: 20989112 markings, 43978136 edges, 41369 markings/sec, 515 secs
lola: 21194302 markings, 44374268 edges, 41038 markings/sec, 520 secs
lola: 21399076 markings, 44777627 edges, 40955 markings/sec, 525 secs
lola: 21607709 markings, 45203603 edges, 41727 markings/sec, 530 secs
lola: 21817617 markings, 45619207 edges, 41982 markings/sec, 535 secs
lola: 22026544 markings, 46030906 edges, 41785 markings/sec, 540 secs
lola: 22231015 markings, 46442041 edges, 40894 markings/sec, 545 secs
lola: 22440122 markings, 46900185 edges, 41821 markings/sec, 550 secs
lola: 22654262 markings, 47366503 edges, 42828 markings/sec, 555 secs
lola: 22868833 markings, 47821815 edges, 42914 markings/sec, 560 secs
lola: 23079063 markings, 48286664 edges, 42046 markings/sec, 565 secs
lola: 23294528 markings, 48750719 edges, 43093 markings/sec, 570 secs
lola: 23503300 markings, 49203857 edges, 41754 markings/sec, 575 secs
lola: 23713474 markings, 49642710 edges, 42035 markings/sec, 580 secs
lola: 23916578 markings, 50057424 edges, 40621 markings/sec, 585 secs
lola: 24119300 markings, 50464746 edges, 40544 markings/sec, 590 secs
lola: 24321346 markings, 50868034 edges, 40409 markings/sec, 595 secs
lola: 24528842 markings, 51327852 edges, 41499 markings/sec, 600 secs
lola: 24740830 markings, 51796526 edges, 42398 markings/sec, 605 secs
lola: 24950033 markings, 52258834 edges, 41841 markings/sec, 610 secs
lola: 25168736 markings, 52723909 edges, 43741 markings/sec, 615 secs
lola: 25384783 markings, 53198595 edges, 43209 markings/sec, 620 secs
lola: 25600180 markings, 53671602 edges, 43079 markings/sec, 625 secs
lola: 25811959 markings, 54113605 edges, 42356 markings/sec, 630 secs
lola: 26024034 markings, 54585310 edges, 42415 markings/sec, 635 secs
lola: 26217121 markings, 55012309 edges, 38617 markings/sec, 640 secs
lola: 26404898 markings, 55435895 edges, 37555 markings/sec, 645 secs
lola: 26614493 markings, 55894864 edges, 41919 markings/sec, 650 secs
lola: 26827079 markings, 56367802 edges, 42517 markings/sec, 655 secs
lola: 27037283 markings, 56801583 edges, 42041 markings/sec, 660 secs
lola: 27238999 markings, 57211836 edges, 40343 markings/sec, 665 secs
lola: 27441832 markings, 57615470 edges, 40567 markings/sec, 670 secs
lola: 27645457 markings, 58025438 edges, 40725 markings/sec, 675 secs
lola: 27843867 markings, 58430714 edges, 39682 markings/sec, 680 secs
lola: 28044182 markings, 58834859 edges, 40063 markings/sec, 685 secs
lola: 28253253 markings, 59282144 edges, 41814 markings/sec, 690 secs
lola: 28466042 markings, 59742948 edges, 42558 markings/sec, 695 secs
lola: 28679558 markings, 60206200 edges, 42703 markings/sec, 700 secs
lola: 28886423 markings, 60604944 edges, 41373 markings/sec, 705 secs
lola: 29096926 markings, 61040245 edges, 42101 markings/sec, 710 secs
lola: 29309950 markings, 61506663 edges, 42605 markings/sec, 715 secs
lola: 29521930 markings, 61975124 edges, 42396 markings/sec, 720 secs
lola: 29729114 markings, 62414219 edges, 41437 markings/sec, 725 secs
lola: 29935115 markings, 62853914 edges, 41200 markings/sec, 730 secs
lola: 30150143 markings, 63306698 edges, 43006 markings/sec, 735 secs
lola: 30363693 markings, 63766489 edges, 42710 markings/sec, 740 secs
lola: 30580902 markings, 64235697 edges, 43442 markings/sec, 745 secs
lola: 30784167 markings, 64648492 edges, 40653 markings/sec, 750 secs
lola: 30993088 markings, 65087316 edges, 41784 markings/sec, 755 secs
lola: 31201897 markings, 65538537 edges, 41762 markings/sec, 760 secs
lola: 31405083 markings, 65953559 edges, 40637 markings/sec, 765 secs
lola: 31606956 markings, 66370521 edges, 40375 markings/sec, 770 secs
lola: 31823527 markings, 66820017 edges, 43314 markings/sec, 775 secs
lola: 32036109 markings, 67277640 edges, 42516 markings/sec, 780 secs
lola: 32253667 markings, 67742395 edges, 43512 markings/sec, 785 secs
lola: 32468720 markings, 68215188 edges, 43011 markings/sec, 790 secs
lola: 32678898 markings, 68676738 edges, 42036 markings/sec, 795 secs
lola: 32895129 markings, 69155685 edges, 43246 markings/sec, 800 secs
lola: 33087344 markings, 69586783 edges, 38443 markings/sec, 805 secs
lola: 33292995 markings, 70040984 edges, 41130 markings/sec, 810 secs
lola: 33506728 markings, 70514838 edges, 42747 markings/sec, 815 secs
lola: 33718476 markings, 70964277 edges, 42350 markings/sec, 820 secs
lola: 33920728 markings, 71372039 edges, 40450 markings/sec, 825 secs
lola: 34128942 markings, 71789278 edges, 41643 markings/sec, 830 secs
lola: 34335464 markings, 72203083 edges, 41304 markings/sec, 835 secs
lola: 34540772 markings, 72615478 edges, 41062 markings/sec, 840 secs
lola: 34750728 markings, 73032057 edges, 41991 markings/sec, 845 secs
lola: 34955691 markings, 73442691 edges, 40993 markings/sec, 850 secs
lola: 35166442 markings, 73888091 edges, 42150 markings/sec, 855 secs
lola: 35373221 markings, 74340619 edges, 41356 markings/sec, 860 secs
lola: 35586079 markings, 74813839 edges, 42572 markings/sec, 865 secs
lola: 35798057 markings, 75284850 edges, 42396 markings/sec, 870 secs
lola: 36015439 markings, 75760414 edges, 43476 markings/sec, 875 secs
lola: 36230388 markings, 76227925 edges, 42990 markings/sec, 880 secs
lola: 36419012 markings, 76659120 edges, 37725 markings/sec, 885 secs
lola: 36608215 markings, 77096893 edges, 37841 markings/sec, 890 secs
lola: 36793340 markings, 77530579 edges, 37025 markings/sec, 895 secs
lola: 36992299 markings, 77961768 edges, 39792 markings/sec, 900 secs
lola: 37199909 markings, 78376605 edges, 41522 markings/sec, 905 secs
lola: 37415003 markings, 78831014 edges, 43019 markings/sec, 910 secs
lola: 37628561 markings, 79295887 edges, 42712 markings/sec, 915 secs
lola: 37844185 markings, 79743940 edges, 43125 markings/sec, 920 secs
lola: 38052877 markings, 80164673 edges, 41738 markings/sec, 925 secs
lola: 38276561 markings, 80638979 edges, 44737 markings/sec, 930 secs
lola: 38490325 markings, 81106531 edges, 42753 markings/sec, 935 secs
lola: 38692068 markings, 81520893 edges, 40349 markings/sec, 940 secs
lola: 38893034 markings, 81937897 edges, 40193 markings/sec, 945 secs
lola: 39097748 markings, 82371872 edges, 40943 markings/sec, 950 secs
lola: 39313199 markings, 82831676 edges, 43090 markings/sec, 955 secs
lola: 39520585 markings, 83265492 edges, 41477 markings/sec, 960 secs
lola: 39727087 markings, 83716357 edges, 41300 markings/sec, 965 secs
lola: 39929539 markings, 84141887 edges, 40490 markings/sec, 970 secs
lola: 40123125 markings, 84544427 edges, 38717 markings/sec, 975 secs
lola: 40336028 markings, 85007876 edges, 42581 markings/sec, 980 secs
lola: 40554872 markings, 85484490 edges, 43769 markings/sec, 985 secs
lola: 40762504 markings, 85915027 edges, 41526 markings/sec, 990 secs
lola: 40963093 markings, 86332803 edges, 40118 markings/sec, 995 secs
lola: 41178275 markings, 86784718 edges, 43036 markings/sec, 1000 secs
lola: 41387902 markings, 87234950 edges, 41925 markings/sec, 1005 secs
lola: 41594892 markings, 87676187 edges, 41398 markings/sec, 1010 secs
lola: 41806953 markings, 88124621 edges, 42412 markings/sec, 1015 secs
lola: 42016592 markings, 88575713 edges, 41928 markings/sec, 1020 secs
lola: 42225631 markings, 89038121 edges, 41808 markings/sec, 1025 secs
lola: 42446203 markings, 89518694 edges, 44114 markings/sec, 1030 secs
lola: 42658710 markings, 90000304 edges, 42501 markings/sec, 1035 secs
lola: 42877999 markings, 90485431 edges, 43858 markings/sec, 1040 secs
lola: 43082640 markings, 90917126 edges, 40928 markings/sec, 1045 secs
lola: 43292535 markings, 91361038 edges, 41979 markings/sec, 1050 secs
lola: 43507682 markings, 91826281 edges, 43029 markings/sec, 1055 secs
lola: 43729015 markings, 92301515 edges, 44267 markings/sec, 1060 secs
lola: 43942503 markings, 92774007 edges, 42698 markings/sec, 1065 secs
lola: 44160191 markings, 93255677 edges, 43538 markings/sec, 1070 secs
lola: 44374959 markings, 93717321 edges, 42954 markings/sec, 1075 secs
lola: 44594438 markings, 94200367 edges, 43896 markings/sec, 1080 secs
lola: 44810138 markings, 94667696 edges, 43140 markings/sec, 1085 secs
lola: 45019536 markings, 95103332 edges, 41880 markings/sec, 1090 secs
lola: 45229975 markings, 95577951 edges, 42088 markings/sec, 1095 secs
lola: 45419555 markings, 96027502 edges, 37916 markings/sec, 1100 secs
lola: 45632273 markings, 96499237 edges, 42544 markings/sec, 1105 secs
lola: 45849753 markings, 96970670 edges, 43496 markings/sec, 1110 secs
lola: 46069047 markings, 97445548 edges, 43859 markings/sec, 1115 secs
lola: 46288499 markings, 97932989 edges, 43890 markings/sec, 1120 secs
lola: 46494704 markings, 98376475 edges, 41241 markings/sec, 1125 secs
lola: 46702767 markings, 98820594 edges, 41613 markings/sec, 1130 secs
lola: 46922293 markings, 99295321 edges, 43905 markings/sec, 1135 secs
lola: 47142498 markings, 99788275 edges, 44041 markings/sec, 1140 secs
lola: 47353219 markings, 100250023 edges, 42144 markings/sec, 1145 secs
lola: 47559249 markings, 100681587 edges, 41206 markings/sec, 1150 secs
lola: 47776126 markings, 101145866 edges, 43375 markings/sec, 1155 secs
lola: 47987813 markings, 101575004 edges, 42337 markings/sec, 1160 secs
lola: 48199007 markings, 102023755 edges, 42239 markings/sec, 1165 secs
lola: 48410296 markings, 102486577 edges, 42258 markings/sec, 1170 secs
lola: 48616459 markings, 102912442 edges, 41233 markings/sec, 1175 secs
lola: 48828536 markings, 103368651 edges, 42415 markings/sec, 1180 secs
lola: 49045016 markings, 103830804 edges, 43296 markings/sec, 1185 secs
lola: 49255381 markings, 104276050 edges, 42073 markings/sec, 1190 secs
lola: 49466021 markings, 104741105 edges, 42128 markings/sec, 1195 secs
lola: 49678852 markings, 105203834 edges, 42566 markings/sec, 1200 secs
lola: 49899160 markings, 105673622 edges, 44062 markings/sec, 1205 secs
lola: 50108150 markings, 106128296 edges, 41798 markings/sec, 1210 secs
lola: 50328159 markings, 106612746 edges, 44002 markings/sec, 1215 secs
lola: 50537915 markings, 107041027 edges, 41951 markings/sec, 1220 secs
lola: 50746173 markings, 107481406 edges, 41652 markings/sec, 1225 secs
lola: 50957558 markings, 107942645 edges, 42277 markings/sec, 1230 secs
lola: 51176473 markings, 108417728 edges, 43783 markings/sec, 1235 secs
lola: 51384502 markings, 108852419 edges, 41606 markings/sec, 1240 secs
lola: 51593881 markings, 109287167 edges, 41876 markings/sec, 1245 secs
lola: 51810439 markings, 109766667 edges, 43312 markings/sec, 1250 secs
lola: 52029758 markings, 110254908 edges, 43864 markings/sec, 1255 secs
lola: 52250897 markings, 110735077 edges, 44228 markings/sec, 1260 secs
lola: 52468797 markings, 111214638 edges, 43580 markings/sec, 1265 secs
lola: 52672210 markings, 111680069 edges, 40683 markings/sec, 1270 secs
lola: 52889391 markings, 112145571 edges, 43436 markings/sec, 1275 secs
lola: 53094311 markings, 112588196 edges, 40984 markings/sec, 1280 secs
lola: 53302008 markings, 113031204 edges, 41539 markings/sec, 1285 secs
lola: 53509824 markings, 113482326 edges, 41563 markings/sec, 1290 secs
lola: 53717294 markings, 113927079 edges, 41494 markings/sec, 1295 secs
lola: 53924706 markings, 114380494 edges, 41482 markings/sec, 1300 secs
lola: 54140443 markings, 114839428 edges, 43147 markings/sec, 1305 secs
lola: 54355379 markings, 115311937 edges, 42987 markings/sec, 1310 secs
lola: 54566846 markings, 115763814 edges, 42293 markings/sec, 1315 secs
lola: 54773934 markings, 116227919 edges, 41418 markings/sec, 1320 secs
lola: 54966268 markings, 116683182 edges, 38467 markings/sec, 1325 secs
lola: 55174881 markings, 117138935 edges, 41723 markings/sec, 1330 secs
lola: 55376430 markings, 117577784 edges, 40310 markings/sec, 1335 secs
lola: 55584771 markings, 118057359 edges, 41668 markings/sec, 1340 secs
lola: 55802662 markings, 118542498 edges, 43578 markings/sec, 1345 secs
lola: 56022470 markings, 119013767 edges, 43962 markings/sec, 1350 secs
lola: 56237649 markings, 119483078 edges, 43036 markings/sec, 1355 secs
lola: 56456631 markings, 119958265 edges, 43796 markings/sec, 1360 secs
lola: 56666592 markings, 120402544 edges, 41992 markings/sec, 1365 secs
lola: 56879367 markings, 120866072 edges, 42555 markings/sec, 1370 secs
lola: 57081703 markings, 121307174 edges, 40467 markings/sec, 1375 secs
lola: 57278353 markings, 121730852 edges, 39330 markings/sec, 1380 secs
lola: 57305909 markings, 121789162 edges, 5511 markings/sec, 1385 secs
lola: 57310773 markings, 121799973 edges, 973 markings/sec, 1390 secs
lola: 57310857 markings, 121800165 edges, 17 markings/sec, 1395 secs
lola: 57310924 markings, 121800301 edges, 13 markings/sec, 1400 secs
lola: 57311751 markings, 121802150 edges, 165 markings/sec, 1405 secs
lola: 57312146 markings, 121803019 edges, 79 markings/sec, 1410 secs
lola: 57312227 markings, 121803200 edges, 16 markings/sec, 1415 secs
lola: 57315126 markings, 121809138 edges, 580 markings/sec, 1420 secs
lola: 57317377 markings, 121813800 edges, 450 markings/sec, 1425 secs
lola: 57320827 markings, 121820856 edges, 690 markings/sec, 1430 secs
lola: 57320898 markings, 121821000 edges, 14 markings/sec, 1435 secs
lola: 57321072 markings, 121821438 edges, 35 markings/sec, 1440 secs
lola: 57321570 markings, 121822712 edges, 100 markings/sec, 1445 secs
lola: 57321628 markings, 121822854 edges, 12 markings/sec, 1450 secs
lola: 57323470 markings, 121826673 edges, 368 markings/sec, 1455 secs
lola: 57324651 markings, 121829102 edges, 236 markings/sec, 1460 secs
lola: 57326325 markings, 121832187 edges, 335 markings/sec, 1465 secs
lola: 57327341 markings, 121834639 edges, 203 markings/sec, 1470 secs
lola: 57327405 markings, 121834755 edges, 13 markings/sec, 1475 secs
lola: 57327472 markings, 121834871 edges, 13 markings/sec, 1480 secs
lola: 57328867 markings, 121837567 edges, 279 markings/sec, 1485 secs
lola: 57328923 markings, 121837701 edges, 11 markings/sec, 1490 secs
lola: 57328974 markings, 121837822 edges, 10 markings/sec, 1495 secs
lola: 57329034 markings, 121837996 edges, 12 markings/sec, 1500 secs
lola: 57360263 markings, 121903525 edges, 6246 markings/sec, 1505 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1596 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((p197 + 1 <= p144) OR F ((p197 + 1 <= p144))) AND F (((p144 <= p197) AND G ((p346 <= p351)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((((p197 + 1 <= p144) OR F ((p197 + 1 <= p144))) AND F (((p144 <= p197) AND G ((p346 <= p351)))))))
lola: processed formula length: 104
lola: 128 rewrites
lola: closed formula file LTLCardinality.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: 37309 markings, 336685 edges, 7462 markings/sec, 0 secs
lola: 48786 markings, 435841 edges, 2295 markings/sec, 5 secs
lola: 53274 markings, 443765 edges, 898 markings/sec, 10 secs
lola: 57941 markings, 452018 edges, 933 markings/sec, 15 secs
lola: 62390 markings, 459872 edges, 890 markings/sec, 20 secs
lola: 66865 markings, 467789 edges, 895 markings/sec, 25 secs
lola: 71540 markings, 476684 edges, 935 markings/sec, 30 secs
lola: 76485 markings, 486127 edges, 989 markings/sec, 35 secs
lola: 81609 markings, 495664 edges, 1025 markings/sec, 40 secs
lola: 87188 markings, 506371 edges, 1116 markings/sec, 45 secs
lola: 93284 markings, 518854 edges, 1219 markings/sec, 50 secs
lola: 99501 markings, 531318 edges, 1243 markings/sec, 55 secs
lola: 105481 markings, 543381 edges, 1196 markings/sec, 60 secs
lola: 111600 markings, 557000 edges, 1224 markings/sec, 65 secs
lola: 117983 markings, 570615 edges, 1277 markings/sec, 70 secs
lola: 125237 markings, 586493 edges, 1451 markings/sec, 75 secs
lola: 131523 markings, 600181 edges, 1257 markings/sec, 80 secs
lola: 137817 markings, 614353 edges, 1259 markings/sec, 85 secs
lola: 142932 markings, 624594 edges, 1023 markings/sec, 90 secs
lola: 148450 markings, 637134 edges, 1104 markings/sec, 95 secs
lola: 155190 markings, 652862 edges, 1348 markings/sec, 100 secs
lola: 161464 markings, 666827 edges, 1255 markings/sec, 105 secs
lola: 167062 markings, 677547 edges, 1120 markings/sec, 110 secs
lola: 171725 markings, 685898 edges, 933 markings/sec, 115 secs
lola: 176443 markings, 694838 edges, 944 markings/sec, 120 secs
lola: 181770 markings, 705281 edges, 1065 markings/sec, 125 secs
lola: 186983 markings, 715592 edges, 1043 markings/sec, 130 secs
lola: 191677 markings, 725103 edges, 939 markings/sec, 135 secs
lola: 197486 markings, 736890 edges, 1162 markings/sec, 140 secs
lola: 203405 markings, 749312 edges, 1184 markings/sec, 145 secs
lola: 209820 markings, 762877 edges, 1283 markings/sec, 150 secs
lola: 216347 markings, 777235 edges, 1305 markings/sec, 155 secs
lola: 222777 markings, 792462 edges, 1286 markings/sec, 160 secs
lola: 228464 markings, 803094 edges, 1137 markings/sec, 165 secs
lola: 234336 markings, 816564 edges, 1174 markings/sec, 170 secs
lola: 240148 markings, 828650 edges, 1162 markings/sec, 175 secs
lola: 246034 markings, 842590 edges, 1177 markings/sec, 180 secs
lola: 250720 markings, 851583 edges, 937 markings/sec, 185 secs
lola: 256429 markings, 864231 edges, 1142 markings/sec, 190 secs
lola: 262557 markings, 877649 edges, 1226 markings/sec, 195 secs
lola: 269310 markings, 893272 edges, 1351 markings/sec, 200 secs
lola: 275738 markings, 908328 edges, 1286 markings/sec, 205 secs
lola: 282607 markings, 922519 edges, 1374 markings/sec, 210 secs
lola: 288852 markings, 937375 edges, 1249 markings/sec, 215 secs
lola: 295719 markings, 953340 edges, 1373 markings/sec, 220 secs
lola: 302070 markings, 967337 edges, 1270 markings/sec, 225 secs
lola: 308857 markings, 983215 edges, 1357 markings/sec, 230 secs
lola: 315775 markings, 999653 edges, 1384 markings/sec, 235 secs
lola: 322105 markings, 1015635 edges, 1266 markings/sec, 240 secs
lola: 328989 markings, 1031020 edges, 1377 markings/sec, 245 secs
lola: 335900 markings, 1043359 edges, 1382 markings/sec, 250 secs
lola: 343777 markings, 1058970 edges, 1575 markings/sec, 255 secs
lola: 350496 markings, 1073834 edges, 1344 markings/sec, 260 secs
lola: 358011 markings, 1090492 edges, 1503 markings/sec, 265 secs
lola: 365806 markings, 1106830 edges, 1559 markings/sec, 270 secs
lola: 372964 markings, 1123619 edges, 1432 markings/sec, 275 secs
lola: 379103 markings, 1136609 edges, 1228 markings/sec, 280 secs
lola: 383820 markings, 1145225 edges, 943 markings/sec, 285 secs
lola: 389048 markings, 1154928 edges, 1046 markings/sec, 290 secs
lola: 395210 markings, 1166897 edges, 1232 markings/sec, 295 secs
lola: 401476 markings, 1179190 edges, 1253 markings/sec, 300 secs
lola: 408103 markings, 1192591 edges, 1325 markings/sec, 305 secs
lola: 413549 markings, 1203463 edges, 1089 markings/sec, 310 secs
lola: 418365 markings, 1213828 edges, 963 markings/sec, 315 secs
lola: 424882 markings, 1227251 edges, 1303 markings/sec, 320 secs
lola: 431809 markings, 1242104 edges, 1385 markings/sec, 325 secs
lola: 438586 markings, 1257441 edges, 1355 markings/sec, 330 secs
lola: 443952 markings, 1268886 edges, 1073 markings/sec, 335 secs
lola: 449950 markings, 1281217 edges, 1200 markings/sec, 340 secs
lola: 456600 markings, 1296962 edges, 1330 markings/sec, 345 secs
lola: 463116 markings, 1312256 edges, 1303 markings/sec, 350 secs
lola: 470228 markings, 1329332 edges, 1422 markings/sec, 355 secs
lola: 477221 markings, 1343671 edges, 1399 markings/sec, 360 secs
lola: 482652 markings, 1353916 edges, 1086 markings/sec, 365 secs
lola: 486950 markings, 1361500 edges, 860 markings/sec, 370 secs
lola: 492068 markings, 1371264 edges, 1024 markings/sec, 375 secs
lola: 496689 markings, 1379971 edges, 924 markings/sec, 380 secs
lola: 501186 markings, 1389653 edges, 899 markings/sec, 385 secs
lola: 506632 markings, 1400447 edges, 1089 markings/sec, 390 secs
lola: 512233 markings, 1411786 edges, 1120 markings/sec, 395 secs
lola: 517281 markings, 1421728 edges, 1010 markings/sec, 400 secs
lola: 523085 markings, 1433758 edges, 1161 markings/sec, 405 secs
lola: 528934 markings, 1446529 edges, 1170 markings/sec, 410 secs
lola: 534792 markings, 1459671 edges, 1172 markings/sec, 415 secs
lola: 540284 markings, 1470523 edges, 1098 markings/sec, 420 secs
lola: 545908 markings, 1482441 edges, 1125 markings/sec, 425 secs
lola: 550431 markings, 1491435 edges, 905 markings/sec, 430 secs
lola: 556505 markings, 1505756 edges, 1215 markings/sec, 435 secs
lola: 562778 markings, 1521188 edges, 1255 markings/sec, 440 secs
lola: 568335 markings, 1534339 edges, 1111 markings/sec, 445 secs
lola: 574299 markings, 1549441 edges, 1193 markings/sec, 450 secs
lola: 580575 markings, 1562822 edges, 1255 markings/sec, 455 secs
lola: 586848 markings, 1575679 edges, 1255 markings/sec, 460 secs
lola: 593186 markings, 1589103 edges, 1268 markings/sec, 465 secs
lola: 600443 markings, 1602308 edges, 1451 markings/sec, 470 secs
lola: 607620 markings, 1616150 edges, 1435 markings/sec, 475 secs
lola: 612103 markings, 1624825 edges, 897 markings/sec, 480 secs
lola: 617165 markings, 1635291 edges, 1012 markings/sec, 485 secs
lola: 623052 markings, 1648852 edges, 1177 markings/sec, 490 secs
lola: 629526 markings, 1664657 edges, 1295 markings/sec, 495 secs
lola: 635762 markings, 1678031 edges, 1247 markings/sec, 500 secs
lola: 641388 markings, 1690521 edges, 1125 markings/sec, 505 secs
lola: 646125 markings, 1699170 edges, 947 markings/sec, 510 secs
lola: 651474 markings, 1709160 edges, 1070 markings/sec, 515 secs
lola: 656353 markings, 1718964 edges, 976 markings/sec, 520 secs
lola: 661914 markings, 1730458 edges, 1112 markings/sec, 525 secs
lola: 667079 markings, 1740402 edges, 1033 markings/sec, 530 secs
lola: 672771 markings, 1751686 edges, 1138 markings/sec, 535 secs
lola: 678904 markings, 1764275 edges, 1227 markings/sec, 540 secs
lola: 684629 markings, 1776437 edges, 1145 markings/sec, 545 secs
lola: 690816 markings, 1790227 edges, 1237 markings/sec, 550 secs
lola: 697367 markings, 1803175 edges, 1310 markings/sec, 555 secs
lola: 704183 markings, 1818481 edges, 1363 markings/sec, 560 secs
lola: 709427 markings, 1829140 edges, 1049 markings/sec, 565 secs
lola: 714963 markings, 1841605 edges, 1107 markings/sec, 570 secs
lola: 721238 markings, 1855735 edges, 1255 markings/sec, 575 secs
lola: 726660 markings, 1867067 edges, 1084 markings/sec, 580 secs
lola: 734050 markings, 1883868 edges, 1478 markings/sec, 585 secs
lola: 740376 markings, 1899304 edges, 1265 markings/sec, 590 secs
lola: 746614 markings, 1912322 edges, 1248 markings/sec, 595 secs
lola: 752733 markings, 1925807 edges, 1224 markings/sec, 600 secs
lola: 759089 markings, 1937462 edges, 1271 markings/sec, 605 secs
lola: 766640 markings, 1953756 edges, 1510 markings/sec, 610 secs
lola: 773197 markings, 1967664 edges, 1311 markings/sec, 615 secs
lola: 779162 markings, 1980837 edges, 1193 markings/sec, 620 secs
lola: 785557 markings, 1996119 edges, 1279 markings/sec, 625 secs
lola: 791221 markings, 2008017 edges, 1133 markings/sec, 630 secs
lola: 797245 markings, 2020668 edges, 1205 markings/sec, 635 secs
lola: 802773 markings, 2031809 edges, 1106 markings/sec, 640 secs
lola: 809620 markings, 2047054 edges, 1369 markings/sec, 645 secs
lola: 817640 markings, 2064023 edges, 1604 markings/sec, 650 secs
lola: 824496 markings, 2080313 edges, 1371 markings/sec, 655 secs
lola: 831785 markings, 2097213 edges, 1458 markings/sec, 660 secs
lola: 839239 markings, 2115149 edges, 1491 markings/sec, 665 secs
lola: 846089 markings, 2129916 edges, 1370 markings/sec, 670 secs
lola: 852199 markings, 2143104 edges, 1222 markings/sec, 675 secs
lola: 859028 markings, 2159612 edges, 1366 markings/sec, 680 secs
lola: 866419 markings, 2176879 edges, 1478 markings/sec, 685 secs
lola: 873029 markings, 2191439 edges, 1322 markings/sec, 690 secs
lola: 878845 markings, 2203459 edges, 1163 markings/sec, 695 secs
lola: 884055 markings, 2212950 edges, 1042 markings/sec, 700 secs
lola: 889785 markings, 2223705 edges, 1146 markings/sec, 705 secs
lola: 896056 markings, 2236762 edges, 1254 markings/sec, 710 secs
lola: 902838 markings, 2252594 edges, 1356 markings/sec, 715 secs
lola: 909014 markings, 2266256 edges, 1235 markings/sec, 720 secs
lola: 916559 markings, 2283267 edges, 1509 markings/sec, 725 secs
lola: 922900 markings, 2298701 edges, 1268 markings/sec, 730 secs
lola: 930481 markings, 2315744 edges, 1516 markings/sec, 735 secs
lola: 936994 markings, 2329393 edges, 1303 markings/sec, 740 secs
lola: 944026 markings, 2345589 edges, 1406 markings/sec, 745 secs
lola: 950882 markings, 2362817 edges, 1371 markings/sec, 750 secs
lola: 958430 markings, 2379997 edges, 1510 markings/sec, 755 secs
lola: 966531 markings, 2398543 edges, 1620 markings/sec, 760 secs
lola: 974086 markings, 2416564 edges, 1511 markings/sec, 765 secs
lola: 981725 markings, 2435737 edges, 1528 markings/sec, 770 secs
lola: 987126 markings, 2445878 edges, 1080 markings/sec, 775 secs
lola: 993314 markings, 2457891 edges, 1238 markings/sec, 780 secs
lola: 1000238 markings, 2474424 edges, 1385 markings/sec, 785 secs
lola: 1007680 markings, 2493093 edges, 1488 markings/sec, 790 secs
lola: 1015019 markings, 2508939 edges, 1468 markings/sec, 795 secs
lola: 1023230 markings, 2527501 edges, 1642 markings/sec, 800 secs
lola: 1031074 markings, 2544295 edges, 1569 markings/sec, 805 secs
lola: 1039364 markings, 2561770 edges, 1658 markings/sec, 810 secs
lola: 1046675 markings, 2578907 edges, 1462 markings/sec, 815 secs
lola: 1053357 markings, 2593656 edges, 1336 markings/sec, 820 secs
lola: 1059766 markings, 2606882 edges, 1282 markings/sec, 825 secs
lola: 1066139 markings, 2620303 edges, 1275 markings/sec, 830 secs
lola: 1072989 markings, 2634387 edges, 1370 markings/sec, 835 secs
lola: 1081054 markings, 2654625 edges, 1613 markings/sec, 840 secs
lola: 1088965 markings, 2673816 edges, 1582 markings/sec, 845 secs
lola: 1096011 markings, 2689554 edges, 1409 markings/sec, 850 secs
lola: 1103542 markings, 2705634 edges, 1506 markings/sec, 855 secs
lola: 1110546 markings, 2719313 edges, 1401 markings/sec, 860 secs
lola: 1116606 markings, 2732637 edges, 1212 markings/sec, 865 secs
lola: 1123869 markings, 2751556 edges, 1453 markings/sec, 870 secs
lola: 1131626 markings, 2771019 edges, 1551 markings/sec, 875 secs
lola: 1139199 markings, 2790978 edges, 1515 markings/sec, 880 secs
lola: 1146188 markings, 2808269 edges, 1398 markings/sec, 885 secs
lola: 1153245 markings, 2823609 edges, 1411 markings/sec, 890 secs
lola: 1161194 markings, 2842530 edges, 1590 markings/sec, 895 secs
lola: 1170101 markings, 2863184 edges, 1781 markings/sec, 900 secs
lola: 1178001 markings, 2881183 edges, 1580 markings/sec, 905 secs
lola: 1184743 markings, 2898897 edges, 1348 markings/sec, 910 secs
lola: 1192571 markings, 2918186 edges, 1566 markings/sec, 915 secs
lola: 1199762 markings, 2935783 edges, 1438 markings/sec, 920 secs
lola: 1208383 markings, 2953705 edges, 1724 markings/sec, 925 secs
lola: 1216901 markings, 2974012 edges, 1704 markings/sec, 930 secs
lola: 1222692 markings, 2985319 edges, 1158 markings/sec, 935 secs
lola: 1229653 markings, 2999467 edges, 1392 markings/sec, 940 secs
lola: 1237033 markings, 3014965 edges, 1476 markings/sec, 945 secs
lola: 1244526 markings, 3029156 edges, 1499 markings/sec, 950 secs
lola: 1252088 markings, 3048175 edges, 1512 markings/sec, 955 secs
lola: 1260826 markings, 3069580 edges, 1748 markings/sec, 960 secs
lola: 1268156 markings, 3086174 edges, 1466 markings/sec, 965 secs
lola: 1275386 markings, 3102869 edges, 1446 markings/sec, 970 secs
lola: 1283832 markings, 3123069 edges, 1689 markings/sec, 975 secs
lola: 1291767 markings, 3142313 edges, 1587 markings/sec, 980 secs
lola: 1299219 markings, 3161539 edges, 1490 markings/sec, 985 secs
lola: 1306937 markings, 3180503 edges, 1544 markings/sec, 990 secs
lola: 1314734 markings, 3199364 edges, 1559 markings/sec, 995 secs
lola: 1322766 markings, 3219451 edges, 1606 markings/sec, 1000 secs
lola: 1330007 markings, 3236061 edges, 1448 markings/sec, 1005 secs
lola: 1338079 markings, 3257391 edges, 1614 markings/sec, 1010 secs
lola: 1344789 markings, 3271707 edges, 1342 markings/sec, 1015 secs
lola: 1351634 markings, 3285050 edges, 1369 markings/sec, 1020 secs
lola: 1358318 markings, 3298075 edges, 1337 markings/sec, 1025 secs
lola: 1366318 markings, 3314312 edges, 1600 markings/sec, 1030 secs
lola: 1373412 markings, 3328770 edges, 1419 markings/sec, 1035 secs
lola: 1380821 markings, 3343869 edges, 1482 markings/sec, 1040 secs
lola: 1388268 markings, 3359005 edges, 1489 markings/sec, 1045 secs
lola: 1395429 markings, 3373743 edges, 1432 markings/sec, 1050 secs
lola: 1401422 markings, 3386086 edges, 1199 markings/sec, 1055 secs
lola: 1408236 markings, 3400115 edges, 1363 markings/sec, 1060 secs
lola: 1415941 markings, 3416079 edges, 1541 markings/sec, 1065 secs
lola: 1422278 markings, 3429474 edges, 1267 markings/sec, 1070 secs
lola: 1429860 markings, 3446652 edges, 1516 markings/sec, 1075 secs
lola: 1437095 markings, 3465273 edges, 1447 markings/sec, 1080 secs
lola: 1444550 markings, 3485648 edges, 1491 markings/sec, 1085 secs
lola: 1452567 markings, 3506025 edges, 1603 markings/sec, 1090 secs
lola: 1460699 markings, 3523425 edges, 1626 markings/sec, 1095 secs
lola: 1466997 markings, 3536478 edges, 1260 markings/sec, 1100 secs
lola: 1472167 markings, 3545892 edges, 1034 markings/sec, 1105 secs
lola: 1478023 markings, 3556972 edges, 1171 markings/sec, 1110 secs
lola: 1483833 markings, 3567821 edges, 1162 markings/sec, 1115 secs
lola: 1490835 markings, 3581891 edges, 1400 markings/sec, 1120 secs
lola: 1497979 markings, 3596133 edges, 1429 markings/sec, 1125 secs
lola: 1504672 markings, 3610461 edges, 1339 markings/sec, 1130 secs
lola: 1510707 markings, 3623453 edges, 1207 markings/sec, 1135 secs
lola: 1518651 markings, 3639944 edges, 1589 markings/sec, 1140 secs
lola: 1529491 markings, 3661564 edges, 2168 markings/sec, 1145 secs
lola: 1541326 markings, 3684533 edges, 2367 markings/sec, 1150 secs
lola: 1553231 markings, 3709109 edges, 2381 markings/sec, 1155 secs
lola: 1565530 markings, 3733546 edges, 2460 markings/sec, 1160 secs
lola: 1573478 markings, 3752622 edges, 1590 markings/sec, 1165 secs
lola: 1581466 markings, 3770608 edges, 1598 markings/sec, 1170 secs
lola: 1589990 markings, 3790784 edges, 1705 markings/sec, 1175 secs
lola: 1598435 markings, 3810137 edges, 1689 markings/sec, 1180 secs
lola: 1607341 markings, 3832413 edges, 1781 markings/sec, 1185 secs
lola: 1618421 markings, 3855846 edges, 2216 markings/sec, 1190 secs
lola: 1627724 markings, 3877514 edges, 1861 markings/sec, 1195 secs
lola: 1636418 markings, 3899972 edges, 1739 markings/sec, 1200 secs
lola: 1644921 markings, 3917528 edges, 1701 markings/sec, 1205 secs
lola: 1653189 markings, 3933987 edges, 1654 markings/sec, 1210 secs
lola: 1661726 markings, 3951808 edges, 1707 markings/sec, 1215 secs
lola: 1670529 markings, 3971758 edges, 1761 markings/sec, 1220 secs
lola: 1678886 markings, 3992372 edges, 1671 markings/sec, 1225 secs
lola: 1686599 markings, 4012029 edges, 1543 markings/sec, 1230 secs
lola: 1694568 markings, 4030732 edges, 1594 markings/sec, 1235 secs
lola: 1701701 markings, 4047095 edges, 1427 markings/sec, 1240 secs
lola: 1711392 markings, 4068221 edges, 1938 markings/sec, 1245 secs
lola: 1720722 markings, 4089659 edges, 1866 markings/sec, 1250 secs
lola: 1728499 markings, 4105682 edges, 1555 markings/sec, 1255 secs
lola: 1737460 markings, 4126327 edges, 1792 markings/sec, 1260 secs
lola: 1744927 markings, 4142219 edges, 1493 markings/sec, 1265 secs
lola: 1755764 markings, 4165611 edges, 2167 markings/sec, 1270 secs
lola: 1765091 markings, 4188844 edges, 1865 markings/sec, 1275 secs
lola: 1772900 markings, 4207849 edges, 1562 markings/sec, 1280 secs
lola: 1782428 markings, 4228624 edges, 1906 markings/sec, 1285 secs
lola: 1792303 markings, 4249414 edges, 1975 markings/sec, 1290 secs
lola: 1800309 markings, 4267094 edges, 1601 markings/sec, 1295 secs
lola: 1806894 markings, 4280875 edges, 1317 markings/sec, 1300 secs
lola: 1814093 markings, 4296885 edges, 1440 markings/sec, 1305 secs
lola: 1821583 markings, 4313246 edges, 1498 markings/sec, 1310 secs
lola: 1834096 markings, 4339358 edges, 2503 markings/sec, 1315 secs
lola: 1845083 markings, 4363281 edges, 2197 markings/sec, 1320 secs
lola: 1858411 markings, 4390249 edges, 2666 markings/sec, 1325 secs
lola: 1868326 markings, 4411764 edges, 1983 markings/sec, 1330 secs
lola: 1877787 markings, 4431857 edges, 1892 markings/sec, 1335 secs
lola: 1887059 markings, 4455133 edges, 1854 markings/sec, 1340 secs
lola: 1894266 markings, 4472497 edges, 1441 markings/sec, 1345 secs
lola: 1901846 markings, 4492682 edges, 1516 markings/sec, 1350 secs
lola: 1909115 markings, 4510044 edges, 1454 markings/sec, 1355 secs
lola: 1918012 markings, 4532232 edges, 1779 markings/sec, 1360 secs
lola: 1927982 markings, 4554562 edges, 1994 markings/sec, 1365 secs
lola: 1937228 markings, 4575874 edges, 1849 markings/sec, 1370 secs
lola: 1944774 markings, 4592847 edges, 1509 markings/sec, 1375 secs
lola: 1953119 markings, 4610599 edges, 1669 markings/sec, 1380 secs
lola: 1960028 markings, 4627212 edges, 1382 markings/sec, 1385 secs
lola: 1967142 markings, 4640027 edges, 1423 markings/sec, 1390 secs
lola: 1974788 markings, 4656476 edges, 1529 markings/sec, 1395 secs
lola: 1982390 markings, 4675198 edges, 1520 markings/sec, 1400 secs
lola: 1991599 markings, 4696798 edges, 1842 markings/sec, 1405 secs
lola: 2002362 markings, 4721165 edges, 2153 markings/sec, 1410 secs
lola: 2011176 markings, 4742729 edges, 1763 markings/sec, 1415 secs
lola: 2020072 markings, 4766350 edges, 1779 markings/sec, 1420 secs
lola: 2031488 markings, 4792641 edges, 2283 markings/sec, 1425 secs
lola: 2041240 markings, 4813841 edges, 1950 markings/sec, 1430 secs
lola: 2049638 markings, 4834379 edges, 1680 markings/sec, 1435 secs
lola: 2056895 markings, 4850539 edges, 1451 markings/sec, 1440 secs
lola: 2063802 markings, 4865896 edges, 1381 markings/sec, 1445 secs
lola: 2070413 markings, 4879816 edges, 1322 markings/sec, 1450 secs
lola: 2077387 markings, 4894606 edges, 1395 markings/sec, 1455 secs
lola: 2085076 markings, 4911775 edges, 1538 markings/sec, 1460 secs
lola: 2093835 markings, 4931003 edges, 1752 markings/sec, 1465 secs
lola: 2105050 markings, 4955675 edges, 2243 markings/sec, 1470 secs
lola: 2116044 markings, 4979870 edges, 2199 markings/sec, 1475 secs
lola: 2125509 markings, 5002778 edges, 1893 markings/sec, 1480 secs
lola: 2135091 markings, 5024302 edges, 1916 markings/sec, 1485 secs
lola: 2144438 markings, 5046420 edges, 1869 markings/sec, 1490 secs
lola: 2153881 markings, 5067643 edges, 1889 markings/sec, 1495 secs
lola: 2162958 markings, 5090030 edges, 1815 markings/sec, 1500 secs
lola: 2170359 markings, 5105725 edges, 1480 markings/sec, 1505 secs
lola: 2178344 markings, 5123435 edges, 1597 markings/sec, 1510 secs
lola: 2186428 markings, 5142099 edges, 1617 markings/sec, 1515 secs
lola: 2196638 markings, 5166444 edges, 2042 markings/sec, 1520 secs
lola: 2208053 markings, 5189811 edges, 2283 markings/sec, 1525 secs
lola: 2217628 markings, 5212449 edges, 1915 markings/sec, 1530 secs
lola: 2227780 markings, 5237421 edges, 2030 markings/sec, 1535 secs
lola: 2237571 markings, 5257821 edges, 1958 markings/sec, 1540 secs
lola: 2246900 markings, 5276510 edges, 1866 markings/sec, 1545 secs
lola: 2258397 markings, 5304267 edges, 2299 markings/sec, 1550 secs
lola: 2269991 markings, 5330437 edges, 2319 markings/sec, 1555 secs
lola: 2277042 markings, 5346834 edges, 1410 markings/sec, 1560 secs
lola: 2287076 markings, 5367190 edges, 2007 markings/sec, 1565 secs
lola: 2297830 markings, 5393034 edges, 2151 markings/sec, 1570 secs
lola: 2306893 markings, 5414573 edges, 1813 markings/sec, 1575 secs
lola: 2313351 markings, 5428259 edges, 1292 markings/sec, 1580 secs
lola: 2320078 markings, 5443244 edges, 1345 markings/sec, 1585 secs
lola: 2327682 markings, 5460588 edges, 1521 markings/sec, 1590 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown unknown no unknown yes yes no no no yes no yes no yes
lola:
preliminary result: no no unknown unknown no unknown yes yes no no no yes no yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown unknown no unknown yes yes no no no yes no yes no yes
lola: memory consumption: 1146112 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1146112 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
BK_STOP 1589933811655
--------------------
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="Raft-PT-09"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is Raft-PT-09, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r150-smll-158961529300069"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-09.tgz
mv Raft-PT-09 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;