About the Execution of 2020-gold for TriangularGrid-PT-4022
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16253.243 | 3600000.00 | 3196313.00 | 33649.00 | FTTFTTT?FFTFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r284-smll-162123894400090.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is TriangularGrid-PT-4022, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r284-smll-162123894400090
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 19K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 151K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 93K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.2K Apr 26 07:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 26 07:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 26 07:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 26 07:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 26 05:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Mar 26 05:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rwxr-xr-x 1 mcc users 121K May 5 16:52 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 TriangularGrid-PT-4022-00
FORMULA_NAME TriangularGrid-PT-4022-01
FORMULA_NAME TriangularGrid-PT-4022-02
FORMULA_NAME TriangularGrid-PT-4022-03
FORMULA_NAME TriangularGrid-PT-4022-04
FORMULA_NAME TriangularGrid-PT-4022-05
FORMULA_NAME TriangularGrid-PT-4022-06
FORMULA_NAME TriangularGrid-PT-4022-07
FORMULA_NAME TriangularGrid-PT-4022-08
FORMULA_NAME TriangularGrid-PT-4022-09
FORMULA_NAME TriangularGrid-PT-4022-10
FORMULA_NAME TriangularGrid-PT-4022-11
FORMULA_NAME TriangularGrid-PT-4022-12
FORMULA_NAME TriangularGrid-PT-4022-13
FORMULA_NAME TriangularGrid-PT-4022-14
FORMULA_NAME TriangularGrid-PT-4022-15
=== Now, execution of the tool begins
BK_START 1621439348355
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-19 15:49:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-19 15:49:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 15:49:11] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2021-05-19 15:49:11] [INFO ] Transformed 184 places.
[2021-05-19 15:49:11] [INFO ] Transformed 156 transitions.
[2021-05-19 15:49:11] [INFO ] Parsed PT model containing 184 places and 156 transitions in 190 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 25 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 2783 steps, including 1 resets, run visited all 42 properties in 63 ms. (steps per millisecond=44 )
[2021-05-19 15:49:11] [INFO ] Initial state reduction rules for CTL removed 8 formulas.
[2021-05-19 15:49:11] [INFO ] Flatten gal took : 86 ms
FORMULA TriangularGrid-PT-4022-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TriangularGrid-PT-4022-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TriangularGrid-PT-4022-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TriangularGrid-PT-4022-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TriangularGrid-PT-4022-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TriangularGrid-PT-4022-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TriangularGrid-PT-4022-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TriangularGrid-PT-4022-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 15:49:11] [INFO ] Flatten gal took : 29 ms
[2021-05-19 15:49:11] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-19 15:49:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 6 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ TriangularGrid-PT-4022 @ 3570 seconds
FORMULA TriangularGrid-PT-4022-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA TriangularGrid-PT-4022-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA TriangularGrid-PT-4022-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA TriangularGrid-PT-4022-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA TriangularGrid-PT-4022-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA TriangularGrid-PT-4022-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA TriangularGrid-PT-4022-07 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA TriangularGrid-PT-4022-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 361
rslt: Output for LTLFireability @ TriangularGrid-PT-4022
{
"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": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed May 19 15:49:12 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"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": "G (((1 <= p10) AND (1 <= p101)))",
"processed_size": 32,
"rewrites": 43
},
"result":
{
"edges": 554,
"markings": 551,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(F (((1 <= p62) AND (1 <= p142))) U X (G (((1 <= p62) AND (1 <= p142)))))",
"processed_size": 73,
"rewrites": 43
},
"result":
{
"edges": 1093,
"markings": 1093,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X ((F (((1 <= p60) AND (1 <= p148))) AND ((1 <= p58) AND (1 <= p147))))",
"processed_size": 71,
"rewrites": 43
},
"result":
{
"edges": 1052,
"markings": 1052,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 2,
"aconj": 4,
"adisj": 0,
"aneg": 1,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X (G ((X (((p55 <= 0) OR (p146 <= 0))) AND G ((F (((1 <= p51) AND (1 <= p86))) AND (((1 <= p57) AND (1 <= p80)) OR ((1 <= p51) AND (1 <= p86))))))))",
"processed_size": 149,
"rewrites": 43
},
"result":
{
"edges": 1146,
"markings": 1146,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"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": "G (((p63 <= 0) OR (p93 <= 0)))",
"processed_size": 31,
"rewrites": 43
},
"result":
{
"edges": 588,
"markings": 584,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 891
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"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": "G (((1 <= p47) AND (1 <= p183)))",
"processed_size": 32,
"rewrites": 43
},
"result":
{
"edges": 539,
"markings": 535,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1188
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 1,
"U": 1,
"X": 0,
"aconj": 5,
"adisj": 1,
"aneg": 0,
"comp": 14,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 14,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "(((p7 <= 0) OR (p99 <= 0)) U (((1 <= p50) AND (1 <= p144)) OR (F (((1 <= p50) AND (1 <= p144))) AND F (G ((F (((1 <= p55) AND (1 <= p146))) AND (((1 <= p50) AND (1 <= p144) AND (1 <= p7) AND (1 <= p99)) OR ((1 <= p55) AND (1 <= p146)))))))))",
"processed_size": 242,
"rewrites": 43
},
"result":
{
"edges": 310,
"markings": 310,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 15
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2377
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2377
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"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": "((1 <= p47) AND (1 <= p183))",
"processed_size": 28,
"rewrites": 45
},
"result":
{
"edges": 346,
"markings": 346,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"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": "((1 <= p47) AND (1 <= p183))",
"processed_size": 28,
"rewrites": 45
},
"result":
{
"edges": 346,
"markings": 346,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"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": "G (((p57 <= 0) OR (p80 <= 0)))",
"processed_size": 31,
"rewrites": 43
},
"result":
{
"edges": 540,
"markings": 537,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 9,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3668,
"runtime": 3209.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "((F(**) U X(G(**))) OR (G(**) AND F(G(**)))) : G(**) : F(G((((G(**) OR **) U **) OR (* OR *)))) : (G(*) OR F(*)) : X((F(**) AND (** AND **))) : G(*) : X(G((X(*) AND G((F(**) AND (** OR **)))))) : (** U (** OR (F(**) AND F(G((F(**) AND (** OR **)))))))"
},
"net":
{
"arcs": 624,
"conflict_clusters": 76,
"places": 184,
"places_significant": 107,
"singleton_clusters": 0,
"transitions": 156
},
"result":
{
"preliminary_value": "no no unknown no no no no no ",
"value": "no no unknown no no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 340/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5888
lola: finding significant places
lola: 184 places, 156 transitions, 107 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: (G (((1 <= p10) AND (1 <= p101))) U (F (((1 <= p62) AND (1 <= p142))) U G (X (((1 <= p62) AND (1 <= p142)))))) : G (((1 <= p47) AND (1 <= p183))) : F (G (NOT(X (F (((NOT(((G (((1 <= p27) AND (1 <= p171))) OR ((1 <= p55) AND (1 <= p138))) U ((p27 <= 0) OR (p171 <= 0)))) AND (1 <= p55)) AND (1 <= p138))))))) : (NOT(F (((1 <= p57) AND (1 <= p80)))) OR NOT(G (((1 <= p47) AND (1 <= p183))))) : X (((F (((1 <= p60) AND (1 <= p148))) AND (1 <= p58)) AND (1 <= p147))) : NOT(F (((1 <= p63) AND (1 <= p93)))) : G (X ((NOT(X (((1 <= p55) AND (1 <= p146)))) AND G ((((1 <= p57) AND (1 <= p80)) U ((1 <= p51) AND (1 <= p86))))))) : (((p7 <= 0) OR (p99 <= 0)) U (F (G ((((1 <= p50) AND (1 <= p144) AND (1 <= p7) AND (1 <= p99)) U ((1 <= p55) AND (1 <= p146))))) U ((1 <= p50) AND (1 <= p144))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((F (((1 <= p62) AND (1 <= p142))) U X (G (((1 <= p62) AND (1 <= p142))))) OR (G (((1 <= p10) AND (1 <= p101))) AND F (G (((1 <= p62) AND (1 <= p142))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p10) AND (1 <= p101)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p10) AND (1 <= p101)))
lola: processed formula length: 32
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 551 markings, 554 edges
lola: ========================================
lola: subprocess 1 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p62) AND (1 <= p142))) U X (G (((1 <= p62) AND (1 <= p142)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F (((1 <= p62) AND (1 <= p142))) U X (G (((1 <= p62) AND (1 <= p142)))))
lola: processed formula length: 73
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1093 markings, 1093 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((1 <= p60) AND (1 <= p148))) AND ((1 <= p58) AND (1 <= p147))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((1 <= p60) AND (1 <= p148))) AND ((1 <= p58) AND (1 <= p147))))
lola: processed formula length: 71
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1052 markings, 1052 edges
lola: ========================================
lola: subprocess 2 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X (((p55 <= 0) OR (p146 <= 0))) AND G ((F (((1 <= p51) AND (1 <= p86))) AND (((1 <= p57) AND (1 <= p80)) OR ((1 <= p51) AND (1 <= p86))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X (((p55 <= 0) OR (p146 <= 0))) AND G ((F (((1 <= p51) AND (1 <= p86))) AND (((1 <= p57) AND (1 <= p80)) OR ((1 <= p51) AND (1 <= p86))))))))
lola: processed formula length: 149
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1146 markings, 1146 edges
lola: ========================================
lola: subprocess 3 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p63 <= 0) OR (p93 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p63 <= 0) OR (p93 <= 0)))
lola: processed formula length: 31
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 584 markings, 588 edges
lola: ========================================
lola: subprocess 4 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p47) AND (1 <= p183)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p47) AND (1 <= p183)))
lola: processed formula length: 32
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 535 markings, 539 edges
lola: ========================================
lola: subprocess 5 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((((G (((1 <= p27) AND (1 <= p171))) OR ((1 <= p55) AND (1 <= p138))) U ((p27 <= 0) OR (p171 <= 0))) OR ((p55 <= 0) OR (p138 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((((G (((1 <= p27) AND (1 <= p171))) OR ((1 <= p55) AND (1 <= p138))) U ((p27 <= 0) OR (p171 <= 0))) OR ((p55 <= 0) OR (p138 <= 0)))))
lola: processed formula length: 140
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 621372 markings, 1941011 edges, 124274 markings/sec, 0 secs
lola: 1212142 markings, 3750300 edges, 118154 markings/sec, 5 secs
lola: 1775825 markings, 5552249 edges, 112737 markings/sec, 10 secs
lola: 2281710 markings, 7334982 edges, 101177 markings/sec, 15 secs
lola: 2808835 markings, 9364781 edges, 105425 markings/sec, 20 secs
lola: 3358461 markings, 11289453 edges, 109925 markings/sec, 25 secs
lola: 3906678 markings, 13070777 edges, 109643 markings/sec, 30 secs
lola: 4361579 markings, 14865408 edges, 90980 markings/sec, 35 secs
lola: 4843387 markings, 16730947 edges, 96362 markings/sec, 40 secs
lola: 5381738 markings, 18561410 edges, 107670 markings/sec, 45 secs
lola: 6100334 markings, 20173176 edges, 143719 markings/sec, 50 secs
lola: 6742945 markings, 22087463 edges, 128522 markings/sec, 55 secs
lola: 7326308 markings, 23999417 edges, 116673 markings/sec, 60 secs
lola: 7835254 markings, 25953927 edges, 101789 markings/sec, 65 secs
lola: 8277420 markings, 27679264 edges, 88433 markings/sec, 70 secs
lola: 8924810 markings, 29171200 edges, 129478 markings/sec, 75 secs
lola: 9502976 markings, 30516740 edges, 115633 markings/sec, 80 secs
lola: 10101759 markings, 31941893 edges, 119757 markings/sec, 85 secs
lola: 10696229 markings, 33398041 edges, 118894 markings/sec, 90 secs
lola: 11295131 markings, 34939067 edges, 119780 markings/sec, 95 secs
lola: 11874357 markings, 36471069 edges, 115845 markings/sec, 100 secs
lola: 12457843 markings, 37977113 edges, 116697 markings/sec, 105 secs
lola: 13043665 markings, 39498714 edges, 117164 markings/sec, 110 secs
lola: 13582942 markings, 41083922 edges, 107855 markings/sec, 115 secs
lola: 13966443 markings, 42514515 edges, 76700 markings/sec, 120 secs
lola: 14265957 markings, 43858735 edges, 59903 markings/sec, 125 secs
lola: 14538978 markings, 45182940 edges, 54604 markings/sec, 130 secs
lola: 14801860 markings, 46502831 edges, 52576 markings/sec, 135 secs
lola: 15307673 markings, 48172957 edges, 101163 markings/sec, 140 secs
lola: 15912057 markings, 50135976 edges, 120877 markings/sec, 145 secs
lola: 16340468 markings, 51873177 edges, 85682 markings/sec, 150 secs
lola: 16779307 markings, 53600406 edges, 87768 markings/sec, 155 secs
lola: 17212892 markings, 55235403 edges, 86717 markings/sec, 160 secs
lola: 17338716 markings, 56959767 edges, 25165 markings/sec, 165 secs
lola: 17905406 markings, 58909312 edges, 113338 markings/sec, 170 secs
lola: 18549670 markings, 60616358 edges, 128853 markings/sec, 175 secs
lola: 18938271 markings, 62479317 edges, 77720 markings/sec, 180 secs
lola: 19465365 markings, 64330726 edges, 105419 markings/sec, 185 secs
lola: 19887617 markings, 65998916 edges, 84450 markings/sec, 190 secs
lola: 20429866 markings, 67595453 edges, 108450 markings/sec, 195 secs
lola: 20944781 markings, 69089269 edges, 102983 markings/sec, 200 secs
lola: 21373038 markings, 70720128 edges, 85651 markings/sec, 205 secs
lola: 21708533 markings, 72367678 edges, 67099 markings/sec, 210 secs
lola: 22355187 markings, 74300060 edges, 129331 markings/sec, 215 secs
lola: 22821416 markings, 76046197 edges, 93246 markings/sec, 220 secs
lola: 23117956 markings, 78009283 edges, 59308 markings/sec, 225 secs
lola: 23424192 markings, 79816297 edges, 61247 markings/sec, 230 secs
lola: 23782506 markings, 81363186 edges, 71663 markings/sec, 235 secs
lola: 24081212 markings, 82897481 edges, 59741 markings/sec, 240 secs
lola: 24318712 markings, 84440039 edges, 47500 markings/sec, 245 secs
lola: 24339958 markings, 85963507 edges, 4249 markings/sec, 250 secs
lola: 24341556 markings, 87477540 edges, 320 markings/sec, 255 secs
lola: 24689299 markings, 89339120 edges, 69549 markings/sec, 260 secs
lola: 25262591 markings, 91158705 edges, 114658 markings/sec, 265 secs
lola: 25768576 markings, 92846200 edges, 101197 markings/sec, 270 secs
lola: 26186166 markings, 94497792 edges, 83518 markings/sec, 275 secs
lola: 26773314 markings, 96033002 edges, 117430 markings/sec, 280 secs
lola: 27215044 markings, 97565456 edges, 88346 markings/sec, 285 secs
lola: 27634807 markings, 99055913 edges, 83953 markings/sec, 290 secs
lola: 27968922 markings, 100615204 edges, 66823 markings/sec, 295 secs
lola: 28211039 markings, 102164262 edges, 48423 markings/sec, 300 secs
lola: 28634973 markings, 103817061 edges, 84787 markings/sec, 305 secs
lola: 29158467 markings, 105416177 edges, 104699 markings/sec, 310 secs
lola: 29519223 markings, 106985418 edges, 72151 markings/sec, 315 secs
lola: 29787623 markings, 108792622 edges, 53680 markings/sec, 320 secs
lola: 30414967 markings, 110403004 edges, 125469 markings/sec, 325 secs
lola: 31029700 markings, 111915925 edges, 122947 markings/sec, 330 secs
lola: 31629013 markings, 113510914 edges, 119863 markings/sec, 335 secs
lola: 32157445 markings, 115084142 edges, 105686 markings/sec, 340 secs
lola: 32471160 markings, 116474539 edges, 62743 markings/sec, 345 secs
lola: 32842783 markings, 118158126 edges, 74325 markings/sec, 350 secs
lola: 33311152 markings, 119539204 edges, 93674 markings/sec, 355 secs
lola: 33734889 markings, 120895272 edges, 84747 markings/sec, 360 secs
lola: 34142632 markings, 122267318 edges, 81549 markings/sec, 365 secs
lola: 34547280 markings, 123684269 edges, 80930 markings/sec, 370 secs
lola: 34916978 markings, 125134859 edges, 73940 markings/sec, 375 secs
lola: 35272807 markings, 126592851 edges, 71166 markings/sec, 380 secs
lola: 35522059 markings, 128046667 edges, 49850 markings/sec, 385 secs
lola: 35663783 markings, 129409344 edges, 28345 markings/sec, 390 secs
lola: 35781668 markings, 130745327 edges, 23577 markings/sec, 395 secs
lola: 36117429 markings, 132197936 edges, 67152 markings/sec, 400 secs
lola: 36409771 markings, 133617828 edges, 58468 markings/sec, 405 secs
lola: 36721430 markings, 135142533 edges, 62332 markings/sec, 410 secs
lola: 37193373 markings, 136826524 edges, 94389 markings/sec, 415 secs
lola: 37516086 markings, 138360265 edges, 64543 markings/sec, 420 secs
lola: 37805945 markings, 139962489 edges, 57972 markings/sec, 425 secs
lola: 38149374 markings, 141601523 edges, 68686 markings/sec, 430 secs
lola: 38405517 markings, 143410329 edges, 51229 markings/sec, 435 secs
lola: 38879020 markings, 145175304 edges, 94701 markings/sec, 440 secs
lola: 39363599 markings, 146848253 edges, 96916 markings/sec, 445 secs
lola: 39708577 markings, 148452629 edges, 68996 markings/sec, 450 secs
lola: 40179763 markings, 150049941 edges, 94237 markings/sec, 455 secs
lola: 40592406 markings, 151617640 edges, 82529 markings/sec, 460 secs
lola: 40965622 markings, 153138819 edges, 74643 markings/sec, 465 secs
lola: 41421450 markings, 154576066 edges, 91166 markings/sec, 470 secs
lola: 41880395 markings, 155910579 edges, 91789 markings/sec, 475 secs
lola: 42297354 markings, 157193293 edges, 83392 markings/sec, 480 secs
lola: 42696951 markings, 158462694 edges, 79919 markings/sec, 485 secs
lola: 43087502 markings, 159724922 edges, 78110 markings/sec, 490 secs
lola: 43476701 markings, 160989872 edges, 77840 markings/sec, 495 secs
lola: 43858410 markings, 162261984 edges, 76342 markings/sec, 500 secs
lola: 44231644 markings, 163536837 edges, 74647 markings/sec, 505 secs
lola: 44605789 markings, 164826535 edges, 74829 markings/sec, 510 secs
lola: 44980030 markings, 166131517 edges, 74848 markings/sec, 515 secs
lola: 45357486 markings, 167465853 edges, 75491 markings/sec, 520 secs
lola: 45729054 markings, 168856630 edges, 74314 markings/sec, 525 secs
lola: 46073457 markings, 170233890 edges, 68881 markings/sec, 530 secs
lola: 46411710 markings, 171594725 edges, 67651 markings/sec, 535 secs
lola: 46746681 markings, 172954227 edges, 66994 markings/sec, 540 secs
lola: 47079071 markings, 174315480 edges, 66478 markings/sec, 545 secs
lola: 47414881 markings, 175701395 edges, 67162 markings/sec, 550 secs
lola: 47724511 markings, 177195320 edges, 61926 markings/sec, 555 secs
lola: 47928102 markings, 178530395 edges, 40718 markings/sec, 560 secs
lola: 48107207 markings, 179863956 edges, 35821 markings/sec, 565 secs
lola: 48239792 markings, 181152681 edges, 26517 markings/sec, 570 secs
lola: 48354497 markings, 182419378 edges, 22941 markings/sec, 575 secs
lola: 48458235 markings, 183680836 edges, 20748 markings/sec, 580 secs
lola: 48554461 markings, 184940193 edges, 19245 markings/sec, 585 secs
lola: 48647883 markings, 186211444 edges, 18684 markings/sec, 590 secs
lola: 48916132 markings, 187511256 edges, 53650 markings/sec, 595 secs
lola: 49398689 markings, 189018687 edges, 96511 markings/sec, 600 secs
lola: 49881107 markings, 190454106 edges, 96484 markings/sec, 605 secs
lola: 50151354 markings, 191811353 edges, 54049 markings/sec, 610 secs
lola: 50410643 markings, 193160009 edges, 51858 markings/sec, 615 secs
lola: 50667402 markings, 194549905 edges, 51352 markings/sec, 620 secs
lola: 50851373 markings, 195898968 edges, 36794 markings/sec, 625 secs
lola: 51357516 markings, 197223569 edges, 101229 markings/sec, 630 secs
lola: 52079778 markings, 198618453 edges, 144452 markings/sec, 635 secs
lola: 52654928 markings, 200145413 edges, 115030 markings/sec, 640 secs
lola: 53256916 markings, 202028178 edges, 120398 markings/sec, 645 secs
lola: 53822470 markings, 203888630 edges, 113111 markings/sec, 650 secs
lola: 54341691 markings, 205782148 edges, 103844 markings/sec, 655 secs
lola: 54792339 markings, 207562811 edges, 90130 markings/sec, 660 secs
lola: 55352317 markings, 209273977 edges, 111996 markings/sec, 665 secs
lola: 55866575 markings, 210792095 edges, 102852 markings/sec, 670 secs
lola: 56330818 markings, 212453820 edges, 92849 markings/sec, 675 secs
lola: 56627429 markings, 214024800 edges, 59322 markings/sec, 680 secs
lola: 57087349 markings, 215499483 edges, 91984 markings/sec, 685 secs
lola: 57657524 markings, 216877845 edges, 114035 markings/sec, 690 secs
lola: 58105129 markings, 218287791 edges, 89521 markings/sec, 695 secs
lola: 58720176 markings, 219545458 edges, 123009 markings/sec, 700 secs
lola: 59320224 markings, 220795620 edges, 120010 markings/sec, 705 secs
lola: 59907288 markings, 222047014 edges, 117413 markings/sec, 710 secs
lola: 60487306 markings, 223288609 edges, 116004 markings/sec, 715 secs
lola: 61055591 markings, 224523221 edges, 113657 markings/sec, 720 secs
lola: 61620521 markings, 225761697 edges, 112986 markings/sec, 725 secs
lola: 62179357 markings, 227004911 edges, 111767 markings/sec, 730 secs
lola: 62713038 markings, 228281505 edges, 106736 markings/sec, 735 secs
lola: 63196046 markings, 229547078 edges, 96602 markings/sec, 740 secs
lola: 63675477 markings, 230906233 edges, 95886 markings/sec, 745 secs
lola: 64220869 markings, 232135466 edges, 109078 markings/sec, 750 secs
lola: 64761970 markings, 233363880 edges, 108220 markings/sec, 755 secs
lola: 65300562 markings, 234598005 edges, 107718 markings/sec, 760 secs
lola: 65839411 markings, 235838027 edges, 107770 markings/sec, 765 secs
lola: 66370902 markings, 237086495 edges, 106298 markings/sec, 770 secs
lola: 66904570 markings, 238330320 edges, 106734 markings/sec, 775 secs
lola: 67435303 markings, 239581683 edges, 106147 markings/sec, 780 secs
lola: 67960002 markings, 240852128 edges, 104940 markings/sec, 785 secs
lola: 68463517 markings, 242150484 edges, 100703 markings/sec, 790 secs
lola: 68987172 markings, 243417367 edges, 104731 markings/sec, 795 secs
lola: 69498427 markings, 244713575 edges, 102251 markings/sec, 800 secs
lola: 70029728 markings, 245996197 edges, 106260 markings/sec, 805 secs
lola: 70558254 markings, 247296149 edges, 105705 markings/sec, 810 secs
lola: 71110938 markings, 248660665 edges, 110537 markings/sec, 815 secs
lola: 71640999 markings, 250011472 edges, 106012 markings/sec, 820 secs
lola: 72174824 markings, 251361714 edges, 106765 markings/sec, 825 secs
lola: 72697437 markings, 252691957 edges, 104523 markings/sec, 830 secs
lola: 73218130 markings, 254023317 edges, 104139 markings/sec, 835 secs
lola: 73740533 markings, 255332463 edges, 104481 markings/sec, 840 secs
lola: 74267813 markings, 256645684 edges, 105456 markings/sec, 845 secs
lola: 74786576 markings, 257955311 edges, 103753 markings/sec, 850 secs
lola: 75303852 markings, 259266087 edges, 103455 markings/sec, 855 secs
lola: 75821413 markings, 260573839 edges, 103512 markings/sec, 860 secs
lola: 76344566 markings, 261884556 edges, 104631 markings/sec, 865 secs
lola: 76870236 markings, 263191141 edges, 105134 markings/sec, 870 secs
lola: 77389619 markings, 264507138 edges, 103877 markings/sec, 875 secs
lola: 77912304 markings, 265834293 edges, 104537 markings/sec, 880 secs
lola: 78431620 markings, 267148195 edges, 103863 markings/sec, 885 secs
lola: 78957552 markings, 268460676 edges, 105186 markings/sec, 890 secs
lola: 79489302 markings, 269806824 edges, 106350 markings/sec, 895 secs
lola: 80020788 markings, 271144293 edges, 106297 markings/sec, 900 secs
lola: 80557094 markings, 272488051 edges, 107261 markings/sec, 905 secs
lola: 81104226 markings, 273849056 edges, 109426 markings/sec, 910 secs
lola: 81648877 markings, 275241301 edges, 108930 markings/sec, 915 secs
lola: 82217612 markings, 276694087 edges, 113747 markings/sec, 920 secs
lola: 82663637 markings, 278095276 edges, 89205 markings/sec, 925 secs
lola: 83054589 markings, 279404865 edges, 78190 markings/sec, 930 secs
lola: 83422787 markings, 280673882 edges, 73640 markings/sec, 935 secs
lola: 83781120 markings, 281922119 edges, 71667 markings/sec, 940 secs
lola: 84139490 markings, 283166058 edges, 71674 markings/sec, 945 secs
lola: 84493689 markings, 284403160 edges, 70840 markings/sec, 950 secs
lola: 84846818 markings, 285661427 edges, 70626 markings/sec, 955 secs
lola: 85156631 markings, 286867188 edges, 61963 markings/sec, 960 secs
lola: 85456232 markings, 288049133 edges, 59920 markings/sec, 965 secs
lola: 85743305 markings, 289217214 edges, 57415 markings/sec, 970 secs
lola: 86020790 markings, 290378039 edges, 55497 markings/sec, 975 secs
lola: 86293980 markings, 291530807 edges, 54638 markings/sec, 980 secs
lola: 86565887 markings, 292679196 edges, 54381 markings/sec, 985 secs
lola: 86828583 markings, 293821551 edges, 52539 markings/sec, 990 secs
lola: 87087828 markings, 294960577 edges, 51849 markings/sec, 995 secs
lola: 87343208 markings, 296094080 edges, 51076 markings/sec, 1000 secs
lola: 87596553 markings, 297224159 edges, 50669 markings/sec, 1005 secs
lola: 87848968 markings, 298352708 edges, 50483 markings/sec, 1010 secs
lola: 88095851 markings, 299472142 edges, 49377 markings/sec, 1015 secs
lola: 88340701 markings, 300595474 edges, 48970 markings/sec, 1020 secs
lola: 88583652 markings, 301715732 edges, 48590 markings/sec, 1025 secs
lola: 88824748 markings, 302832901 edges, 48219 markings/sec, 1030 secs
lola: 89064981 markings, 303947746 edges, 48047 markings/sec, 1035 secs
lola: 89298874 markings, 305054561 edges, 46779 markings/sec, 1040 secs
lola: 89531690 markings, 306158719 edges, 46563 markings/sec, 1045 secs
lola: 89766124 markings, 307262587 edges, 46887 markings/sec, 1050 secs
lola: 89998646 markings, 308366814 edges, 46504 markings/sec, 1055 secs
lola: 90228444 markings, 309472882 edges, 45960 markings/sec, 1060 secs
lola: 90457307 markings, 310587909 edges, 45773 markings/sec, 1065 secs
lola: 90983755 markings, 312197753 edges, 105290 markings/sec, 1070 secs
lola: 91481014 markings, 314068365 edges, 99452 markings/sec, 1075 secs
lola: 91912878 markings, 315690367 edges, 86373 markings/sec, 1080 secs
lola: 92495925 markings, 317331966 edges, 116609 markings/sec, 1085 secs
lola: 92965876 markings, 318904162 edges, 93990 markings/sec, 1090 secs
lola: 93415928 markings, 320385384 edges, 90010 markings/sec, 1095 secs
lola: 93808081 markings, 321984321 edges, 78431 markings/sec, 1100 secs
lola: 94019011 markings, 323520209 edges, 42186 markings/sec, 1105 secs
lola: 94418791 markings, 325206136 edges, 79956 markings/sec, 1110 secs
lola: 94918416 markings, 327069666 edges, 99925 markings/sec, 1115 secs
lola: 95396925 markings, 328871301 edges, 95702 markings/sec, 1120 secs
lola: 95767591 markings, 330679681 edges, 74133 markings/sec, 1125 secs
lola: 96179286 markings, 332281945 edges, 82339 markings/sec, 1130 secs
lola: 96568781 markings, 333907525 edges, 77899 markings/sec, 1135 secs
lola: 96962408 markings, 335667453 edges, 78725 markings/sec, 1140 secs
lola: 97327612 markings, 337255078 edges, 73041 markings/sec, 1145 secs
lola: 97700876 markings, 338873653 edges, 74653 markings/sec, 1150 secs
lola: 97947184 markings, 340571566 edges, 49262 markings/sec, 1155 secs
lola: 98238089 markings, 342263884 edges, 58181 markings/sec, 1160 secs
lola: 98476880 markings, 344030693 edges, 47758 markings/sec, 1165 secs
lola: 98916730 markings, 345753291 edges, 87970 markings/sec, 1170 secs
lola: 99301204 markings, 347532158 edges, 76895 markings/sec, 1175 secs
lola: 99913266 markings, 349369275 edges, 122412 markings/sec, 1180 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown no no no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p7 <= 0) OR (p99 <= 0)) U (((1 <= p50) AND (1 <= p144)) OR (F (((1 <= p50) AND (1 <= p144))) AND F (G ((F (((1 <= p55) AND (1 <= p146))) AND (((1 <= p50) AND (1 <= p144) AND (1 <= p7) AND (1 <= p99)) OR ((1 <= p55) AND (1 <= p146)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((p7 <= 0) OR (p99 <= 0)) U (((1 <= p50) AND (1 <= p144)) OR (F (((1 <= p50) AND (1 <= p144))) AND F (G ((F (((1 <= p55) AND (1 <= p146))) AND (((1 <= p50) AND (1 <= p144) AND (1 <= p7) AND (1 <= p99)) OR ((1 <= p55) AND (1 <= p146)))))))))
lola: processed formula length: 242
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 310 markings, 310 edges
lola: ========================================
lola: subprocess 7 will run for 2377 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (((p57 <= 0) OR (p80 <= 0))) OR F (((p47 <= 0) OR (p183 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 2377 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((p47 <= 0) OR (p183 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((1 <= p47) AND (1 <= p183))
lola: processed formula length: 28
lola: 45 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 346 markings, 346 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F (G ((((G (((1 <= p27) AND (1 <= p171))) OR ((1 <= p55) AND (1 <= p138))) U ((p27 <= 0) OR (p171 <= 0))) OR ((p55 <= 0) OR (p138 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((((G (((1 <= p27) AND (1 <= p171))) OR ((1 <= p55) AND (1 <= p138))) U ((p27 <= 0) OR (p171 <= 0))) OR ((p55 <= 0) OR (p138 <= 0)))))
lola: processed formula length: 140
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 683268 markings, 2108987 edges, 136654 markings/sec, 0 secs
lola: 1296091 markings, 4120072 edges, 122565 markings/sec, 5 secs
lola: 1936523 markings, 6137225 edges, 128086 markings/sec, 10 secs
lola: 2548480 markings, 8170973 edges, 122391 markings/sec, 15 secs
lola: 3014721 markings, 10283461 edges, 93248 markings/sec, 20 secs
lola: 3659130 markings, 12184655 edges, 128882 markings/sec, 25 secs
lola: 4092023 markings, 13988559 edges, 86579 markings/sec, 30 secs
lola: 4615598 markings, 15826489 edges, 104715 markings/sec, 35 secs
lola: 5131405 markings, 17724396 edges, 103161 markings/sec, 40 secs
lola: 5752266 markings, 19445784 edges, 124172 markings/sec, 45 secs
lola: 6468436 markings, 21229753 edges, 143234 markings/sec, 50 secs
lola: 7106815 markings, 23193555 edges, 127676 markings/sec, 55 secs
lola: 7640205 markings, 25145404 edges, 106678 markings/sec, 60 secs
lola: 8060640 markings, 27119743 edges, 84087 markings/sec, 65 secs
lola: 8721193 markings, 28690941 edges, 132111 markings/sec, 70 secs
lola: 9344214 markings, 30155913 edges, 124604 markings/sec, 75 secs
lola: 9949562 markings, 31576343 edges, 121070 markings/sec, 80 secs
lola: 10536915 markings, 33001493 edges, 117471 markings/sec, 85 secs
lola: 11101093 markings, 34420024 edges, 112836 markings/sec, 90 secs
lola: 11663932 markings, 35908311 edges, 112568 markings/sec, 95 secs
lola: 12209304 markings, 37335276 edges, 109074 markings/sec, 100 secs
lola: 12758861 markings, 38771922 edges, 109911 markings/sec, 105 secs
lola: 13347791 markings, 40293293 edges, 117786 markings/sec, 110 secs
lola: 13767555 markings, 41734043 edges, 83953 markings/sec, 115 secs
lola: 14101955 markings, 43096860 edges, 66880 markings/sec, 120 secs
lola: 14368153 markings, 44346935 edges, 53240 markings/sec, 125 secs
lola: 14622946 markings, 45607879 edges, 50959 markings/sec, 130 secs
lola: 14859537 markings, 46801879 edges, 47318 markings/sec, 135 secs
lola: 15368856 markings, 48442479 edges, 101864 markings/sec, 140 secs
lola: 15956723 markings, 50295896 edges, 117573 markings/sec, 145 secs
lola: 16346934 markings, 51936814 edges, 78042 markings/sec, 150 secs
lola: 16774027 markings, 53576267 edges, 85419 markings/sec, 155 secs
lola: 17192817 markings, 55152546 edges, 83758 markings/sec, 160 secs
lola: 17329768 markings, 56774677 edges, 27390 markings/sec, 165 secs
lola: 17835309 markings, 58636953 edges, 101108 markings/sec, 170 secs
lola: 18446741 markings, 60277594 edges, 122286 markings/sec, 175 secs
lola: 18861949 markings, 62066106 edges, 83042 markings/sec, 180 secs
lola: 19337905 markings, 63898671 edges, 95191 markings/sec, 185 secs
lola: 19789069 markings, 65509786 edges, 90233 markings/sec, 190 secs
lola: 20297309 markings, 67085861 edges, 101648 markings/sec, 195 secs
lola: 20773645 markings, 68522979 edges, 95267 markings/sec, 200 secs
lola: 21230647 markings, 70050589 edges, 91400 markings/sec, 205 secs
lola: 21483250 markings, 71565145 edges, 50521 markings/sec, 210 secs
lola: 22016526 markings, 73437084 edges, 106655 markings/sec, 215 secs
lola: 22588928 markings, 75134737 edges, 114480 markings/sec, 220 secs
lola: 22963538 markings, 76828429 edges, 74922 markings/sec, 225 secs
lola: 23165292 markings, 78652431 edges, 40351 markings/sec, 230 secs
lola: 23543404 markings, 80299915 edges, 75622 markings/sec, 235 secs
lola: 23859687 markings, 81731081 edges, 63257 markings/sec, 240 secs
lola: 24126073 markings, 83160724 edges, 53277 markings/sec, 245 secs
lola: 24326550 markings, 84610845 edges, 40095 markings/sec, 250 secs
lola: 24340074 markings, 86023565 edges, 2705 markings/sec, 255 secs
lola: 24341538 markings, 87431523 edges, 293 markings/sec, 260 secs
lola: 24647401 markings, 89155062 edges, 61173 markings/sec, 265 secs
lola: 25159338 markings, 90872352 edges, 102387 markings/sec, 270 secs
lola: 25642506 markings, 92522220 edges, 96634 markings/sec, 275 secs
lola: 26029900 markings, 94027664 edges, 77479 markings/sec, 280 secs
lola: 26586369 markings, 95520476 edges, 111294 markings/sec, 285 secs
lola: 27048486 markings, 97003368 edges, 92423 markings/sec, 290 secs
lola: 27449693 markings, 98362188 edges, 80241 markings/sec, 295 secs
lola: 27827067 markings, 99801689 edges, 75475 markings/sec, 300 secs
lola: 28028211 markings, 101231016 edges, 40229 markings/sec, 305 secs
lola: 28302538 markings, 102713638 edges, 54865 markings/sec, 310 secs
lola: 28799416 markings, 104315651 edges, 99376 markings/sec, 315 secs
lola: 29240661 markings, 105817953 edges, 88249 markings/sec, 320 secs
lola: 29576858 markings, 107313094 edges, 67239 markings/sec, 325 secs
lola: 29874956 markings, 109075160 edges, 59620 markings/sec, 330 secs
lola: 30482432 markings, 110567413 edges, 121495 markings/sec, 335 secs
lola: 31073555 markings, 112031410 edges, 118225 markings/sec, 340 secs
lola: 31649761 markings, 113566494 edges, 115241 markings/sec, 345 secs
lola: 32153336 markings, 115065964 edges, 100715 markings/sec, 350 secs
lola: 32450415 markings, 116378872 edges, 59416 markings/sec, 355 secs
lola: 32807974 markings, 117976992 edges, 71512 markings/sec, 360 secs
lola: 33241876 markings, 119324634 edges, 86780 markings/sec, 365 secs
lola: 33651355 markings, 120624253 edges, 81896 markings/sec, 370 secs
lola: 34043407 markings, 121929965 edges, 78410 markings/sec, 375 secs
lola: 34426024 markings, 123248353 edges, 76523 markings/sec, 380 secs
lola: 34791702 markings, 124627196 edges, 73136 markings/sec, 385 secs
lola: 35130597 markings, 126009601 edges, 67779 markings/sec, 390 secs
lola: 35433141 markings, 127417452 edges, 60509 markings/sec, 395 secs
lola: 35597351 markings, 128727008 edges, 32842 markings/sec, 400 secs
lola: 35716021 markings, 129996871 edges, 23734 markings/sec, 405 secs
lola: 35910862 markings, 131301433 edges, 38968 markings/sec, 410 secs
lola: 36219094 markings, 132664147 edges, 61646 markings/sec, 415 secs
lola: 36479551 markings, 134021752 edges, 52091 markings/sec, 420 secs
lola: 36862598 markings, 135630559 edges, 76609 markings/sec, 425 secs
lola: 37253010 markings, 137079915 edges, 78082 markings/sec, 430 secs
lola: 37535077 markings, 138527258 edges, 56413 markings/sec, 435 secs
lola: 37823448 markings, 140036486 edges, 57674 markings/sec, 440 secs
lola: 38145728 markings, 141547754 edges, 64456 markings/sec, 445 secs
lola: 38376317 markings, 143226059 edges, 46118 markings/sec, 450 secs
lola: 38790064 markings, 144882353 edges, 82749 markings/sec, 455 secs
lola: 39251604 markings, 146455051 edges, 92308 markings/sec, 460 secs
lola: 39589163 markings, 147986267 edges, 67512 markings/sec, 465 secs
lola: 40024164 markings, 149478041 edges, 87000 markings/sec, 470 secs
lola: 40417022 markings, 150989981 edges, 78572 markings/sec, 475 secs
lola: 40827965 markings, 152444352 edges, 82189 markings/sec, 480 secs
lola: 41080765 markings, 153902530 edges, 50560 markings/sec, 485 secs
lola: 41647458 markings, 155223199 edges, 113339 markings/sec, 490 secs
lola: 42066980 markings, 156476449 edges, 83904 markings/sec, 495 secs
lola: 42460966 markings, 157711331 edges, 78797 markings/sec, 500 secs
lola: 42842785 markings, 158932698 edges, 76364 markings/sec, 505 secs
lola: 43213092 markings, 160133823 edges, 74061 markings/sec, 510 secs
lola: 43586115 markings, 161352703 edges, 74605 markings/sec, 515 secs
lola: 43952915 markings, 162581874 edges, 73360 markings/sec, 520 secs
lola: 44314524 markings, 163820015 edges, 72322 markings/sec, 525 secs
lola: 44672110 markings, 165060822 edges, 71517 markings/sec, 530 secs
lola: 45031121 markings, 166312495 edges, 71802 markings/sec, 535 secs
lola: 45391376 markings, 167589309 edges, 72051 markings/sec, 540 secs
lola: 45742475 markings, 168910868 edges, 70220 markings/sec, 545 secs
lola: 46069972 markings, 170220724 edges, 65499 markings/sec, 550 secs
lola: 46393048 markings, 171521169 edges, 64615 markings/sec, 555 secs
lola: 46712210 markings, 172817735 edges, 63832 markings/sec, 560 secs
lola: 47030337 markings, 174118338 edges, 63625 markings/sec, 565 secs
lola: 47349036 markings, 175431376 edges, 63740 markings/sec, 570 secs
lola: 47663911 markings, 176831156 edges, 62975 markings/sec, 575 secs
lola: 47872406 markings, 178158046 edges, 41699 markings/sec, 580 secs
lola: 48056187 markings, 179433704 edges, 36756 markings/sec, 585 secs
lola: 48193827 markings, 180682924 edges, 27528 markings/sec, 590 secs
lola: 48310077 markings, 181909057 edges, 23250 markings/sec, 595 secs
lola: 48412790 markings, 183123598 edges, 20543 markings/sec, 600 secs
lola: 48508800 markings, 184327915 edges, 19202 markings/sec, 605 secs
lola: 48597938 markings, 185531857 edges, 17828 markings/sec, 610 secs
lola: 48686424 markings, 186749044 edges, 17697 markings/sec, 615 secs
lola: 49175106 markings, 188040747 edges, 97736 markings/sec, 620 secs
lola: 49670271 markings, 189470280 edges, 99033 markings/sec, 625 secs
lola: 49958989 markings, 190838224 edges, 57744 markings/sec, 630 secs
lola: 50212498 markings, 192124768 edges, 50702 markings/sec, 635 secs
lola: 50460338 markings, 193422976 edges, 49568 markings/sec, 640 secs
lola: 50707650 markings, 194777551 edges, 49462 markings/sec, 645 secs
lola: 50866974 markings, 196065594 edges, 31865 markings/sec, 650 secs
lola: 51445858 markings, 197362608 edges, 115777 markings/sec, 655 secs
lola: 52126619 markings, 198732019 edges, 136152 markings/sec, 660 secs
lola: 52687477 markings, 200251195 edges, 112172 markings/sec, 665 secs
lola: 53271054 markings, 202060507 edges, 116715 markings/sec, 670 secs
lola: 53811771 markings, 203863710 edges, 108143 markings/sec, 675 secs
lola: 54308854 markings, 205673933 edges, 99417 markings/sec, 680 secs
lola: 54759888 markings, 207392778 edges, 90207 markings/sec, 685 secs
lola: 55292610 markings, 209059940 edges, 106544 markings/sec, 690 secs
lola: 55784865 markings, 210536427 edges, 98451 markings/sec, 695 secs
lola: 56256532 markings, 212108869 edges, 94333 markings/sec, 700 secs
lola: 56506290 markings, 213629411 edges, 49952 markings/sec, 705 secs
lola: 56885813 markings, 215099954 edges, 75905 markings/sec, 710 secs
lola: 57463512 markings, 216410903 edges, 115540 markings/sec, 715 secs
lola: 57856211 markings, 217784145 edges, 78540 markings/sec, 720 secs
lola: 58455786 markings, 219003379 edges, 119915 markings/sec, 725 secs
lola: 59040448 markings, 220209286 edges, 116932 markings/sec, 730 secs
lola: 59612062 markings, 221415213 edges, 114323 markings/sec, 735 secs
lola: 60175352 markings, 222618723 edges, 112658 markings/sec, 740 secs
lola: 60729359 markings, 223810180 edges, 110801 markings/sec, 745 secs
lola: 61274924 markings, 225004585 edges, 109113 markings/sec, 750 secs
lola: 61818016 markings, 226193730 edges, 108618 markings/sec, 755 secs
lola: 62330403 markings, 227426588 edges, 102477 markings/sec, 760 secs
lola: 62862689 markings, 228614303 edges, 106457 markings/sec, 765 secs
lola: 63292353 markings, 229883891 edges, 85933 markings/sec, 770 secs
lola: 63775441 markings, 231131634 edges, 96618 markings/sec, 775 secs
lola: 64299312 markings, 232315308 edges, 104774 markings/sec, 780 secs
lola: 64828841 markings, 233515485 edges, 105906 markings/sec, 785 secs
lola: 65355673 markings, 234724768 edges, 105366 markings/sec, 790 secs
lola: 65881372 markings, 235935366 edges, 105140 markings/sec, 795 secs
lola: 66398991 markings, 237151571 edges, 103524 markings/sec, 800 secs
lola: 66919336 markings, 238365965 edges, 104069 markings/sec, 805 secs
lola: 67437977 markings, 239587817 edges, 103728 markings/sec, 810 secs
lola: 67949740 markings, 240828595 edges, 102353 markings/sec, 815 secs
lola: 68438848 markings, 242091488 edges, 97822 markings/sec, 820 secs
lola: 68954813 markings, 243338573 edges, 103193 markings/sec, 825 secs
lola: 69457036 markings, 244612537 edges, 100445 markings/sec, 830 secs
lola: 69978731 markings, 245873254 edges, 104339 markings/sec, 835 secs
lola: 70495551 markings, 247145212 edges, 103364 markings/sec, 840 secs
lola: 71036739 markings, 248476860 edges, 108238 markings/sec, 845 secs
lola: 71556793 markings, 249801328 edges, 104011 markings/sec, 850 secs
lola: 72080843 markings, 251127287 edges, 104810 markings/sec, 855 secs
lola: 72595537 markings, 252436936 edges, 102939 markings/sec, 860 secs
lola: 73114765 markings, 253751516 edges, 103846 markings/sec, 865 secs
lola: 73625909 markings, 255041785 edges, 102229 markings/sec, 870 secs
lola: 74142034 markings, 256330826 edges, 103225 markings/sec, 875 secs
lola: 74651658 markings, 257617013 edges, 101925 markings/sec, 880 secs
lola: 75158191 markings, 258902071 edges, 101307 markings/sec, 885 secs
lola: 75666049 markings, 260189436 edges, 101572 markings/sec, 890 secs
lola: 76181610 markings, 261469519 edges, 103112 markings/sec, 895 secs
lola: 76693896 markings, 262754823 edges, 102457 markings/sec, 900 secs
lola: 77211587 markings, 264039827 edges, 103538 markings/sec, 905 secs
lola: 77718620 markings, 265342372 edges, 101407 markings/sec, 910 secs
lola: 78225553 markings, 266628326 edges, 101387 markings/sec, 915 secs
lola: 78738815 markings, 267918468 edges, 102652 markings/sec, 920 secs
lola: 79259444 markings, 269230863 edges, 104126 markings/sec, 925 secs
lola: 79780703 markings, 270532543 edges, 104252 markings/sec, 930 secs
lola: 80298538 markings, 271846372 edges, 103567 markings/sec, 935 secs
lola: 80829454 markings, 273158782 edges, 106183 markings/sec, 940 secs
lola: 81355579 markings, 274491266 edges, 105225 markings/sec, 945 secs
lola: 81885912 markings, 275867031 edges, 106067 markings/sec, 950 secs
lola: 82411090 markings, 277264374 edges, 105036 markings/sec, 955 secs
lola: 82810899 markings, 278582656 edges, 79962 markings/sec, 960 secs
lola: 83182485 markings, 279845243 edges, 74317 markings/sec, 965 secs
lola: 83541831 markings, 281087688 edges, 71869 markings/sec, 970 secs
lola: 83893067 markings, 282311429 edges, 70247 markings/sec, 975 secs
lola: 84241700 markings, 283526784 edges, 69727 markings/sec, 980 secs
lola: 84593789 markings, 284752514 edges, 70418 markings/sec, 985 secs
lola: 84927896 markings, 285973905 edges, 66821 markings/sec, 990 secs
lola: 85227770 markings, 287146399 edges, 59975 markings/sec, 995 secs
lola: 85517441 markings, 288300243 edges, 57934 markings/sec, 1000 secs
lola: 85798311 markings, 289444265 edges, 56174 markings/sec, 1005 secs
lola: 86068025 markings, 290579070 edges, 53943 markings/sec, 1010 secs
lola: 86336517 markings, 291708019 edges, 53698 markings/sec, 1015 secs
lola: 86601497 markings, 292827932 edges, 52996 markings/sec, 1020 secs
lola: 86856057 markings, 293943846 edges, 50912 markings/sec, 1025 secs
lola: 87108270 markings, 295053879 edges, 50443 markings/sec, 1030 secs
lola: 87358938 markings, 296163127 edges, 50134 markings/sec, 1035 secs
lola: 87606631 markings, 297267552 edges, 49539 markings/sec, 1040 secs
lola: 87853300 markings, 298372670 edges, 49334 markings/sec, 1045 secs
lola: 88095438 markings, 299470368 edges, 48428 markings/sec, 1050 secs
lola: 88335045 markings, 300568124 edges, 47921 markings/sec, 1055 secs
lola: 88571550 markings, 301660354 edges, 47301 markings/sec, 1060 secs
lola: 88807240 markings, 302750372 edges, 47138 markings/sec, 1065 secs
lola: 89041470 markings, 303839210 edges, 46846 markings/sec, 1070 secs
lola: 89270405 markings, 304919495 edges, 45787 markings/sec, 1075 secs
lola: 89497844 markings, 305997819 edges, 45488 markings/sec, 1080 secs
lola: 89726096 markings, 307076362 edges, 45650 markings/sec, 1085 secs
lola: 89953782 markings, 308154512 edges, 45537 markings/sec, 1090 secs
lola: 90180131 markings, 309239024 edges, 45270 markings/sec, 1095 secs
lola: 90403314 markings, 310321674 edges, 44637 markings/sec, 1100 secs
lola: 90833871 markings, 311698186 edges, 86111 markings/sec, 1105 secs
lola: 91307194 markings, 313419597 edges, 94665 markings/sec, 1110 secs
lola: 91764362 markings, 315044523 edges, 91434 markings/sec, 1115 secs
lola: 92243517 markings, 316646462 edges, 95831 markings/sec, 1120 secs
lola: 92813803 markings, 318172969 edges, 114057 markings/sec, 1125 secs
lola: 93186264 markings, 319584223 edges, 74492 markings/sec, 1130 secs
lola: 93585988 markings, 321026579 edges, 79945 markings/sec, 1135 secs
lola: 93878277 markings, 322529857 edges, 58458 markings/sec, 1140 secs
lola: 94124834 markings, 324012160 edges, 49311 markings/sec, 1145 secs
lola: 94550036 markings, 325677314 edges, 85040 markings/sec, 1150 secs
lola: 95025640 markings, 327445084 edges, 95121 markings/sec, 1155 secs
lola: 95459354 markings, 329156703 edges, 86743 markings/sec, 1160 secs
lola: 95823126 markings, 330828067 edges, 72754 markings/sec, 1165 secs
lola: 96191415 markings, 332336923 edges, 73658 markings/sec, 1170 secs
lola: 96560640 markings, 333864144 edges, 73845 markings/sec, 1175 secs
lola: 96930232 markings, 335545353 edges, 73918 markings/sec, 1180 secs
lola: 97285493 markings, 337051333 edges, 71052 markings/sec, 1185 secs
lola: 97634422 markings, 338594174 edges, 69786 markings/sec, 1190 secs
lola: 97859618 markings, 340152276 edges, 45039 markings/sec, 1195 secs
lola: 98171564 markings, 341788215 edges, 62389 markings/sec, 1200 secs
lola: 98353515 markings, 343450456 edges, 36390 markings/sec, 1205 secs
lola: 98714090 markings, 345104887 edges, 72115 markings/sec, 1210 secs
lola: 99164949 markings, 346781883 edges, 90172 markings/sec, 1215 secs
lola: 99624538 markings, 348509798 edges, 91918 markings/sec, 1220 secs
lola: 100227656 markings, 350186405 edges, 120624 markings/sec, 1225 secs
lola: 100705187 markings, 351899108 edges, 95506 markings/sec, 1230 secs
lola: 101112685 markings, 353451160 edges, 81500 markings/sec, 1235 secs
lola: 101664112 markings, 355068804 edges, 110285 markings/sec, 1240 secs
lola: 102055306 markings, 356905143 edges, 78239 markings/sec, 1245 secs
lola: 102455892 markings, 358544264 edges, 80117 markings/sec, 1250 secs
lola: 102855285 markings, 359996940 edges, 79879 markings/sec, 1255 secs
lola: 103073756 markings, 361512382 edges, 43694 markings/sec, 1260 secs
lola: 103326024 markings, 363210199 edges, 50454 markings/sec, 1265 secs
lola: 103938770 markings, 364674892 edges, 122549 markings/sec, 1270 secs
lola: 104519619 markings, 366088483 edges, 116170 markings/sec, 1275 secs
lola: 105082204 markings, 367589211 edges, 112517 markings/sec, 1280 secs
lola: 105604555 markings, 369084603 edges, 104470 markings/sec, 1285 secs
lola: 105907215 markings, 370405615 edges, 60532 markings/sec, 1290 secs
lola: 106284159 markings, 371703607 edges, 75389 markings/sec, 1295 secs
lola: 106697213 markings, 372969914 edges, 82611 markings/sec, 1300 secs
lola: 107089731 markings, 374246786 edges, 78504 markings/sec, 1305 secs
lola: 107474048 markings, 375544133 edges, 76863 markings/sec, 1310 secs
lola: 107852883 markings, 376884244 edges, 75767 markings/sec, 1315 secs
lola: 108193798 markings, 378235090 edges, 68183 markings/sec, 1320 secs
lola: 108530130 markings, 379621992 edges, 67266 markings/sec, 1325 secs
lola: 108744536 markings, 380979815 edges, 42881 markings/sec, 1330 secs
lola: 108875809 markings, 382267363 edges, 26255 markings/sec, 1335 secs
lola: 108989263 markings, 383528020 edges, 22691 markings/sec, 1340 secs
lola: 109254936 markings, 384879447 edges, 53135 markings/sec, 1345 secs
lola: 109536750 markings, 386223895 edges, 56363 markings/sec, 1350 secs
lola: 109736517 markings, 387559418 edges, 39953 markings/sec, 1355 secs
lola: 110082972 markings, 389215569 edges, 69291 markings/sec, 1360 secs
lola: 110473635 markings, 390683860 edges, 78133 markings/sec, 1365 secs
lola: 110833967 markings, 392128893 edges, 72066 markings/sec, 1370 secs
lola: 111205489 markings, 393543534 edges, 74304 markings/sec, 1375 secs
lola: 111567337 markings, 394832761 edges, 72370 markings/sec, 1380 secs
lola: 111923565 markings, 396110457 edges, 71246 markings/sec, 1385 secs
lola: 112270866 markings, 397429922 edges, 69460 markings/sec, 1390 secs
lola: 112616629 markings, 398698207 edges, 69153 markings/sec, 1395 secs
lola: 112964605 markings, 399995507 edges, 69595 markings/sec, 1400 secs
lola: 113302535 markings, 401257589 edges, 67586 markings/sec, 1405 secs
lola: 113637418 markings, 402493222 edges, 66977 markings/sec, 1410 secs
lola: 113962850 markings, 403767308 edges, 65086 markings/sec, 1415 secs
lola: 114292769 markings, 405005292 edges, 65984 markings/sec, 1420 secs
lola: 114621488 markings, 406245950 edges, 65744 markings/sec, 1425 secs
lola: 114941725 markings, 407495307 edges, 64047 markings/sec, 1430 secs
lola: 115243444 markings, 408745302 edges, 60344 markings/sec, 1435 secs
lola: 115486555 markings, 410088788 edges, 48622 markings/sec, 1440 secs
lola: 115558814 markings, 411375538 edges, 14452 markings/sec, 1445 secs
lola: 115618535 markings, 412625594 edges, 11944 markings/sec, 1450 secs
lola: 115676035 markings, 413865866 edges, 11500 markings/sec, 1455 secs
lola: 115730892 markings, 415092797 edges, 10971 markings/sec, 1460 secs
lola: 115787395 markings, 416324149 edges, 11301 markings/sec, 1465 secs
lola: 115842855 markings, 417563581 edges, 11092 markings/sec, 1470 secs
lola: 115899141 markings, 418818388 edges, 11257 markings/sec, 1475 secs
lola: 115958804 markings, 420098933 edges, 11933 markings/sec, 1480 secs
lola: 116140259 markings, 421498708 edges, 36291 markings/sec, 1485 secs
lola: 116584466 markings, 423039769 edges, 88841 markings/sec, 1490 secs
lola: 117027140 markings, 424663641 edges, 88535 markings/sec, 1495 secs
lola: 117493103 markings, 426252584 edges, 93193 markings/sec, 1500 secs
lola: 117843798 markings, 427790235 edges, 70139 markings/sec, 1505 secs
lola: 118286814 markings, 429236427 edges, 88603 markings/sec, 1510 secs
lola: 118741349 markings, 430711666 edges, 90907 markings/sec, 1515 secs
lola: 119048112 markings, 432163596 edges, 61353 markings/sec, 1520 secs
lola: 119335740 markings, 433633042 edges, 57526 markings/sec, 1525 secs
lola: 119764124 markings, 434965973 edges, 85677 markings/sec, 1530 secs
lola: 120472484 markings, 436199114 edges, 141672 markings/sec, 1535 secs
lola: 120722335 markings, 436835029 edges, 49970 markings/sec, 1540 secs
lola: 120832967 markings, 437236017 edges, 22126 markings/sec, 1545 secs
lola: 121061223 markings, 438195788 edges, 45651 markings/sec, 1550 secs
lola: 121272634 markings, 439375275 edges, 42282 markings/sec, 1555 secs
lola: 121401848 markings, 440205633 edges, 25843 markings/sec, 1560 secs
lola: 121560464 markings, 440772577 edges, 31723 markings/sec, 1565 secs
lola: 121680890 markings, 441135294 edges, 24085 markings/sec, 1570 secs
lola: 121833229 markings, 441734798 edges, 30468 markings/sec, 1575 secs
lola: 121993354 markings, 442244615 edges, 32025 markings/sec, 1580 secs
lola: 122112769 markings, 442677271 edges, 23883 markings/sec, 1585 secs
lola: 122388414 markings, 443914023 edges, 55129 markings/sec, 1590 secs
lola: 122717781 markings, 445141722 edges, 65873 markings/sec, 1595 secs
lola: 122980960 markings, 446363847 edges, 52636 markings/sec, 1600 secs
lola: 123249388 markings, 447558891 edges, 53686 markings/sec, 1605 secs
lola: 123456506 markings, 448342536 edges, 41424 markings/sec, 1610 secs
lola: 123646064 markings, 449343444 edges, 37912 markings/sec, 1615 secs
lola: 123905260 markings, 450643508 edges, 51839 markings/sec, 1620 secs
lola: 124188674 markings, 451735786 edges, 56683 markings/sec, 1625 secs
lola: 124471638 markings, 453013812 edges, 56593 markings/sec, 1630 secs
lola: 124717982 markings, 454050338 edges, 49269 markings/sec, 1635 secs
lola: 124926763 markings, 455351866 edges, 41756 markings/sec, 1640 secs
lola: 125188275 markings, 456597433 edges, 52302 markings/sec, 1645 secs
lola: 125393594 markings, 457883062 edges, 41064 markings/sec, 1650 secs
lola: 125563402 markings, 459216992 edges, 33962 markings/sec, 1655 secs
lola: 125652896 markings, 460518954 edges, 17899 markings/sec, 1660 secs
lola: 125903269 markings, 461544761 edges, 50075 markings/sec, 1665 secs
lola: 126280692 markings, 462821968 edges, 75485 markings/sec, 1670 secs
lola: 126650631 markings, 464430160 edges, 73988 markings/sec, 1675 secs
lola: 126863150 markings, 465949089 edges, 42504 markings/sec, 1680 secs
lola: 127327039 markings, 467159504 edges, 92778 markings/sec, 1685 secs
lola: 127756788 markings, 468415493 edges, 85950 markings/sec, 1690 secs
lola: 128143571 markings, 469675740 edges, 77357 markings/sec, 1695 secs
lola: 128403133 markings, 470891152 edges, 51912 markings/sec, 1700 secs
lola: 128635997 markings, 472097240 edges, 46573 markings/sec, 1705 secs
lola: 128928902 markings, 473382119 edges, 58581 markings/sec, 1710 secs
lola: 129108024 markings, 474695732 edges, 35824 markings/sec, 1715 secs
lola: 129456781 markings, 475894492 edges, 69751 markings/sec, 1720 secs
lola: 129843339 markings, 477162780 edges, 77312 markings/sec, 1725 secs
lola: 130155742 markings, 478346414 edges, 62481 markings/sec, 1730 secs
lola: 130427663 markings, 479427653 edges, 54384 markings/sec, 1735 secs
lola: 130763851 markings, 480592107 edges, 67238 markings/sec, 1740 secs
lola: 131075930 markings, 481804092 edges, 62416 markings/sec, 1745 secs
lola: 131345371 markings, 482970684 edges, 53888 markings/sec, 1750 secs
lola: 131569867 markings, 484130003 edges, 44899 markings/sec, 1755 secs
lola: 131802285 markings, 485200631 edges, 46484 markings/sec, 1760 secs
lola: 132002552 markings, 486222878 edges, 40053 markings/sec, 1765 secs
lola: 132185266 markings, 487466269 edges, 36543 markings/sec, 1770 secs
lola: 132279187 markings, 488689892 edges, 18784 markings/sec, 1775 secs
lola: 132628120 markings, 490078873 edges, 69787 markings/sec, 1780 secs
lola: 133036499 markings, 491112271 edges, 81676 markings/sec, 1785 secs
lola: 133447149 markings, 492167354 edges, 82130 markings/sec, 1790 secs
lola: 133869188 markings, 493276023 edges, 84408 markings/sec, 1795 secs
lola: 134292495 markings, 494441576 edges, 84661 markings/sec, 1800 secs
lola: 134569458 markings, 495542420 edges, 55393 markings/sec, 1805 secs
lola: 134862495 markings, 496580763 edges, 58607 markings/sec, 1810 secs
lola: 135296864 markings, 497608020 edges, 86874 markings/sec, 1815 secs
lola: 135611857 markings, 498419106 edges, 62999 markings/sec, 1820 secs
lola: 135963544 markings, 499388354 edges, 70337 markings/sec, 1825 secs
lola: 136316930 markings, 500416034 edges, 70677 markings/sec, 1830 secs
lola: 136627746 markings, 501374854 edges, 62163 markings/sec, 1835 secs
lola: 136958180 markings, 502408984 edges, 66087 markings/sec, 1840 secs
lola: 137279756 markings, 503460715 edges, 64315 markings/sec, 1845 secs
lola: 137492471 markings, 504159985 edges, 42543 markings/sec, 1850 secs
lola: 137754796 markings, 505072541 edges, 52465 markings/sec, 1855 secs
lola: 138054275 markings, 506112169 edges, 59896 markings/sec, 1860 secs
lola: 138391498 markings, 507270850 edges, 67445 markings/sec, 1865 secs
lola: 138753951 markings, 508408322 edges, 72491 markings/sec, 1870 secs
lola: 139103251 markings, 509580262 edges, 69860 markings/sec, 1875 secs
lola: 139378036 markings, 510726275 edges, 54957 markings/sec, 1880 secs
lola: 139637792 markings, 511869411 edges, 51951 markings/sec, 1885 secs
lola: 139884613 markings, 513126751 edges, 49364 markings/sec, 1890 secs
lola: 140014297 markings, 514108748 edges, 25937 markings/sec, 1895 secs
lola: 140146876 markings, 515117594 edges, 26516 markings/sec, 1900 secs
lola: 140277541 markings, 516258938 edges, 26133 markings/sec, 1905 secs
lola: 140403378 markings, 517358931 edges, 25167 markings/sec, 1910 secs
lola: 140528585 markings, 518428506 edges, 25041 markings/sec, 1915 secs
lola: 140665906 markings, 519521148 edges, 27464 markings/sec, 1920 secs
lola: 140986029 markings, 520908105 edges, 64025 markings/sec, 1925 secs
lola: 141302498 markings, 522146546 edges, 63294 markings/sec, 1930 secs
lola: 141756218 markings, 523597015 edges, 90744 markings/sec, 1935 secs
lola: 142268677 markings, 525190287 edges, 102492 markings/sec, 1940 secs
lola: 142639116 markings, 526676949 edges, 74088 markings/sec, 1945 secs
lola: 142994109 markings, 528137273 edges, 70999 markings/sec, 1950 secs
lola: 143379952 markings, 529539281 edges, 77169 markings/sec, 1955 secs
lola: 143601484 markings, 530994668 edges, 44306 markings/sec, 1960 secs
lola: 143880661 markings, 532594775 edges, 55835 markings/sec, 1965 secs
lola: 144403945 markings, 533947504 edges, 104657 markings/sec, 1970 secs
lola: 144583411 markings, 534904885 edges, 35893 markings/sec, 1975 secs
lola: 144764723 markings, 535318018 edges, 36262 markings/sec, 1980 secs
lola: 144845552 markings, 535534033 edges, 16166 markings/sec, 1985 secs
lola: 144984574 markings, 535850340 edges, 27804 markings/sec, 1990 secs
lola: 144995553 markings, 535895105 edges, 2196 markings/sec, 1995 secs
lola: 144996160 markings, 535900192 edges, 121 markings/sec, 2000 secs
lola: 144999472 markings, 535910445 edges, 662 markings/sec, 2005 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (G (((p57 <= 0) OR (p80 <= 0))) OR F (((p47 <= 0) OR (p183 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: F (((p47 <= 0) OR (p183 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((1 <= p47) AND (1 <= p183))
lola: processed formula length: 28
lola: 45 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 346 markings, 346 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (((p57 <= 0) OR (p80 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p57 <= 0) OR (p80 <= 0)))
lola: processed formula length: 31
lola: 43 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 537 markings, 540 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: RESULT
lola:
SUMMARY: no no unknown no no no no no
lola: ========================================
lola:
preliminary result: no no unknown no no no no no
lola: memory consumption: 3668 KB
lola: time consumption: 3209 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
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="TriangularGrid-PT-4022"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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 gold2020"
echo " Input is TriangularGrid-PT-4022, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r284-smll-162123894400090"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TriangularGrid-PT-4022.tgz
mv TriangularGrid-PT-4022 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;